Celem zajęć jest elementarne wprowadzenie do logik nieklasycznych, ze szczególnym uwzględnieniem tych logik, które znajdują zastosowania w reprezentacji i zarządzaniu wiedzą. Omówione będą między innymi logiki modalne, wielowartościowe i intuicjonistyczne.