; ; 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", ; } ; option encoding 3 option trajectory on load foundations/Root.e load foundations/EC.e sort object sort agent sort height: integer agent Nathan object Apple fluent Falling(object) fluent Height(object,height) noninertial Height event Drop(agent,object) event HitGround(object) ; Sigma [agent,object,time] Initiates(Drop(agent,object),Falling(object),time). [object,time] Terminates(HitGround(object),Falling(object),time). ; Delta Delta: [object,time] HoldsAt(Falling(object),time) & HoldsAt(Height(object,0),time) -> Happens(HitGround(object),time). Delta: Happens(Drop(Nathan,Apple),0). ; Psi [object,height1,height2,time] HoldsAt(Height(object,height1),time) & HoldsAt(Height(object,height2),time) -> height1=height2. ; Pi [object,height1,height2,offset,time] HoldsAt(Height(object,height1),time) & height2 = (height1 - offset) -> Trajectory(Falling(object),time,Height(object,height2),offset). [object,height,offset,time] HoldsAt(Height(object,height),time) -> AntiTrajectory(Falling(object),time,Height(object,height),offset). ; Gamma !HoldsAt(Falling(Apple),0). HoldsAt(Height(Apple,10),0). completion Delta Happens range time 0 15 range height 0 10 range offset 1 10 ; End of file.