:-include(library('ec_planner/ec_test_incl')). :-expects_dialect(pfc). % Tue, 06 Oct 2020 04:57:53 GMT % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.pel:4 /* loading(load_e_pl, '/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.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/Chapter2/Inconsistency4.e:19 % load foundations/Root.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:20 % load foundations/EC.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:22 % sort object % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:23 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:23 sort(object). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:23 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:23 sort(object). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:23 % object O1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:24 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:24 t(object,o1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:24 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:24 object(o1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:25 % event E(object) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:26 event(e(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:26 events([e/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:26 events([e/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:26 meta_argtypes(e(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:26 meta_argtypes(e(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:26 mpred_prop(e(object),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:26 mpred_prop(e(object),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:26 meta_argtypes(e(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:26 meta_argtypes(e(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:27 % fluent F1(object) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:28 fluent(f1(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:28 fluents([f1/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:28 fluents([f1/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:28 meta_argtypes(f1(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:28 meta_argtypes(f1(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:28 mpred_prop(f1(object),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:28 mpred_prop(f1(object),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:28 meta_argtypes(f1(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:28 meta_argtypes(f1(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:28 % fluent F2(object) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:29 fluent(f2(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:29 fluents([f2/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:29 fluents([f2/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:29 meta_argtypes(f2(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:29 meta_argtypes(f2(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:29 mpred_prop(f2(object),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:29 mpred_prop(f2(object),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:29 meta_argtypes(f2(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:29 meta_argtypes(f2(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:30 % [object,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:31 % Initiates(E(object),F1(object),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:31 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(e(Object), f1(Object), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:31 initiates(e('$VAR'(e)),f1('$VAR'(e)),Initiates). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:31 initiated(happens(e('$VAR'(e)),Maptime,Happens), f1('$VAR'(e)), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:33 % [object,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:34 % HoldsAt(F1(object),time) <-> HoldsAt(F2(object),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:34 /* holds_at(f1(Object), Time) <-> holds_at(f2(Object), Time). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:34 /* [holds_at, f1] <-> [holds_at, f2]. */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:34 holds_at(f1(Object), Time) -> holds_at(f2(Object), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:34 reactive_rule([holds(f1(Object),Time)], [holds(f2(Object),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:34 holds_at(f2(Object), Time) -> holds_at(f1(Object), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:34 reactive_rule([holds(f2(Object),Time)], [holds(f1(Object),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:36 % !HoldsAt(F2(O1),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:36 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(f2(o1)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:36 initially(neg(f2(o1))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:36 initial_state([not(f2(o1))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:37 % Happens(E(O1),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:37 /* [] -> ta(TaP_Num4_V, tvs1=[start], tvs2=[start], happens(e(o1), start)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:37 happens(e(o1),start). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:37 observe(at(e(o1),start)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:37 observe(at(e(o1),start)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:39 % range time 0 1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:40 range(time,0,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:40 range(time,0,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:40 % range offset 1 1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:41 range(offset,1,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency4.e:41 range(offset,1,1). %; End of file.