|
|||||
|
|
| 逻辑程序的语义问题 I | |
| 引用本文： | 王怀民.逻辑程序的语义问题 I[J].计算机科学,1994,21(1):6-12. |
| 作者姓名： | 王怀民 |
| 摘 要： | 文明性语义是逻辑程序研究的重要内容，也是其作为说明性程序的基本特征。近年来由于人们对带否定前提了一般逻辑程序设计的关注，以及逻辑程序与非单调推理的结合，逻辑程序的语义研究出现了许多新结果。本文以早期的Ｃｌａｒｋ语义和最小模型语义为起点，介绍这些新发展的部分内容，主要包括Ｃｌａｒｋ语义的Ｆｉｔｔｉｎｇ３－值扩充，理想模型语义，稳定模型语义，良基模型语义以及它们之间的关系，并在此基础上进一步讨论了说明 |
| 关 键 词： | 程序设计 逻辑程序 语义问题 |
| 本文献已被 维普 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |