Agentes Inteligentes

1^o Semestre 2003

Informações Gerais

• Professores:  Patricia Tedesco e Jacques Robin
• Esta página: www.cin.ufpe.br/~in1081/2003/
• Newsgroup da disciplina: depto.courses.posgrad.in1081
• Local:
• Unidades 1, 2 e 3: M1
• Unidade 4: 2^a na M8 e 4^a na M8

·         Horários: 2^a 16h-18h e 4^a 12h-14h

·         Para mandar email para a turma, clique aqui

 

Turma:

Aluno

Pesquisa

Conhecimento Prévio

Nome

Login

Área

Orientador

Tema

Proba.

Lógica

Prolog

Prog.  Funcional

OOSE

UML

OCL

Algo.  Busca

Complexidade

Marcus Salerno

msa

BD Realidade Virtual

Alejandro/Fernando

Ambientes Virtuais Adaptativos para EAD

+

+

+

+/-

+/-

+/-

-

-

-

Paulo Coelho

pgbc

?

?

Agentes Pedagógicos

+

+

+/-

+

+/-

+/-

+/-

+/-

-

Adriana Carneiro

apcc

BD/IA

Patrícia

RBC para DBA

+/-

+/-

-

+/-

+/-

+

-

-

-

Rosalie Belian

rbb

BD

Carol

Integração de Dados na Web com Ontologias

+/-

+/-

-

+/-

+

+

-

-

-

Rodrigo Sineco A. Araújo

rsaa

IA

Disciplina Isolada

-

+

+

-

+

+

+

-

-

-

Kassiana Mesquita da Costa

kmc

CG

Alejandro

Filtragem Interagents

+

+

+

+

+

+

-

+

-

Ismênia Galvão Lourenço da Silva

igls

ES

Jaelson

Metodologia para Engenharia de Requisitos OA

+

+

-

+/-

+

+

-

+/-

-

Ernesto Trajano de Lima

etl

IA

Geber

Descoberta de Conhecimento em Interpretações Musicais

+/-

+

+

+

+

+

+/-

+

+

Elsie Gouveia

elpg

Proc. Imagens

Alejandro

Filtragem Interagente?

+/-

+/-

-

+/-

+/-

+/-

-

+/-

+/-

Cibele Christ

crc2

IA

Alex

Transparência de Interface

+

+

+

+

+/-

+

-

+

+

Tiago Brito

terb

Algo.

Kátia

?

+

+

+/-

+/-

+

+

-

+

+

Juliana Loureiro

jal2

IA

Alejandro

?

+

+

+

+

+

+

-

+

+/-

Mariano Cravo

mctn

BD

Carol

BD móveis

+/-

+

+/-

+

+/-

+

-

+

+

Wabber Filho

wmaf

IA

Geber

Framework para editores de jogos

+

+

-

+

+

+

-

+

+

Hugo Henrique

hhrr

IA

Geber

Chatterbots para jogos de aventura

+

+

-

+

+

+

-

+

+/-

Sandra de Albuquerque Siebra

sas

IA/BD

Carol/Patrícia

Análise de interações dos usuários em ambientes colaborativos de aprendizagem

+/-

+

+/-

+/-

+

+

-

+/-

+/-

---

Bibliografia

·         Artificial Intelligence a Modern Approach (2^nd Edition), S. Russell & P. Norvig, 2002, Prentice-Hall.
Site: aima.cs.berkeley.edu

·         Introduction to MultiAgent Systems, M. Wooldridge, 2002, Wiley & Sons.
Site: www.csc.liv.ac.uk/~mjw/pubs/imas/

·         Ontologies, the Silver Bullet for Knowledge Management and Electronic Commerce, D. Fensel. 2001, Springer-Verlag.

·         Prolog Programming for Artificial Intelligence (3^rd Edition), I. Bratko, 2001, Addison-Wesley.
Site: cwx.prenhall.com/bookbind/pubbooks/bratko3_ema/

·         Programming with Constraints: an Introduction, K. Marriott & P. Stuckey, 1998, MIT Press.
Site: www.cs.mu.oz.au/~pjs/book/book.html

