Semantics of Horn and disjunctive logic programs (original) (raw)
Related papers
Clarifying the concept of deontic logic
2021
The following paper intends to answer some of the most fundamental questions that relate to deontic logic, due to deep misunderstandings regarding its nature and the way it differentiates itself from other types of logic. Some of the issues that have been addressed to in this work are: What do we understand when we talk about deontic logic? Which is its object of study? Is it the same as legal logic? Is it more accurate to de fine such discipline simply as duty logic? Is there any difference between norms and normative propositions? The answers to these questions will allow to arrive at a clearer notion of deontic logic and clarify its specific conceptual jurisdiction.El presente artículo intenta responder algunos de los más importantes interrogantes sobre la lógica deóntica, puesto que ha habido profundos malentendidos con respecto a su naturaleza ya la forma en que se diferencia de otros tipos de lógica. Algunos de los problemas que se han abordado en este trabajo son: ¿ qué enten...
Revisión de creencias en bases de conocimiento Horn y su complejidad computacional
2017
❸ Departamento de Ciencias de la Computación, Fac. de Ciencias Exactas y Naturales Universidad Nacional de Catamarca (UNCa) Av. Belgrano 300 San Fernando del Valle de Catamarca Tel.: (03834)420900 e-mail: njvaldez@exactas.unca.edu.ar ❹ Laboratorio de Investigación y Desarrollo en Inteligencia Artificial Departamento de Ciencias e Ingenieŕıa de la Computación, Universidad Nacional del Sur, Consejo Nacional de Investigaciones Cient́ıficas y Técnicas (CONICET) Av. Alem 1253, (B8000CPB) Bah́ıa Blanca, Argentina Tel: (0291)4595135 / Fax: (0291)4595136 e-mail: mfalappa@cs.uns.edu.ar
Sistema Estándar de Lógica Deóntica
Versiones, 2015
En este trabajo me propongo indagar y explicitar el sistema de lógica deóntica esbozado por Georg Henrik von Wright en 1951. Esto es: analizar cuáles son sus presupuestos básicos; examinar si se trata de una lógica derivada de otras lógicas o si, por el contrario, se trata de una lógica totalmente novedosa e inédita para la época; explicitar cuáles son sus operadores, sus variables y sus conectivas, es decir, su nomenclatura; y finalmente, se observará cuáles son sus principios y leyes fundamentales. Asimismo, se examinará el problema principal que, según creemos, motivó el desarrollo de este sistema y, por último, se expondrán los caracteres generales de dicho sistema y se lo ubicará en la clasificación de lógicas no clásicas propuesta por Susan Haack en su obra Lógica divergente.
Dinámica de Conocimiento: implementación computacional de Operaciones de Contracción Múltiples Horn
2014
❸ Departamento de Ciencias de la Computación, Fac. de Ciencias Exactas y Naturales Universidad Nacional de Catamarca (UNCa) Av. Belgrano 300 San Fernando del Valle de Catamarca Tel.: (03834)420900 / Cel: (03834) 154591186 e-mail: njvaldez@c.exactas.unca.edu.ar ❹ Laboratorio de Investigación y Desarrollo en Inteligencia Artificial Departamento de Ciencias e Ingenieŕıa de la Computación, Universidad Nacional del Sur, Consejo Nacional de Investigaciones Cient́ıficas y Técnicas (CONICET) Av. Alem 1253, (B8000CPB) Bah́ıa Blanca, Argentina Tel: (0291)4595135 / Fax: (0291)4595136 e-mail: mfalappa@cs.uns.edu.ar
Von Wright’s deontic logic inNorm and Action:Structure and conceptuals problems
2020
En 1951 von Wright construyó el primer sistema de lógica deóntica, iniciando el estudio riguroso y sistemático de una nueva rama de la lógica: la lógica deóntica. Dicho sistema, a pesar de sus múltiples virtudes, posee una estructura simple basada principalmente en la lógica proposicional y en la lógica modal alética, la cual, no es capaz de dar cuenta del carácter dinámico propio de las acciones que, justamente, constituyen el objeto de las normas. En razón de ello, von Wright refinó su aparato conceptual y desarrolló, en su obra Norm and Action (1963), un nuevo sistema de lógica deóntica más complejo y apto para representar el cambio y el carácter dinámico propio de las acciones. No obstante, tal sistema no está exento de problemas y dificultades conceptuales. El presente trabajo pretendeanalizar la estructura y los principales elementos teóricos del sistema de Norm and Action y mostrar algunos de sus más importantes problemas conceptuales.In 1951 von Wright created the first syst...
Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos
2013
El presente trabajo de investigación se propone reformular las condiciones para una definición de una función de contracción Horn que esta basada en la noción de importancia epistómica (EE: epistemic entrenchment) que es una construcción de contracción equivalente al modelo AGM. Dicha construcción considera disyunciones ar bitrarias, las cuales no son aptas para entornos con lógicas Horn. Por ello es que se hace uso de una técnica de aproximación Horn conocida como Horn Strengthening. Es por ello que en este artículo se reformulan las condiciones para definir la función de contrac ción Horn basada en EE, y se prueba la validez de estas nuevas condiciones evaluóndolas con el conjunto de postulados que caracterizan este tipo de operacion, demostrando que la funcion de contracción Horn satisface ciertos postulados característicos.
INTELIGENCIA ARTIFICIAL, 2009
Resumen El objetivo de esta tesis es la de generalizar elámbito del marco multiadjunto presentado en [6]. Por una parte, utilizamos la estructura algebraica de multirretículo para extender el paradigma de programación lógica difusa a un contexto de mayor generalidad que, en cualquier caso, se da de manera natural en numerosas situaciones; por otra parte, proponemos la introducción de lo multiadjunto en la teoría de análisis de conceptos difusos con el fin de dar una mayor expresividad al lenguaje, satisfaciendo así con mayor facilidad las necesidades planteadas en la vida real y generalizando las distintas definiciones de retículos de conceptos difusos existentes en la bibliografía.