本文選題：格蘊涵代數(shù)　切入點：格值命題邏輯　出處：《模糊系統(tǒng)與數(shù)學》2009年01期

【摘要】：給出了格值命題邏輯系統(tǒng)中子句的極簡規(guī)則型范式,定義了M P歸結(jié)。結(jié)合格蘊涵代數(shù)中濾子的性質(zhì),對格值命題邏輯系統(tǒng)中基于濾子的M P歸結(jié)演繹及其語義與語法性質(zhì)進行了研究,證明了歸結(jié)演繹的可靠性與完備性定理。為進一步研究格值邏輯的自動歸結(jié)推理奠定了理論基礎。
[Abstract]:In this paper, the minimal rule form normal form of clauses in lattice-valued propositional logic system is given, and the M P resolution is defined.Combined with the properties of filter in lattice implication algebra, the deduction of M P resolution based on filter and its semantic and grammatical properties in lattice-valued propositional logic system are studied, and the reliability and completeness theorem of resolution deduction are proved.It lays a theoretical foundation for further research on automatic reasoning of lattice valued logic.
【作者單位】： 西南交通大學數(shù)學系;
【基金】：國家自然科學基金資助項目(60474022) 西南交通大學基金資助項目(2006B09)
【分類號】：O141.1

【參考文獻】

相關期刊論文 前1條

1 徐揚;;格蘊涵代數(shù)[J];西南交通大學學報;1993年01期

【共引文獻】

相關期刊論文 前10條

1 潘小東;徐揚;;Linguistic Truth Values Lattice Implication Algebras[J];Journal of DongHua University;2006年06期

2 龍希慶;徐揚;顧秀梅;;Some Properties of α-Subsets[J];Journal of DongHua University;2006年06期

3 費秀海;胡方漢;張海芳;;格蘊涵代數(shù)、MV-代數(shù)和有界可換的BCK-代數(shù)[J];硅谷;2008年02期

4 段景瑤;;R_0代數(shù),MV代數(shù)的等價刻畫[J];蘭州理工大學學報;2009年03期

5 朱怡權;;R_0-代數(shù)的Boole可補元與直積分解[J];高校應用數(shù)學學報A輯(中文版);2006年04期

6 王豐效;關于弱FI代數(shù)的幾個結(jié)果[J];固原師專學報;2002年03期

7 龔加安;吳洪博;;BR_0代數(shù)中素理想的拓撲空間[J];紡織高�；A科學學報;2009年03期

8 李曉冰;;格值命題邏輯系統(tǒng)LP(X)的Ⅱ-α-超歸結(jié)原理[J];電腦知識與技術;2009年33期

9 秦學成;劉春輝;;基于HFI代數(shù)的模糊命題演算的形式演繹系統(tǒng)[J];赤峰學院學報(自然科學版);2010年01期

10 劉春輝;秦學成;;剩余格的準濾子拓撲空間[J];赤峰學院學報(自然科學版);2010年02期

相關會議論文 前3條

1 ;A Method of Linguistic Truth-valued Reasoning in Risk Assessment[A];Proceedings of the First International Conference on Risk Analysis and Crisis Response[C];2007年

