Adaptive logics: a parametric approach

Abstract

Adaptive logics (ALs) in standard format are defined in terms of a monotonic core logic L, a distinct set of 'abnormal' formulas and a strategy, which can be either reliability or minimal abnormality. In this article we we ask under which conditions the consequence relation of two ALs that use the same strategy are identical, and when one is a proper subrelation of the other. This results in a number of sufficient (and sometimes necessary) conditions on L and which apply to all ALs in standard format. In addition, we translate our results to the closely related family of default assumption consequence relations.

Assumption-Based Approaches to Reasoning with Priorities

“…In future work, we would like to investigate the effect of closing ABFs under other logical connectives such as disjunction, implication or different forms of negation. Similar research has been done for adaptive logics [12].…”