| 缺省模态逻辑 |
| |
| 引用本文： | 李永礼,范荣强.缺省模态逻辑[J].兰州大学学报(自然科学版),1994,30(3):77-81. |
| |
| 作者姓名： | 李永礼 范荣强 |
| |
| 作者单位： | 兰州大学计算机科学系，广东民族学院数学系 |
| |
| 摘 要： | 本文在Ｒｉｅｔｅｒ１９８０年提出的缺少逻辑的基础上，将缺少条件视为获取知识的背景知识与所得到的知识同等地加以考虑，提出了一种缺少逻辑。它是一种非单调逻辑，并且具有在Ｒｅｉｔｅｒ的系统中所不能保证的两个重要性质；扩充的存在性和非单调性。
|
| 关 键 词： | 人工智能 模态逻辑 缺少逻辑 |
A Modal Logic for Default Reasoning |
| |
| Li Yongli.A Modal Logic for Default Reasoning[J].Journal of Lanzhou University(Natural Science),1994,30(3):77-81. |
| |
| Authors: | Li Yongli |
| |
| Abstract: | Based on the logic for default reasoning proposed by Reiter in 1980, by taking justification of a default rule as a background for acquiring knowledge with the acquirecl knowledge, and considering them in the sameway, we suggest a formalism of non-monotonic logic. We call it a modal logic for default reasoning as it contains a modality K. The new system has two important properties which are not guaranteed in Reiter's formalism: the exstence of extensions and semimonotonicity. |
| |
| Keywords: | artificial intelligence modal logic matheniatical logic knowledge representation non-montonic reasoning deafault reasoning |
| 本文献已被 CNKI 维普 等数据库收录！ |
