Default Assumptions and Selection Functions: A Generic Framework for Non-monotonic Logics
We investigate a generalization of so-called default-assumption consequence relations, obtained by replacing the consequence relation of classical logic with an arbitrary supraclassical, compact Tarski-logic, and using arbitrary selection functions on sets of sets of defaults. Both generalizations are inspired by various approaches in non-monotonic logic and belief revision. We establish some meta-theoretic properties of the resulting systems. In addition, we compare them with two other frameworks from the literature on non-monotonic logic, viz. adaptive logics and selection semantics.
Unable to display preview. Download preview PDF.
- 2.Lindström, S.: A semantic approach to nonmonotonic reasoning: inference operations and choice. Uppsala Prints and Reprints in Philosophy 10 (1994)Google Scholar
- 3.Makinson, D.: General patterns in nonmonotonic reasoning. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. III. Clarendon Press (1994)Google Scholar
- 6.Levi, I.: Mild Contraction. Evaluating Loss of Information due to Loss of Belief. Clarendon Press (2004)Google Scholar
- 8.Horty, J.F.: Reasons as Defaults. Oxford University Press (2012)Google Scholar
- 9.Gabbay, D.M.: Theoretical foundations for nonmonotonic reasoning inexpert systems. In: Apt, K. (ed.) Logics and Models of Concurrent Systems. Springer (1985)Google Scholar
- 11.Straßer, C.: Adaptive Logic and Defeasible Reasoning. Applications in Argumentation, Normative Reasoning and Default Reasoning. Springer (201x)Google Scholar
- 12.Batens, D.: Adaptive Logics and Dynamic Proofs. Mastering the Dynamics of Reasoning, with Special Attention to Handling Inconsistency (in Progress)Google Scholar
- 15.Odintsov, S., Speranski, S.: Computability issues for adaptive logics in expanded standard format. Studia Logica (in print, 2013)Google Scholar