Argumentación Rebatible y Planificación Automatizada

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.