资源分类
》 资源 》论文》Incomplete Causal Laws in the Situation Calculus Using Free Fluents

Incomplete Causal Laws in the Situation Calculus Using Free Fluents

2019-11-22 | |  45 |   29 |   0
Abstract We propose a simple relaxation of Reiter’s basic action theories, based on fluents without successor state axioms, that accommodates incompleteness beyond the initial database. We prove that fundamental results about basic action theories can be fully recovered and that the generalized framework allows for natural specifications of various forms of incomplete causal laws. We illustrate this by showing how the evolution of incomplete databases, guarded action theories, and non-deterministic actions can be conveniently specified.

上一篇：Query Answering with Transitive and Linear-Ordered Data

下一篇：On the Relationship between P-log and LPMLN

用户评价
全部评价

热门资源

  • 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...