Complexity results for restricted credulous default reasoning

Xishun Zhao; Decheng Ding; Hans Kleine Buning

首页> 外文期刊>AI communications >Complexity results for restricted credulous default reasoning

【24h】

Complexity results for restricted credulous default reasoning

机译：严格可信的默认推理的复杂性结果

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

页面导航

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

摘要

This paper concentrates on the complexity of the decision problem deciding whether a literal belongs to at least one extension of a default theory 〈D, W〉in which D is a set of Horn defaults and W is a definite Horn formula or a Bi-Horn Formula.

机译：本文关注决策问题的复杂性，确定一个文字是否属于默认理论〈D，W〉的至少一个扩展，其中D是一组Horn默认值，W是一个确定的Horn公式或Bi-Horn式。

著录项

来源
《AI communications》 |2000年第4期|p.249-257|共9页
作者
Xishun Zhao; Decheng Ding; Hans Kleine Buning;
展开▼
作者单位

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类人工智能理论;
关键词
Default logic; Horn default; credulous reasoning;

机译：默认逻辑;喇叭默认;可信的推理;

相似文献

外文文献
中文文献
专利

1. Restricted semantics for default reasoning [J] . Lin Zuoquan, Chen Chen Annals of Mathematics and Artificial Intelligence . 2018,第3a4期

机译：默认推理的受限语义
2. Interactions between default mode and control networks as a function of increasing cognitive reasoning complexity [J] . Hearne Luke, Cocchi Luca, Zalesky Andrew, Human brain mapping . 2015,第7期

机译：默认模式和控制网络之间的交互作用是认知推理复杂性增加的函数
3. The complexity of reasoning for fragments of default logic1 [J] . OLAF BEYERSDORFF, ARNE MEIER, MICHAEL THOMAS, Journal of logic and computation . 2012,第3期

机译：推理默认逻辑片段的复杂性1
4. Axiomatization of Credulous Reasoning in Default Logics using Sequent Calculus [C] . International Symposium on Symbolic and Numeric Algorithms for Scientific Computing . 2008

机译：使用序列微积分的默认逻辑中轻信推理的公理化
5. Default logic as a general nonmonotonic reasoning paradigm. [D] . Barback, Monica Digna. 1994

机译：默认逻辑作为一般的非单调推理范例。
6. Interactions between default mode and control networks as a function of increasing cognitive reasoning complexity [O] . Luke Hearne, Luca Cocchi, Andrew Zalesky, 2015

机译：默认模式和控制网络之间的交互作用是认知推理复杂性增加的函数
7. Credulous Reasoning About Defaults [O] . Yao-hua Tan, Leendert W.N. van der Torre 1997

机译：关于默认的可信推理
8. Modelling Default and Likelihood Reasoning as Probabilistic Reasoning [R] . Buntine, W. 1990

机译：将默认和似然推理建模为概率推理

Complexity results for restricted credulous default reasoning

摘要

著录项

相似文献

相关主题

期刊订阅