当前位置: X-MOL 学术J. Log. Lang. Inf. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A History Based Logic for Dynamic Preference Updates
Journal of Logic, Language and Information ( IF 0.7 ) Pub Date : 2019-11-12 , DOI: 10.1007/s10849-019-09307-1
Can Başkent , Guy McCusker

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.

中文翻译:

动态偏好更新的基于历史的逻辑

基于历史的模型提出了一种基于过程的认知和时间推理方法。在这项工作中,我们向基于历史的模型引入了偏好。受博弈理论观察的启发,我们讨论了如何在基于历史的模型中动态更新偏好。接下来,我们考虑箭头更新逻辑和事件演算,并为这些逻辑提供基于历史的模型。这使我们能够将基于历史的模型的动态逻辑与更广泛的框架联系起来。
更新日期:2019-11-12
down
wechat
bug