>(will_need_touch(Agent,Thing),h(spatial,touchable,Agent,Thing)) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:51 %~ will_need_touch(Agent,Thing,A9,B9) :- %~ %~ h(spatial,touchable,Agent,Thing,A9,B9). %~ will_need_touch(Touchable_Will_need_touch5,Will_need_touch4,Will_need_touch,Touch) :- %~ %~ h(spatial,touchable,Touchable_Will_need_touch5,Will_need_touch4,Will_need_touch,Touch). /* ( will_need_touch(Agent,Thing) ==>> ( can_sense(Agent,Sense_Agent2,Thing) , h(spatial,touchable,Agent,Thing))) */ %~ will_need_touch(Agent,Thing,A9,C9) :- %~ can_sense(Agent,Sense_Agent2,Thing,A9,B9) , %~ h(spatial,touchable,Agent,Thing,B9,C9). :- multifile will_need_touch/4. /* ( will_need_touch(Source_Agent_Touchable_Will_need_touch,Target_Thing_Touch) ==>> ( can_sense(Source_Agent_Touchable_Will_need_touch,Can_senseWill_need_touch,Target_Thing_Touch) , h(spatial,touchable,Source_Agent_Touchable_Will_need_touch,Target_Thing_Touch))) */ %~ will_need_touch(Agent_Touchable_Will_need_touch,Thing,A9,C9) :- %~ can_sense( Agent_Touchable_Will_need_touch, %~ Can_senseWill_need_touch, Thing,A9,B9) , %~ h(spatial,touchable,Agent_Touchable_Will_need_touch,Thing,B9,C9). will_need_touch(Agent, Thing, A, B) :- can_sense(Agent, _, Thing, A, C), h(spatial, touchable, Agent, Thing, C, B). /* ( eVent(Agent,Event) ==>> send_1percept(Agent,Event),apply_aXioms(Event)) */ %~ eVent(Agent,Event,A9,C9) :- %~ send_1percept(Agent,Event,A9,B9) , %~ must_mw1(apply_aXioms(Event),B9,C9). /* ( aXiom(Action,_S0,_S9) ::= xnotrace((\+trival_act(Action),dbug1(aXiom(Action)))),xnotrace(fail)) */ %~ aXiom(Action,_S0,_S9) :- %~ xnotrace( \+trival_act(Action),dbug1(aXiom(Action))) , %~ xnotrace(fail). /* ==>>(aXiom(Action),aXiom_p1(Action)) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:69 %~ aXiom(Action,A9,B9) :- %~ %~ aXiom_p1(Action,A9,B9). /* ==>>(aXiom(Action),aXiom_p2(Action)) */ %~ aXiom(Action,A9,B9) :- %~ %~ aXiom_p2(Action,A9,B9). /* ==>>(aXiom_p1((P1,P11)),(!,aXiom_p1(P1),aXiom_p1(P11))) */ %~ aXiom_p1((_4718,_4720),A9,C9) :- %~ ! , %~ A9=A9 , %~ aXiom_p1(_4718,A9,B9) , %~ aXiom_p1(_4720,B9,C9). /* ==>>(aXiom_p1((P1;P11)),(!,(aXiom_p1(P1);aXiom_p1(P11)))) */ %~ aXiom_p1((_51042;_51044),A9,B9) :- %~ ! , %~ A9=A9 , %~ aXiom_p1(_51042,A9,B9);aXiom_p1(_51044,A9,B9). /* ==>>(aXiom_p1((P1->P11)),(!,(aXiom_p1(P1)->aXiom_p1(P11)))) */ %~ aXiom_p1((_35090->_35092),A9,C9) -> %~ ! , %~ A9=A9 , %~ aXiom_p1(_35090,A9,B9) -> %~ %~ aXiom_p1(_35092,B9,C9). /* ==>>(aXiom_p1(true),!) */ %~ aXiom_p1(true,A9,B9) :- %~ ! , %~ B9=A9. /* ( aXiom_p1( P1_Xx_c62*->P1;P1_Xx_c621) ==>> !,(aXiom_p1(P1_Xx_c62)*->aXiom_p1(P1);aXiom_p1(P1_Xx_c621))) */ %~ aXiom_p1((Xx_c62*->Xx_c622;Xx_c621),A9,C9) :- %~ ! , %~ A9=A9 , %~ ( aXiom_p1(Xx_c62,A9,B9)*->aXiom_p1(Xx_c622,B9,C9) ; %~ aXiom_p1(Xx_c621,A9,C9)). /* ( aXiom_p1( P1_Xx_c623*->P1) ==>> !,(aXiom_p1(P1_Xx_c623)*->aXiom_p1(P1))) */ %~ aXiom_p1((Xx_c623*->Xx_c6234),A9,C9) :- %~ ! , %~ A9=A9 , %~ aXiom_p1(Xx_c623,A9,B9)*->aXiom_p1(Xx_c6234,B9,C9). /* ( aXiom_p2(Action) ==>> ( { implications(DoesEvent,Action,Preconds,Postconds), action_doer(Action,Agent) } , satisfy_each(preCond(_1),Preconds) , ( sg(member(failed(Why))),send_1percept(Agent,failed(Action,Why)) ; satisfy_each(postCond(_2),Postconds),send_1percept(Agent,Action)) , { episodic_mem(Agent,implications(DoesEvent,Action,Preconds,Postconds)) } , { dbug1( used_implications(DoesEvent,Action,Preconds,Postconds)) } , !)) */ %~ aXiom_p2(Action,A9,I9) :- %~ implications(DoesEvent,Action,Preconds,Postconds) , %~ action_doer(Action,Agent) , %~ H9=A9 , %~ satisfy_each(preCond(_1),Preconds,H9,G9) , %~ ( ( sg(member(failed(Why)),G9,F9) , %~ send_1percept(Agent,failed(Action,Why),F9,E9)) ; %~ ( satisfy_each(postCond(_2),Postconds,G9,D9) , %~ send_1percept(Agent,Action,D9,E9))) , %~ episodic_mem( Agent, %~ implications(DoesEvent,Action,Preconds,Postconds)) , %~ C9=E9 , %~ dbug1( used_implications(DoesEvent,Action,Preconds,Postconds)) , %~ B9=C9 , %~ ! , %~ I9=B9. /* ( aXiom_p1(Action) ==>> ( { oper_splitk(Agent,Action,Preconds,Postconds) } , { dbug1( using_oper_splitk(Agent,Action,Preconds,Postconds)) } , satisfy_each(preCond(_1),Preconds) , ( sg(member(failed(Why))),send_1percept(Agent,failed(Action,Why)) ; ( satisfy_each(postCond(_2),Postconds) , send_1percept(Agent,success(Action)))) , { dbug1( used_oper_splitk(Agent,Action,Preconds,Postconds)) } , !)) */ %~ aXiom_p1(Action,A9,I9) :- %~ oper_splitk(Agent,Action,Preconds,Postconds) , %~ H9=A9 , %~ dbug1( using_oper_splitk(Agent,Action,Preconds,Postconds)) , %~ G9=H9 , %~ satisfy_each(preCond(_1),Preconds,G9,F9) , %~ ( ( sg(member(failed(Why)),F9,E9) , %~ send_1percept(Agent,failed(Action,Why),E9,D9)) ; %~ ( satisfy_each(postCond(_2),Postconds,F9,C9) , %~ send_1percept(Agent,success(Action),C9,D9))) , %~ dbug1( used_oper_splitk(Agent,Action,Preconds,Postconds)) , %~ B9=D9 , %~ ! , %~ I9=B9. /* ( aXiom_p2(Action,S,E) ::= ( append_termlist(Action,[S,E],ActionSE) , current_predicate(_26162,mu:ActionSE) , adv_safe_to_call(ActionSE) , ! , call(Action,S,E))) */ %~ aXiom_p2(Action,S,E) :- %~ append_termlist(Action,[S,E],ActionSE) , %~ current_predicate(Kw,mu:ActionSE) , %~ adv_safe_to_call(ActionSE) , %~ ! , %~ call(Action,S,E). /* ( aXiom_p2(Action,S,E) ::= ( current_predicate(Kw,mu:Action) , ! , adv_safe_to_call(Action) , call(Action) , S=E)) */ %~ aXiom_p2(Action,S,E) :- %~ current_predicate(Kw,mu:Action) , %~ ! , %~ adv_safe_to_call(Action) , %~ call(Action) , %~ S=E. /* ( aXiom_p1(Action) ==>> ( action_doer(Action,Agent) , invoke_introspect(Agent,Action,Answer) , send_1percept(Agent,[answer(Answer),Answer]) , !)) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:125 %~ aXiom_p1(Action,A9,E9) :- %~ action_doer(Action,Agent,A9,D9) , %~ invoke_introspect(Agent,Action,Answer,D9,C9) , %~ send_1percept(Agent,[answer(Answer),Answer],C9,B9) , %~ ! , %~ E9=B9. /* ( aXiom_p1( print_(Agent,Msg)) ==>> ( h(spatial,descended,Agent,Here) , queue_local_event(msg_from(Agent,Msg),[Here]))) */ %~ aXiom_p1(print_(Agent,Msg),A9,C9) :- %~ h(spatial,descended,Agent,Here,A9,B9) , %~ queue_local_event(msg_from(Agent,Msg),[Here],B9,C9). /* ( aXiom_p1( attempts(Agent,act3(wait,Agent,[]))) ==>> from_loc(Agent,Here),queue_local_event(time_passes(Agent),Here)) */ %~ aXiom_p1(attempts(Agent,act3(wait,Agent,[])),A9,C9) :- %~ from_loc(Agent,Here,A9,B9) , %~ queue_local_event(time_passes(Agent),Here,B9,C9). /* ( aXiom_p1( attempts(Agent,act3(english,Agent,[English]))) ==>> eng2cmd(Agent,English,Action),add_intent(Agent,Action)) */ %~ aXiom_p1(attempts(Agent,act3(english,Agent,[English])),A9,C9) :- %~ eng2cmd(Agent,English,Action,A9,B9) , %~ add_intent(Agent,Action,B9,C9). /* ( aXiom_p1( intent_english(Agent,English)) ==>> !,{assertz(mu_global:console_tokens(Agent,English))}) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:143 %~ aXiom_p1(intent_english(Agent,English),A9,B9) :- %~ ! , %~ A9=A9 , %~ assertz( mu_global : console_tokens(Agent,English)) , %~ B9=A9. /* ( aXiom_p1( attempts(Agent,act3(talk,Agent,[Object,Message]))) ==>> ( can_sense(Agent,audio,Object) , from_loc(Agent,Here) , queue_local_event( [ did( Agent, act3(talk,Agent,[Here,Object,Message]))], [Here]))) */ %~ aXiom_p1( %~ attempts(Agent,act3(talk,Agent,[Object,Message])), A9,D9) :- %~ can_sense(Agent,audio,Object,A9,C9) , %~ from_loc(Agent,Here,C9,B9) , %~ queue_local_event( %~ [ did( Agent, %~ act3(talk,Agent,[Here,Object,Message]))], [Here],B9,D9). /* ( aXiom_p1( say(Agent,Message)) ==>> ( from_loc(Agent,Here) , queue_local_event( [ did(Agent,act3(talk,Agent,[Here,*,Message]))], [Here]))) */ %~ aXiom_p1(say(Agent,Message),A9,C9) :- %~ from_loc(Agent,Here,A9,B9) , %~ queue_local_event( %~ [ did(Agent,act3(talk,Agent,[Here,*,Message]))], [Here],B9,C9). /* ( aXiom_p1( attempts( Agent, act3(emote,Agent,[EmoteType,Object,Message]))) ==>> ( ! , from_loc(Agent,Here) , queue_local_event( [ act3(emote,Agent,[EmoteType,Object,Message])], [Here]))) */ %~ aXiom_p1( %~ attempts( Agent, %~ act3(emote,Agent,[EmoteType,Object,Message])), A9,C9) :- %~ ! , %~ A9=A9 , %~ from_loc(Agent,Here,A9,B9) , %~ queue_local_event( %~ [ act3(emote,Agent,[EmoteType,Object,Message])], [Here],B9,C9). /* ( aXiom_p1( terminates( h(Spatially,Prep,Object,Here))) ==>> !,undeclare(h(Spatially,Prep,Object,Here))) */ %~ aXiom_p1(terminates(h(Spatially,Prep,Object,Here)),A9,B9) :- %~ ! , %~ A9=A9 , %~ undeclare(h(Spatially,Prep,Object,Here),A9,B9). /* ( aXiom_p1( attempts( Agent, act3(go__prep_obj,Agent,[Walk,At,Object]))) ==>> ( will_need_touch(Agent,Object) , has_rel(At,Object) , \+( is_closed(At,Object)) , eVent( Agent, event3( arrive, [At,Agent,Object], [Walk,At])))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:170 %~ aXiom_p1( %~ attempts( Agent, %~ act3(go__prep_obj,Agent,[Walk,At,Object])), A9,F9) :- %~ will_need_touch(Agent,Object,A9,E9) , %~ has_rel(At,Object,E9,D9) , %~ \+( is_closed(At,Object,D9,C9)) , %~ B9=D9 , %~ eVent( Agent, %~ event3( arrive, %~ [At,Agent,Object], %~ [Walk,At]), B9,F9). /* ( aXiom_p1( initiates( h(Spatially,Prep,Object,Dest))) ==>> !,declare(h(Spatially,Prep,Object,Dest))) */ %~ aXiom_p1(initiates(h(Spatially,Prep,Object,Dest)),A9,B9) :- %~ ! , %~ A9=A9 , %~ declare(h(Spatially,Prep,Object,Dest),A9,B9). /* ==>>(aXiom_p1(status_msg(_Begin,_End)),[]) */ %~ aXiom_p1(status_msg(_Begin,_End),P1_Status_msg,P1_Status_msg) :- %~ %~ true. /* ( axiom_Recalc_e( attempts(Agent,act3(go__obj,Agent,[Walk,Object])), RECALC) ==>> ( has_rel(At,Object) , RECALC = attempts( Agent, act3(go__prep_obj,Agent,[Walk,At,Object])))) */ %~ axiom_Recalc_e( %~ attempts(Agent,act3(go__obj,Agent,[Walk,Object])), RECALC,A9,C9) :- %~ has_rel(At,Object,A9,B9) , %~ =( RECALC, %~ attempts( Agent, %~ act3(go__prep_obj,Agent,[Walk,At,Object])), B9,C9). /* ( aXiom_p1( attempts(Agent,act3(go__loc,Agent,[_Walk,There]))) ==>> ( has_rel(fn(exit,Fn_Exit),There) , eVent(Agent,make_true(Agent,h(spatial,in,Agent,There))))) */ %~ aXiom_p1( %~ attempts(Agent,act3(go__loc,Agent,[_Walk,There])), A9,C9) :- %~ has_rel(fn(exit,Fn_Exit),There,A9,B9) , %~ eVent( Agent, %~ make_true(Agent,h(spatial,in,Agent,There)), B9,C9). /* ( aXiom_p1( make_true(Doer,h(spatial,in,Agent,There))) ==>> ( { Doer==Agent } , has_rel(fn(exit,Fn_Exit),There) , from_loc(Agent,Here) , agent_thought_model(Agent,ModelData) , { find_path(Doer,Here,There,Route,ModelData) } , ! , eVent( Agent, follow_plan( Agent, did(Agent,act3(go__loc,Agent,[walk,There])), Route)))) */ %~ aXiom_p1(make_true(Doer,h(spatial,in,Agent,There)),A9,H9) :- %~ Doer==Agent , %~ G9=A9 , %~ has_rel(fn(exit,Fn_Exit),There,G9,F9) , %~ from_loc(Agent,Here,F9,E9) , %~ agent_thought_model(Agent,ModelData,E9,D9) , %~ find_path(Doer,Here,There,Route,ModelData) , %~ C9=D9 , %~ ! , %~ B9=C9 , %~ eVent( Agent, %~ follow_plan( Agent, %~ did(Agent,act3(go__loc,Agent,[walk,There])), %~ Route), B9,H9). /* ==>>(aXiom_p1(make_true(Agent,FACT)),add_agent_goal(Agent,FACT)) */ %~ aXiom_p1(make_true(Agent,FACT),A9,B9) :- %~ %~ add_agent_goal(Agent,FACT,A9,B9). /* ==>>(aXiom_p1(add_intent(Agent,TODO)),add_agent_intent(Agent,TODO)) */ %~ aXiom_p1(add_intent(Agent,TODO),A9,B9) :- %~ %~ add_agent_intent(Agent,TODO,A9,B9). /* ( aXiom_p1( follow_plan(Agent,Name,[])) ==>> !,send_1percept(Agent,[success(followed_plan(Agent,Name))])) */ %~ aXiom_p1(follow_plan(Agent,Name,[]),A9,B9) :- %~ ! , %~ A9=A9 , %~ send_1percept( Agent, %~ [ success( followed_plan(Agent,Name))], A9,B9). /* ( aXiom_p1( follow_plan(Agent,Name,[Step])) ==>> ( eVent(Agent,follow_step(Agent,Name,Step)) , eVent(Agent,follow_plan(Agent,Name,CO_Route)))) */ %~ aXiom_p1(follow_plan(Agent,Name,[Step|Route]),A9,C9) :- %~ eVent(Agent,follow_step(Agent,Name,Step),A9,B9) , %~ eVent(Agent,follow_plan(Agent,Name,Route),B9,C9). /* ( aXiom_p1( follow_step(Agent,Name,Step)) ==>> {dbug1(follow_step(Agent,Name,Step))},raise_aXiom_events(Step)) */ %~ aXiom_p1(follow_step(Agent,Name,Step),A9,C9) :- %~ dbug1( follow_step(Agent,Name,Step)) , %~ B9=A9 , %~ raise_aXiom_events(Step,B9,C9). /* ( axiom_Recalc_e(attempts(Agent,act3(take,Agent,[Thing])),RECALC) ==>> ( ! , RECALC = attempts( Agent, act3(put__via,Agent,[take,Thing,held_by,Agent])))) */ %~ axiom_Recalc_e( %~ attempts(Agent,act3(take,Agent,[Thing])), RECALC,A9,B9) :- %~ ! , %~ A9=A9 , %~ =( RECALC, %~ attempts( Agent, %~ act3(put__via,Agent,[take,Thing,held_by,Agent])), A9,B9). /* ( axiom_Recalc_e(attempts(Agent,act3(drop,Agent,[Thing])),RECALC) ==>> ( ! , dshow_failure( h(spatial,At,Agent,Here)) , RECALC = attempts( Agent, act3(put__via,Agent,[drop,Thing,At,Here])))) */ %~ axiom_Recalc_e( %~ attempts(Agent,act3(drop,Agent,[Thing])), RECALC,A9,C9) :- %~ ! , %~ A9=A9 , %~ dshow_failure(h(spatial,At,Agent,Here),A9,B9) , %~ =( RECALC, %~ attempts( Agent, %~ act3(put__via,Agent,[drop,Thing,At,Here])), B9,C9). /* ( axiom_Recalc_e( attempts( Agent, act3(put,Agent,[Thing1,PrepAt,Thing2])), RECALC) ==>> RECALC = attempts( Agent, act3(put__via,Agent,[put,Thing1,PrepAt,Thing2]))) */ %~ axiom_Recalc_e( %~ attempts( Agent, %~ act3(put,Agent,[Thing1,PrepAt,Thing2])), RECALC,A9,B9) :- %~ %~ =( RECALC, %~ attempts( Agent, %~ act3(put__via,Agent,[put,Thing1,PrepAt,Thing2])), A9,B9). /* ( axiom_Recalc_e( attempts(Agent,act3(give,Agent,[Thing,Recipient])), RECALC) ==>> RECALC = attempts( Agent, act3(put__via,Agent,[give,Thing,held_by,Recipient]))) */ %~ axiom_Recalc_e( %~ attempts(Agent,act3(give,Agent,[Thing,Recipient])), RECALC,A9,B9) :- %~ %~ =( RECALC, %~ attempts( Agent, %~ act3(put__via,Agent,[give,Thing,held_by,Recipient])), A9,B9). /* ( aXiom_p1( attempts( Agent, act3( put__via, Agent, [How,Thing1,Prep,Thing2]))) ==>> ( {fail} , ! , dshow_failure( prep_to_rel(Thing2,Prep,At)) , from_loc(Agent,Here) , dshow_failure( has_rel(At,Thing2)) , dshow_failure( will_need_touch(Agent,Thing2)) , moveto( Agent, How, Thing1,At,Thing2, [Here], [ cap( subj(Agent)), person(How,es(How)), Thing1,At,Thing2, '.']))) */ %~ aXiom_p1( %~ attempts( Agent, %~ act3( put__via, %~ Agent, %~ [How,Thing1,Prep,Thing2])), A9,H9) :- %~ fail , %~ G9=A9 , %~ ! , %~ F9=G9 , %~ dshow_failure(prep_to_rel(Thing2,Prep,At),F9,E9) , %~ from_loc(Agent,Here,E9,D9) , %~ dshow_failure(has_rel(At,Thing2),D9,C9) , %~ dshow_failure(will_need_touch(Agent,Thing2),C9,B9) , %~ moveto( Agent, %~ How, Thing1,At,Thing2, %~ [Here], %~ [ cap( subj(Agent)), person(How,es(How)),Thing1, %~ At,Thing2,'.'], B9,H9). /* ( axiom_Recalc_e( attempts(Agent,act3(throw_dir,Agent,[Thing,ExitName])), RECALC) ==>> ( from_loc(Agent,Here) , RECALC = attempts( Agent, act3(throw_prep_obj,Agent,[Thing,ExitName,Here])))) */ %~ axiom_Recalc_e( %~ attempts(Agent,act3(throw_dir,Agent,[Thing,ExitName])), RECALC,A9,C9) :- %~ from_loc(Agent,Here,A9,B9) , %~ =( RECALC, %~ attempts( Agent, %~ act3(throw_prep_obj,Agent,[Thing,ExitName,Here])), B9,C9). /* ( axiom_Recalc_e( attempts(Agent,act3(throw_at,Agent,[Thing,Target])), RECALC) ==>> RECALC = attempts( Agent, act3(throw_prep_obj,Agent,[Thing,at,Target]))) */ %~ axiom_Recalc_e( %~ attempts(Agent,act3(throw_at,Agent,[Thing,Target])), RECALC,A9,B9) :- %~ %~ =( RECALC, %~ attempts( Agent, %~ act3(throw_prep_obj,Agent,[Thing,at,Target])), A9,B9). /* ( axiom_Recalc_e( attempts( Agent, act3(throw_prep_obj,Agent,[Thing,Prep,Target])), RECALC) ==>> ( prep_to_rel(Target,Prep,Rel) , RECALC = attempts( Agent, act3(put,Agent,[throw,Thing,Rel,Target])))) */ %~ axiom_Recalc_e( %~ attempts( Agent, %~ act3(throw_prep_obj,Agent,[Thing,Prep,Target])), RECALC,A9,C9) :- %~ prep_to_rel(Target,Prep,Rel,A9,B9) , %~ =( RECALC, %~ attempts( Agent, %~ act3(put,Agent,[throw,Thing,Rel,Target])), B9,C9). /* ( axiom_Recalc_e( attempts( Agent, act3(throw,Agent,[Thing,Prep,Target])), RECALC) ==>> ( prep_to_rel(Target,Prep,Rel);Prep=Rel , RECALC = attempts( Agent, act3(put,Agent,[throw,Thing,Rel,Target])))) */ %~ axiom_Recalc_e( %~ attempts( Agent, %~ act3(throw,Agent,[Thing,Prep,Target])), RECALC,A9,C9) :- %~ ( prep_to_rel(Target,Prep,Rel,A9,B9) ; %~ =(Prep,Rel,A9,B9)) , %~ =( RECALC, %~ attempts( Agent, %~ act3(put,Agent,[throw,Thing,Rel,Target])), B9,C9). /* ( aXiom_p1( attempts( Agent, act3(throw,Agent,[Thing,At,Target]))) ==>> ( will_need_touch(Agent,Thing) , can_sense(Agent,see,Target) , eVent( Agent, act3(throw,Agent,[Thing,At,Target])))) */ %~ aXiom_p1( %~ attempts( Agent, %~ act3(throw,Agent,[Thing,At,Target])), A9,D9) :- %~ will_need_touch(Agent,Thing,A9,C9) , %~ can_sense(Agent,see,Target,C9,B9) , %~ eVent( Agent, %~ act3(throw,Agent,[Thing,At,Target]), B9,D9). /* ( aXiom_p1( act3(throw,Agent,[Thing,AtTarget,Target])) ==>> ( ignore( ( getprop(Thing,breaks_into(Broken)) , dbug(general,'object ~p is breaks_into~n',[Thing]) , eVent(Agent,thing_transforms(Thing,Broken)))) , eVent( Agent, disgorge( Agent, do_throw, Target,AtTarget,Target, [Target],'Something falls out.')))) */ %~ aXiom_p1( %~ act3(throw,Agent,[Thing,AtTarget,Target]), A9,C9) :- %~ ignore( %~ ( getprop(Thing,breaks_into(Broken)) , %~ dbug(general,'object ~p is breaks_into~n',[Thing]) , %~ eVent(Agent,thing_transforms(Thing,Broken))), A9,B9) , %~ eVent( Agent, %~ disgorge( Agent, %~ do_throw, Target,AtTarget,Target, %~ [Target],'Something falls out.'), B9,C9). /* ( aXiom_p1( thing_transforms(Thing,Broken)) ==>> ( undeclare( h(Spatial,At,Thing,Here)) , declare( h(Spatial,At,Broken,Here)) , queue_local_event([transformed(Thing,Broken)],Here))) */ %~ aXiom_p1(thing_transforms(Thing,Broken),A9,D9) :- %~ undeclare(h(Spatial,At,Thing,Here),A9,C9) , %~ declare(h(Spatial,At,Broken,Here),C9,B9) , %~ queue_local_event([transformed(Thing,Broken)],Here,B9,D9). /* ( aXiom_p1( attempts(Agent,act3(hit_with,Agent,[Thing,With]))) ==>> ( from_loc(Agent,Here) , invoke_hit(Agent,Thing,With,[Here]) , send_1percept(Agent,[true,'OK.']))) */ %~ aXiom_p1( %~ attempts(Agent,act3(hit_with,Agent,[Thing,With])), A9,D9) :- %~ from_loc(Agent,Here,A9,C9) , %~ invoke_hit(Agent,Thing,With,[Here],C9,B9) , %~ send_1percept(Agent,[true,'OK.'],B9,D9). /* ( aXiom_p1( attempts(Agent,act3(hit,Agent,[Thing]))) ==>> ( from_loc(Agent,Here) , invoke_hit(Agent,Thing,Agent,[Here]) , send_1percept(Agent,[true,'OK.']))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:311 %~ aXiom_p1(attempts(Agent,act3(hit,Agent,[Thing])),A9,D9) :- %~ from_loc(Agent,Here,A9,C9) , %~ invoke_hit(Agent,Thing,Agent,[Here],C9,B9) , %~ send_1percept(Agent,[true,'OK.'],B9,D9). /* ( invoke_hit(Doer,Target,_With,Vicinity) ==>> ignore( ( getprop(Target,breaks_into(Broken)) , dbug(general,'target ~p is breaks_into~n',[Target]) , undeclare( h(Spatial,Prep,Target,Here)) , queue_local_event([transformed(Target,Broken)],Vicinity) , declare( h(Spatial,Prep,Broken,Here)) , disgorge(Doer,hit,Target,Prep,Here,Vicinity,'Something falls out.')))) */ %~ invoke_hit(Doer,Target,_With,Vicinity,A9,B9) :- %~ %~ ignore( %~ ( getprop(Target,breaks_into(Broken)) , %~ dbug(general,'target ~p is breaks_into~n',[Target]) , %~ undeclare( h(Spatial,Prep,Target,Here)) , %~ queue_local_event([transformed(Target,Broken)],Vicinity) , %~ declare( h(Spatial,Prep,Broken,Here)) , %~ disgorge(Doer,hit,Target,Prep,Here,Vicinity,'Something falls out.')), A9,B9). /* ( aXiom_p1( attempts( Agent, act3(dig,Agent,[Hole,Where,Tool]))) ==>> ( { memberchk(Hole,[hole,trench,pit,ditch]), memberchk(Where,[garden]), memberchk(Tool,[shovel,spade]) } , open_traverse(Tool,Agent) , from_loc(Agent,Where) , \+( h(spatial,_At,Hole,Where)) , declare( h(spatial,in,Hole,Where)) , setprop(Hole,default_rel=in) , setprop(Hole,can_be(move,f)) , setprop(Hole,can_be(take,f)) , declare( h(spatial,in,dirt,Where)) , queue_event( [ created(Hole,Where), [ cap( subj(Agent)), person(dig,digs),a,Hole,'in the', Where,'.']]))) */ %~ aXiom_p1( %~ attempts( Agent, %~ act3(dig,Agent,[Hole,Where,Tool])), A9,L9) :- %~ memberchk(Hole,[hole,trench,pit,ditch]) , %~ memberchk(Where,[garden]) , %~ memberchk(Tool,[shovel,spade]) , %~ K9=A9 , %~ open_traverse(Tool,Agent,K9,J9) , %~ from_loc(Agent,Where,J9,I9) , %~ \+( h(spatial,_At,Hole,Where,I9,H9)) , %~ G9=I9 , %~ declare(h(spatial,in,Hole,Where),G9,F9) , %~ setprop(Hole,default_rel=in,F9,E9) , %~ setprop(Hole,can_be(move,f),E9,D9) , %~ setprop(Hole,can_be(take,f),D9,C9) , %~ declare(h(spatial,in,dirt,Where),C9,B9) , %~ queue_event( %~ [ created(Hole,Where), %~ [ cap( subj(Agent)), person(dig,digs),a,Hole,'in the', %~ Where,'.']], B9,L9). /* ( aXiom_p1( attempts(Agent,act3(eat,Agent,[Thing]))) ==>> ( getprop(Thing,can_be(eat,t)) -> ( undeclare( h(spatial,_1,Thing,_2)) , send_1percept(Agent,[destroyed(Thing),'Mmmm, good!'])) ; send_1percept( Agent, [ [ failure( attempts(Agent,act3(eat,Agent,[Thing]))), 'It\'s inedible!'])])) */ %~ aXiom_p1(attempts(Agent,act3(eat,Agent,[Thing])),A9,D9) -> %~ %~ ( getprop(Thing,can_be(eat,t),A9,C9) -> %~ undeclare(h(spatial,_1,Thing,_2),C9,B9) , %~ send_1percept(Agent,[destroyed(Thing),'Mmmm, good!'],B9,D9) ; %~ send_1percept( Agent, %~ [ failure( attempts(Agent,act3(eat,Agent,[Thing]))), %~ 'It\'s inedible!'], A9,D9)). /* ( aXiom_p1( attempts(Agent,act3(switch,Agent,[OnOff,Thing]))) ==>> ( will_need_touch(Agent,Thing) , getprop(Thing,can_be(switch(OnOff),t)) , getprop(Thing,effect(switch(OnOff),Term0)) , { adv_subst(equivalent,$self,Thing,Term0,Term) } , call(Term) , send_1percept(Agent,[success(true,'OK')]))) */ %~ aXiom_p1( %~ attempts(Agent,act3(switch,Agent,[OnOff,Thing])), A9,G9) :- %~ will_need_touch(Agent,Thing,A9,F9) , %~ getprop(Thing,can_be(switch(OnOff),t),F9,E9) , %~ getprop(Thing,effect(switch(OnOff),Term0),E9,D9) , %~ adv_subst(equivalent,$self,Thing,Term0,Term) , %~ C9=D9 , %~ call(Term,C9,B9) , %~ send_1percept(Agent,[success(true,'OK')],B9,G9). /* ( axiom_Recalc_e(attempts(Agent,act3(inventory,Who,[])),RECALC) ==>> RECALC = attempts(Agent,act3(examine,Agent,[Who]))) */ %~ axiom_Recalc_e(attempts(Agent,act3(inventory,Who,[])),RECALC,A9,B9) :- %~ %~ =( RECALC, %~ attempts(Agent,act3(examine,Agent,[Who])), A9,B9). /* ( axiom_Recalc_e(attempts(Agent,act3(look,Agent,[])),RECALC) ==>> ( h(spatial,At,Agent,Here) , RECALC = attempts( Agent, act3(examine__D3,Agent,[see,At,Here])))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:365 %~ axiom_Recalc_e(attempts(Agent,act3(look,Agent,[])),RECALC,A9,C9) :- %~ h(spatial,At,Agent,Here,A9,B9) , %~ =( RECALC, %~ attempts(Agent,act3(examine__D3,Agent,[see,At,Here])), B9,C9). /* ( axiom_Recalc_e(attempts(Agent,act3(examine,Agent,[Sense])),RECALC) ==>> ( { is_sense(Sense) } , ! , from_loc(Agent,Place) , RECALC = attempts(Agent,act3(examine__D3,Agent,[see,in,Place])))) */ %~ axiom_Recalc_e( %~ attempts(Agent,act3(examine,Agent,[Sense])), RECALC,A9,E9) :- %~ is_sense(Sense) , %~ D9=A9 , %~ ! , %~ C9=D9 , %~ from_loc(Agent,Place,C9,B9) , %~ =( RECALC, %~ attempts(Agent,act3(examine__D3,Agent,[see,in,Place])), B9,E9). /* ( axiom_Recalc_e(attempts(Agent,act3(examine,Agent,[Object])),RECALC) ==>> RECALC = attempts(Agent,act3(examine__D3,Agent,[see,at,Object]))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:373 %~ axiom_Recalc_e( %~ attempts(Agent,act3(examine,Agent,[Object])), RECALC,A9,B9) :- %~ %~ =( RECALC, %~ attempts(Agent,act3(examine__D3,Agent,[see,at,Object])), A9,B9). /* ( axiom_Recalc_e( attempts(Agent,act3(examine,Agent,[Sense,Object])), RECALC) ==>> ( RECALC = attempts( Agent, act3(examine__D3,Agent,[Sense,at,Object])) , !)) */ %~ axiom_Recalc_e( %~ attempts(Agent,act3(examine,Agent,[Sense,Object])), RECALC,A9,C9) :- %~ =( RECALC, %~ attempts(Agent,act3(examine__D3,Agent,[Sense,at,Object])), A9,B9) , %~ ! , %~ C9=B9. /* ( axiom_Recalc_e( attempts( Agent, act3(examine,Agent,[Sense,Prep,Object])), RECALC) ==>> ( RECALC = attempts( Agent, act3(examine__D3,Agent,[Sense,Prep,Object])) , !)) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:375 %~ axiom_Recalc_e( %~ attempts( Agent, %~ act3(examine,Agent,[Sense,Prep,Object])), RECALC,A9,C9) :- %~ =( RECALC, %~ attempts( Agent, %~ act3(examine__D3,Agent,[Sense,Prep,Object])), A9,B9) , %~ ! , %~ C9=B9. /* ( axiom_Recalc_e( attempts( Agent, act3( examine, Agent, [Sense,Prep,Object,Depth])), RECALC) ==>> ( RECALC = attempts( Agent, act3( examine__D3, Agent, [Sense,Prep,Object,Depth])) , !)) */ %~ axiom_Recalc_e( %~ attempts( Agent, %~ act3( examine, %~ Agent, %~ [Sense,Prep,Object,Depth])), RECALC,A9,C9) :- %~ =( RECALC, %~ attempts( Agent, %~ act3( examine__D3, %~ Agent, %~ [Sense,Prep,Object,Depth])), A9,B9) , %~ ! , %~ C9=B9. /* ( axiom_Recalc_e( attempts( Agent, act3(examine__D3,Agent,[Sense,Prep,Object])), RECALC) ==>> ( RECALC = attempts( Agent, act3(examine__D5,Agent,[Sense,Prep,Object,3])) , !)) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:380 %~ axiom_Recalc_e( %~ attempts( Agent, %~ act3(examine__D3,Agent,[Sense,Prep,Object])), RECALC,A9,C9) :- %~ =( RECALC, %~ attempts( Agent, %~ act3(examine__D5,Agent,[Sense,Prep,Object,3])), A9,B9) , %~ ! , %~ C9=B9. /* ( axiom_Recalc_e( attempts( Agent, act3( examine__D3, Agent, [Sense,Prep,Object,Depth])), RECALC) ==>> ( RECALC = attempts( Agent, act3( examine__D5, Agent, [Sense,Prep,Object,Depth])) , !)) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:381 %~ axiom_Recalc_e( %~ attempts( Agent, %~ act3( examine__D3, %~ Agent, %~ [Sense,Prep,Object,Depth])), RECALC,A9,C9) :- %~ =( RECALC, %~ attempts( Agent, %~ act3( examine__D5, %~ Agent, %~ [Sense,Prep,Object,Depth])), A9,B9) , %~ ! , %~ C9=B9. /* ( aXiom_p1( attempts( Agent, act3( examine__D5, Agent, [Sense,Prep,Object,Depth]))) ==>> ( \+( sg( can_sense_here(Agent,Sense))) , ! , raise_aXiom_events( failed( did( Agent, act3( examine, Agent, [Sense,Prep,Object,Depth])), \+( can_sense_here(Agent,Sense)))))) */ %~ aXiom_p1( %~ attempts( Agent, %~ act3( examine__D5, %~ Agent, %~ [Sense,Prep,Object,Depth])), A9,E9) :- %~ \+( sg(can_sense_here(Agent,Sense),A9,D9)) , %~ C9=A9 , %~ ! , %~ B9=C9 , %~ raise_aXiom_events( %~ failed( %~ did( Agent, %~ act3( examine, %~ Agent, %~ [Sense,Prep,Object,Depth])), %~ \+( can_sense_here(Agent,Sense))), B9,E9). /* ( aXiom_p1( attempts( Agent, act3( examine__D5, Agent, [Sense,Prep,Object,Depth]))) ==>> ( \+( sg( can_sense(Agent,Sense,Object))) , ! , raise_aXiom_events( failed( did( Agent, act3( examine, Agent, [Sense,Prep,Object,Depth])), \+( can_sense(Agent,Sense,Object)))))) */ %~ aXiom_p1( %~ attempts( Agent, %~ act3( examine__D5, %~ Agent, %~ [Sense,Prep,Object,Depth])), A9,E9) :- %~ \+( sg(can_sense(Agent,Sense,Object),A9,D9)) , %~ C9=A9 , %~ ! , %~ B9=C9 , %~ raise_aXiom_events( %~ failed( %~ did( Agent, %~ act3( examine, %~ Agent, %~ [Sense,Prep,Object,Depth])), %~ \+( can_sense(Agent,Sense,Object))), B9,E9). /* ( aXiom_p1( attempts( Agent, act3( examine__D5, Agent, [Sense,Prep,Object,Depth]))) ==>> act_examine(Agent,Sense,Prep,Object,Depth),!) */ %~ aXiom_p1( %~ attempts( Agent, %~ act3( examine__D5, %~ Agent, %~ [Sense,Prep,Object,Depth])), A9,C9) :- %~ must_mw1( %~ act_examine(Agent,Sense,Prep,Object,Depth), A9,B9) , %~ ! , %~ C9=B9. /* ( aXiom_p1( attempts(Agent,act3(touch,Agent,[Thing]))) ==>> ( ! , unless_reason( Agent, will_need_touch(Agent,Thing), cant( reach(Agent,Thing)), send_1percept(Agent,[success(act3(touch,Agent,[Thing]),'Ok.')])))) */ %~ aXiom_p1(attempts(Agent,act3(touch,Agent,[Thing])),A9,B9) :- %~ ! , %~ A9=A9 , %~ unless_reason( Agent, %~ will_need_touch(Agent,Thing), %~ cant( reach(Agent,Thing)), %~ send_1percept(Agent,[success(act3(touch,Agent,[Thing]),'Ok.')]), A9,B9). /* ( aXiom_p1( change_state(Agent,Action,Thing,Prop)) ==>> !,change_state(Agent,Action,Thing,Prop)) */ %~ aXiom_p1(change_state(Agent,Action,Thing,Prop),A9,B9) :- %~ ! , %~ A9=A9 , %~ change_state(Agent,Action,Thing,Prop,A9,B9). /* ( aXiom_p1(Action,S0,S9) ::= ( action_verb_agent_thing(Action,Verb,Agent,Thing) , nonvar(Verb) , nonvar(Thing) , nonvar(Agent) , act_change_state_or_fallback(Verb,State,TF) , ! , eVent( Agent, change_state(Agent,Action,Thing,State=TF), S0,S9) , !)) */ %~ aXiom_p1(Action,S0,S9) :- %~ action_verb_agent_thing(Action,Verb,Agent,Thing) , %~ nonvar(Verb) , %~ nonvar(Thing) , %~ nonvar(Agent) , %~ act_change_state_or_fallback(Verb,State,TF) , %~ ! , %~ eVent( Agent, %~ change_state(Agent,Action,Thing,State=TF), S0,S9) , %~ !. ``` totalTime=2.000 FAILED: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k adv_test_02.pl (returned 137) Add_LABELS='Errors,Overtime' Rem_LABELS='Skipped,Skipped,Warnings,Skipped']]>