servicios de publicación
sin costo

Argumentación Rebatible y Planificación Automatizada

Argumentación Rebatible y Planificación Automatizada

Formalización de acciones, problemas y algoritmos de planificación

Editorial Academica Espanola ( 10.10.2012 )

€ 69,00

Comprar en MoreBooks!

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.

Detalles de libro:

ISBN-13:

978-3-659-05294-1

ISBN-10:

3659052949

EAN:

9783659052941

Idioma del libro:

Español

Por (autor):

Diego Ramiro García

Número de páginas:

204

Publicado en:

10.10.2012

Categoría:

Informática, IT