AGENTES

PLANEJAMENTO
VIA ALICE BOB

ARGUMENTAÇÃO Agente seguindo sua própria

Agente que precisa de agente

COOPERATIVA
rotina até ser interrompida por
para uma tarefa cooperativa
outro agente

MULTIAGENTE
Colar Sela Chamada de Ajuda

Este experimento tem como objetivo o

teste de relação cooperativas entre Bastão Garra Bastão Universal
agentes de forma argumentativa
Chave Catraca

Bastão Com Chave

Remover Parafusos

Elton Masaharu Sato

Base de Argumentação De.l.p.
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.
Exemplo de Argumentação

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

QUERY:FLY(TWEETY)
FALSE
Contexto
Simulador de manutenção
elétrica em linha viva
Contexto
Troca de Isolador de Pedestal
De forma reduzida, a primeira parte do
procedimento requer 2 tarefas principais:
- Prender Bastão Garra com Colar Sela no poste
- Remover Porcas e Parafusos do Isolador
Danificado
Diagrama de Tarefas
 Base Alice

Agente(A).
Agente(B).
Agente(C).
PrefereFacilidade(A).
Instalar(x) -< PrefereFacilidade(x).
Experiente(x)-<Agente(x).
~Experiente(x) -<
PrefereFacilidade(x),Experiente(y), Experiente(z).
 Base Bob

Agente(A).
Agente(B).
Agente(C).
Experiente(A).
Experiente(B).
~Experiente(C).
~Instalar(x) <- SoltarParafuso(x),Agente(x).
SoltarParafuso(x), SoltarParafuso(y) -<
Experiente(x),Experiente(y).
 Alice

PrefereFacilidade(A).
Instalar(x) -<
PrefereFacilidade(x).
 Bob

Agente(A).
Agente(B).
Experiente(A).
Experiente(B).
~Instalar(x) <-
SoltarParafuso(x),Agente(x).
SoltarParafuso(x),
SoltarParafuso(y) -<
Experiente(x),Experiente(y).
 Alice

Agente(A).
Agente(B).
Agente(C).
PrefereFacilidade(A).
Experiente(x)-
<Agente(x).
~Experiente(x) -<
PrefereFacilidade(x),
Experiente(y),
Experiente(z).
 Bob

~Experiente(C).
 A* - Analogia

Prova Matemática em: Pardo. P, et al; Multiagent Argumentation for

Cooperative Planning in DeLP-POP, In 10th International Conference on
Autonomous Agents and Multiagent Systems (AAMAS 2011). In
 A* - Analogia

Prova Matemática em: Pardo. P, et al; Multiagent Argumentation for

Cooperative Planning in DeLP-POP, In 10th International Conference on
Autonomous Agents and Multiagent Systems (AAMAS 2011). In
 A* - Analogia

Prova Matemática em: Pardo. P, et al; Multiagent Argumentation for

Cooperative Planning in DeLP-POP, In 10th International Conference on
Autonomous Agents and Multiagent Systems (AAMAS 2011). In
 A* - Analogia

Prova Matemática em: Pardo. P, et al; Multiagent Argumentation for

Cooperative Planning in DeLP-POP, In 10th International Conference on
Autonomous Agents and Multiagent Systems (AAMAS 2011). In
 Referências:

GARCIA, A. J.; SIMARI, G. R. Defeasible logic programming: An

argumentative approach.
Theory and Practice of Logic Programming., v. 4, n. 1, p. 95–138,
2004.
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.
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.
FIM