A basic reasoning problem in dynamic systems is the projection problem: determine if a formula holds after a sequence of actions has been per- formed.

A basic reasoning problem in dynamic systems is the projection problem: determine if a formula holds after a sequence of actions has been per- formed.

A basic reasoning problem in dynamic systems is the projection problem: determine if a formula holds after a sequence of actions has been per- formed.

A basic reasoning problem in dynamic systems is the projection problem: determine if a formula holds after a sequence of actions has been performed.

Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions � Yongmei LiuH. Levesque. Computer Science.

Jun 30, 2015 � This work proposes a new methodology for establish- ing the tractability of a reasoning service that deals with expressive first-order knowledge�...

Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions, Liu, Y. and Levesque, H., in Proc. of the IJCAI-05�...

Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions. Y Liu, HJ Levesque. IJCAI 5, 522-527, 2005. 82�...

Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions � Yongmei LiuH. Levesque. Computer Science. IJCAI.

Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations.