Re: [opencog-dev] Trying to implement path reasoning on Predicates but running into inference problems.

'Nil Geisweiller' via opencog Tue, 14 Jan 2020 04:05:00 -0800

Hi,

On 1/13/20 8:03 PM, Alexander Gabriel wrote:

I set the debug level as indicated by Vitaly, but the only output in theopencog.log is this :
|
[2020-01-13 17:58:15:775] [INFO] [global_python_initialize] Start
[2020-01-13 17:58:15:775] [INFO] [global_python_initialize] AddingOpenCog sys.path directories
[2020-01-13 17:58:15:775] [INFO] [global_python_initialize] Finish
[2020-01-13 17:58:15:775] [INFO]PythonEval::initialize_python_objects_and_imports Finished initialisingpython evaluator.

That's not normal. Alex, after setting up the log level, what do you getfrom calling (in scheme)


(ure-logger-get-level)

?

it's gonna be difficult to debug without debug log. Let's figure thatout first. By default logging is written in a local file


opencog.log

Sure you're looking at that?

Vitaly, any idea?

Nil

I added a trace atomspace and the content of that is this (with a bitof other output before and after it) after running the backward chaineron 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 GoogleGroups "opencog" group.To unsubscribe from this group and stop receiving emails from it, sendan email to opencog+unsubscr...@googlegroups.com<mailto:opencog+unsubscr...@googlegroups.com>.To view this discussion on the web visithttps://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>.


--
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/opencog/d5d878ab-e442-3132-645d-074431ccf8e3%40gmail.com.

Re: [opencog-dev] Trying to implement path reasoning on Predicates but running into inference problems.

Reply via email to