Palestra presencial no IME-UFG "Logic in AI" Prof. Temur Kutsia (Johannes Kepler University)
Palestra sexta-feira, 17, às 15h00. A palestra do Prof. Temur Kutsia será sobre Fundamentos de Matemática e Lógica em Inteligência Artificial. Ele trabalha com Computação Simbólica, Técnicas e Aplicações em Teoria da Reescrita e Raciocínio Automático. É também descendente de Bruno Buchberger, o inventor das bases de Gröbner e idealizador do RISC.
Data: 17/10/2025
Horário: 15h
Formato: Presencial (Auditório do IME.)
Palestrante: Temur Kutsia (Research Institute for Symbolic Computation (RISC) - Johannes Kepler University.)
Título: Logic in AI ("Lógica em Inteligência Artificial")
Resumo
While neural networks and machine learning dominate the Artificial Intelligence landscape today, the field's foundations are deeply rooted in logic. Logical methods provide a basis for representing knowledge, reasoning about it, and explaining decisions. In this talk, I will provide a concise overview of some logical methods used in AI, ranging from classical logic to extensions that address incomplete and changing information, uncertainty, and vagueness. I will also discuss how these ideas connect to modern trends, such as integrating symbolic reasoning with machine learning, and why logical thinking remains essential for building trustworthy, interpretable, and advanced intelligent systems.This presentation draws on our experience in teaching computational logic techniques to AI students at the Johannes Kepler University Linz, Austria.
Participem!