关于Levesque的信念逻辑的完备性

发布时间：2018-06-11 16:25

  本文选题：完备性 + 指派　； 参考：《数学年刊A辑(中文版)》1995年03期

【摘要】：Ｈ．Ｊ．Ｌｅｖｅｓｑｕｅ最近为了研究非单调推理提出了含有两个模态词Ｂ，，Ｎ的信念逻辑系统，并猜想它是完备的．本文提出了Ｔ~＊－集合的概念，并证明一句子集合如果是Ｔ~＊－集合，那么是可满足的．本文的定理是［１］中定理Ａ２的推广．并得到［１］中定理Ａ．２的一个简单的证明．
[Abstract]:H. J. Levesque has recently proposed a belief logic system containing two modal words BN in order to study nonmonotone reasoning and conjectures that it is complete. In this paper, we propose the concept of TGS-set and prove that a sentence set is satisfiable if it is a TG-set. The theorem in this paper is a generalization of theorem A2 in [1]. A simple proof of theorem A. 2 in [1] is obtained.
【作者单位】： 汕头大学计算机科学研究所 南京大学数学系
【基金】：国家863高科技计划
【分类号】：O141

【相似文献】

相关期刊论文 前10条

1 苏开乐;Levesque的信念逻辑中模态词O的若干语义特征[J];科学通报;1995年08期

2 卢景波;;关于无限值格模型论的一点注记[J];北京师范大学学报(自然科学版);1982年02期

3 吕其慈;共点关系与非标准模型[J];华中科技大学学报(自然科学版);1980年02期

4 林晓辉,应丽萍;贝叶斯统计在句法模式识别中的应用[J];浙江统计;2000年09期

5 沈复兴;格值模型论中的力迫方法[J];数学年刊A辑(中文版);1986年01期

6 丁岩堂;王成芹;;英语快速阅读能力的培养[J];滨州学院学报;1992年01期

7 孙萍;;有限值格L上的广义省略型定理讨论[J];贵州师范大学学报(自然科学版);1989年02期

8 别荣芳;ζ_(ω_1ω)语言格值模型论的Malitz插值定理[J];数学学报;1997年04期

9 程益民;“AND”表示的各种关系[J];湖南理工学院学报(自然科学版);1989年01期

10 吕义忠;;紧致性定理的纯语义证明[J];南京大学学报(自然科学版);1989年04期

相关会议论文 前1条

1 梁伟;史玉明;谢智刚;王艳丽;;不同时期汉语散文的字同现网络之研究[A];第五届全国复杂网络学术会议论文（摘要）汇集[C];2009年

本文编号：2005926