Dinámica de Conocimiento: implementación computacional de Operaciones de Contracción Múltiples Horn

Esta línea de investigación tiene como objetivo estudiar, en el marco de la teoría de cambio de creencias, algoritmos para la obtención de contracciones múltiples con cláusulas Horn, considerando las operaciones de contracción bajo lṕgica Horn como lenguaje de representación de conocimiento. Para el...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Valdez, Néstor Jorge, Falappa, Marcelo Alejandro
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2014
Materias:
Ciencias Informáticas
Sistemas
conjuntos de restos
ARTIFICIAL INTELLIGENCE
Knowledge Representation Formalisms and Methods
conjuntos kernel
algoritmos de contracción Múltiple Horn
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/41798
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares