|
|||||
|
|
| 基于标记逻辑的非单调推理（Ⅱ） | |
| 引用本文： | 周生炳,戴汝为.基于标记逻辑的非单调推理（Ⅱ）[J].计算机学报,1995(9). |
| 作者姓名： | 周生炳 戴汝为 |
| 作者单位： | 中国科学院自动化研究所人工智能实验室 |
| 基金项目： | 国家863高科技基金,国家攀登计划基金 |
| 摘 要： | 本文研究不循环ＡＬＰ的说明语义．利用依赖关系的非自反性，把程序的Ｈｅｒｂｒａｎｄ基分类成一系列不相交集合．在此基础上，引进多重极限的概念，并证明，不循环程序存在唯一的支持模型，该模型就是程序的ｋ重极限，其中ｋ是程序中自由子句的个数． |
| 关 键 词： | 不循环程序，多级分类，多重极限 |
| 本文献已被 CNKI 等数据库收录！ | |