A history based logic for dynamic preference updates

Baskent, Can ORCID: 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)

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

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.

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: 17 Jun 2021 18:26
URI: https://eprints.mdx.ac.uk/id/eprint/28849

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
45Downloads
86Hits

Additional statistics are available via IRStats2.