:-include(library('ec_planner/ec_test_incl')). :-expects_dialect(pfc). % Tue, 06 Oct 2020 04:57:40 GMT % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.pel:4 /* loading(load_e_pl, '/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e'). */ %; %; Copyright (c) 2005 IBM Corporation and others. %; All rights reserved. This program and the accompanying materials %; are made available under the terms of the Common Public License v1.0 %; which accompanies this distribution, and is available at %; http://www.eclipse.org/legal/cpl-v10.html %; %; Contributors: %; IBM - Initial implementation %; %; @book{Mueller:2006, %; author = "Erik T. Mueller", %; year = "2006", %; title = "Commonsense Reasoning", %; address = "San Francisco", %; publisher = "Morgan Kaufmann/Elsevier", %; } %; % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:19 % load foundations/Root.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:20 % load foundations/EC.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:22 % sort agent % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:23 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:23 sort(agent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:23 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:23 sort(agent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:24 % fluent Awake(agent) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:25 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:25 fluent(awake(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:25 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:25 fluents([awake/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:25 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:25 fluents([awake/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:25 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:25 meta_argtypes(awake(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:25 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:25 meta_argtypes(awake(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:25 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:25 mpred_prop(awake(agent),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:25 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:25 mpred_prop(awake(agent),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:25 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:25 meta_argtypes(awake(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:25 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:25 meta_argtypes(awake(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:25 % event WakeUp(agent) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:26 event(wakeUp(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:26 actions([wakeUp/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:26 actions([wakeUp/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:26 meta_argtypes(wakeUp(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:26 meta_argtypes(wakeUp(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:26 mpred_prop(wakeUp(agent),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:26 mpred_prop(wakeUp(agent),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:26 meta_argtypes(wakeUp(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:26 meta_argtypes(wakeUp(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:27 % [agent,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:27 % Initiates(WakeUp(agent),Awake(agent),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:27 /* [axiom_uses(theta, Time)] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(wakeUp(Agent), awake(Agent), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:27 axiom_uses(theta, Axiom_Uses) -> initiates(wakeUp(Wakeup), awake(Wakeup), Axiom_Uses). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:27 reactive_rule([axiom_uses(theta,Axiom_Uses)], [ initiates(wakeUp(Wakeup), at(awake(Wakeup),Axiom_Uses)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:29 % agent James % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:30 t(agent,james). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:30 agent(james). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:30 % !HoldsAt(Awake(James),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:30 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(awake(james)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:30 initially(neg(awake(james))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:30 initial_state([not(awake(james))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:31 % HoldsAt(Awake(James),1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:31 /* [b(start, Time), ignore(start+1==Time)] -> ta(TaP_Num4_V, tvs1=[start+1], tvs2=[Time, start], holds_at(awake(james), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:31 b(start, Time2) -> holds_at(awake(james), Time2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:31 reactive_rule([b(start,Time2)],[holds(awake(james),Time2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:33 % range time 0 1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:34 range(time,0,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:34 range(time,0,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:34 % range offset 1 1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:35 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:35 range(offset,1,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:35 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e:35 range(offset,1,1).