CAIA011 - Modelos Computacionais de Argumentação

Publicado 1/23/2018, 3:59:50 PM, última modificação 5/19/2021, 7:49:44 AM

Carga horária: 45 horas-aula (3 créditos)

Ementa: Argumentação abstrata: semânticas de argumentação baseadas em extensões e semânticas de argumentação baseadas em rotulação. Argumentação estruturada: argumentação lógica. Aplicações da argumentação formal:  raciocínio em presença de inconsistência, raciocínio não-monotônico, tomada de decisão, diálogo entre agentes, web semântica e sistemas de recomendação.

Bibliografia:

  • DUNG, Phan Minh. An argumentation-theoretic foundation for logic programming. The Journal of logic programming, 1995, vol. 22, no 2, p. 151-177.

  • BARONI, Pietro; CAMINADA, Martin; GIACOMIN, Massimiliano. An introduction to argumentation semantics. The knowledge engineering review, 2011, vol. 26, no 4, p. 365-410.
  • BESNARD, Philippe; HUNTER, Anthony. Argumentation based on classical logic. En Argumentation in Artificial Intelligence. Springer, Boston, MA, 2009. p. 133-152.
  • MODGIL, Sanjay; PRAKKEN, Henry. The ASPIC+ framework for structured argumentation: a tutorial. Argument & Computation, 2014, vol. 5, no 1, p. 31-62.
  • GARCIA, Alejandro Javier; SIMARI, Guillermo Ricardo. Defeasible logic programming: An argumentative approach. arXiv preprint cs/0302029, 2003.
  • DUNG, Phan Minh; KOWALSKI, Robert A.; TONI, Francesca. Assumption-based argumentation. En Argumentation in Artificial Intelligence. Springer, Boston, MA, 2009. p. 199-218.
  • AMGOUD, Leila; PRADE, Henri. Using arguments for making and explaining decisions. Artificial Intelligence, 2009, vol. 173, no 3-4, p. 413-436.

TEASER

Argumentação computacional é uma ferramenta com ampla gama de aplicações incluindo raciocínio em presença de inconsistência, raciocínio não-monotônico, tomada de decisão, diálogo entre agentes (negociação, persuasão, etc.), web semântica, aplicações grid, ontologias, sistemas de recomendação, aprendizado de máquina, redes neurais, sistemas normativos, teoria de escolha social, agregação de julgamento, teoria de jogos, advocacia e medicina.


Na primeira parte da disciplina, abordamos argumentação abstrata, que abstrai a estrutura dos argumentos e a natureza de suas relações. Também, abordamos argumentação estruturada, que trata de como um argumento é estruturado e de como as relações entre os argumentos, como ataque e apoio, são derivadas.


Já a segunda parte estará focada nas principais aplicações e na utilização de ferramentas de argumentação.