Extensões multiagentes de duas familias de logicas não-monotonicas

Detalhes bibliográficos
Autor(a) principal: Monteiro, Ana Maria
Data de Publicação: 1996
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1583670
Resumo: Orientador: Jacques Wainer
id UNICAMP-30_a738b307a34af5782c8d0279244dd588
oai_identifier_str oai::107815
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Extensões multiagentes de duas familias de logicas não-monotonicasInteligência artificialRepresentação do conhecimento (Teoria da informação)RaciocínioOrientador: Jacques WainerDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da ComputaçãoResumo: O termo agente é usado com freqüência na área de representação de conhecimento e raciocínio. Diferentes sistemas foram propostos para modelar um agente raciocinando acerca de seu ambiente, um ambiente que, em muitas aplicações, pode incluir outros agentes. Assim, um agente, às' vezes, deve interagir com outros agentes para levar a cabo uma tarefa ou atingir um objetivo. Neste caso, pode ser importante para o agente representar o conhecimento dos outros agentes com os quais ele interage e pode necessitar raciocinar acerca do conhecimento desses agentes para comunicar-se com eles. Por outro lado, no contexto dos sistemas inteligentes, um agente pode necessitar realizar inferências na presença de informação incompleta ou obter conclusões em ausência de informação em contrário. Então o agente necessita dispor de mecanismos de raciocínio não-monotônicos. O trabalho apresentado aqui relaciona-se com as duas questões anteriores: a, proposta de lógicas não-monotônicas que não só modelam o agente raciocinando não-mono tonicamente a respeito do mundo, mas também a respeito do conhecimento de outros agentes. Este trabalho propõe a extensão de duas famílias de lógicas, para permitir o tratamento de fórmulas que contêm operadores de crenças. Mais especificamente: - desenvolvemos duas lógicas condicionais que permitem raciocinar acerca das crenças de um outro agente (o qual raciocina também na lógica condicional). Discutimos também as propriedades de tais lógicas. -propomos uma lógica preferencial multiagentes, baseada numa relação de preferência proposicional, de forma que tudo ,aquilo que é capturado por essa relação de preferência proposicional translada-se "corretamente" à lógica multiagentes.Abstract: The term agent is frequently used in the area of knowledge representation and reasoning. Different systems have been proposed to model an agent reasoning about his environment, which in many applications includes other agents. Thus, an agent sometimes must interact with other agents to accomplish a task or a goal. If that is the case, it may be important for the agent to represent the knowledge of other agents with whom it interacts and may find it necessary to reason about their knowledge in order to communicate with them. On the other hand, in the framework of an intelligent system, an agent must make certàin inferences in the face of incomplete information or reach conclusions which rely, in part, on the "absence of evidence to the contrary". Then the agent need to be invested with non-monotonic reasoning mechanisms. The work presented here is concerned with the two issues above: the proposa:l of nonmonotonic logics that not only model the agent reasoning non-monotonically about the world, but also about the knowledge of other agents. This work proposes extensions of two families of logics in such a way that those extensions are able to deal with formulas that contain belief operators. More specifically: - we develop two conditionallogics that allow one to reason about the belief of another agent (which reasons in conditionallogic himself). We also discuss the properties of such logics. - we propose a multi-agent preferential logic, based on a propositional preference relation, in such a way that, whatever is captured by the propositional preference relation, it is carried over "correctly" to the multi-agent logic.MestradoMestre em Ciência da Computação[s.n.]Wainer, Jacques, 1958-Silva, Flávio Soares Corrêa daMeidanis, JoãoUniversidade Estadual de Campinas (UNICAMP). Instituto de Matemática, Estatística e Ciência da ComputaçãoPrograma de Pós-Graduação em Ciência da ComputaçãoUNIVERSIDADE ESTADUAL DE CAMPINASMonteiro, Ana Maria19961996-03-27T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf102f. : il.https://hdl.handle.net/20.500.12733/1583670MONTEIRO, Ana Maria. Extensões multiagentes de duas familias de logicas não-monotonicas. 1996. 102f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1583670. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/107815porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2022-05-25T15:28:48Zoai::107815Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2022-05-25T15:28:48Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Extensões multiagentes de duas familias de logicas não-monotonicas
title Extensões multiagentes de duas familias de logicas não-monotonicas
spellingShingle Extensões multiagentes de duas familias de logicas não-monotonicas
Monteiro, Ana Maria
Inteligência artificial
Representação do conhecimento (Teoria da informação)
Raciocínio
title_short Extensões multiagentes de duas familias de logicas não-monotonicas
title_full Extensões multiagentes de duas familias de logicas não-monotonicas
title_fullStr Extensões multiagentes de duas familias de logicas não-monotonicas
title_full_unstemmed Extensões multiagentes de duas familias de logicas não-monotonicas
title_sort Extensões multiagentes de duas familias de logicas não-monotonicas
author Monteiro, Ana Maria
author_facet Monteiro, Ana Maria
author_role author
dc.contributor.none.fl_str_mv Wainer, Jacques, 1958-
Silva, Flávio Soares Corrêa da
Meidanis, João
Universidade Estadual de Campinas (UNICAMP). Instituto de Matemática, Estatística e Ciência da Computação
Programa de Pós-Graduação em Ciência da Computação
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Monteiro, Ana Maria
dc.subject.por.fl_str_mv Inteligência artificial
Representação do conhecimento (Teoria da informação)
Raciocínio
topic Inteligência artificial
Representação do conhecimento (Teoria da informação)
Raciocínio
description Orientador: Jacques Wainer
publishDate 1996
dc.date.none.fl_str_mv 1996
1996-03-27T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1583670
MONTEIRO, Ana Maria. Extensões multiagentes de duas familias de logicas não-monotonicas. 1996. 102f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1583670. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1583670
identifier_str_mv MONTEIRO, Ana Maria. Extensões multiagentes de duas familias de logicas não-monotonicas. 1996. 102f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1583670. Acesso em: 2 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/107815
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
102f. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188787615432704