An Outine of the Concept of Adaptive Logics
| Authors | |
|---|---|
| Year of publication | 2016 |
| Type | Appeared in Conference without Proceedings |
| MU Faculty or unit | |
| Citation | |
| 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: |