Analytic Tableaux for KLM Preferential and Cumulative Logics

机译：KLM优先和累积逻辑的分析表

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present tableau calculi for some logics of default reasoning, as defined by Kraus, Lehmann and Magidor. We give a tableau proof procedure for preferential and cumulative logics. Our calculi are obtained by introducing suitable modalities to interpret conditional assertions. Moreover, they give a decision procedure for the respective logics and can be used to establish their complexity.

机译：我们介绍了一些默认推理的表格计算，如克劳斯，莱曼和马吉多所定义的。我们给出了优先和累加逻辑的表格证明程序。我们的结石是通过引入适当的模态来解释条件断言而获得的。此外，它们给出了各个逻辑的决策过程，可用于确定其复杂性。

著录项

来源
《International Conference on Logic for Programming, Artificial Intelligence, and Reasoning(LPAR 2005); 20051202-06; Montego Bay(JM)》|2005年|P.666-681|共16页
会议地点 Montego Bay(JM)
作者
Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato;
展开▼
作者单位

Dipartimento di Informatica, Universita del Piemonte Orientale A. Avogadro -Alessandria, Italy;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类人工智能理论;
关键词

相似文献

外文文献
中文文献
专利

1. Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning [J] . LAURA GIORDANO, VALENTINA GLIOZZI, NICOLA OLIVETTI, ACM transactions on computational logic . 2009,第3期

机译：非单调推理的KLM逻辑的解析Tableaux计算
2. Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics [J] . Wolfgang Schreiner Computing reviews . 2016,第4期

机译：有限值逻辑的二价语义，广义组合性和经典类分析表
3. Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics [J] . Caleiro Carlos, Marcos Joao, Volpe Marco Theoretical computer science . 2015,第Null期

机译：有限值逻辑的二价语义，广义组合性和经典解析表
4. An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0 [C] . Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Italian Association for Artificial Intelligence Congress; 20070910-13; Rome(IT) . 2007

机译：非单调推理的KLM优先逻辑P的自由变量Tableaux的实现：定理证明FreeP 1.0
5. Kinesiographic lesion monitoring (KLM). [D] . Barrett, George Alexander. 2003

机译：人体运动学病变监测（KLM）。
6. Elucidation of the molecular logic by which misfoldedα1-antitrypsin is preferentially selected for degradation [O] . Ying Wu, Matthew T. Swulius, Kelley W. Moremen, 2003

机译：阐明错误折叠的分子逻辑优先选择α1-抗胰蛋白酶进行降解
7. An Implementation of a Free-variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: the Theorem Prover FREEP 1.0 [O] . Laura Giordano, Valentina Gliozzi, Nicola Olivetti, 2013

机译：非单调推理的KLM优先逻辑P的自由变量Tableaux的实现：定理证明FREEP 1.0

Analytic Tableaux for KLM Preferential and Cumulative Logics

摘要

著录项

相似文献

相关主题

期刊订阅