(Paraconsistent) adaptive logics: a logico-philosophical introduction
In this talk I will introduce adaptive logics as models for rational
defeasible reasoning. First I will explain what defeasible reasoning is
and why is useful to distinguish rational from irrational defeasible
reasoning patterns. I will illustrate that there exist very different
forms of defeasible reasoning (induction, abduction, vagueness,
inconsistency handling, belief merging, etc.) but that they nevertheless
have some formal aspects in common.
Next, I will introduce the Standard Format of Adaptive Logic (SF). I
will give a short introduction to the semantics and proof theory of (SF)
and will give some examples of adaptive logics within the format of the
SF, with special attention for paraconsistent adaptive logics. I will
argue why adaptive logics defined within SF are good unifying
formalisations of many aspects of defeasible reasoning.
Finally, I will discuss some issues concerning the (computational) complexity of adaptive logics.
Nenhum comentário:
Postar um comentário