|
|||||
|
|
Semantics for Dual Preferential Entailment |
|
| Authors: | Katarina Britz Johannes Heidema Willem Labuschagne |
| Institution: | (1) Meraka Institute, CSIR, Pretoria, South Africa;(2) School of Computing, University of South Africa, Pretoria, South Africa;(3) Department of Mathematical Sciences, University of South Africa, Pretoria, South Africa;(4) Department of Computer Science, University of Otago, Dunedin, New Zealand |
| Abstract: | We introduce and explore the notion of duality for entailment relations induced by preference orderings on states. We discuss the relationship between these preferential entailment relations from the perspectives of Boolean algebra, inference rules, and modal axiomatisation. Interpreting the preference relations as accessibility relations establishes modular Gödel-Löb logic as a suitable modal framework for rational preferential reasoning. |
| Keywords: | Nonmonotonic logic Preference orders Modal logic |
| 本文献已被 SpringerLink 等数据库收录！ | |