Abstract | ||
---|---|---|
To improve the (α, β)-resolution efficiency of intuitionistic fuzzy propositional logic, we apply linear resolution and ordered resolution to (α, β)-resolution. Provide the concepts of (α, β)-linear resolution, (α, β)-ordered resolution and reducible ordered clause. Propose the (α, β)-ordered linear resolution method based on intuitionistic fuzzy propositional logic. The similar literals and merger rule of (α, β)-ordered linear resolution are discussed. Finally, the (α, β)-ordered linear resolution algorithm is presented and an example is given to illustrate the effectiveness of the proposed method. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/ISKE.2015.101 | 2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) |
Keywords | DocType | ISSN |
intuitionistic fuzzy propositional logic,(a,ß)-ordered linear resolution,reducible ordered clause,similar literals | Conference | 2164-2508 |
Citations | PageRank | References |
0 | 0.34 | 8 |
Authors | ||
5 |