全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用：99美元
投递稿件

查看量下载量

相关文章

更多...

格值命题逻辑系统Ln×2P(X)中广义文字的α-归结性

, PP. 635-639

Keywords: 自动推理,归结域,格值逻辑,格蕴涵代数

Full-Text   Cite this paper   Add to My Lib

Abstract:

归结自动推理是人工智能领域的一个重要研究方向.以格蕴涵代数为真值域的格值逻辑中的α-归结方法提供了一种处理带有模糊性和不可比较性信息的自动推理问题的工具,能对格值逻辑系统的α-不可满足子句集给出反驳证明,用α-归结原理证明格值逻辑中广义子句集的α-不可满足性,必须首先研究两个广义文字是否可以进行α-归结.研究了格值逻辑中一阶不可分极简式1-IESF和其他一些广义文字的α-归结性,得到了两个广义文字可进行α-归结的条件,以期能对基于格值逻辑的归结自动推理提供一些必要的理论支持.

 References

[1]  李晓冰,邱小平,徐扬. 格值命题逻辑系统中基于半正则广义文字的自动推理算法[J]. 模糊系统与数学,2009,23(4):21-26.
[2]  Robinson J P. A machine-oriented logic based on the resolution principle[J]. J ACM,1965,12:23-41.
[3]  Slagle J R. Automatic theorem proving with renamable and semantic resolution[J]. J ACM,1967,14(4):687-697.
[4]  Loveland D W. A linear format for resolution[C]//Proc IRIA Symp Automatic Demonstration. New York:Spring-Verlag,1970:147-162.
[5]  刘叙华,姜云飞. 定理机器证明[M]. 北京:科学出版社,1987:84-91.
[6]  Xu Y, Ruan D, Kerre E E, et al. α-Resolution principle based on lattice-valued propositional logic LP(X)[J]. Information Sciences,2000,130:195-222.
[7]  Xu Y, Ruan D, Kerre E E, et al. α-Resolution principle based on first-order lattice-valued logic LF(X)[J]. Information Sciences,2001,132:221-239.
[8]  王伟. 格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法研究[D]. 成都:西南交通大学,2002.
[9]  李晓冰. 基于语言真值格值逻辑的归结自动推理研究[D]. 成都:西南交通大学,2008.
[10]  周平,姜明,孙西芃. 格值一阶逻辑系统LF(X)中带广义量词的α-归结原理[J]. 模糊系统与数学,2008,22(5):10-15.
[11]  夏世芬,秦应兵,徐扬. 格值命题逻辑系统中基于滤子的MP归结演绎[J]. 模糊系统与数学,2009,23(1):1-5.
[12]  Xu W T, Xu Y. α-Resolution of generalized literals for lattice-valued propositional Logic LP(X)[C]//Ruan D, Li T R, Xu Y, et al. Proceedings of The 9th International FLINS Conference on Foundations and Applications of Computational Intelligence. Singapore:World Scientific Publishing Co,2010:174-179.
[13]  Zhong X M, Xu Y. Structure of non-subregular 3-IESF in lattice-valued propositional logic LnP(X)[C]//Ruan D, Li T R, Xu Y, et al. Proceedings of The 9th International FLINS Conference on Foundations and Applications of Computational Intelligence. Singapore:World Scientific Publishing Co,2010:162-167.
[14]  徐扬. 格蕴涵代数[J]. 西南交通大学学报:自然科学版,1993,28(1):20-27.
[15]  徐扬,秦克云. 格值命题逻辑(I)[J]. 西南交通大学学报:自然科学版,1993,28(2):123-128.
[16]  Xu Y, Ruan D, Qin K Y, et al. Lattice-Valued Logic: An Alternative Approach to Treat Fuzziness and Incomability[M]. Berlin:Springer-Verlag,2003:336-340.
[17]  秦克云,徐扬. 格值命题逻辑(II)[J]. 西南交通大学学报:自然科学版,1994,29(1):22-27.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133