2 賴家俊;潘小東;徐開俊;徐揚;;基于十八元非鏈格值命題邏輯L_(18)P(X)中的歸結(jié)方法的研究[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

3 王國俊;;Fuzzy邏輯與有序代數(shù)[A];中國系統(tǒng)工程學會模糊數(shù)學與模糊系統(tǒng)委員會第十一屆年會論文選集[C];2002年

相關博士學位論文 前9條

1 郭遠華;若干邏輯自動推理方法研究[D];華東師范大學;2010年

2 李曉冰;基于語言真值格值邏輯的歸結(jié)自動推理研究[D];西南交通大學;2008年

3 伊良忠;格蘊涵代數(shù)及語言真值不確定性推理研究[D];西南交通大學;2007年

4 薛占熬;柔性區(qū)間邏輯及推理研究[D];西北工業(yè)大學;2006年

5 周平;基于格蘊涵代數(shù)的格值邏輯中的近似推理研究[D];西南交通大學;2007年

6 孟丹;基于格蘊涵代數(shù)的格值邏輯系統(tǒng)的歸結(jié)自動推理研究[D];西南交通大學;2004年

7 劉曉紅;關于企業(yè)人力資源評價信息處理系統(tǒng)的研究[D];西南交通大學;2004年

8 馬駿;基于格蘊涵代數(shù)的格值邏輯系統(tǒng)及其自動推理的研究[D];西南交通大學;2002年

9 斐崢;基于神經(jīng)網(wǎng)絡的自動推理理論及方法的研究[D];西南交通大學;2002年

相關碩士學位論文 前7條

1 朱芳芳;正則剩余格的*-理想及其性質(zhì)[D];揚州大學;2009年

2 陳曉娟;WDRL半群的研究[D];江南大學;2009年

3 白利軍;格蘊涵代數(shù)與相關邏輯代數(shù)關系的研究[D];西南交通大學;2007年

4 許格妮;偏序集上的S代數(shù)及其與若干代數(shù)的關系[D];陜西師范大學;2007年

5 劉敏;關于邏輯代數(shù)與系統(tǒng)的若干問題研究[D];陜西師范大學;2007年

6 李慧玲;多值命題邏輯和直覺模糊命題邏輯公式的概率α-真度[D];遼寧師范大學;2007年

7 劉新;一種弱BL形式演繹系統(tǒng)及其代數(shù)理論[D];昆明理工大學;2003年

【相似文獻】

相關期刊論文 前10條

1 王學芳,徐揚,宋振明;格蘊涵代數(shù)的單性與周期性[J];西南交通大學學報;2003年01期

2 王學芳,徐揚,宋振明;格蘊涵代數(shù)中濾子的若干性質(zhì)[J];西南交通大學學報;2001年05期

3 劉軍,徐揚;格蘊涵代數(shù)的濾子與結(jié)構(gòu)[J];科學通報;1997年10期

4 秦克云,徐揚;格蘊涵代數(shù)的超濾[J];西南交通大學學報(自然科學版);1999年01期

5 王偉,徐揚,宋振明;格蘊涵代數(shù)中濾子的邏輯性質(zhì)(英文)[J];數(shù)學季刊;2001年03期

6 徐揚;格蘊涵代數(shù)及基于格蘊涵代數(shù)的格值邏輯系統(tǒng)的研究[J];邯鄲師專學報;1999年03期

7 宋振明,徐楊;格蘊涵代數(shù)上的同余關系[J];應用數(shù)學;1997年03期

8 王樹泉;S(n)-θ-閉空間與乘積空間[J];曲阜師范大學學報(自然科學版);1997年04期

9 劉用麟;格蘊涵代數(shù)的Fuzzy LI—理想(英文)[J];南平師專學報;2004年04期

10 馬駿,徐揚;關于格蘊涵代數(shù)的余元及結(jié)構(gòu)[J];模糊系統(tǒng)與數(shù)學;2005年01期

相關會議論文 前10條

1 秦克云;徐揚;;格蘊涵代數(shù)中模糊濾子的若干性質(zhì)[A];模糊集理論與應用——98年中國模糊數(shù)學與模糊系統(tǒng)委員會第九屆年會論文選集[C];1998年

2 陳學友;;德摩根代數(shù)上的理想[A];模糊集理論與應用——98年中國模糊數(shù)學與模糊系統(tǒng)委員會第九屆年會論文選集[C];1998年

3 蘇珂;;優(yōu)化問題中基于線性系統(tǒng)求解的濾子方法[A];第八屆中國青年運籌信息管理學者大會論文集[C];2006年

4 斯欽孟克;;L-ws緊集[A];模糊集理論與應用——98年中國模糊數(shù)學與模糊系統(tǒng)委員會第九屆年會論文選集[C];1998年

5 王華;;一種信賴域SQP濾子方法的局部收斂性[A];第八屆中國青年運籌信息管理學者大會論文集[C];2006年

6 周武能;;半正則強F緊性[A];中國系統(tǒng)工程學會模糊數(shù)學與模糊系統(tǒng)委員會第十一屆年會論文選集[C];2002年

7 濮定國;姚紅亮;;濾子QP-free方法(英文)[A];中國運籌學會第八屆學術交流會論文集[C];2006年

8 濮定國;潘淑珍;;濾子-弱NCP函數(shù)SQP方法(英文)[A];中國運籌學會第八屆學術交流會論文集[C];2006年

9 潘淑珍;濮定國;;一種新的弱NCP函數(shù)SQP濾子方法(英文)[A];第八屆中國青年運籌信息管理學者大會論文集[C];2006年

10 楊云;;軟代數(shù)中的Fuzzy中理想[A];模糊集理論與應用——98年中國模糊數(shù)學與模糊系統(tǒng)委員會第九屆年會論文選集[C];1998年

相關重要報紙文章 前1條

1 本報記者 幸福;遇到難題從不繞著走[N];大慶日報;2008年

相關博士學位論文 前10條

1 王學芳;基于格蘊涵代數(shù)的格值邏輯及其模型論的研究[D];西南交通大學;2004年

2 馬駿;基于格蘊涵代數(shù)的格值邏輯系統(tǒng)及其自動推理的研究[D];西南交通大學;2002年

3 夏世芬;基于Petri網(wǎng)模型的歸結(jié)自動推理研究[D];西南交通大學;2006年

4 趙光峰;格蘊涵代數(shù)與圖的升分解問題的研究[D];西南交通大學;2002年

5 王偉;格值命題邏輯系統(tǒng)LP（X）中基于α-歸結(jié)原理的自動推理方法的研究[D];西南交通大學;2002年

6 孟丹;基于格蘊涵代數(shù)的格值邏輯系統(tǒng)的歸結(jié)自動推理研究[D];西南交通大學;2004年

7 李海明;關于格值邏輯及自動推理的研究[D];西南交通大學;2003年

8 李文江;基于格蘊涵代數(shù)的廣義格值模態(tài)邏輯及其歸結(jié)自動推理的研究[D];西南交通大學;2002年

9 陳樹偉;基于格蘊涵代數(shù)的格值一階邏輯L_（vfl）中的不確定性推理研究[D];西南交通大學;2006年

10 李志偉;偏序集上的蘊涵代數(shù)[D];首都師范大學;2002年

相關碩士學位論文 前10條

1 張寶華;關于格蘊涵代數(shù)性質(zhì)的研究[D];西南交通大學;2003年

2 張花榮;代數(shù)系統(tǒng)的可嵌入性[D];陜西師范大學;2003年

3 蘇忍鎖;剩余格與基于剩余格的幾類代數(shù)系統(tǒng)的關系[D];陜西師范大學;2004年

4 劉新;一種弱BL形式演繹系統(tǒng)及其代數(shù)理論[D];昆明理工大學;2003年

5 周湘南;理論的相容度及效應代數(shù)的濾子與商[D];陜西師范大學;2005年

6 李寧;Locale的Hausdorff分離公理的濾子式刻劃[D];遼寧師范大學;2004年

7 李興寬;BCK代數(shù)與De Morgan等代數(shù)的關系研究[D];昆明理工大學;2006年

8 �，幹�;L～*謂詞邏輯與R_0代數(shù)性質(zhì)新探[D];陜西師范大學;2003年

9 馬曉玨;IMTL邏輯系統(tǒng)及IMTL-代數(shù)[D];陜西師范大學;2004年

10 王福昌;股票價格預測與股票期權定價[D];大連理工大學;2000年

，

本文編號：1709834