Button Menu

Paraconsistent logic: Theory and applications in artificial intelligence

Area: Mathematical Logic

Wednesday, September 4, 2019 at 13:00 hrs.

Mauricio Javier Osorio Galindo

University of the Americas Puebla

Abstract: A paraconsistent logic is a logical system that attempts to deal with contradictions in an attenuated manner. Alternatively, paraconsistent logic is a field of logic that deals with the study and development of paraconsistent logical systems (or "inconsistent tolerant"). A very frequent (although controversial) view of Artificial Intelligence is that for a system to be "intelligent artificial", it must contain a Component that can be understood as a preferably formal language such as logic. A Knowledge Based Agent (ABC) is a system that has knowledge of its world and is able to reason about the possible actions it can take to change the state of its world. In this talk we will present the mathematical basis for the paraconsistent logic (s) as well as its application methodology in AI.

Curriculum vitae: Full professor at the University of the Americas Foundation, Puebla. Research areas: Knowledge representation; Logic Programming; Automatic reasoning; Argumentation. Education: University of Puebla, Bachelor of Computer Science; CINVESTAV, Master in Electronics Engineering; SUNY, Buffalo. Doctorate in Computer Science. Recognitions and Distinctions: Member of the National System of Researchers, Level II. 2009-2019; MICAI'2000 Congress: Distinction as one of the best articles; Advisor to the thesis that won 2nd place in the XIV ANIEI national competition; Coach of the team that won 3rd place in the ACM-Central America Programming Contest. 2005. Books: J. Juan Angoa, José Arrazola, Raúl Escobedo, Alejandro Illanes, Mauricio Osorio, Julio Poisot, Guillermo Sierna, Ángel Tamariz. Topology and Dynamic Systems I. Editors. Scientific texts. Benemérita Autonomous University of Puebla. 2007. Advisor for more than 20 masters and 5 doctoral students. Publications: More than 100 articles (workshops, conferences and magazines) 65 of these are cited by DBLP Bibliography Server.