A History Based Logic for Dynamic Preference Updates

Guy McCusker; Can Baskent

doi:10.1007/s10849-019-09307-1

A History Based Logic for Dynamic Preference Updates

Guy McCusker
, Can Baskent

Oxford Brookes University

Research output: Contribution to journal › Article › peer-review

1 Citation (SciVal)

1050 Downloads (Pure)

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.

Original language	English
Pages (from-to)	1-31
Number of pages	31
Journal	Journal of Logic, Language and Information
DOIs	https://doi.org/10.1007/s10849-019-09307-1
Publication status	Published - 12 Nov 2019

Keywords

Arrow update logic
Dynamic logic
History based models
Preference logic
Product update models

ASJC Scopus subject areas

Computer Science (miscellaneous)
Philosophy
Linguistics and Language

Access to Document

10.1007/s10849-019-09307-1

historybased-prefupdate-v11-submitted-revised
This is a post-peer-review, pre-copyedit version of an article published in Journal of logic. The final authenticated version is available online at: https://doi.org/10.1007/s10849-019-09307-1
Accepted author manuscript, 749 KB

Cite this

@article{e3bb072115424870b3c33c9eed0e07e6,

title = "A History Based Logic for Dynamic Preference Updates",

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 = "Arrow update logic, Dynamic logic, History based models, Preference logic, Product update models",

author = "Guy McCusker and Can Baskent",

year = "2019",

month = nov,

day = "12",

doi = "10.1007/s10849-019-09307-1",

language = "English",

pages = "1--31",

journal = "Journal of Logic, Language and Information",

issn = "0925-8531",

publisher = "Springer Netherlands",

}

TY - JOUR

T1 - A History Based Logic for Dynamic Preference Updates

AU - McCusker, Guy

AU - Baskent, Can

PY - 2019/11/12

Y1 - 2019/11/12

N2 - 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.

AB - 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.

KW - Arrow update logic

KW - Dynamic logic

KW - History based models

KW - Preference logic

KW - Product update models

UR - https://www.scopus.com/pages/publications/85075163802

U2 - 10.1007/s10849-019-09307-1

DO - 10.1007/s10849-019-09307-1

M3 - Article

SN - 0925-8531

SP - 1

EP - 31

JO - Journal of Logic, Language and Information

JF - Journal of Logic, Language and Information

ER -

A History Based Logic for Dynamic Preference Updates

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

ALPUIS

Cite this

A History Based Logic for Dynamic Preference Updates

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Projects

ALPUIS

Cite this