|
|||||
|
|
| 析取逻辑及析取逻辑程序的语义研究 | |
| 引用本文： | 沈一栋.析取逻辑及析取逻辑程序的语义研究[J].中国科学(E辑),1997,27(2):187-192. |
| 作者姓名： | 沈一栋 |
| 作者单位： | 重庆大学计算机系 重庆630044 |
| 基金项目： | 国家自然科学基金，国家教育委员会基金，四川省青年科技基金资助项目 |
| 摘 要： | 在用不完全知识进行常识推理时，常用缺省方式推导结论，然而当缺省否定算子ｎｏｔ被定义成ｎｏｔ ｐｒｏｖｂｌｅ（不可证）时，析取逻辑程序（ａＶｂ，ｎｏｔ ａ，ｎｏｔ ｂ）应该是一致的，因为ａ不可证且ｂ不可证并不意味ａＶｂ不可证，虽然这是一个很重要的事实，但现有主要的析取逻辑程序语义理论却不能支持它。其主要原因是这些理论都基于传统的一阶谓词逻辑，其中否定ａ且否定ｂ将导致否定ａＶｂ，现提出一种支持上述事实 |
| 关 键 词： | 析取逻辑 程序设计 语义 缺省 计算机 |
| 本文献已被 CNKI 维普 等数据库收录！ | |