A history based logic for dynamic preference updates

Baskent, Can ORCID logoORCID: https://orcid.org/0000-0001-6229-8699 and McCusker, Guy (2019) A history based logic for dynamic preference updates. Journal of Logic, Language and Information . ISSN 0925-8531 [Article] (Published online first) (doi:10.1007/s10849-019-09307-1)

PDF - Final accepted version (with author's formatting)
Download (766kB) | Preview


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.

Item Type: Article
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 28849
Notes on copyright: 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
Useful Links:
Depositing User: Can Baskent
Date Deposited: 24 Jan 2020 10:10
Last Modified: 29 Nov 2022 18:45
URI: https://eprints.mdx.ac.uk/id/eprint/28849

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.