Abstract | ||
---|---|---|
Computational reasoning is a practical description of computational logic. In this paper, a new concrete computational reasoning method based on complemented distributive lattices is proposed. Based on some logical operators, an inclusion degree on complemented distributive lattices is defined, which is employed to define the truth degree. Some basic properties of the truth mapping are examined. Then a kind of reasoning by computing in the framework of complemented distributive lattices is developed. The potential value of dealing with knowledge acquisition is expected in future. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1007/s13042-014-0274-9 | Int. J. Machine Learning & Cybernetics |
Keywords | Field | DocType |
Computational reasoning, Inclusion degree, Implication operator, Lattice | Computational logic,Discrete mathematics,Distributive property,Lattice (order),Theoretical computer science,Operator (computer programming),Mathematics,Knowledge acquisition | Journal |
Volume | Issue | ISSN |
6 | 3 | 1868-808X |
Citations | PageRank | References |
1 | 0.35 | 8 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Shu-Rong Jiang | 1 | 1 | 0.35 |
Ju-Sheng Mi | 2 | 2054 | 77.81 |
Li Ma | 3 | 5 | 0.75 |