| 一种抽象缺省推理框架的表示性质 |
| |
| 引用本文： | 曹子宁,毛宇光,石纯一.一种抽象缺省推理框架的表示性质[J].南京航空航天大学学报(英文版),2006,23(3):214-221. |
| |
| 作者姓名： | 曹子宁 毛宇光 石纯一 |
| |
| 作者单位： | 1. 南京航空航天大学信息科学与技术学院,南京,210016,中国
2. 清华大学信息科学技术学院,北京,100084,中国 |
| |
| 摘 要： | 提出了抽象缺省推理框架和D-后承关系的概念。从而进一步给出D-后承关系的表示性质，并由此证明了任意无联结词形式的累积非单调后承关系，可以用抽象缺省推理框架来表示。
|
| 关 键 词： | 抽象缺省推理框架 表示性质 非单调推理 |
| 收稿时间： | 12 19 2005 12:00AM |
| 修稿时间： | 02 22 2006 12:00AM |
REPRESENTATION PROPERTIES OF ABSTRACT DEFAULT REASONING FRAMEWORKS |
| |
| Cao Zining,Mao Yuguang,Shi Chunyi.REPRESENTATION PROPERTIES OF ABSTRACT DEFAULT REASONING FRAMEWORKS[J].Transactions of Nanjing University of Aeronautics & Astronautics,2006,23(3):214-221. |
| |
| Authors: | Cao Zining Mao Yuguang Shi Chunyi |
| |
| Institution: | 1. College of Information Science and Technology, NUAA, 29 Yudao Street, Nanjing, 210016, P. R. China, 2. School of Information Science and Technology, Tsinghua University, Beijing, 100084, P. R. China |
| |
| Abstract: | default reasoning frameworks (ADRFs) and D-consequence relations are presented. Based on representation properties of D-consequence relations, it proves that any cumulative nonmonotonic consequence relation with the connective-free form can be represented by ADRFs. |
| |
| Keywords: | abstract default reasoning framework representation property nonmonotonic reasoning |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
