摘要
本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。
出处
《中国科学（A辑）》
CSCD
1993年第11期1212-1218,共7页
Science in China(Series A)
基金
国家"863"高科技计划
国家自然科学基金
中国科学技术大学北京认知开放实验室资助项目
