使用分级模态公理化模糊偏好逻辑
计算机科学中的逻辑
2019-11-18 v2 逻辑
摘要
本文旨在提出一种多值模态框架，以形式化带有分级偏好与命题的推理，风格类似于 van Benthem 等人关于偏好的经典模态逻辑。为此，我们从 Bou 等人在有限线性有序剩余格上的极小模态逻辑出发。随后我们在带有分级模态（针对弱偏好与严格偏好）以及真值常元的多模态语言上定义适当的扩展。实际上，语言中真值常元的存在使我们能够表明极小模态逻辑中的模态算子 Box 与 Diamond 可相互定义。最后，我们为该扩展语言（其中偏好模态算子可定义）中的这一逻辑提出一个公理系统，并针对预期的分级偏好语义证明完备性。
引用
@article{arxiv.1909.07674,
title = {Axiomatizing logics of fuzzy preferences using graded modalities},
author = {Amanda Vidal and Francesc Esteva and Lluis Godo},
journal= {arXiv preprint arXiv:1909.07674},
year = {2019}
}