Title | ||
---|---|---|
alpha-Resolution Method for Lattice-Valued Horn Generalized Clauses in Lattice-Valued First-Order Logic System |
Abstract | ||
---|---|---|
This paper presents an α-resolution method for lattice-valued Horn generalized clauses in lattice-valued first-order logic system LF(X) based on lattice implication algebra. In LF(X), we give the concepts of lattice-valued Horn generalized clause and normal lattice-valued Horn generalized clause. The α-resolvent of two lattice-valued Horn generalized clauses is also represented in LF(X). By using a substitution in each resolution process, we delete α-resolution literals and obtain their resolvent. At the same time, completeness theorems are also established. The present method can provide an efficient tool for automated reasoning in lattice-valued first-order logic system. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/ISKE.2015.75 | 2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) |
Keywords | DocType | ISSN |
automated reasoning,lattice-valued logic,a- resolution,lattice-valued Horn generalized clause,lattice implication algebra | Conference | 2164-2508 |
Citations | PageRank | References |
0 | 0.34 | 5 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
weitao xu | 1 | 0 | 0.34 |
wenqiang zhang | 2 | 0 | 0.34 |
dexian zhang | 3 | 0 | 0.34 |
Yang Xu | 4 | 711 | 83.57 |