.png){kind=icon}
返回
First-order logical filtering
.png){kind=icon}
OA
AI
DOI：10.1016/j.artint.2010.04.015.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intractable in dynamic domains that include many objects and relationships. Still, potential applications for such domains (e.g., semantic web, autonomous agents, and partial-knowledge games) encourage research beyond intractability results. In this paper we present polynomial-time algorithms for filtering belief states that are encoded as First-Order Logic (FOL) formulas. Our algorithms are exact in many cases of interest. They accept belief states in FOL without functions, permitting arbitrary arity for predicates, infinite universes of elements, and equality. They enable natural representation with explicit references to unidentified objects and partially known relationships, still maintaining tractable computation. Previous results focus on more general cases that are intractable or permit only imprecise filtering. Our algorithms guarantee that belief-state representation remains compact for STRIPS actions (among others) with unbounded-size domains. This guarantees tractable exact filtering indefinitely for those domains. The rest of our results apply to expressive modeling languages, such as partial databases and belief revision in FOL. (C) 2010 Elsevier B.V. All rights reserved.
Keyword:
Filtering
First-order logic
Belief update
Situation calculus
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
13.9
论文数:
6.1K
被引数:
1.9W
机构
引用论文
A TUTORIAL ON HIDDEN MARKOV-MODELS AND SELECTED APPLICATIONS IN SPEECH RECOGNITION关于语音识别中的隐马尔可夫模型和选定应用的教程.png)
PROCEEDINGS OF THE IEEE
PROCEEDINGS OF THE IEEEIF25.9
PREAI
分享收藏Species of the Parasitic Genus Duboscquella are Members of the Enigmatic Marine Alveolate Group IProtistOAAI
ProtistIF0
OAAI分享收藏Hierarchical 3D NiCo2O4 nanoflowers as electrode materials for high performance supercapacitors
PREAI
分享收藏分享收藏Second-order non-linear optical properties of Fe(SALEN) complexesFe(SALEN) 配合物的二阶非线性光学性质Polyhedron
PolyhedronIF0
PREAI
分享收藏
查看更多内容