Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
https://hdl.handle.net/123456789/964| Τύπος: | Άρθρο σε επιστημονικό περιοδικό |
| Τίτλος: | Relevance in belief update |
| Συγγραφέας: | [EL] Αραβανής, Θεοφάνης[EN] Aravanis, Theofanis |
| Ημερομηνία: | Οκτ-2021 |
| Περίληψη: | It has been pointed out by Katsuno and Mendelzon that the so-called AGM revision operators, defined by Alchourrón, Gärdenfors and Makinson, do not behave well in dynamically-changing applications. On that premise, Katsuno and Mendelzon formally characterized a different type of belief-change operators, typically referred to as KM update operators, which, to this date, constitute a benchmark in belief update. In this article, we show that there exist KM update operators that yield the same counter-intuitive results as any AGM revision operator. Against this non-satisfactory background, we prove that a translation of Parikh’s relevance-sensitive axiom (P), in the realm of belief update, suffices to block this liberal behaviour of KM update operators. It is shown, both axiomatically and semantically, that axiom (P) for belief update, essentially, encodes a type of relevance that acts at the possible-worlds level, in the context of which each possible world is locally modified, in the light of new information. Interestingly, relevance at the possible-worlds level is shown to be equivalent to a form of relevance that acts at the sentential level, by considering the building blocks of relevance to be the sentences of the language. Furthermore, we concretely demonstrate that Parikh’s notion of relevance in belief update can be regarded as (at least a partial) solution to the frame, ramification and qualification problems, encountered in dynamically-changing worlds. Last but not least, a whole new class of well-behaved, relevance-sensitive KM update operators is introduced, which generalize Forbus’ update operator and are perfectly-suited for real-world implementations. |
| Γλώσσα: | Αγγλικά |
| Σελίδες: | 33 |
| DOI: | 10.1613/jair.1.12772 |
| ISSN: | 1076 - 9757 |
| Θεματική κατηγορία: | [EL] Τεχνητή νοημοσύνη[EN] Artificial Intelligence |
| Λέξεις-κλειδιά: | belief revision and update; knowledge representation; reasoning about actions and change |
| Κάτοχος πνευματικών δικαιωμάτων: | © 2021 AI Access Foundation. All rights reserved. |
| Ηλεκτρονική διεύθυνση του τεκμηρίου στον εκδότη: | https://jair.org/index.php/jair/article/view/12772 |
| Ηλεκτρονική διεύθυνση περιοδικού: | https://jair.org/index.php/jair/index |
| Τίτλος πηγής δημοσίευσης: | Journal of Artificial Intelligence Research (JAIR) |
| Τόμος: | 72 |
| Σελίδες τεκμηρίου (στην πηγή): | 251-283 |
| Σημειώσεις: | This research is co-financed by Greece and the European Union (European Social Fund –ESF) through the Operational Programme “Human Resources Development, Education andLifelong Learning” in the context of the project “Reinforcement of Postdoctoral Researchers– 2nd Cycle” (MIS-5033021), implemented by the State Scholarships Foundation (IKY) |
| Εμφανίζεται στις συλλογές: | Μεταδιδακτορικοί ερευνητές |
Αρχεία σε αυτό το τεκμήριο:
Το πλήρες κείμενο αυτού του τεκμηρίου δεν διατίθεται προς το παρόν από το αποθετήριο