| 扩充修正程序的一些基本结果 |
| |
| 引用本文： | 王以松,周婵,詹颖. 扩充修正程序的一些基本结果[J]. 贵州大学学报(自然科学版), 2005, 22(1): 42-46 |
| |
| 作者姓名： | 王以松 周婵 詹颖 |
| |
| 作者单位： | 贵州大学计算机科不系,贵州,贵阳,550025;贵州大学计算机科不系,贵州,贵阳,550025;贵州大学计算机科不系,贵州,贵阳,550025 |
| |
| 基金项目： | 贵州大学自然科学基金,编号991010 |
| |
| 摘 要： | 文献[4，5]为修正程序提出了一种包含经典否定的扩充，其关键特征在于能够区分“没有知识”和“具有否定的知识”，即区别“不知道”和“知道为否”。在这篇文章中，除了为该扩充修正程序提出了计算其合法修正的算法外，更重要的是，还研究了它的一些基本特征。这些特征形式化地表明了扩充修正程序的本质。
|
| 关 键 词： | 人工智能 扩充修正程序 扩充的合法修正 |
Some Basic Results of Extended Revision Programs |
| |
| Wang Yi-song,Zhou Chan,ZHAN Ying. Some Basic Results of Extended Revision Programs[J]. Journal of Guizhou University(Natural Science), 2005, 22(1): 42-46 |
| |
| Authors: | Wang Yi-song Zhou Chan ZHAN Ying |
| |
| Abstract: | An extension of revision program containing explicit negation has been brought forward in[4, 5]. The crux is able to distinguish the absence of information from the presence of negated information (that is, distinguishing a "don't-known" from a “no"). Besides the algorithm to compute the extended justified revision, the goal of this paper is to explore some basic results of extended revision programs which formally elucidate the intended meaning of extended revision programs. |
| |
| Keywords: | Artificial Intelligence Extended Revision Program Extended Justified Revision |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
