Diderik Batens and Joke Meheus - Adaptive Logics

Adaptive Logics

Diderik Batens and Joke Meheus

Centre for Logic and Philosophy of Science - Ghent University - Belgium

Adaptive logics provide a unified framework for the formal study of reasoning patterns that are dynamic (inconsistency-handling, compatibility, inductive generalization, abduction, diagnosis, default reasoning, ...). Most, but not all, of the corresponding inference relations are non-monotonic. A standard format for adaptive logics has been designed that covers all currently available adaptive logics. This format delivers, for each adaptive logic, a (dynamical) proof theory as well as a provably sound and complete semantics. It also provides criteria for the combination of several adaptive logics (which is necessary for many applications).

The first session will be devoted to (i) dynamic reasoning patterns (examples; absence of a positive test for derivability) and to (ii) inconsistency-adaptive logics. In the second session, we shall (i) present the standard format (lower limit logic, upper limit logic, set of abnormalities; dynamic proof theory, derivability at a stage, final derivability; adaptive semantics) and (ii) discuss the mechanisms for combining different adaptive logics. The final session will be devoted to (i) tableau-methods, (ii) block semantics and (iii) applications (from commonsense reasoning as well as from scientific contexts).

Diderik Batens, A General Characterization of Adaptive Logics, Logique et Analyse, 173-174-175, 2001, pp. 45-68 (appeared 2003).

Diderik Batens, The Need for Adaptive Logics in Epistemology, available from: http://logica.ugent.be/centrum/writings/ (item 160).

Diderik Batens and Lieven Haesaert, On Classical Adaptive Logics of Induction, Logique et Analyse, 173-174-175, 2001, pp. 255-290 (appeared 2003).

Diderik Batens and Joke Meheus, The Adaptive Logic of Compatibility, Studia Logica, 66, 2000, pp. 327-348.

Joke Meheus, Adaptive Logics and the Integration of Induction and Deduction, In: Friedrich Stadler, (ed.), Induction and Deduction in the Sciences, Kluwer, Dordrecht, 2004, pp. 93-120.

Joke Meheus, Liza Verhoeven, Maarten Van Dyck and Dagmar Provijn, Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction, In: L. Magnani, N.J. Nersessian & Claudio Pizzi, (eds.), Logical and Computational Aspects of Model-Based Reasoning, Kluwer Academic, Dordrecht, 2002, pp. 39-71.


	Adaptive Logics Diderik Batens and Joke Meheus Centre for Logic and Philosophy of Science - Ghent University - Belgium


Adaptive logics provide a unified framework for the formal study of reasoning patterns that are dynamic (inconsistency-handling, compatibility, inductive generalization, abduction, diagnosis, default reasoning, ...). Most, but not all, of the corresponding inference relations are non-monotonic. A standard format for adaptive logics has been designed that covers all currently available adaptive logics. This format delivers, for each adaptive logic, a (dynamical) proof theory as well as a provably sound and complete semantics. It also provides criteria for the combination of several adaptive logics (which is necessary for many applications). The first session will be devoted to (i) dynamic reasoning patterns (examples; absence of a positive test for derivability) and to (ii) inconsistency-adaptive logics. In the second session, we shall (i) present the standard format (lower limit logic, upper limit logic, set of abnormalities; dynamic proof theory, derivability at a stage, final derivability; adaptive semantics) and (ii) discuss the mechanisms for combining different adaptive logics. The final session will be devoted to (i) tableau-methods, (ii) block semantics and (iii) applications (from commonsense reasoning as well as from scientific contexts).
		Diderik Batens, A General Characterization of Adaptive Logics, Logique et Analyse, 173-174-175, 2001, pp. 45-68 (appeared 2003). Diderik Batens, The Need for Adaptive Logics in Epistemology, available from: http://logica.ugent.be/centrum/writings/ (item 160). Diderik Batens and Lieven Haesaert, On Classical Adaptive Logics of Induction, Logique et Analyse, 173-174-175, 2001, pp. 255-290 (appeared 2003). Diderik Batens and Joke Meheus, The Adaptive Logic of Compatibility, Studia Logica, 66, 2000, pp. 327-348. Joke Meheus, Adaptive Logics and the Integration of Induction and Deduction, In: Friedrich Stadler, (ed.), Induction and Deduction in the Sciences, Kluwer, Dordrecht, 2004, pp. 93-120. Joke Meheus, Liza Verhoeven, Maarten Van Dyck and Dagmar Provijn, Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction, In: L. Magnani, N.J. Nersessian & Claudio Pizzi, (eds.), Logical and Computational Aspects of Model-Based Reasoning, Kluwer Academic, Dordrecht, 2002, pp. 39-71.