BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20180218T020000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0300
TZOFFSETTO:-0200
TZNAME:-02
DTSTART:20181104T030000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20190217T020000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190815T160000
DTEND;TZID=America/Sao_Paulo:20190815T170000
DTSTAMP:20260614T165105
CREATED:20190808T133313Z
LAST-MODIFIED:20190814T182531Z
UID:5396-1565884800-1565888400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Martín Jedwabny
DESCRIPTION:Titulo: Explicaciones usando Argumentación y Lógica Rebatible. \nDirector: Ricardo Rodriguez. \nCo-Directores: Madalina Croitoru y Pierre Bisquert \nJurados: Vanina Martinez y Santiago Figuera \n  \nResumen: Este trabajo buscara contestar la siguiente pregunta: «Que es una buena explicación en el\ncontexto de un sistema de argumentación y l ógicas rebatibles (defeasible logics)?».\nLos sistemas de argumentación [1] buscan modelar información contradictoria de forma\nabstracta mediante grafos dirigidos. Concretamente\, la información es modelada como nodos\ny las contradicciones como ejes en la estructura. \nPor otro lado\, las lógicas rebatibles [2] permiten modelar bases de conocimiento compuestas\nde reglas estrictas y no-estrictas. Mediante este tipo de razonamiento\, es posible razonar\nen contextos contradictorios. \nUn grafo de declaraciones (statement graph) [3] es una estructura que combina distintas\nnociones de las dos previamente mencionadas. En particular\, modela la información como\nnodos en un grafo\, los cuales contienen formulas expresadas vía lógicas rebatibles. Este grafo\nutiliza dos tipos de ejes; uno para indicar soporte (cuando la conclusión de una fórmula justifica\nla premisa de la otra)\, y otro para indicar contradicción (cuando la conclusión de una fórmula\ncontradice\, desde el punto de vista l ógico\, la premisa de la otra). Este modelo permite extraer\nconclusiones de una forma similar a la de otros sistemas de argumentación. \nUno de los principales problemas con estos tipos de estructuras es que suelen ser de un\ntamaño prohibitivo desde el punto de vista explicativo\, lo cual produce que las conclusiones\nsean difíciles de entender para un ser humano. \nEn este trabajo nos proponemos construir un marco teórico para proveer explicaciones para los\nsistemas de argumentación y grafos de declaraciones\, de tal manera de minimizar la información\nnecesaria para las justificaciones y priorizar los aspectos más importantes del proceso de razonamiento. \nPor estos motivos\, realizaremos un estudio del concepto de explicación desde el punto de vista de las\nciencias cognitivas\, las ciencias de la computación y de la inteligencia artificial [4]\, para luego proveer\nun modelo que refleje las conclusiones a las que lleguemos. \nReferencias: \n[1] Phan Minh Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning\, logic programming and n-person games. Artificial intelligence\, 77(2):321–357\, 1995.\n[2] Grigoris Antoniou\, David Billington\, Guido Governatori\, and Michael J Maher. A flexible\nframework for defeasible logics. In AAAI/IAAI\, pages 405–410\, 2000.\n[3] Abdelraouf Hecham\, Pierre Bisquert\, and Madalina Croitoru. On a flexible representation for defeasible reasoning variants. In Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems\, pages 1123–1131. International Foundation for Autonomous Agents and Multiagent Systems\, 2018.\n[4] Tim Miller. Explanation in artificial intelligence: Insights from the social sciences. Artificial Intelligence\, 2018.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-martin-jedwabny/
LOCATION:Laboratorio Turing
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR