Author:
Bernreiter Michael,Lolic Anela,Maly Jan,Woltran Stefan
Abstract
AbstractChoice logics constitute a family of propositional logics and are used for the representation of preferences, with especially qualitative choice logic (QCL) being an established formalism with numerous applications in artificial intelligence. While computational properties and applications of choice logics have been studied in the literature, only few results are known about the proof-theoretic aspects of their use. We propose a sound and complete sequent calculus for preferred model entailment in QCL, where a formula F is entailed by a QCL-theory T if F is true in all preferred models of T. The calculus is based on labeled sequent and refutation calculi, and can be easily adapted for different purposes. For instance, using the calculus as a cornerstone, calculi for other choice logics such as conjunctive choice logic (CCL) can be obtained in a straightforward way.
Publisher
Springer International Publishing
Reference17 articles.
1. Avron, A.: The method of hypersequents in the proof theory of propositional nonclassical logics. In: Hodges, W., Hyland, M., Steinhorn, C., Truss, J. (eds.) Logic: From Foundations to Applications, pp. 1–32. Oxford Science Publications, Oxford (1996)
2. Baaz, M., Lahav, O., Zamansky, A.: Finite-valued semantics for canonical labelled calculi. J. Autom. Reason. 51(4), 401–430 (2013)
3. Benferhat, S., Sedki, K.: Alert correlation based on a logical handling of administrator preferences and knowledge. In: SECRYPT, pp. 50–56. INSTICC Press (2008)
4. Bernreiter, M., Maly, J., Woltran, S.: Choice logics and their computational properties. In: IJCAI, pp. 1794–1800. ijcai.org (2021)
5. Bonatti, P.A., Olivetti, N.: Sequent calculi for propositional nonmonotonic logics. ACM Trans. Comput. Log. 3(2), 226–278 (2002)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Sequent Calculi for Choice Logics;Journal of Automated Reasoning;2024-04-03
2. Truth and Preferences - A Game Approach for Qualitative Choice Logic;Logics in Artificial Intelligence;2023
3. Validity in Choice Logics;Logic, Language, Information, and Computation;2023