An investigation of parametrized difference revision operators
| Autor: | Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
Class (set theory)
Knowledge representation and reasoning Applied Mathematics 02 engineering and technology Belief revision Algebra Range (mathematics) Operator (computer programming) Artificial Intelligence 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Relevance (information retrieval) Axiom Mathematics |
| Zdroj: | Annals of Mathematics and Artificial Intelligence. 89:7-28 |
| ISSN: | 1573-7470 1012-2443 |
| DOI: | 10.1007/s10472-019-09625-x |
| Popis: | In this article, we provide the epistemic-entrenchment and partial-meet characterizations of a new, important class of concrete revision operators (all of which satisfy the AGM postulates for revision), called Parametrized Difference revision operators (PD operators, for short). PD operators are natural generalizations of Dalal’s revision operator, with a much greater range of applicability, hence, the epistemic-entrenchment and partial-meet characterizations of the latter are also provided, as a by-product. Lastly, we prove that PD operators satisfy the strong version of Parikh’s relevance-sensitive axiom for belief revision, showing that they are fully compatible with the notion of relevance. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink