α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems

被引：3

作者：

Xu, Weitao ^{[1
]}

Zhang, Wenqiang ^{[1
]}

Zhang, Dexian ^{[1
]}

Xu, Yang ^{[2
]}

Pan, Xiaodong ^{[2
]}

机构：

[1] Henan Univ Technol, Coll Informat Sci & Engn, Zhengzhou 450001, Peoples R China

[2] Southwest Jiaotong Univ, Sch Math, Chengdu 610031, Peoples R China

来源：

INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS | 2015年 / 8卷

基金：

中国国家自然科学基金; 国家高技术研究发展计划(863计划);

关键词：

automated reasoning; lattice-valued logic; alpha-resolution; lattice-valued Horn g-clause; lattice implication algebra;

D O I：

10.1080/18756891.2015.1129580

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In this paper, an -resolution method for a set of lattice-valued Horn generalized clauses is established in lattice-valued propositional logic system L P(X ) based on lattice implication algebra. Firstly, the notions of lattice-valued Horn generalized clause, normal lattice-valued Horn generalized clause and unit lattice-valued Horn generalized clause are given in L P(X ). Then, the -resolution of two lattice-valued Horn generalized clauses is represented in L P(X ). It indicates the reasoning rules in a resolution process, which aims at deleting -resolution literals and obtaining a resolvent. Finally, we build an -resolution algorithm for a set of lattice-valued Horn generalized clauses in L P(X ). It provides a foundation for automated reasoning in lattice-valued first-order logic system and an application for designing an inference system in the field of intelligent decision support.

引用

页码：75 / 84

页数：10

共 50 条

[31] Multiary α-Resolution Principle for a Lattice-Valued Logic
Xu, Yang
Liu, Jun
Zhong, Xiaomei
Chen, Shuwei
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2013, 21 (05) : 898 - 912
[32] α-Minimal Resolution Principle For A Lattice-Valued Logic
Hairui Jia
Yang Xu
Yi Liu
Jun Liu
International Journal of Computational Intelligence Systems, 2015, 8 (1) : 34 - 43
[33] On an algebra of lattice-valued logic
Hansen, L
JOURNAL OF SYMBOLIC LOGIC, 2005, 70 (01) : 282 - 318
[34] Agents and lattice-valued logic
Mathematical Department, Catholic University, Brescia, Italy
J. Donghua Univ., 2006, 6 (113-116):
[35] Lattice-Valued Proposition Logic(Ⅱ)
Qin Keyun
Xu Yang( Dept. of Appl. Mathematics
Journal of Southwest Jiaotong University, 1994, (01) : 22 - 27
[36] α-LOCK SEMANTIC RESOLUTION METHOD BASED ON LATTICE-VALUED PROPOSITIONAL LOGIC LP(X)
Zhong, Xiaomei
Xu, Yang
Chen, Shangyun
He, Xingxing
UNCERTAINTY MODELLING IN KNOWLEDGE ENGINEERING AND DECISION MAKING, 2016, 10 : 471 - 476
[37] LATTICE-VALUED CATEGORIES OF LATTICE-VALUED CONVERGENCE SPACES
Jaeger, G.
IRANIAN JOURNAL OF FUZZY SYSTEMS, 2011, 8 (02): : 67 - 89
[38] Categorical study for algebras of Fitting’s lattice-valued logic and lattice-valued modal logic
Kumar Sankar Ray
Litan Kumar Das
Annals of Mathematics and Artificial Intelligence, 2021, 89 : 409 - 429
[39] Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic
Ray, Kumar Sankar
Das, Litan Kumar
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2021, 89 (3-4) : 409 - 429
[40] α-resolution principle based on lattice-valued modal propositional logic LMP(X)
Li, WJ
Xu, Y
Ma, J
6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XVI, PROCEEDINGS: COMPUTER SCIENCE III, 2002, : 114 - 118

← 1 2 3 4 5 →