.png){kind=icon}
返回
Grounded fixpoints and their applications in knowledge representation
.png){kind=icon}
OA
AI
DOI：10.1016/j.artint.2015.03.006.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In various domains of logic, researchers have made use of a similar intuition: that facts (or models) can be derived from the ground up. They typically phrase this intuition by saying, e.g., that the facts should be grounded, or that they should not be unfounded, or that they should be supported by cycle-free arguments, et cetera. In this paper, we formalise this intuition in the context of algebraical fixpoint theory. We define when a lattice element x is an element of L is grounded for lattice operator O : L -> L. On the algebraical level, we investigate the relationship between grounded fixpoints and the various classes of fixpoints of approximation fixpoint theory, including supported, minimal, Kripke-Kleene, stable and well-founded fixpoints. On the logical level, we investigate groundedness in the context of logic programming, autoepistemic logic, default logic and argumentation frameworks. We explain what grounded points and fixpoints mean in these logics and show that this concept indeed formalises intuitions that existed in these fields. We investigate which existing semantics are grounded. We study the novel semantics for these logics that is induced by grounded fixpoints, which has some very appealing properties, not in the least its mathematical simplicity and generality. Our results unveil a remarkable uniformity in intuitions and mathematics in these fields. (C) 2015 Elsevier B.V. All rights reserved.
Keyword:
Approximation fixpoint theory
Lattice operator
Stable semantics
Well-founded semantics
Groundedness
Logic programming
Autoepistemic logic
Abstract argumentation
Abstract dialectical frameworks
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
13.9
论文数:
6.1K
被引数:
1.9W
机构
引用论文
分享收藏Communication. Elimination of interferences in the determination of arsenic and antimony by hydride generation using Molecular Emission Cavity Analysis (MECA).png)
The Analyst
The AnalystIF0
PREAI
分享收藏The genome sequence of the rice blast fungus Magnaporthe grisea稻瘟病菌Magnaporthe grisea的基因组序列NatureOAAI
NatureIF0
OAAI分享收藏分享收藏
查看更多内容