|
I added a trace atomspace and the content of that is this (with a bit
of other output before and after it) after running the backward chainer
on the given query:
|
Robot position: 1
Picker position: 2
Query: (AndLink (EvaluationLink (PredicateNode "linked")
(ListLink (VariableNode "origin") (VariableNode
"destination") ) ) (StateLink (ListLink (VariableNode
"picker") (PredicateNode "has_crate") ) (ConceptNode
"FALSE") ) (StateLink (ListLink (VariableNode "picker")
(PredicateNode "seen_picking") ) (ConceptNode "FALSE") )
(StateLink (ConceptNode "Robot01") (VariableNode "origin") )
(StateLink (ConceptNode "Picker01") (VariableNode "destination") ))
[(ConceptNode "WayPoint002" (stv 1.000000 1.000000)) ;
[1421707021219169969][4]
, (ConceptNode "FALSE") ; [8059389032376030371][4]
, (ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
, (ConceptNode "Robot01" (stv 1.000000 1.000000)) ; [8656126396895433734][4]
, (ConceptNode "WayPoint001" (stv 1.000000 1.000000)) ;
[1461315689995762073][4]
, (PredicateNode "seen_picking") ; [4980394588905344669][4]
, (PredicateNode "URE:BC:and-BIT") ; [7937878864955488923][4]
, (PredicateNode "URE:BC:proof-of") ; [7861690586484479273][4]
, (PredicateNode "has_crate") ; [2386365538716170588][4]
, (PredicateNode "URE:BC:target") ; [3655466572582412298][4]
, (PredicateNode "linked") ; [7377131820250567544][4]
, (ListLink
(DontExecLink
(BindLink
(VariableList
(VariableNode "picker") ; [3320396016748559776][4]
(VariableNode "origin") ; [1432856408906525938][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [12560458022798011237][4]
(AndLink
(EvaluationLink
(PredicateNode "linked") ; [7377131820250567544][4]
(ListLink
(VariableNode "origin") ; [1432856408906525938][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [16211263182419955128][4]
) ; [11737869013450940133][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "has_crate") ; [2386365538716170588][4]
) ; [14008516234445170105][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [14480148654898681519][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "seen_picking") ; [4980394588905344669][4]
) ; [13783631960832222081][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [15741508350878763237][4]
(StateLink
(ConceptNode "Robot01" (stv 1.000000 1.000000)) ;
[8656126396895433734][4]
(VariableNode "origin") ; [1432856408906525938][4]
) ; [16982141063225259837][4]
(StateLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [18172667735726832559][4]
) ; [10202968835893361781][4]
(AndLink
(EvaluationLink
(PredicateNode "linked") ; [7377131820250567544][4]
(ListLink
(VariableNode "origin") ; [1432856408906525938][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [16211263182419955128][4]
) ; [11737869013450940133][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "has_crate") ; [2386365538716170588][4]
) ; [14008516234445170105][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [14480148654898681519][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "seen_picking") ; [4980394588905344669][4]
) ; [13783631960832222081][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [15741508350878763237][4]
(StateLink
(ConceptNode "Robot01" (stv 1.000000 1.000000)) ;
[8656126396895433734][4]
(VariableNode "origin") ; [1432856408906525938][4]
) ; [16982141063225259837][4]
(StateLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [18172667735726832559][4]
) ; [10202968835893361781][4]
) ; [10378290140134742943][4]
) ; [10056885220319300478][4]
(AndLink
(StateLink (stv 1.000000 1.000000)
(ConceptNode "Robot01" (stv 1.000000 1.000000)) ;
[8656126396895433734][4]
(ConceptNode "WayPoint001" (stv 1.000000 1.000000)) ;
[1461315689995762073][4]
) ; [10246810040960724207][4]
(StateLink (stv 1.000000 1.000000)
(ListLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(PredicateNode "seen_picking") ; [4980394588905344669][4]
) ; [13553464137728764687][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [10800256415231817922][4]
(StateLink (stv 1.000000 1.000000)
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(ConceptNode "WayPoint002" (stv 1.000000 1.000000)) ;
[1421707021219169969][4]
) ; [12979417854504668522][4]
(EvaluationLink (stv 1.000000 1.000000)
(PredicateNode "linked") ; [7377131820250567544][4]
(ListLink
(ConceptNode "WayPoint001" (stv 1.000000 1.000000)) ;
[1461315689995762073][4]
(ConceptNode "WayPoint002" (stv 1.000000 1.000000)) ;
[1421707021219169969][4]
) ; [12650955823366188636][4]
) ; [13021153103939626777][4]
(StateLink (stv 1.000000 1.000000)
(ListLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(PredicateNode "has_crate") ; [2386365538716170588][4]
) ; [16000349526672526752][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [13021724614411824842][4]
) ; [11420344547789796517][4]
) ; [13191677814610597869][4]
, (ListLink
(VariableNode "origin") ; [1432856408906525938][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [16211263182419955128][4]
, (ListLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(PredicateNode "has_crate") ; [2386365538716170588][4]
) ; [16000349526672526752][4]
, (ListLink
(ConceptNode "WayPoint001" (stv 1.000000 1.000000)) ;
[1461315689995762073][4]
(ConceptNode "WayPoint002" (stv 1.000000 1.000000)) ;
[1421707021219169969][4]
) ; [12650955823366188636][4]
, (ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "has_crate") ; [2386365538716170588][4]
) ; [14008516234445170105][4]
, (ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "seen_picking") ; [4980394588905344669][4]
) ; [13783631960832222081][4]
, (ListLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(PredicateNode "seen_picking") ; [4980394588905344669][4]
) ; [13553464137728764687][4]
, (AndLink
(StateLink (stv 1.000000 1.000000)
(ConceptNode "Robot01" (stv 1.000000 1.000000)) ;
[8656126396895433734][4]
(ConceptNode "WayPoint001" (stv 1.000000 1.000000)) ;
[1461315689995762073][4]
) ; [10246810040960724207][4]
(StateLink (stv 1.000000 1.000000)
(ListLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(PredicateNode "seen_picking") ; [4980394588905344669][4]
) ; [13553464137728764687][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [10800256415231817922][4]
(StateLink (stv 1.000000 1.000000)
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(ConceptNode "WayPoint002" (stv 1.000000 1.000000)) ;
[1421707021219169969][4]
) ; [12979417854504668522][4]
(EvaluationLink (stv 1.000000 1.000000)
(PredicateNode "linked") ; [7377131820250567544][4]
(ListLink
(ConceptNode "WayPoint001" (stv 1.000000 1.000000)) ;
[1461315689995762073][4]
(ConceptNode "WayPoint002" (stv 1.000000 1.000000)) ;
[1421707021219169969][4]
) ; [12650955823366188636][4]
) ; [13021153103939626777][4]
(StateLink (stv 1.000000 1.000000)
(ListLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(PredicateNode "has_crate") ; [2386365538716170588][4]
) ; [16000349526672526752][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [13021724614411824842][4]
) ; [11420344547789796517][4]
, (AndLink
(EvaluationLink
(PredicateNode "linked") ; [7377131820250567544][4]
(ListLink
(VariableNode "origin") ; [1432856408906525938][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [16211263182419955128][4]
) ; [11737869013450940133][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "has_crate") ; [2386365538716170588][4]
) ; [14008516234445170105][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [14480148654898681519][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "seen_picking") ; [4980394588905344669][4]
) ; [13783631960832222081][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [15741508350878763237][4]
(StateLink
(ConceptNode "Robot01" (stv 1.000000 1.000000)) ;
[8656126396895433734][4]
(VariableNode "origin") ; [1432856408906525938][4]
) ; [16982141063225259837][4]
(StateLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [18172667735726832559][4]
) ; [10202968835893361781][4]
, (VariableNode "picker") ; [3320396016748559776][4]
, (VariableNode "destination") ; [8732522677762917232][4]
, (VariableNode "origin") ; [1432856408906525938][4]
, (VariableList
(VariableNode "picker") ; [3320396016748559776][4]
(VariableNode "origin") ; [1432856408906525938][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [12560458022798011237][4]
, (DontExecLink
(BindLink
(VariableList
(VariableNode "picker") ; [3320396016748559776][4]
(VariableNode "origin") ; [1432856408906525938][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [12560458022798011237][4]
(AndLink
(EvaluationLink
(PredicateNode "linked") ; [7377131820250567544][4]
(ListLink
(VariableNode "origin") ; [1432856408906525938][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [16211263182419955128][4]
) ; [11737869013450940133][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "has_crate") ; [2386365538716170588][4]
) ; [14008516234445170105][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [14480148654898681519][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "seen_picking") ; [4980394588905344669][4]
) ; [13783631960832222081][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [15741508350878763237][4]
(StateLink
(ConceptNode "Robot01" (stv 1.000000 1.000000)) ;
[8656126396895433734][4]
(VariableNode "origin") ; [1432856408906525938][4]
) ; [16982141063225259837][4]
(StateLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [18172667735726832559][4]
) ; [10202968835893361781][4]
(AndLink
(EvaluationLink
(PredicateNode "linked") ; [7377131820250567544][4]
(ListLink
(VariableNode "origin") ; [1432856408906525938][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [16211263182419955128][4]
) ; [11737869013450940133][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "has_crate") ; [2386365538716170588][4]
) ; [14008516234445170105][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [14480148654898681519][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "seen_picking") ; [4980394588905344669][4]
) ; [13783631960832222081][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [15741508350878763237][4]
(StateLink
(ConceptNode "Robot01" (stv 1.000000 1.000000)) ;
[8656126396895433734][4]
(VariableNode "origin") ; [1432856408906525938][4]
) ; [16982141063225259837][4]
(StateLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [18172667735726832559][4]
) ; [10202968835893361781][4]
) ; [10378290140134742943][4]
) ; [10056885220319300478][4]
, (StateLink (stv 1.000000 1.000000)
(ListLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(PredicateNode "has_crate") ; [2386365538716170588][4]
) ; [16000349526672526752][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [13021724614411824842][4]
, (StateLink (stv 1.000000 1.000000)
(ListLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(PredicateNode "seen_picking") ; [4980394588905344669][4]
) ; [13553464137728764687][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [10800256415231817922][4]
, (StateLink (stv 1.000000 1.000000)
(ConceptNode "Robot01" (stv 1.000000 1.000000)) ;
[8656126396895433734][4]
(ConceptNode "WayPoint001" (stv 1.000000 1.000000)) ;
[1461315689995762073][4]
) ; [10246810040960724207][4]
, (StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "has_crate") ; [2386365538716170588][4]
) ; [14008516234445170105][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [14480148654898681519][4]
, (StateLink (stv 1.000000 1.000000)
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(ConceptNode "WayPoint002" (stv 1.000000 1.000000)) ;
[1421707021219169969][4]
) ; [12979417854504668522][4]
, (StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "seen_picking") ; [4980394588905344669][4]
) ; [13783631960832222081][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [15741508350878763237][4]
, (StateLink
(ConceptNode "Robot01" (stv 1.000000 1.000000)) ;
[8656126396895433734][4]
(VariableNode "origin") ; [1432856408906525938][4]
) ; [16982141063225259837][4]
, (StateLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [18172667735726832559][4]
, (BindLink
(VariableList
(VariableNode "picker") ; [3320396016748559776][4]
(VariableNode "origin") ; [1432856408906525938][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [12560458022798011237][4]
(AndLink
(EvaluationLink
(PredicateNode "linked") ; [7377131820250567544][4]
(ListLink
(VariableNode "origin") ; [1432856408906525938][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [16211263182419955128][4]
) ; [11737869013450940133][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "has_crate") ; [2386365538716170588][4]
) ; [14008516234445170105][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [14480148654898681519][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "seen_picking") ; [4980394588905344669][4]
) ; [13783631960832222081][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [15741508350878763237][4]
(StateLink
(ConceptNode "Robot01" (stv 1.000000 1.000000)) ;
[8656126396895433734][4]
(VariableNode "origin") ; [1432856408906525938][4]
) ; [16982141063225259837][4]
(StateLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [18172667735726832559][4]
) ; [10202968835893361781][4]
(AndLink
(EvaluationLink
(PredicateNode "linked") ; [7377131820250567544][4]
(ListLink
(VariableNode "origin") ; [1432856408906525938][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [16211263182419955128][4]
) ; [11737869013450940133][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "has_crate") ; [2386365538716170588][4]
) ; [14008516234445170105][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [14480148654898681519][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "seen_picking") ; [4980394588905344669][4]
) ; [13783631960832222081][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [15741508350878763237][4]
(StateLink
(ConceptNode "Robot01" (stv 1.000000 1.000000)) ;
[8656126396895433734][4]
(VariableNode "origin") ; [1432856408906525938][4]
) ; [16982141063225259837][4]
(StateLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [18172667735726832559][4]
) ; [10202968835893361781][4]
) ; [10378290140134742943][4]
, (EvaluationLink
(PredicateNode "URE:BC:proof-of") ; [7861690586484479273][4]
(ListLink
(DontExecLink
(BindLink
(VariableList
(VariableNode "picker") ; [3320396016748559776][4]
(VariableNode "origin") ; [1432856408906525938][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [12560458022798011237][4]
(AndLink
(EvaluationLink
(PredicateNode "linked") ; [7377131820250567544][4]
(ListLink
(VariableNode "origin") ; [1432856408906525938][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [16211263182419955128][4]
) ; [11737869013450940133][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "has_crate") ; [2386365538716170588][4]
) ; [14008516234445170105][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [14480148654898681519][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "seen_picking") ; [4980394588905344669][4]
) ; [13783631960832222081][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [15741508350878763237][4]
(StateLink
(ConceptNode "Robot01" (stv 1.000000 1.000000)) ;
[8656126396895433734][4]
(VariableNode "origin") ; [1432856408906525938][4]
) ; [16982141063225259837][4]
(StateLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [18172667735726832559][4]
) ; [10202968835893361781][4]
(AndLink
(EvaluationLink
(PredicateNode "linked") ; [7377131820250567544][4]
(ListLink
(VariableNode "origin") ; [1432856408906525938][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [16211263182419955128][4]
) ; [11737869013450940133][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "has_crate") ; [2386365538716170588][4]
) ; [14008516234445170105][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [14480148654898681519][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "seen_picking") ; [4980394588905344669][4]
) ; [13783631960832222081][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [15741508350878763237][4]
(StateLink
(ConceptNode "Robot01" (stv 1.000000 1.000000)) ;
[8656126396895433734][4]
(VariableNode "origin") ; [1432856408906525938][4]
) ; [16982141063225259837][4]
(StateLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [18172667735726832559][4]
) ; [10202968835893361781][4]
) ; [10378290140134742943][4]
) ; [10056885220319300478][4]
(AndLink
(StateLink (stv 1.000000 1.000000)
(ConceptNode "Robot01" (stv 1.000000 1.000000)) ;
[8656126396895433734][4]
(ConceptNode "WayPoint001" (stv 1.000000 1.000000)) ;
[1461315689995762073][4]
) ; [10246810040960724207][4]
(StateLink (stv 1.000000 1.000000)
(ListLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(PredicateNode "seen_picking") ; [4980394588905344669][4]
) ; [13553464137728764687][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [10800256415231817922][4]
(StateLink (stv 1.000000 1.000000)
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(ConceptNode "WayPoint002" (stv 1.000000 1.000000)) ;
[1421707021219169969][4]
) ; [12979417854504668522][4]
(EvaluationLink (stv 1.000000 1.000000)
(PredicateNode "linked") ; [7377131820250567544][4]
(ListLink
(ConceptNode "WayPoint001" (stv 1.000000 1.000000)) ;
[1461315689995762073][4]
(ConceptNode "WayPoint002" (stv 1.000000 1.000000)) ;
[1421707021219169969][4]
) ; [12650955823366188636][4]
) ; [13021153103939626777][4]
(StateLink (stv 1.000000 1.000000)
(ListLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(PredicateNode "has_crate") ; [2386365538716170588][4]
) ; [16000349526672526752][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [13021724614411824842][4]
) ; [11420344547789796517][4]
) ; [13191677814610597869][4]
) ; [12250320817453029415][4]
, (EvaluationLink (stv 1.000000 1.000000)
(PredicateNode "linked") ; [7377131820250567544][4]
(ListLink
(ConceptNode "WayPoint001" (stv 1.000000 1.000000)) ;
[1461315689995762073][4]
(ConceptNode "WayPoint002" (stv 1.000000 1.000000)) ;
[1421707021219169969][4]
) ; [12650955823366188636][4]
) ; [13021153103939626777][4]
, (EvaluationLink (stv 1.000000 1.000000)
(PredicateNode "URE:BC:target") ; [3655466572582412298][4]
(AndLink
(EvaluationLink
(PredicateNode "linked") ; [7377131820250567544][4]
(ListLink
(VariableNode "origin") ; [1432856408906525938][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [16211263182419955128][4]
) ; [11737869013450940133][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "has_crate") ; [2386365538716170588][4]
) ; [14008516234445170105][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [14480148654898681519][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "seen_picking") ; [4980394588905344669][4]
) ; [13783631960832222081][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [15741508350878763237][4]
(StateLink
(ConceptNode "Robot01" (stv 1.000000 1.000000)) ;
[8656126396895433734][4]
(VariableNode "origin") ; [1432856408906525938][4]
) ; [16982141063225259837][4]
(StateLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [18172667735726832559][4]
) ; [10202968835893361781][4]
) ; [9437574303461310653][4]
, (EvaluationLink
(PredicateNode "linked") ; [7377131820250567544][4]
(ListLink
(VariableNode "origin") ; [1432856408906525938][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [16211263182419955128][4]
) ; [11737869013450940133][4]
, (EvaluationLink (stv 1.000000 1.000000)
(PredicateNode "URE:BC:and-BIT") ; [7937878864955488923][4]
(DontExecLink
(BindLink
(VariableList
(VariableNode "picker") ; [3320396016748559776][4]
(VariableNode "origin") ; [1432856408906525938][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [12560458022798011237][4]
(AndLink
(EvaluationLink
(PredicateNode "linked") ; [7377131820250567544][4]
(ListLink
(VariableNode "origin") ; [1432856408906525938][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [16211263182419955128][4]
) ; [11737869013450940133][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "has_crate") ; [2386365538716170588][4]
) ; [14008516234445170105][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [14480148654898681519][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "seen_picking") ; [4980394588905344669][4]
) ; [13783631960832222081][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [15741508350878763237][4]
(StateLink
(ConceptNode "Robot01" (stv 1.000000 1.000000)) ;
[8656126396895433734][4]
(VariableNode "origin") ; [1432856408906525938][4]
) ; [16982141063225259837][4]
(StateLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [18172667735726832559][4]
) ; [10202968835893361781][4]
(AndLink
(EvaluationLink
(PredicateNode "linked") ; [7377131820250567544][4]
(ListLink
(VariableNode "origin") ; [1432856408906525938][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [16211263182419955128][4]
) ; [11737869013450940133][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "has_crate") ; [2386365538716170588][4]
) ; [14008516234445170105][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [14480148654898681519][4]
(StateLink
(ListLink
(VariableNode "picker") ; [3320396016748559776][4]
(PredicateNode "seen_picking") ; [4980394588905344669][4]
) ; [13783631960832222081][4]
(ConceptNode "FALSE") ; [8059389032376030371][4]
) ; [15741508350878763237][4]
(StateLink
(ConceptNode "Robot01" (stv 1.000000 1.000000)) ;
[8656126396895433734][4]
(VariableNode "origin") ; [1432856408906525938][4]
) ; [16982141063225259837][4]
(StateLink
(ConceptNode "Picker01" (stv 1.000000 1.000000)) ;
[5250680523874337442][4]
(VariableNode "destination") ; [8732522677762917232][4]
) ; [18172667735726832559][4]
) ; [10202968835893361781][4]
) ; [10378290140134742943][4]
) ; [10056885220319300478][4]
) ; [9756272752300218847][4]
, (SchemaNode "URE:BC:expand-and-BIT") ; [9124129740472279502][4]
]
Result (SetLink (AndLink (StateLink (ConceptNode "Robot01")
(ConceptNode "WayPoint001") ) (StateLink (ListLink
(ConceptNode "Picker01") (PredicateNode "seen_picking")
) (ConceptNode "FALSE") ) (StateLink (ConceptNode
"Picker01") (ConceptNode "WayPoint002") ) (EvaluationLink
(PredicateNode "linked") (ListLink (ConceptNode
"WayPoint001") (ConceptNode "WayPoint002") ) )
(StateLink (ListLink (ConceptNode "Picker01")
(PredicateNode "has_crate") ) (ConceptNode "FALSE") ) ))
Truth: (stv 1.000000 0.000000)
|
thank you for your help and time!
Best,
Alex
--
You received this message because you are subscribed to the Google
Groups "opencog" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to opencog+unsubscr...@googlegroups.com
<mailto:opencog+unsubscr...@googlegroups.com>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/opencog/7546e8a0-1e49-49e3-b7f9-3dba4a159927%40googlegroups.com
<https://groups.google.com/d/msgid/opencog/7546e8a0-1e49-49e3-b7f9-3dba4a159927%40googlegroups.com?utm_medium=email&utm_source=footer>.