·         The Unified Modeling Language User Guide. G. Booch, I. Jacobson, & J. Rumbaugh, 1998, Addison-Wesley.

·         The Object Constraint Language: Precise Modeling with UML, J. Warmer, J. and A. Kleppe, 1999, Addison-Wesley.    

 

Avaliação:

·         3 exercícios em equipe (um essay e 2 ontologias UML)

·         Cada um 5% da nota final

·         1 seminário individual ou em dupla: 30% da nota final

        Temas de Seminários

·         1 prova individual de respostas múltiplas: 25% da nota final

·         1 projeto de desenvolvimento em equipe: 30% da nota final dos quais

o        apresentação oral: 10%

o        artefatos de desenvolvimento: 10%

o        escopo, qualidade e utilidade prática do software: 10%

 

Caderneta Escolar

 

Unidade 1

Introdução aos Agentes Inteligentes e a Inteligência Artificial

Compartilhada com a disciplina Métodos em Computação Inteligente

Aula 1: Apresentação da Disciplina 23/04

• Jacques

---

Aula 2: Agentes Inteligentes 28/04

• Jacques.
• Transparências: IntelligentAgents.ppt
• Leitura: 
• Capítulo 1 e Seções 2.1, 2.2 e 7.2 do Russell & Norvig
• Capítulos 1 e 2 do Wooldridge

Aula 3: Ambientes e Arquiteturas de Agentes Inteligentes 30/04

• Jacques.
• Transparências: AgentArchitecturesEnvironments.ppt
• Leitura:  Capítulo 2 do Russell & Norvig

Aula 4: Agentes Baseados em Conhecimento 05/05

• Jacques.
• Transparências: KnowledgeBasedAgents.ppt
• Leitura: Seções 7.1, 7.2, 8.4, 10.1 do Russell & Norvig

---

Aula 5: Paradigmas de Inteligência Artificial 07/05

• Jacques
• Transparências: AIParadigms.ppt
• Leituras:
• Seções 3.1, 5.1, 13.1, 14.1, 18.1-2 do Russell & Norvig
• Subseção de 4.3 sobre algoritmos genéticos do Russell & Norvig
• pp. 736-739, 744-748 da seção 20.5 do Russell & Norvig

Aula 6: UML como Linguagem Padrão Intuitiva para Representação de Conhecimento 12/05

• Jacques e Franklin
• Aula prática no laboratório
• Transparencias: UMLOCL.ppt
• Leitura:

§         Seções 2 e 3 do Booch, Jacobson & Rumbaugh
com ênfase nos capítulos 8 e 14

§         Livro do Warmer & Kleppe

Aula 7: Ferramentas de Construção de Ontologias com UML 14/05

• Franklin
• Transparencias: PoseidonRose.ppt
• Aula prática no laboratório
• Entregue do exercício 1 (em Equipe):

§         Essay em equipe sobre mapeamento entre classes de ambientes e arquiteturas de agentes (tabela com justificativa)

Aula 8: Conceitos de Alto-Nível de uma Ontologia da IA 07/07

• Jacques
• Transparencias: AITopOntology.ppt
• Correção do Exercício 1

Aula 9: Apresentação dos Assuntos de Projetos de Implementação 21/05

• Jacques e Patricia
• Transparências: ProjectTopics.ppt

1.      Tópicos:

 

Unidade 2

Resolução de Problemas por meio de Busca no Espaço Extensional de Hipótese

Compartilhada com a disciplina Métodos em Computação Inteligente

---

Aula 10: Resolução de Problemas por Meio de Busca Cega no Espaço Extensional de Hipótese 26/05

• Seminário 1: André Santana
• Transparências: ExhaustiveSearch.ppt
• Leitura: Capítulo 3 do Russell & Norvig

Aula 11: Resolução de Problemas Meio de Busca Heurística no Espaço Extensional de Hipótese 28/05

• Seminário 2: Ana Emília
• Transparências: HeuristicSearch.ppt
• Leitura: Capítulo 4 do Russell & Norvig

Aula 12: Resolução de Problemas por Meio de Resolução de Restrições 02/06

• Seminário 3: Paulemir
• Transparências: CSP.ppt
• Leitura: Capítulo 5 do Russell & Norvig

