Accepting-rejecting propositions from accepted-rejected propositions: A unifying overview
Accepting-rejecting propositions from accepted-rejected propositions: A unifying overview
复制标题
从接受-拒绝命题中接受-拒绝命题：统一概述
DOI：
10.1002/int.v23:10
复制
发表时间：
2008
影响因子：
7
通讯作者：
N. Peltier
中科院分区：
文献类型：
--
作者：
R. Caferra;N. Peltier
将推理视为一种转换信息的方式，使其更容易使用（或解释），允许将接受和拒绝的命题视为同等相关，并自然地给出推理的两极观点。分析了将信息从接受或拒绝的命题转换为接受或拒绝的命题的四种可能性，并给出了说明它们的例子。这种分析不仅本身很有趣，而且对于提高现有定理证明者的能力也很有用。通过纳入与普洛特金概括相关的理论反包容思想，扩展了基于作者先前工作的统一框架。研究该框架的一些技术细节应该允许自动推理工具处理连接接受和拒绝命题的不同方式。 © 2008 Wiley 期刊公司。
Looking at inference as a way of transforming information so as to make it more easily usable (or interpretable) allows to consider accepted and rejected propositions as equally relevant and naturally gives a bipolar view of reasoning. The four possibilities of transforming information from accepted or rejected propositions into accepted or rejected ones are analyzed and examples illustrating them are given. This analysis is not only interesting per se but can also be useful in increasing capabilities of existing theorem provers. A unified framework based on former work by the authors is extended by incorporating the idea of theory-anti-subsumption related to Plotkin's generalization. Working on some technical details of this framework should allow automated reasoning tools to deal with different ways of connecting accepted and rejected propositions. © 2008 Wiley Periodicals, Inc.