發(fā)布時間：2018-06-11 16:25

  本文選題：完備性 + 指派　； 參考：《數學年刊A輯(中文版)》1995年03期

【摘要】：Ｈ．Ｊ．Ｌｅｖｅｓｑｕｅ最近為了研究非單調推理提出了含有兩個模態(tài)詞Ｂ，，Ｎ的信念邏輯系統(tǒng)，并猜想它是完備的．本文提出了Ｔ~＊－集合的概念，并證明一句子集合如果是Ｔ~＊－集合，那么是可滿足的．本文的定理是［１］中定理Ａ２的推廣．并得到［１］中定理Ａ．２的一個簡單的證明．
[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的信念邏輯中模態(tài)詞O的若干語義特征[J];科學通報;1995年08期

2 盧景波;;關于無限值格模型論的一點注記[J];北京師范大學學報(自然科學版);1982年02期

3 呂其慈;共點關系與非標準模型[J];華中科技大學學報(自然科學版);1980年02期

4 林曉輝,應麗萍;貝葉斯統(tǒng)計在句法模式識別中的應用[J];浙江統(tǒng)計;2000年09期

5 沈復興;格值模型論中的力迫方法[J];數學年刊A輯(中文版);1986年01期

6 丁巖堂;王成芹;;英語快速閱讀能力的培養(yǎng)[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