A history based logic for dynamic preference updates
Article
Baskent, C. and McCusker, G. 2019. A history based logic for dynamic preference updates. Journal of Logic, Language and Information. https://doi.org/10.1007/s10849-019-09307-1
Type | Article |
---|---|
Title | A history based logic for dynamic preference updates |
Authors | Baskent, C. and McCusker, G. |
Abstract | History based models suggest a process-based approach to epistemic and temporal reasoning. In this work, we introduce preferences to history based models. Motivated by game theoretical observations, we discuss how preferences can dynamically be updated in history based models. Following, we consider arrow update logic and event calculus, and give history based models for these logics. This allows us to relate dynamic logics of history based models to a broader framework. |
Keywords | History based models; Preference logic; Dynamic logic; Arrow update logic; Product update models |
Research Group | Foundations of Computing group |
Publisher | Springer |
Journal | Journal of Logic, Language and Information |
ISSN | 0925-8531 |
Electronic | 1572-9583 |
Publication dates | |
Online | 12 Nov 2019 |
Publication process dates | |
Deposited | 24 Jan 2020 |
Accepted | 30 Aug 2019 |
Accepted author manuscript | |
Copyright Statement | This is a post-peer-review, pre-copyedit version of an article published in Journal of Logic, Language and Information. The final authenticated version is available online at: http://dx.doi.org/10.1007/s10849-019-09307-1 |
Digital Object Identifier (DOI) | https://doi.org/10.1007/s10849-019-09307-1 |
Web of Science identifier | WOS:000495677300001 |
Language | English |
Permalink -
https://repository.mdx.ac.uk/item/88vy4
Download files
38
total views16
total downloads3
views this month0
downloads this month