:-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon20.e',94). % From E: % % :-call_pel_directive(translate(unskipped,'/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e.lps')). :- call_pel_directive(translate(unskipped, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e.lps')). :-include(library('ec_planner/ec_test_incl')). :-expects_dialect(lps). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon20.e',94). % From E: % % :-call_pel_directive(translate(begining,'/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e.lps')). :- call_pel_directive(translate(begining, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e.lps')). % Sat, 10 Oct 2020 15:31:53 GMT File: (0x559e4b403000)%; %; 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 %; %; @article{MillerShanahan:1999, %; author = "Rob Miller and Murray Shanahan", %; year = "1999", %; title = "The event calculus in classical logic---\uppercase{A}lternative axiomatisations", %; journal = "Link{\"{o}}ping Electronic Articles in Computer and Information Science", %; volume = "4", %; number = "016", %; } %; %; @book{Mueller:2006, %; author = "Erik T. Mueller", %; year = "2006", %; title = "Commonsense Reasoning", %; address = "San Francisco", %; publisher = "Morgan Kaufmann/Elsevier", %; } %; :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',30). % option encoding 3 % From E: % % :-call_pel_directive(option(encoding,3)). :- call_pel_directive(option(encoding, 3)). % option trajectory on :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',30). % From E: % % :-call_pel_directive(option(trajectory,on)). :- call_pel_directive(option(trajectory, on)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',33). % load foundations/Root.e % From E: % % :-call_pel_directive(load('foundations/Root.e')). :- call_pel_directive(load('foundations/Root.e')). % load foundations/EC.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',33). % From E: % % :-call_pel_directive(load('foundations/EC.e')). :- call_pel_directive(load('foundations/EC.e')). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',36). % sort balloon % From E: % % sort(balloon). sort(balloon). % sort agent :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',36). % From E: % % sort(agent). sort(agent). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',38). % sort height: integer % From E: % % subsort(height,integer). subsort(height,integer). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',40). % agent Nathan % From E: % % t(agent,nathan). agent(nathan). % balloon Balloon :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',40). % From E: % % t(balloon,balloon). balloon(balloon). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',43). % fluent HeaterOn(balloon) % From E: % % fluent(heaterOn(balloon)). mpred_prop(heaterOn(balloon),fluent). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',43). fluents([heaterOn/1]). % fluent Height(balloon,height) % From E: % % fluent(height(balloon,height)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',43). mpred_prop(height(balloon,height),fluent). fluents([height/2]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',45). % noninertial Height % From E: % % :-call_pel_directive(noninertial(height)). :- call_pel_directive(noninertial(height)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',47). % event TurnOnHeater(agent,balloon) % From E: % % event(turnOnHeater(agent,balloon)). events([turnOnHeater/2]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',47). mpred_prop(turnOnHeater(agent,balloon),action). actions([turnOnHeater/2]). % event TurnOffHeater(agent,balloon) % From E: % % event(turnOffHeater(agent,balloon)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',47). events([turnOffHeater/2]). mpred_prop(turnOffHeater(agent,balloon),action). actions([turnOffHeater/2]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',50). %; Sigma % [agent,balloon,time] % Initiates(TurnOnHeater(agent,balloon),HeaterOn(balloon),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',52). % From E: % % initiates_at( % turnOnHeater(Agent,Balloon), % heaterOn(Balloon), % Time). % [Time]. turnOnHeater(Agent, Balloon)initiates heaterOn(Balloon). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',52). /* initiated(happens(turnOnHeater(Agent,Balloon), Time_From, Time_Until), heaterOn(Balloon), []). */ % "% =================================". % [agent,balloon,time] % Terminates(TurnOffHeater(agent,balloon),HeaterOn(balloon),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',56). % From E: % % terminates_at( % turnOffHeater(Agent,Balloon), % heaterOn(Balloon), % Time). % [Time]. turnOffHeater(Agent, Balloon)terminates heaterOn(Balloon). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',56). /* terminated(happens(turnOffHeater(Agent,Balloon), Time_From, Time_Until), heaterOn(Balloon), []). */ % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',58). %; Delta :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',60). % Delta: % From E: % % directive(delta). directive(delta). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',60). % Happens(TurnOnHeater(Nathan,Balloon),0). % From E: % % happens_at(turnOnHeater(nathan,balloon),0). observe turnOnHeater(nathan, balloon)at 0. % observe([turnOnHeater(nathan,balloon)],0). % "% =================================". % Delta: :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',60). % From E: % % directive(delta). directive(delta). % Happens(TurnOffHeater(Nathan,Balloon),2). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',60). % From E: % % happens_at(turnOffHeater(nathan,balloon),2). observe turnOffHeater(nathan, balloon)at 2. % observe([turnOffHeater(nathan,balloon)],2). % "% =================================". %; Psi % [balloon,height1,height2,time] % HoldsAt(Height(balloon,height1),time) & % HoldsAt(Height(balloon,height2),time) -> % height1=height2. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',65). % From E: % % '->'( % (holds_at(height(Balloon,Height1),Time) , % holds_at(height(Balloon,Height2),Time)), % Height1=Height2). % [Time]. false not equals(Height1, Height2), height(Balloon, Height1), height(Balloon, Height2). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',65). /* d_pre([ not(equals(Height1,Height2)), holds(height(Balloon,Height1),Time_At), holds(height(Balloon,Height2),Time_At) ]). */ % "% =================================". %; Pi % [balloon,height1,height2,offset,time] % HoldsAt(Height(balloon,height1),time) & % height2 = (height1 + offset) -> % Trajectory(HeaterOn(balloon),time,Height(balloon,height2),offset). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',72). % From E: % % '->'( % (holds_at(height(Balloon,Height1),Time) , % Height2=Height1+Offset), % trajectory( % heaterOn(Balloon), % Time, Time, % height(Balloon,Height2), % Offset)). % [Time]. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',72). holds_at(height(Balloon, Height1), Time), Height2=Height1+Offset -> trajectory(heaterOn(Balloon), Time, height(Balloon, Height2), Offset). % [balloon,height1,height2,offset,time] % HoldsAt(Height(balloon,height1),time) & % height2 = (height1 - offset) -> % AntiTrajectory(HeaterOn(balloon),time,Height(balloon,height2),offset). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',78). % From E: % % '->'( % (holds_at(height(Balloon,Height1),Time) , % Height2=Height1-Offset), % antiTrajectory( % heaterOn(Balloon), % Time, Time, % height(Balloon,Height2), % Offset)). % [Time]. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',78). holds_at(height(Balloon, Height1), Time), Height2=Height1-Offset -> antiTrajectory(heaterOn(Balloon), Time, height(Balloon, Height2), Offset). %; Gamma :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',84). % HoldsAt(Height(Balloon,0),0). % From E: % % holds_at(height(balloon,0),0). initially height(balloon, 0). % initial_state([height(balloon,0)]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',86). %; added: % !HoldsAt(HeaterOn(Balloon),0). % From E: % % holds_at(not(heaterOn(balloon)),0). initially not heaterOn(balloon). % initial_state([not(heaterOn(balloon))]). % "% =================================". % completion Delta Happens :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',88). % From E: % % :-call_pel_directive(completion(delta)). :- call_pel_directive(completion(delta)). % From E: % % :-call_pel_directive(completion(happens_at)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',88). :- call_pel_directive(completion(happens_at)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',91). % range time 0 3 % From E: % % :-call_pel_directive(range(time,0,3)). :- call_pel_directive(range(time, 0, 3)). % range height 0 2 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',91). % From E: % % :-call_pel_directive(range(height,0,2)). :- call_pel_directive(range(height, 0, 2)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',93). % range offset 1 2 % From E: % % :-call_pel_directive(range(offset,1,2)). :- call_pel_directive(range(offset, 1, 2)). %; End of file. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e',95). % From E: % % :-call_pel_directive(translate(ending,'/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e.lps')). :- call_pel_directive(translate(ending, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/HotAirBalloon3.e.lps')).