.png){kind=icon}
返回
Embedding justification theory in approximation fixpoint
.png){kind=icon}
OA
AI
DOI：10.1016/j.artint.2024.104112.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Approximation Fixpoint Theory (AFT) and Justification Theory (JT) are two frameworks to unify logical formalisms. AFT studies semantics in terms of fixpoints of lattice operators, and JT in terms of so-called justifications, which are explanations of why certain facts do or do not hold in a model. While the approaches differ, the frameworks were designed with similar goals in mind, namely to study the different semantics that arise in (mainly) non -monotonic logics. The first contribution of our current paper is to provide a formal link between the two frameworks. To be precise, we show that every justification frame induces an approximator and that this mapping from JT to AFT preserves all major semantics. The second contribution exploits this correspondence to extend JT with a novel class of semantics, namely ultimate semantics : we formally show that ultimate semantics can be obtained in JT by a syntactic transformation on the justification frame, essentially performing a sort of resolution on the rules.
Keyword:
Justification theory
Approximation fixpoint theory
Knowledge representation
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
13.9
论文数:
6.1K
被引数:
1.9W
机构
引用论文
Corrections for Matrix Effects in X-Ray Fluorescence Analysis Using Multiple Regression Methods
PREAI
分享收藏Geographical distribution of plutonium derived from the atomic bomb in the eastern area of Nagasaki
PREAI
分享收藏分享收藏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
分享收藏分享收藏
查看更多内容