Especificação formal de um sistema de apoio à descoberta.

• Autor(a) principal: NÓBREGA, Germana Menezes da.
• Data de Publicação: 1998
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Biblioteca Digital de Teses e Dissertações da UFCG
• Texto Completo: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10378
• topic: Inteligência Artificial; Agentes Racionais; Descoberta Científica; Agente Racional SAID; Algoritmos de Aprendizagem; Aquisição de Conhecimento; Aprendizagem de Máquina; Artificial Intelligence; Rational Agents; Scientific Discovery; SAID Rational Agent; Learning Algorithms; Knowledge Acquisition; Machine Learning; Ciência da Computação

No contexto de sistemas baseados em agentes, um agente racional pode ser visto como um sistema que aparenta ao usuário ser capaz de raciocinar, manipulando interações, crenças e conhecimento incompleto, impreciso e errôneo. O agente racional SAID é concebido dentro de tais princípios e é caracterizado pela capacidade produzir conhecimento passível de revisão e pela capacidade de dar explicações sobre suas decisões. Este trabalho apresenta uma especificação formal para um sistema de apoio à descoberta baseado no agente racional SAID. Isto representa um ponto de partida no sentido de uma implementação que propiciará, por um lado, o experimento de algoritmos de aprendizagem a partir de exemplos em vários domínios e, por outro lado, uma ferramenta de apoio à geração e validação de teorias científicas. Em um espectro mais amplo, pode-se dizer que pesquisas que visam a generalização de conhecimento são convenientes, dado o crescente volume de informação que manipula a sociedade contemporânea. Nesse sentido, este trabalho vai ao encontro dos atuais esforços realizados no âmbito de disciplinas como Aquisição de Conhecimento e Aprendizagem de Máquina.