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:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20210101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20221222T150000
DTEND;TZID=America/Sao_Paulo:20221222T160000
DTSTAMP:20260418T135813
CREATED:20221213T165350Z
LAST-MODIFIED:20221213T165350Z
UID:8008-1671721200-1671724800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Santiago Dandois
DESCRIPTION:Título: Juegos de alcanzabilidad sobre grafos and-or generales.\nDirector: Víctor Braberman\nJurados: Pablo Barenbaum\, Fernando Schapachnik \nZoom: (a definir) \nResumen \nEs común representar ciertos juegos determinados de dos jugadores mediante un árbol «and-or». Computar la estrategia ganadora para uno de los jugadores (o determinar que no existe) tiene aplicaciones muy diversas. En este trabajo extendemos el árbol «and-or» a grafos «and-or» generales con dos condiciones de victoria vinculadas a la alcanzabilidad de nodos objetivos. Este tipo de juegos\, por ejemplo\, tienen aplicación en ingeniería de software y robótica\, ya que se los puede utilizar como pasos intermedios para calcular planes de misiones que reaccionan ante eventos de un ambiente que actúa como (jugador) adversario. Como las arenas de estos juegos -aunque descritas de manera compacta- pueden ser grafos enormes si se los desarrolla explícitamente\, queremos encontrar conceptos que ayuden a valorar adecuadamente nodos a explorar en un análisis «on-the-fly» del grafo subyacente. Para ello proponemos caracterizar\, de manera paramétrica\, la condición de victoria de una exploración parcial del juego mediante una fórmula booleana. Primero calculamos está fórmula explícitamente mediante algoritmos de punto fijo\, con la ayuda de la estructura de datos ROBDD. Luego\, la utilizamos para guiar la exploración on-the-fly mediante heurísticas derivadas de ella. Evaluamos nuestras propuestas y hallamos heurísticas muy prometedoras a pesar de los costos elevados de representación de las fórmulas de victoria.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-santiago-dandois/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR