:-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',0). % From E: % % :-call_pel_directive(translate(unskipped,'/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e.lps')). :- call_pel_directive(translate(unskipped, '/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e.lps')). :-include(library('ec_planner/ec_test_incl')). :-expects_dialect(lps). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',0). % From E: % % :-call_pel_directive(translate(begining,'/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e.lps')). :- call_pel_directive(translate(begining, '/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e.lps')). % Sat, 10 Oct 2020 15:31:33 GMT File: (0x559e4b325a00)%; %; 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 %; %; DEV-MUC3-0060 %; Arson %; %; @article{Mueller:2004c, %; author = "Erik T. Mueller", %; year = "2004", %; title = "Understanding script-based stories using commonsense reasoning", %; journal = "Cognitive Systems Research", %; volume = "5", %; number = "4", %; pages = "307--340", %; } %; :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',25). % ignore SkyOf, GroundOf, Near, Inside, WalkFromTo, RunFromTo % From E: % % :-call_pel_directive(ignore(skyOf)). :- call_pel_directive(ignore(skyOf)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',25). % From E: % % :-call_pel_directive(ignore(groundOf)). :- call_pel_directive(ignore(groundOf)). % From E: % % :-call_pel_directive(ignore(near)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',25). :- call_pel_directive(ignore(near)). % From E: % % :-call_pel_directive(ignore(inside)). :- call_pel_directive(ignore(inside)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',25). % From E: % % :-call_pel_directive(ignore(walkFromTo)). :- call_pel_directive(ignore(walkFromTo)). % From E: % % :-call_pel_directive(ignore(runFromTo)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',25). :- call_pel_directive(ignore(runFromTo)). % ignore RollAlong, Diameter, Move, HoldSome, PutInside % From E: % % :-call_pel_directive(ignore(rollAlong)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',25). :- call_pel_directive(ignore(rollAlong)). % From E: % % :-call_pel_directive(ignore(diameter)). :- call_pel_directive(ignore(diameter)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',25). % From E: % % :-call_pel_directive(ignore(move)). :- call_pel_directive(ignore(move)). % From E: % % :-call_pel_directive(ignore(holdSome)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',25). :- call_pel_directive(ignore(holdSome)). % From E: % % :-call_pel_directive(ignore(putInside)). :- call_pel_directive(ignore(putInside)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',27). % ignore TakeOutOf, On, DoorUnlock, DoorLock, WalkThroughDoor12 % From E: % % :-call_pel_directive(ignore(takeOutOf)). :- call_pel_directive(ignore(takeOutOf)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',27). % From E: % % :-call_pel_directive(ignore(on)). :- call_pel_directive(ignore(on)). % From E: % % :-call_pel_directive(ignore(doorUnlock)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',27). :- call_pel_directive(ignore(doorUnlock)). % From E: % % :-call_pel_directive(ignore(doorLock)). :- call_pel_directive(ignore(doorLock)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',27). % From E: % % :-call_pel_directive(ignore(walkThroughDoor12)). :- call_pel_directive(ignore(walkThroughDoor12)). % ignore WalkThroughDoor21, WalkDownStaircase, WalkUpStaircase :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',27). % From E: % % :-call_pel_directive(ignore(walkThroughDoor21)). :- call_pel_directive(ignore(walkThroughDoor21)). % From E: % % :-call_pel_directive(ignore(walkDownStaircase)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',27). :- call_pel_directive(ignore(walkDownStaircase)). % From E: % % :-call_pel_directive(ignore(walkUpStaircase)). :- call_pel_directive(ignore(walkUpStaircase)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',30). % ignore ThreatenedBy % From E: % % :-call_pel_directive(ignore(threatenedBy)). :- call_pel_directive(ignore(threatenedBy)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',32). % 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/ecnet/Arson.e',32). % 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/ecnet/Arson.e',34). % load answers/Mueller2003/Ontology.e % From E: % % :-call_pel_directive(load('answers/Mueller2003/Ontology.e')). :- call_pel_directive(load('answers/Mueller2003/Ontology.e')). % load answers/Mueller2004c/OTSpaceM.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',34). % From E: % % :-call_pel_directive(load('answers/Mueller2004c/OTSpaceM.e')). :- call_pel_directive(load('answers/Mueller2004c/OTSpaceM.e')). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',36). % load answers/Mueller2004c/RTSpaceM.e % From E: % % :-call_pel_directive(load('answers/Mueller2004c/RTSpaceM.e')). :- call_pel_directive(load('answers/Mueller2004c/RTSpaceM.e')). % load answers/Mueller2004c/Fire.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',36). % From E: % % :-call_pel_directive(load('answers/Mueller2004c/Fire.e')). :- call_pel_directive(load('answers/Mueller2004c/Fire.e')). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',38). % load answers/Mueller2004c/Condition.e % From E: % % :-call_pel_directive(load('answers/Mueller2004c/Condition.e')). :- call_pel_directive(load('answers/Mueller2004c/Condition.e')). % load answers/Mueller2003/Sleep.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',38). % From E: % % :-call_pel_directive(load('answers/Mueller2003/Sleep.e')). :- call_pel_directive(load('answers/Mueller2003/Sleep.e')). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',41). % fire Fire1 % From E: % % t(fire,fire1). fire(fire1). % HoldsAt(At(Fire1,Outside1),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',41). % From E: % % holds_at(at_loc(fire1,outside1),0). initially at_loc(fire1, outside1). % initial_state([at_loc(fire1,outside1)]). % "% =================================". % agent Perp1 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',43). % From E: % % t(agent,perp1). agent(perp1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',46). % physobj PhysTarget1 % From E: % % t(physobj,physTarget1). physobj(physTarget1). % HoldsAt(Intact(PhysTarget1),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',46). % From E: % % holds_at(intact(physTarget1),0). initially intact(physTarget1). % initial_state([intact(physTarget1)]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',48). % HoldsAt(At(PhysTarget1,Outside1),0). % From E: % % holds_at(at_loc(physTarget1,outside1),0). initially at_loc(physTarget1, outside1). % initial_state([at_loc(physTarget1,outside1)]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',50). %; room-scale topological space % outside Outside1 % From E: % % t(outside,outside1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',50). outside(outside1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',52). % outside Outside2 % From E: % % t(outside,outside2). outside(outside2). % room Inside1 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',52). % From E: % % t(room,inside1). room(inside1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',54). % door Door1 % From E: % % t(door,door1). door(door1). % building Building1 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',54). % From E: % % t(building,building1). building(building1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',56). % street Street1 % From E: % % t(street,street1). street(street1). % Side1(Door1)=Outside1. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',56). % From E: % % side1(door1)=outside1. side1(door1,outside1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',58). % Side2(Door1)=Inside1. % From E: % % side2(door1)=inside1. side2(door1,inside1). % LookOutOnto(Inside1)=Outside1. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',58). % From E: % % lookOutOnto(inside1)=outside1. lookOutOnto(inside1,outside1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',60). % Floor(Inside1)=1. % From E: % % floor(inside1)=1. floor(inside1,1). % BuildingOf(Inside1)=Building1. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',60). % From E: % % buildingOf(inside1)=building1. buildingOf(inside1,building1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',62). % Side1(Street1)=Outside1. % From E: % % side1(street1)=outside1. side1(street1,outside1). % Side2(Street1)=Outside2. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',62). % From E: % % side2(street1)=outside2. side2(street1,outside2). % HoldsAt(Alive(Perp1),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',64). % From E: % % holds_at(alive(perp1),0). initially alive(perp1). % initial_state([alive(perp1)]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',66). % HoldsAt(Awake(Perp1),0). % From E: % % holds_at(awake(perp1),0). initially awake(perp1). % initial_state([awake(perp1)]). % "% =================================". % HoldsAt(Standing(Perp1),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',66). % From E: % % holds_at(standing(perp1),0). initially standing(perp1). % initial_state([standing(perp1)]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',68). % HoldsAt(Sleep2(Perp1),0). % From E: % % holds_at(sleep2(perp1),0). initially sleep2(perp1). % initial_state([sleep2(perp1)]). % "% =================================". % !HoldsAt(Injured(Perp1),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',68). % From E: % % holds_at(not(injured(perp1)),0). initially not injured(perp1). % initial_state([not(injured(perp1))]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',70). % [object] % !HoldsAt(Holding(Perp1,object),0). % From E: % % holds_at(not(holding(perp1,Object)),0). initially not holding(perp1, Object). % initial_state([not(holding(perp1,Object))]). % "% =================================". % HoldsAt(At(Perp1,Outside2),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',70). % From E: % % holds_at(at_loc(perp1,outside2),0). initially at_loc(perp1, outside2). % initial_state([at_loc(perp1,outside2)]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',72). % !HoldsAt(DoorIsOpen(Door1),0). % From E: % % holds_at(not(doorIsOpen(door1)),0). initially not doorIsOpen(door1). % initial_state([not(doorIsOpen(door1))]). % "% =================================". % HoldsAt(DoorUnlocked(Door1),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',72). % From E: % % holds_at(doorUnlocked(door1),0). initially doorUnlocked(door1). % initial_state([doorUnlocked(door1)]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',74). % [physobj,fire,offset] % !HoldsAt(Burning(physobj,fire,offset),0). % From E: % % holds_at(not(burning(Physobj,Fire,Offset)),0). initially not burning(Physobj, Fire, Offset). % initial_state([not(burning(Physobj,Fire,Offset))]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',76). %; narrative % Happens(WalkStreet21(Perp1,Street1),0). % From E: % % happens_at(walkStreet21(perp1,street1),0). observe walkStreet21(perp1, street1)at 0. % observe([walkStreet21(perp1,street1)],0). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',78). % Happens(SetFireTo(Perp1,PhysTarget1,Fire1,3),1). % From E: % % happens_at(setFireTo(perp1,physTarget1,fire1,3),1). observe setFireTo(perp1, physTarget1, fire1, 3)at 1. % observe([setFireTo(perp1,physTarget1,fire1,3)],1). % "% =================================". % Happens(WalkStreet12(Perp1,Street1),2). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',78). % From E: % % happens_at(walkStreet12(perp1,street1),2). observe walkStreet12(perp1, street1)at 2. % observe([walkStreet12(perp1,street1)],2). % "% =================================". % range time 0 6 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',80). % From E: % % :-call_pel_directive(range(time,0,6)). :- call_pel_directive(range(time, 0, 6)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',82). % range offset 0 3 % From E: % % :-call_pel_directive(range(offset,0,3)). :- call_pel_directive(range(offset, 0, 3)). % range diameter 0 0 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',82). % From E: % % :-call_pel_directive(range(diameter,0,0)). :- call_pel_directive(range(diameter, 0, 0)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',85). % completion Happens % From E: % % :-call_pel_directive(completion(happens_at)). :- call_pel_directive(completion(happens_at)). %; End of file. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e',87). % From E: % % :-call_pel_directive(translate(ending,'/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e.lps')). :- call_pel_directive(translate(ending, '/pack/logicmoo_ec/ext/ec_sources/ecnet/Arson.e.lps')).