Professional Documents
Culture Documents
PLANEJAMENTO
VIA ALICE BOB
COOPERATIVA
rotina até ser interrompida por
para uma tarefa cooperativa
outro agente
MULTIAGENTE
Colar Sela Chamada de Ajuda
Remover Parafusos
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).
Instalar(A) -< ~Instalar(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) -<
PrefereFacilidade(x),
Experiente(y),
Experiente(z).
Bob
~Experiente(C).
A* - Analogia