A History Based Logic for Dynamic Preference Updates

Guy McCusker, Can Baskent

Research output: Contribution to journalArticle

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 languageEnglish
Pages (from-to)1-31
Number of pages31
JournalJournal of Logic, Language and Information
DOIs
Publication statusPublished - 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

Cite this

A History Based Logic for Dynamic Preference Updates. / McCusker, Guy; Baskent, Can.

In: Journal of Logic, Language and Information, 12.11.2019, p. 1-31.

Research output: Contribution to journalArticle

@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 = "11",
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",

}

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 - http://www.scopus.com/inward/record.url?scp=85075163802&partnerID=8YFLogxK

U2 - 10.1007/s10849-019-09307-1

DO - 10.1007/s10849-019-09307-1

M3 - Article

SP - 1

EP - 31

JO - Journal of Logic, Language and Information

JF - Journal of Logic, Language and Information

SN - 0925-8531

ER -