IS LAB Series

Inteligência Artificial Simbólica e BDI

Rosa Vicari

University of Minho

02 October 2015

DI-A2, 11h00

Theme:

A Ciência da Computação, assim como outras áreas do conhecimento, também trata do desenvolvimento de teorias formais para especificar e implementar sistemas computacionais; o mesmo acontece com a comunidade da inteligência Artificial (IA). A Inteligência Artificial nasce como uma área do conhecimento multidisciplinar e, por esse motivo, vem sendo influenciada pelos avanços desta e, também, os avanços do conhecimento na IA contribuem para as áreas que lhe deram origem. Devido ao fato da IA receber influências distintas, ela é composta por diferentes paradigmas. Nossa conferência está focada no paradigma chamado de Inteligência Artificial Simbólica, o mais tradicional, pois nasce junto com a própria IA. Dentro desse contexto, apresentaremos as bases filosóficas e conceituais deste paradigma e alguns formalismos lógicos que foram desenvolvidos para especificar e desenvolver sistemas de IA, em particular os que permitem especificar e implementar sistemas sob a perspectiva de agentes. Falaremos sobre a ligação da IA com a Lógica Computacional, com foco na Lógica Modal para conhecimentos e crenças (semântica de Kripke, pois é universalmente utilizada) e sobre uma teoria integrada para agência composta por outros estados mentais além de conhecimentos e crenças, tais como, desejos e intenções. Trataremos, também, da vinculação da IA com a Ciência da Computação através da implementação computacional dos modelos lógicos. Com o objetivo de ilustrar nossa apresentação, discutiremos alguns exemplos desenvolvidos pelo grupo de pesquisa, quando então apontaremos questões em aberto que endereçam nosso trabalho futuro dentro da área.

Poster

Banner