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:20240101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250606T080000
DTEND;TZID=America/Sao_Paulo:20250606T100000
DTSTAMP:20260519T223359
CREATED:20250602T130751Z
LAST-MODIFIED:20250602T130751Z
UID:9965-1749196800-1749204000@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Daniel Grimaldi
DESCRIPTION:Título: Estudio lógico-matemático de una familia de operadores de actualización no-priorizados de bases de conocimiento\nDirectora: M. Vanina Martinez\nDirector adjunto: Ricardo O. Rodriguez\nConsejero de estudios: Daniel Acevedo \nJurados:\nDr. Eduardo Barrio UBA & CONICET\, Buenos Aires\, Argentina\nDr. Ramón Pino Perez\, Université Artois\, Lens\, Francia\nDra. Renata Wassermann\, USP\, São Paulo\, Brasil \nLink Youtube: https://youtube.com/live/k1Omx6jME9s \nResumen: \nDesde la década de 1980\, el modelo AGM de operadores revision y contraction en la teoría del cambio de creencias ha sido adoptado en inteligencia artificial para enfrentar el problema de actualizar bases de conocimiento con información potencialmente inconsistente. Este modelo ofrece tanto un enfoque formal\, como también una perspectiva computacional realista y una claridad semántica. Con el tiempo\, el modelo AGM se ha generalizado para aplicarse en diversos contextos\, desarrollando operadores priorizados para entornos dinámicos\, como update y erase; operadores de cambios múltiples priorizados\, como package y choice; operadores no priorizados\, como credibility-limited revision\, shielded contraction o filtered revision; e incluso variantes aplicables a lógicas no clásicas. \nEn esta tesis\, proponemos un enfoque homogéneo para analizar esta diversidad bajo un mismo marco teórico. Presentaremos una semántica basada en mundos posibles\, desvinculada de cualquier lógica subyacente\, donde las creencias se representan únicamente como un conjunto de mundos\, sin depender de una sintaxis específica. A continuación\, adaptaremos varios de los modelos conocidos a este marco\, y propondremos una familia de operadores no priorizados que engloba las propuestas anteriores. Finalmente\, demostraremos que nuestro marco teórico efectivamente homogeneiza y generaliza las propuestas clásicas\, finitas y múltiples que se conocen para la lógica proposicional clásica.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-daniel-grimaldi/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR