资源分类
》 资源 》论文》Bounded Epistemic Situation Calculus Theories

Bounded Epistemic Situation Calculus Theories

2019-11-11 | |  60 |   43 |   0

Abstract We define the class of e-bounded theories in the epistemic situation calculus, where the number of fluent atoms that the agent thinks may be true is bounded by a constant. Such theories can still have an infinite domain and an infinite set of states. We show that for them verification of an expressive class of first-order µ-calculus temporal epistemic properties is decidable. We also show that if the agent’s knowledge in the initial situation is ebounded and the objective part of an action theory maintains boundedness, then the entire epistemic theory is e-bounded.

上一篇：Sequences of Mechanisms for Causal Reasoning in Artificial Intelligence

下一篇：Linear Temporal Logic and Linear Dynamic Logic on Finite Traces Giuseppe De Giacomo Moshe Y. Vardi

用户评价
全部评价

热门资源

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...