| 基于默认逻辑的继承例外的表达和推理 |
| |
| 引用本文： | 干红华.基于默认逻辑的继承例外的表达和推理[J].宁波大学学报(理工版),2001,14(1):1-5. |
| |
| 作者姓名： | 干红华 |
| |
| 作者单位： | 宁波大学纵横智能软件研究所, |
| |
| 摘 要： | 继承层次网络的非单调性表现为例外和矛盾2种情形，本文讨论了例外的默认逻辑表达方式和推理机制，探讨了正规默认和半正规默认表达的直观含义和推理能力。
|
| 关 键 词： | 继承网络 例外 默认逻辑 推理机制 表达方式 非单调特性 半正规默认 |
| 文章编号： | 1001-5132(2001)01-0001-05 |
| 修稿时间： | 2000年9月25日 |
Representation and Reasoning on Exceptions to Inheritance Based on Default Logic |
| |
| GAN Hong-hua.Representation and Reasoning on Exceptions to Inheritance Based on Default Logic[J].Journal of Ningbo University(Natural Science and Engineering Edition),2001,14(1):1-5. |
| |
| Authors: | GAN Hong-hua |
| |
| Abstract: | Excephons and ambiguities are two ways of nonmonotonicity in inheritance hierarchy. This paper focuses on exceptions to inheritance, particularly discusses its representation and reasoning facilities based on default logic, and proposes normal and semi-normal default rules for exceptions. |
| |
| Keywords: | inheritance hierarchy exceptions default logic reasoning Engine |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
