An Outine of the Concept of Adaptive Logics



Type Appeared in Conference without Proceedings
MU Faculty or unit

Faculty of Arts

Description The aim of this talk is to introduce the concept of adaptive logics (AL for short). A motivation and an emergence of AL are briefly introduced. Specifics of AL are analysed – especially its non-monotonic character, internal and external dynamics, as well as the structure of AL, namely the role of so called upper limit logic and lower limit logic. Dynamic proof is also described in the last part of the talk.
Related projects: