Use este identificador para citar ou linkar para este item:
http://repositorio.utfpr.edu.br/jspui/handle/1/27024| Título: | Raciocínio derrotável distribuído baseado em argumentação para ambientes abertos e dinâmicos |
| Título(s) alternativo(s): | Argumentation-based distributed defeasible reasoning for open and dynamic environments |
| Autor(es): | Monte-Alto, Helio Henrique Lopes Costa |
| Orientador(es): | Tacla, Cesar Augusto |
| Palavras-chave: | Raciocínio Argumentação Sistemas multiagentes Algorítmos Programação lógica (Computação) Computação semântica Reasoning Argumentation Multi-agent systems Algorithms Logic programming Semantic computing |
| Data do documento: | 25-Nov-2021 |
| Editor: | Universidade Tecnológica Federal do Paraná |
| Câmpus: | Curitiba |
| Citação: | MONTE-ALTO, Helio Henrique Lopes Costa. Raciocínio derrotável distribuído baseado em argumentação para ambientes abertos e dinâmicos. 2021. Tese (Doutorado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná, Curitiba, 2021. |
| Resumo: | Este trabalho apresenta um modelo de raciocínio distribuído e não-monotônico, no qual entidades distribuídas – agentes – podem ter conhecimentos que, tomados em conjunto, levam a conclusões conflitantes. Tais conflitos são resolvidos por meio de uma abordagem de argumentação estruturada baseada em regras com uma função de cálculo de força de argumentos que leva em consideração o grau de confiança que os agentes têm uns nos outros e o grau de certeza acerca da correspondência entre conhecimentos heterogêneos adquiridos de diferentes agentes. Presume-se, também, que o ambiente no qual esses agentes estão inseridos é aberto e dinâmico, de modo que os agentes podem entrar e sair do ambiente a qualquer momento, assim como ter suas crenças atualizadas constantemente. Isso gera a necessidade de que os agentes sejam capazes de consultar agentes arbitrários acerca de conhecimentos específicos, mesmo sem saberem a priori se os agentes consultados possuem tais conhecimentos. Também se considera a possibilidade de um agente possuir conhecimentos relacionados ao seu foco atual – isto é, conhecimentos relacionados a sua situação atual, localização, atividade, objeto(s) de interesse e/ou objetivos – que podem ser relevantes para que outros agentes possam raciocinar corretamente acerca de uma consulta enviada por aquele agente. Assim, propõe-se que uma consulta enviada de um agente para o outro permita que o primeiro compartilhe conhecimentos de foco que são relevantes no escopo da consulta. Portanto, é proposto um modelo de argumentação estruturado distribuído baseado em regras que formaliza as estruturas de raciocínio e a semântica de argumentação, assim como um algoritmo distribuído de processamento de consultas baseado nesse modelo. Também são apresentadas formas de cálculo alternativas de força de argumentos baseadas em diferentes intuições sobre possíveis atitudes mentais de um agente e que tiram proveito das estruturas de argumentação de maneiras distintas. Esta tese também abre possibilidades para trabalhos futuros, tal como no escopo de revisão de crenças e geração de explicações baseadas nas estruturas de argumentação construídas pelos agentes. |
| Abstract: | This work presents a distributed and non-monotonic reasoning model, in which distributed entities – agents – may have knowledge that, taken together, lead to conflicting conclusions. Such conflicts are resolved through a rule-based structured argumentation approach with an argument strength calculation function that takes into account the degree of trust agents have in each other and the degree of certainty about the correspondence between heterogeneous knowledge acquired from different agents. It is also assumed that the environment in which these agents are situated is open and dynamic, só that agents can enter and leave the environment at any time, as well as have their beliefs constantly updated. This generates the need for agents to be able to query arbitrary agents about specific knowledge, even without knowing a priori whether the queried agents have such knowledge or not. It is also considered the possibility that an agent has knowledge related to its current focus – that is, knowledge related to its current situation, location, activity, object(s) of interest and/or objectives – that may be relevant só that other agents can reason correctly about a query sent by that agent. Thus, it is proposed that a query sent from one agent to another allows the former to share focus knowledge that is relevant in the scope of the query. Therefore, a rule-based distributed structured argumentation model that formalizes reasoning structures and argumentation semantics is proposed, as well as a distributed query processing algorithm based on this model. Alternative formulas for argument strength calculation based on different intuitions about possible mental attitudes of an agent and that take advantage of argumentation structures in different ways are also presented. This thesis also opens up possibilities for future work, such as in the scope of belief revision and generation of explanations based on the argumentation structures constructed by agents. |
| URI: | http://repositorio.utfpr.edu.br/jspui/handle/1/27024 |
| Aparece nas coleções: | CT - Programa de Pós-Graduação em Engenharia Elétrica e Informática Industrial |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| raciociniodistribuidoargumentacao.pdf | 2,54 MB | Adobe PDF |  Visualizar/Abrir |
Este item está licenciada sob uma Licença Creative Commons
