Argumentación Rebatible y Planificación Automatizada : Formalización de acciones, problemas y algoritmos de planificación

ISBN-13: 9783659052941 / Hiszpański / Miękka / 2012 / 204 str.

Diego Ramiro García

Opis

En este trabajo se define un formalismo que combina acciones y argumentación rebatible para representar dominios y problemas de planificación. Los formalismos basados en argumentación rebatible permiten representar y razonar con conocimiento que involucre información incompleta o errónea. Esta característica está presente en muchos aspectos de un proceso de planificación, donde no siempre es posible contar con toda la información necesaria para resolver un problema. Lo novedoso de este formalismo es que permite representar conocimiento acerca del dominio y definir acciones utilizando la Programación en Lógica Rebatible. El conocimiento permite razonar rebatiblemente acerca de las precondiciones, restricciones y efectos de las acciones, las cuales se utilizan para lograr las metas de un problema de planificación. Además, se define un nuevo método de planificación que combina técnicas de Planificación de Orden Parcial con Argumentación Rebatible para resolver problemas de planificación definidos en este nuevo formalismo. La Argumentación Rebatible permite utilizar el conocimiento del dominio para razonar rebatiblemente durante la construcción de un plan.

O autorze

Realizó sus estudios universitarios y de posgrado en la Universidad Nacional del Sur (U.N.S.), Bahía Blanca, Argentina. Licenciado y Doctor en ciencias de la computación en la U.N.S.Actualmente se desempeña como docente e investigador en el Departamento de Ciencias e Ingeniería de la Computación de la U.N.S.