AGENTES

ARGUMENTAÇÃO
MULTIAGENTE ALICE BOB

COOPERATIVA Agente seguindo sua própria

rotina até ser interrompida por
Agente que precisa de agente
para uma tarefa cooperativa
outro agente

Este experimento tem como objetivo o

teste de relação cooperativas entre
agentes de forma argumentativa
Espina Chamada de Ajuda

Bastão Universal Bastão Universal

Estropo Chave Catraca

Bastão Com Chave

Remover Parafusos

Elton Masaharu Sato

PREMISSAS
Axiomas, expressões atômicas que afirmam de forma indisputável.

REGRAS ESTRITAS
Regras estritas são conclusões lógicas, quando suas premissas são
indisputáveis, também são suas conclusões.

REGRAS DERROTÁVEIS
Regras que podem ser derrotadas por evidência contrária.

RELAÇÃO DE SUPERIORIDADE
Define a relação entre um conjunto de regras, determinando a força
relativa entre regras conflitantes.

Elton Masaharu Sato

Exemplo de Argumentação

PENGUIN(TWEETY).
BIRD(X) <- PENGUIN(X).
FLY(X) -< BIRD(X).
~FLY(X) -< PENGUIN(X).

QUERY:FLY(TWEETY)
FALSE
Alice
Bob
Bob
Alice
Alice
Ambiente
PARCIALMENTE OBSERVÁVEL
MULTIAGENTE
COOPERATIVO
DETERMINÍSTICO
SEQUENCIAL
SEMIDINÂMICO
DISCRETO

Pesquisa em Árvores
PESQUISA COMPLETA
PESQUISA ÓTIMA
ÁRVORE DE TAMANHO N
 Referências:

MORVELI-ESPINOZA, Mariela. CÁLCULO DA

FORÇA DE ARGUMENTOS RETÓRICOS E SUA
UTILIZAÇÃO EM DIÁLOGOS DE NEGOCIAÇÃO
PERSUASIVA EM SISTEMAS MULTI-AGENTE. 145 f.
Tese – Programa de Pós-graduação em
Engenharia Elétrica e Informática Industrial,
Universidade Tecnológica Federal do Paraná.
Curitiba, 2018.
DELLUNDE, Pilar; PARDO, Pere, et al. Multiagent
Argumentation for Cooperative Planning in DeLP-
POP
THIMM, M. Tweety: A Comprehensive Collection
of Java Libraries for Logical Aspects ofArtificial
Intelligence and Knowledge Representation.
Institute for Web Science and Technologies
(WeST)University of Koblenz-Landau, Alemanha,
2014.