:-include(library('ec_planner/ec_test_incl')). :-expects_dialect(pfc). % Tue, 06 Oct 2020 04:57:49 GMT % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.pel:4 /* loading(load_e_pl, '/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.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 %; %; @inproceedings{ShanahanRandell:2004, %; author = "Murray Shanahan and David A. Randell", %; year = "2004", %; title = "A logic-based formulation of active visual perception", %; editor = "Didier Dubois and Christopher A. Welty and Mary-Anne Williams", %; booktitle = "\uppercase{P}roceedings of the \uppercase{N}inth \uppercase{I}nternational \uppercase{C}onference on \uppercase{P}rinciples of \uppercase{K}nowledge \uppercase{R}epresentation and \uppercase{R}easoning", %; pages = "64--72", %; address = "Menlo Park, CA", %; publisher = "AAAI Press", %; } %; %; @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/Chapter14/Vision.e:30 % option modeldiff on % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:32 % load foundations/Root.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:33 % load foundations/EC.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:35 % sort object % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:36 sort(object). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:36 sort(object). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:36 % sort shape % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:37 sort(shape). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:37 sort(shape). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:37 % sort aspect % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:38 sort(aspect). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:38 sort(aspect). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:39 % object Object1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:40 t(object,object1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:40 object(object1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:40 % aspect Aspect1, Aspect2, Aspect3 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:41 t(aspect,aspect1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:41 aspect(aspect1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:41 t(aspect,aspect2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:41 aspect(aspect2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:41 t(aspect,aspect3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:41 aspect(aspect3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:41 % shape Shape1, Shape2 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:42 t(shape,shape1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:42 shape(shape1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:42 t(shape,shape2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:42 shape(shape2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:43 % predicate Shape(object,shape) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:44 predicate(shape(object,shape)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:44 actions([shape/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:44 actions([shape/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:44 meta_argtypes(shape(object,shape)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:44 meta_argtypes(shape(object,shape)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:44 mpred_prop(shape(object,shape),predicate). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:44 mpred_prop(shape(object,shape),predicate). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:44 meta_argtypes(shape(object,shape)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:44 meta_argtypes(shape(object,shape)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:44 % predicate Arc(shape,aspect,aspect) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:45 predicate(arc(shape,aspect,aspect)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:45 actions([arc/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:45 actions([arc/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:45 meta_argtypes(arc(shape,aspect,aspect)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:45 meta_argtypes(arc(shape,aspect,aspect)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:45 mpred_prop(arc(shape,aspect,aspect),predicate). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:45 mpred_prop(arc(shape,aspect,aspect),predicate). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:45 meta_argtypes(arc(shape,aspect,aspect)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:45 meta_argtypes(arc(shape,aspect,aspect)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:45 % fluent Aspect(object,aspect) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:46 fluent(aspect(object,aspect)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:46 fluents([aspect/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:46 fluents([aspect/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:46 meta_argtypes(aspect(object,aspect)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:46 meta_argtypes(aspect(object,aspect)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:46 mpred_prop(aspect(object,aspect),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:46 mpred_prop(aspect(object,aspect),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:46 meta_argtypes(aspect(object,aspect)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:46 meta_argtypes(aspect(object,aspect)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:46 % event Change(object,aspect,aspect) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:47 event(change(object,aspect,aspect)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:47 events([change/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:47 events([change/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:47 meta_argtypes(change(object,aspect,aspect)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:47 meta_argtypes(change(object,aspect,aspect)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:47 mpred_prop(change(object,aspect,aspect),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:47 mpred_prop(change(object,aspect,aspect),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:47 meta_argtypes(change(object,aspect,aspect)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:47 meta_argtypes(change(object,aspect,aspect)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:48 %; Sigma % [object,aspect1,aspect2,shape,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:51 % HoldsAt(Aspect(object,aspect1),time) & % Shape(object,shape) & % (Arc(shape,aspect1,aspect2) | % Arc(shape,aspect2,aspect1)) -> % Initiates(Change(object,aspect1,aspect2),Aspect(object,aspect2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:55 holds_at(aspect(Object, Aspect1), Time), shape(Object, Shape), (arc(Shape, Aspect1, Aspect2);arc(Shape, Aspect2, Aspect1)) -> initiates(change(Object, Aspect1, Aspect2), aspect(Object, Aspect2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:55 reactive_rule([ holds(aspect(Object, Aspect1), Time), shape(Object, Shape), (arc(Shape, Aspect1, Aspect2);arc(Shape, Aspect2, Aspect1)) ], [ initiates(change(Object, Aspect1, Aspect2), at(aspect(Object, Aspect2), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:57 % [object,aspect1,aspect2,shape,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:58 % HoldsAt(Aspect(object,aspect1),time) & % Shape(object,shape) & % (Arc(shape,aspect1,aspect2) | % Arc(shape,aspect2,aspect1)) -> % Terminates(Change(object,aspect1,aspect2),Aspect(object,aspect1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:62 holds_at(aspect(Object, Aspect1), Time), shape(Object, Shape), (arc(Shape, Aspect1, Aspect2);arc(Shape, Aspect2, Aspect1)) -> terminates(change(Object, Aspect1, Aspect2), aspect(Object, Aspect1), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:62 reactive_rule([ holds(aspect(Object, Aspect1), Time), shape(Object, Shape), (arc(Shape, Aspect1, Aspect2);arc(Shape, Aspect2, Aspect1)) ], [ terminates(change(Object, Aspect1, Aspect2), at(aspect(Object, Aspect1), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:64 %; preconditions (added) % [object,aspect1,aspect2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:67 % Happens(Change(object,aspect1,aspect2),time) -> % HoldsAt(Aspect(object,aspect1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:68 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:68 happens(change(Object, Aspect1, Aspect2), Time) -> holds_at(aspect(Object, Aspect1), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:68 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:68 reactive_rule([ happens(change(Object, Aspect1, Aspect2), Time) ], [holds(aspect(Object,Aspect1),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:70 % [object,aspect1,aspect2,aspect3,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:71 % Happens(Change(object,aspect1,aspect2),time) & % Happens(Change(object,aspect1,aspect3),time) -> % aspect2=aspect3. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:73 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:73 happens(change(Object, Aspect1, Aspect2), Time), happens(change(Object, Aspect1, Aspect3), Time) -> equals(Aspect2, Aspect3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:73 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:73 reactive_rule([ happens(change(Object, Aspect1, Aspect2), Time), happens(change(Object, Aspect1, Aspect3), Time) ], [equals(Aspect2,Aspect3)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:75 %; Psi % [object,shape1,shape2] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:78 % Shape(object,shape1) & % Shape(object,shape2) -> % shape1=shape2. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:80 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:80 shape(Object, Shape1), shape(Object, Shape2) -> equals(Shape1, Shape2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:80 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:80 reactive_rule([ shape(Object,Shape1), shape(Object,Shape2) ], [equals(Shape1,Shape2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:82 % [object,aspect1,aspect2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:83 % HoldsAt(Aspect(object,aspect1),time) & % HoldsAt(Aspect(object,aspect2),time) -> % aspect1=aspect2. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:85 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:85 holds_at(aspect(Object, Aspect1), Time), holds_at(aspect(Object, Aspect2), Time) -> equals(Aspect1, Aspect2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:85 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:85 reactive_rule([ holds(aspect(Object,Aspect1),Time), holds(aspect(Object,Aspect2),Time) ], [equals(Aspect1,Aspect2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:87 % [aspect1,aspect2] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:88 % Arc(Shape1,aspect1,aspect2) <-> % (aspect1=Aspect1 & aspect2=Aspect2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:89 /* arc(shape1, Aspect1, Aspect2) <-> equals(Aspect1, aspect1), equals(Aspect2, aspect2). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:89 /* [arc, shape1] <-> [equals, aspect1, equals, aspect2]. */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:89 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:89 arc(shape1, Aspect1, Aspect2) -> equals(Aspect1, aspect1), equals(Aspect2, aspect2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:89 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:89 reactive_rule([arc(shape1,Aspect1,Aspect2)], [ equals(Aspect1,aspect1), equals(Aspect2,aspect2) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:89 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:89 equals(Aspect1, aspect1), equals(Aspect2, aspect2) -> arc(shape1, Aspect1, Aspect2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:89 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:89 reactive_rule([ equals(Aspect1,aspect1), equals(Aspect2,aspect2) ], [arc(shape1,Aspect1,Aspect2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:91 % [aspect1,aspect2] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:92 % Arc(Shape2,aspect1,aspect2) <-> % ((aspect1=Aspect1 & aspect2=Aspect3) | % (aspect1=Aspect3 & aspect2=Aspect2)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:94 /* arc(shape2, Aspect1, Aspect2) <-> ( equals(Aspect1, aspect1), equals(Aspect2, aspect3) ; equals(Aspect1, aspect3), equals(Aspect2, aspect2) ). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:94 /* [arc, shape2] <-> [;, equals, aspect1, equals, aspect3, equals, aspect3, equals, aspect2]. */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:94 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:94 arc(shape2, Aspect1, Aspect2) -> ( equals(Aspect1, aspect1), equals(Aspect2, aspect3) ; equals(Aspect1, aspect3), equals(Aspect2, aspect2) ). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:94 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:94 reactive_rule([arc(shape2, Aspect1, Aspect2)], [ (equals(Aspect1, aspect1), equals(Aspect2, aspect3);equals(Aspect1, aspect3), equals(Aspect2, aspect2)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:94 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:94 equals(Aspect1, aspect1), equals(Aspect2, aspect3);equals(Aspect1, aspect3), equals(Aspect2, aspect2) -> arc(shape2, Aspect1, Aspect2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:94 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:94 reactive_rule([ (equals(Aspect1, aspect1), equals(Aspect2, aspect3);equals(Aspect1, aspect3), equals(Aspect2, aspect2)) ], [arc(shape2, Aspect1, Aspect2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:96 %; Gamma % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:98 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:98 % HoldsAt(Aspect(Object1,Aspect1),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:98 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(aspect(object1, aspect1))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:98 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:98 initially(aspect(object1,aspect1)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:98 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:98 initial_state([aspect(object1,aspect1)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:99 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:99 % HoldsAt(Aspect(Object1,Aspect2),1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:99 /* [b(start, Time), ignore(start+1==Time)] -> ta(TaP_Num4_V, tvs1=[start+1], tvs2=[Time, start], holds_at(aspect(object1, aspect2), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:99 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:99 b(start, Time2) -> holds_at(aspect(object1, aspect2), Time2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:99 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:99 reactive_rule([b(start,Time2)], [holds(aspect(object1,aspect2),Time2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:101 %;completion Delta Happens % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:103 % range time 0 1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:104 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:104 range(time,0,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:104 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:104 range(time,0,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:104 % range offset 1 1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:105 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:105 range(offset,1,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:105 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Vision.e:105 range(offset,1,1). %; End of file.