A History Based Logic for Dynamic Preference Updates

Journal of Logic, Language and Information - Tập 29 - Trang 275-305 - 2019
Can Başkent1,2, Guy McCusker1
1Department of Computer Science, University of Bath, Bath, UK
2Institute for Ethical AI, Oxford Brookes University, Oxford, England

Tóm tắt

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.

Tài liệu tham khảo