programación en lógica rebatible

... En el art´ıculo On Influence and Contrac- tions in Defeasible Logic Programming [15], se desarrollan diferentes nociones de contracci´on basadas en la Programaci´on L´ogica Rebatible. En particular, estas nociones ...

... L´ogica Rebatible (DeLP) para permitir la representaci´on de disyunciones en la cabe- za de las reglas y, luego, redefinir acordemente las no- ciones de construcci´on de argumentos, ataque, derro- ta, garant´ıa y ...

... l´ogico rebatible b´asico y fue desarrollada estableciendo una analog´ıa con la teor´ıa definida por Lifschitz en [Lif96] para la Programaci´on en L´ogica ...

... Por otra parte, la definici´on de una sem´antica declarativa ayuda en el estudio de la Programaci´on en L´ogica Rebatible (P.L.R.) como sistema de razonamiento no mon´otono. Un conjunto de propiedades [BDK97], han ...

... Con respecto a la regla 4, se puede observar que dicha regla sirve como argumento para el literal vuela(turu) que va en contra de la observaci´ on ∼vuela(turu) . Siguiendo la misma idea se podr´ıa refinar esta regla ...

... Los cambios de contenidos y de la metodología de enseñanza propuestos para la asignatura en cuestión, apuntan a satisfacer en un nivel básico los mencionados requerimientos. Por una parte, tal como analizamos en (Medel, ...

... El poder de un lenguaje de programación lógica como Prolog radica en tres mecanismos: modelo racional, unificación y cálculo no determinista. Prolog lleva el cálculo en el universo de Herbrand. La ...