Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2015-09-24T14:02:01Z
No. of bitstreams: 1
475171 - Texto Completo.pdf: 23619666 bytes, checksum: 28243e1337b86bf3d0ef2cd45f2a0717 (MD5) / Made available in DSpace on 2015-09-24T14:02:01Z (GMT). No. of bitstreams: 1
475171 - Texto Completo.pdf: 23619666 bytes, checksum: 28243e1337b86bf3d0ef2cd45f2a0717 (MD5)
Previous issue date: 2015-03-27 / Argumentation appears in two main lines of research in the field of multi-agent systems: argumentation-based reasoning and argumentation-based dialogues. In this document we present an approach exploring both of those lines of research. First, we develop an argumentation-based reasoning mechanism in an agent-oriented programming language based on the BDI architecture. This reasoning mechanism is based on a defeasible logic formalism and the notion of defeasible semantics. Using that argumentation-based reasoning mechanism, agents can reason under uncertainty and can use arguments to supports their claims when engaging in multi-agent dialogues. Second, we give operational semantics to a set of speech acts found in the literature on argumentation-based dialogues. That semantics is also given in the context ofBDI-inspired agentorlented programming languages. Next, we define a protocol for argumentation-based dialogues for task reallocation, using the reasoning mechanism and the operational semantics. We prove that the protocol terminates and that it can reach ideal solutions under certain assumptions. Finally, we descrlbe an application domain used as case study, and we evaluate our work with some examples of real problems from that application scenario. / Argumenta??o aparece em duas principais linhas de pesquisa no campo de sistemas multi-agentes: racioc?nio baseado em argumenta??o e di?logos baseados em argumenta??o. Neste documento n?s apresentamos uma abordagem que explora essas duas linhas de pesquisa. Primeiro) n?s desenvolvemos um mecanismo de racioc?nio baseado em argumenta??o em uma linguagem de programa??o orientada a agentes, a qual ? baseada na arquitetura BDI. Este mecanismo de racioc?nio ? baseado no formalismo de defeasible logic e na no??o da sem?ntica defeasible. Usando este mecanismo de racioc?nio baseado em argumenta??o, agentes podem raciocinar sobre incertezas e podem usar argumentos para dar suporte ?s suas alega??es quando envolvidos em di?logos multiagentes. Segundo, n?s damos sem?ntica operacional para um conjunto de atos de fala encontrados na literatura de di?logos baseados em argumenta??o. Esta sem?ntica ? tamb?m dada no contexto de linguagens de programa??o orientada a agentes inspiradas pela arquitetura BDI. Al?m dissot n?s definimos um protocolo para di?logos baseados em argumenta??o para realoca??o de tarefas, considerando o mecanismo de racioc?nio e a sem?ntica operacional apresentados. Provou-se que o protocolo termina e que atinge solu??es ideais, dados alguns pressupostos desse trabalho. Finalmente, n?s descrevemos um dom?nio de aplica??o usado como estudo de caso, e avaliamos nosso trabalho com alguns exemplos de problemas reais dentro desse cen?rio da aplica??o.
| Identifer | oai:union.ndltd.org:IBICT/oai:tede2.pucrs.br:tede/6322 |
| Date | 27 March 2015 |
| Creators | Panisson, Alison Roberto |
| Contributors | Bordini, Rafael Heitor |
| Publisher | Pontif?cia Universidade Cat?lica do Rio Grande do Sul, Programa de P?s-Gradua??o em Ci?ncia da Computa??o, PUCRS, Brasil, Faculdade de Inform?tica |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | English |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Biblioteca Digital de Teses e Dissertações da PUC_RS, instname:Pontifícia Universidade Católica do Rio Grande do Sul, instacron:PUC_RS |
| Rights | info:eu-repo/semantics/openAccess |
| Relation | 1974996533081274470, 600, 600, 600, -3008542510401149144, 3671711205811204509 |
Page generated in 0.0011 seconds