A study of possible-worlds semantics of relevance-sensitive belief revision
| Autor: | Pavlos Peppas, Mary-Anne Williams, Theofanis I. Aravanis |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Logic
Computer science 02 engineering and technology Belief revision Semantics Theoretical Computer Science Epistemology Possible world Arts and Humanities (miscellaneous) Hardware and Architecture 020204 information systems 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Relevance (information retrieval) Software |
| Zdroj: | Journal of Logic and Computation. 30:1125-1142 |
| ISSN: | 1465-363X 0955-792X |
| DOI: | 10.1093/logcom/exaa029 |
| Popis: | Parikh’s relevance-sensitive axiom (P) for belief revision is open to two different interpretations, i.e. the weak and the strong version of (P), both of which are plausible depending on the context. Given that strong (P) has not received the attention it deserves, in this article, an extended examination of it is conducted. In particular, we point out interesting properties of the semantic characterization of the strong version of (P), as well as a vital feature of it that, potentially, results in a significant drop on the resources required for an implementation of a belief-revision system. Lastly, we shed light on the natural connection between global and local revision functions, via their corresponding semantic characterization, hence, a means for constructing global revision functions from local ones, and vice versa, is provided. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|