Aula 13: Orientação de projetos: Ontologia do Domínio e Requisitos do Sistema 04/06

 Unidade 3

Representação Básica do Conhecimento: Agentes Lógicos
Compartilhada com a disciplina Métodos em Computação Inteligente

Aula 14: Agentes Baseados na Lógica Proposicional 09/06

• Seminário 4: Alzennyr
• Transparências: PropositionalAgents.ppt
• Leitura: Capítulo 7 do Russell & Norvig

Aula 15: Agentes Baseados na Lógica dos Predicados 11/06

• Seminário 5: Tiago
• Transparências:  PredicateLogicAgents.ppt
• Leitura: Seções 8.1-8.3, 9.1-9.3 e 9.5 do Russell & Norvig
• Entregue do exercício 2 (em equipe):

• Sub-ontologia UML/OCL dos problemas, métodos e aplicações da resolução de problema baseada em busca no espaço de hipótese como refinamento da ontologia de alto-nível da IA da aula 8

Aula 16: Programação em Lógica com Prolog 16/06

• Jacques
• Transparências: Prolog.ppt
• Leitura:
• Seções 8.4 e 9.4 do Russell & Norvig
• Capítulos 1, 2, 3, 5, 6, 7 e 8 do Bratko

Aula 17: Raciocínio Não-Monotônico e Abdudção 18/06

• Seminário 6:Gustavo
• Transparências: NonMonotonicAgents.ppt, NegationAsFailure.ppt
• Leitura:
• Seções 10.3-10.4, 10.7-10.8 do Russell & Norvig
• The role of abduction in logic programming

---

Aula 18: Orientação de Projetos: Arquitetura e Modelo do Software 30/06

---

Aula 19: Correção do Exercício 2, Ontologia da Resolução de Problemas por Busca 30/06

• Jacques
• Transparências: SearchBasedProblemSolvingOntology.ppt

Aula 20: Programação em Lógica com Resolução de Restrições 02/07

• Seminário 7:
• Transparências: CLP.ppt
• Leitura:
• Capítulos do 4, 5, 7 e 8 do Marriott & Stuckey

---

Aula 21: Sistemas de Programação em Lógica 07/07

• Jacques e alunos
• Transparências: PrologSystems.ppt
• Aula prática no laboratório sobre YAP, XSB e Eclipse
• Leitura:
1. Manual do YAP
2. Manual do XSB
3. Manual do Eclipse

• Entregue do exercício 3 (em equipe):
• Sub-ontologia UML/OCL dos problemas, métodos e aplicações da representação básica do conhecimento e dos agentes lógicos como refinamento da ontologia de alto-nível da IA da aula 8

Aula 22: Correção do Exercício 3, Ontologia UML/OCL dos Agentes Lógicos 09/07

• Jacques
• Transparências: LogicAgentsOntology.ppt

Unidade 4

Inteligência Artificial Distribuída

Aula 23: Sistemas Multi-Agentes – Introdução 28/07

          Transparências: SMA-Intro.ppt

---

Aula 24: Organização em Sistemas Multi-Agentes 30/07               

                    Transparências: SMA-Organização

---

Aula 25: Coordenação em Sistemas Multi-Agentes 11/08

    Transparências: SMA-Coordenação

Aula 26: Comunicação: FIPA/KQML 28/07

            Transparências: SMA-Comunicação

Aula 27: Negociação em Sistemas Multi-Agentes  28/07

          Transparências: SMA-Negociação

 Aula 28: Ferramentas para Construção de SMA 30/07

      Aula de Laboratório

 Aula 29: Ferramentas para Construção de SMA 04/08

      Aula de Laboratório

Aula 30:  Apresentação de Seminários 20/08

           Temas de Seminários

Aula 31:  Apresentação de Seminários 25/08

---

Aula 32: Aula de Revisão para Prova 13/08

---

Aula 33: Prova 18/08

---

Aula 34: Apresentações Orais de Projetos 1 20/08

---

Aula 35: Apresentações Orais de projetos 2 25/08

---

Aula 36: Apresentações Orais de projetos 3 27/08 

---