.png){kind=icon}
返回
Inductive situation calculus
.png){kind=icon}
OA
AI
DOI：10.1016/j.artint.2007.02.002.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus in ED-logic, classical logic extended with inductive definitions. This logic has been proposed recently and is an extension of classical logic. It allows for a uniform representation of various forms of definitions, including monotone inductive definitions and non-monotone forms of inductive definitions such as iterated induction and induction over well-founded posets. We show that the role of such complex forms of definitions is not limited to mathematics but extends to commonsense knowledge representation. In the ID-logic axiomatization of the situation calculus, fluents and causality predicates are defined by simultaneous induction on the well-founded poset of situations. The inductive approach allows us to solve the ramification problem for the situation calculus in a uniform and modular way. Our solution is among the most general solutions for the ramification problem in the situation calculus. Using previously developed modularity techniques, we show that the basic variant of the inductive situation calculus without ramification rules is equivalent to Reiter-style situation calculus. (C) 2007 Elsevier B.V. All rights reserved.
Keyword:
knowledge representation
inductive definitions
situation calculus
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
13.9
论文数:
6.1K
被引数:
1.9W
机构
暂无机构信息
引用论文
分享收藏Cerebral A1 adenosine receptor availability in female and male participants and its relationship to sleep.png)
NeuroImageOAAI
NeuroImageIF0
OAAI分享收藏Atom-formation processes in carbon-furnace atomizers used in atomic-absorption spectrometryTalanta
TalantaIF0
PREAI
分享收藏
查看更多内容