Abstract | ||
---|---|---|
LetKbe a knowledge base (KB) and let phi be newinformation, both propositional formulas expressed in conjunctive form (CF). We propose a deterministic and correct algorithm for performing the belief revision of phi in K, denoted as: K omicron phi. Our proposal satisfies subsets of AGM and KM postulates. We also present the soundness proof of our belief revision method, and the analysis of its time complexity. |
Year | DOI | Venue |
---|---|---|
2018 | 10.3233/JIFS-169499 | JOURNAL OF INTELLIGENT & FUZZY SYSTEMS |
Keywords | Field | DocType |
Belief revision,propositional inference,AGM postulates,KM postulates | Mathematics education,Artificial intelligence,Machine learning,Mathematics,Belief revision | Journal |
Volume | Issue | ISSN |
34 | 5 | 1064-1246 |
Citations | PageRank | References |
0 | 0.34 | 11 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Guillermo De Ita Luna | 1 | 29 | 16.57 |
José Raymundo Marcial-Romero | 2 | 5 | 12.87 |
Pedro Bello | 3 | 0 | 2.37 |
Meliza Contreras | 4 | 0 | 1.69 |