|
|||||
|
|
| 真值维护系统的语义研究 | |
| 作者姓名： | 王献昌 陈火旺 |
| 作者单位： | 国防科技大学计算机系 长沙 410073 |
| 摘 要： | 本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。 |
| 关 键 词： | 真值维护 非单调 指派 扩充 验证式 |
| 点击此处可从《中国科学A辑》浏览原始摘要信息 | |
| 点击此处可从《中国科学A辑》下载免费的PDF全文 | |