Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10378
Title: Especificação formal de um sistema de apoio à descoberta.
Other Titles: Formal specification of a discovery support system.
???metadata.dc.creator???: NÓBREGA, Germana Menezes da.
???metadata.dc.contributor.advisor1???: FERNEDA, Edilson.
???metadata.dc.contributor.referee1???: DOMÍNGUEZ, Arturo Hernández.
???metadata.dc.contributor.referee2???: RAMALHO, Geber Lisboa.
Keywords: 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
Issue Date: Nov-1998
Publisher: Universidade Federal de Campina Grande
Citation: NÓBREGA, Germana Menezes da. Especificação formal de um sistema de apoio à descoberta. 1998. 156f. (Dissertação) Mestrado em Informática, Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - Paraíba - Brasil, 1998.
???metadata.dc.description.resumo???: 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.
Abstract: In the context of agent based systems, a rational agent may be seen as a system appearing to the user as being capable of reasoning, handling interactions, beliefs, as well as incomplete, imprecise and erroneous knowledge. The rational agent SAID is conceived under those ideas, and is caractherized by its skill of producing révisable knowledge, and also by its skill of explaining its decisions. This work introduces a formal specification for a system for aiding discovery based upon rational agent SAID. Such a specification means a starting point to an implementation that will provide, from one hand, experiments of learning from examples algorithms in a variety of domains, and, from other hand, an aiding tool for generation and validation of scientific theories. From a widespread point of view, one should say that research in the direction of knowledge generalization is suitable because the large amount of information people handle nowadays is increasing. In such a sense, this work meets actual investigations both in Knowledge Acquisition and Machine Learning field.
Keywords: 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
???metadata.dc.subject.cnpq???: Ciência da Computação
URI: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10378
Appears in Collections:Mestrado em Ciência da Computação.

Files in This Item:
File Description SizeFormat 
GERMANA MENEZES DA NÓBREGA - DISSERTAÇÃO PPGCC 1998.pdfGermana Menezes da Nóbrega - Dissertação PPGCC 1998.9.03 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.