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)

Preview

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

Official URL: https://doi.org/10.1007/s10849-019-09307-1

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:	Publisher's T&Cs Publication Middlesex University Expert Profile
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

Statistics

DownloadsShow export options

Activity Overview

6 month trend

106Downloads

6 month trend

133Hits

Additional statistics are available via IRStats2.

CORE (COnnecting REpositories)