| 缺省逻辑的累积性变种的扩张特征 |
| |
| 引用本文： | 张明义,张颖.缺省逻辑的累积性变种的扩张特征[J].计算机学报,1998,21(2):119-126. |
| |
| 作者姓名： | 张明义 张颖 |
| |
| 作者单位： | 1. 贵州大学计算机科学系,贵阳,550025
2. 贵州科学院,贵阳,550001 |
| |
| 基金项目： | 国家863高技术基金，贵州省自然科学基金 |
| |
| 摘 要： | Ｇｉｏｒｄａｎｏ提出了Ｒｅｉｔｅｒ的缺省逻辑（ＤＬ）的两个新变种：ＣＡＤＬ（ＣｏｍｍｉｔｍｅｎｔｔｏＡｓｓｕｐｔｉｏｎｓＤｅｆａｕｌｔＬｏｇｉｃ）ＱＤＬ（Ｑｕｓａｓｉ－ＤｅｆａｕｌｔＬｏｇｉｃ）它们都具有累积性，但不再具半单调性，ＱＤＬ甚于不再承诺预设（Ｃｏｍｍｉｔｔｏａｓｓｕｍｐｔｉｏｎｓ）本文基于我们已经导出的ＣＤＬ（ＣｕｍｍｕｌａｔｉｖｅＤｅｆａｕｌｔＬｏｇｉｃ）与ＤＬ扩张的特征，通过建立Ｃ
|
| 关 键 词： | 缺省逻辑 累积性 相容性 算法 |
| 修稿时间： | 1996年6月20日 |
ON NEW CUMULATIVE VARIANTS OF DEFAULT LOGIC: CHARACTERIZATION AND ALGORITHMS OF EXTENSIONS |
| |
| ZHANG Ming-Yi,ZHANG Ying.ON NEW CUMULATIVE VARIANTS OF DEFAULT LOGIC: CHARACTERIZATION AND ALGORITHMS OF EXTENSIONS[J].Chinese Journal of Computers,1998,21(2):119-126. |
| |
| Authors: | ZHANG Ming-Yi ZHANG Ying |
| |
| Abstract: | |
| |
| Keywords: | Default logic extension cumulativity (joint) compatilility algorithm |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
