:-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss40.e',67). % From E: % % :-call_pel_directive(translate(unskipped,'/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e.lps')). :- call_pel_directive(translate(unskipped, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e.lps')). :-include(library('ec_planner/ec_test_incl')). :-expects_dialect(lps). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss40.e',67). % From E: % % :-call_pel_directive(translate(begining,'/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e.lps')). :- call_pel_directive(translate(begining, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e.lps')). % Sat, 10 Oct 2020 15:31:51 GMT File: (0x559e4af5df00)%; %; 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{Kartha:1994, %; author = "G. Neelakantan Kartha", %; year = "1994", %; title = "Two counterexamples related to \uppercase{B}aker's approach to the frame problem", %; journal = "Artificial Intelligence", %; volume = "69", %; number = "1--2", %; pages = "379--391", %; } %; %; @incollection{Shanahan:1999, %; author = "Shanahan, Murray", %; year = "1999", %; title = "The Event Calculus explained", %; editor = "Michael J. Wooldridge and Manuela M. Veloso", %; booktitle = "Artificial Intelligence Today: Recent Trends and Developments", %; series = "Lecture Notes in Computer Science", %; volume = "1600", %; pages = "409--430", %; address = "Berlin", %; publisher = "Springer", %; } %; %; model finding %; %; modifications from Shanahan's formulation: %; InitiallyP -> HoldsAt %; pruning of models irrelevant to example %; timestamps %; :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e',42). % 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/CoinToss4.e',42). % 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/CoinToss4.e',45). % event Toss() % From E: % % event(toss()). events([toss/0]). % fluent ItsHeads() :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e',45). % From E: % % fluent(itsHeads()). fluents([itsHeads/0]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e',47). % fluent Heads() % From E: % % fluent(heads()). fluents([heads/0]). % noninertial ItsHeads :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e',47). % From E: % % :-call_pel_directive(noninertial(itsHeads)). :- call_pel_directive(noninertial(itsHeads)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e',50). % [time] % HoldsAt(ItsHeads(),time) -> Initiates(Toss(),Heads(),time). % From E: % % '->'( % holds_at(itsHeads(),Time), % initiates_at(toss(),heads(),Time)). % [Time]. toss initiates heads if itsHeads. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e',50). /* initiated(happens(toss,Time_From,Time_Until), heads, [itsHeads]). */ % "% =================================". % [time] % !HoldsAt(ItsHeads(),time) -> Terminates(Toss(),Heads(),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e',50). % From E: % % '->'( % holds_at(not(itsHeads()),Time), % terminates_at(toss(),heads(),Time)). % [Time]. toss terminates heads if not itsHeads. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e',50). /* terminated(happens(toss,Time_From,Time_Until), heads, [not(itsHeads)]). */ % "% =================================". % HoldsAt(Heads(),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e',52). % From E: % % holds_at(heads(),0). initially heads. % initial_state([heads]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e',54). % Happens(Toss(),1). % From E: % % happens_at(toss(),1). observe toss at 1. % observe([toss],1). % "% =================================". % Happens(Toss(),2). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e',54). % From E: % % happens_at(toss(),2). observe toss at 2. % observe([toss],2). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e',56). % Happens(Toss(),3). % From E: % % happens_at(toss(),3). observe toss at 3. % observe([toss],3). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e',58). %; prune models irrelevant to example: % HoldsAt(ItsHeads(),0). % From E: % % holds_at(itsHeads(),0). initially itsHeads. % initial_state([itsHeads]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e',60). % HoldsAt(ItsHeads(),4). % From E: % % holds_at(itsHeads(),4). holds_at(itsHeads,4). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e',62). % completion Happens % From E: % % :-call_pel_directive(completion(happens_at)). :- call_pel_directive(completion(happens_at)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e',64). % range time 0 4 % From E: % % :-call_pel_directive(range(time,0,4)). :- call_pel_directive(range(time, 0, 4)). % range offset 1 1 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e',64). % From E: % % :-call_pel_directive(range(offset,1,1)). :- call_pel_directive(range(offset, 1, 1)). %; End of file. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e',67). % From E: % % :-call_pel_directive(translate(ending,'/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e.lps')). :- call_pel_directive(translate(ending, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/CoinToss4.e.lps')).