>(will_need_touch(Agent,Thing),h(spatial,touchable,Agent,Thing)) */ %~ 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))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:59 %~ 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((_51146;_51148),A9,B9) :- %~ ! , %~ A9=A9 , %~ aXiom_p1(_51146,A9,B9);aXiom_p1(_51148,A9,B9). /* ==>>(aXiom_p1((P1->P11)),(!,(aXiom_p1(P1)->aXiom_p1(P11)))) */ %~ aXiom_p1((_35236->_35238),A9,C9) -> %~ ! , %~ A9=A9 , %~ aXiom_p1(_35236,A9,B9) -> %~ %~ aXiom_p1(_35238,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(_27392,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]))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:130 %~ 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))}) */ %~ 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])))) */ %~ 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))))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:195 %~ 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]))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:253 %~ 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). ``` 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']]>