If logic is broken, let’s fix it

Non-monotonic logic and default logics

Circumscription, Situation Calculus

Formalization of Context

Fuzzy logic and probabalistic logics (e.g. Bayesian)

Multiple-valued logic (yes, no, maybe, dunno)

Modal logic (necessary, possible)

Previous slide

Next slide

Back to first slide

View graphic version