Strong properties of circumscriptive logic programming

Dix [7, 5, 6] introduced a method for classifying semantics of normal logic programs. Some of these properties, called strong properties, are adaptations of properties from general nommonotonic theories. We apply this technique to circumscriptive logic programs [8, 9], an extension of traditional logic programming that incorporates circumscriptive policies in the programs. We show this approach preserves cumulativity, although it is not rational and supraclassical. This suggests circumscriptive logic programs have a correct behavior, maintaining properties from normal logic programsEje: Inteligencia artificialRed de Universidades con Carreras en Informática (RedUNCI

Decidability and definability with circumscription

AbstractWe consider McCarthy's notions of predicate circumscription and formula circumscription. We show that the decision problems “does θ have a countably infinite minimal model” and “does φ hold in every countably infinite minimal model of θ” are complete Σ12 and complete π12 over the integers, for both forms of circumscription. The set of structures definable (up to isomorphism) as first order definable subsets of countably infinite minimal models is the set of structures which are Δ12 over the integers, for both forms of circumscription. Thus, restricted to countably infinite structures, predicate and formula circumscription define the same sets and have equally difficult decision problems. With general formula circumscription we can define several infinite cardinals, so the decidability problems are dependent upon the axioms of set theory

Interpretación de la semántica de conjuntos de respuestas como teorías no monótonas trivaluadas

En este trabajo se estudia la semántica de conjuntos de respuestas para programas lógicos extendidos [5,4, 3], bajo la interpretación de sistemas de razonamiento no monótono trivaluados. Esto permite establecer una relación entre esta semántica con variantes trivaluadas de la lógica autoepistémica y la circunscripción, fundamentando la introducción de nuevos patrones de razonamiento dentro de la semántica de programas lógicos. Luego en base a esta equivalencia se presenta una caracterización de la semántica de modelos bien fundados como conjuntos de respuestas, en oposición a la definiciones originales [15, 13] fundamentadas en puntos fijos de operadores definidos ad-hoc.Eje: Inteligencia artificialRed de Universidades con Carreras en Informática (RedUNCI

Interpretación de la semántica de conjuntos de respuestas como teorías no monótonas trivaluadas

En este trabajo se estudia la semántica de conjuntos de respuestas para programas lógicos extendidos [5,4, 3], bajo la interpretación de sistemas de razonamiento no monótono trivaluados. Esto permite establecer una relación entre esta semántica con variantes trivaluadas de la lógica autoepistémica y la circunscripción, fundamentando la introducción de nuevos patrones de razonamiento dentro de la semántica de programas lógicos. Luego en base a esta equivalencia se presenta una caracterización de la semántica de modelos bien fundados como conjuntos de respuestas, en oposición a la definiciones originales [15, 13] fundamentadas en puntos fijos de operadores definidos ad-hoc.Eje: Inteligencia artificialRed de Universidades con Carreras en Informática (RedUNCI

Strong properties of circumscriptive logic programming

Dix [7, 5, 6] introduced a method for classifying semantics of normal logic programs. Some of these properties, called strong properties, are adaptations of properties from general nommonotonic theories. We apply this technique to circumscriptive logic programs [8, 9], an extension of traditional logic programming that incorporates circumscriptive policies in the programs. We show this approach preserves cumulativity, although it is not rational and supraclassical. This suggests circumscriptive logic programs have a correct behavior, maintaining properties from normal logic programsEje: Inteligencia artificialRed de Universidades con Carreras en Informática (RedUNCI

DRUM-II : efficient model based diagnosis of technical systems

[no abstract

Circumscriptive reasoning

We show how the non-monotonic nature of common-sense reasoning can be formalised by circumscription. Various forms of circumscription are discussed. A new form of circumscription, namely naive circumscription, is introduced in order to facilitate the comparison of the various forms. Finally, some issues connected with the automation of circumscriptive reasoning are examined.ComputingM. Sc. (Computer Science

Extensões multiagentes de duas familias de logicas não-monotonicas

Orientador: Jacques WainerDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da ComputaçãoResumo: O termo agente é usado com freqüência na área de representação de conhecimento e raciocínio. Diferentes sistemas foram propostos para modelar um agente raciocinando acerca de seu ambiente, um ambiente que, em muitas aplicações, pode incluir outros agentes. Assim, um agente, às' vezes, deve interagir com outros agentes para levar a cabo uma tarefa ou atingir um objetivo. Neste caso, pode ser importante para o agente representar o conhecimento dos outros agentes com os quais ele interage e pode necessitar raciocinar acerca do conhecimento desses agentes para comunicar-se com eles. Por outro lado, no contexto dos sistemas inteligentes, um agente pode necessitar realizar inferências na presença de informação incompleta ou obter conclusões em ausência de informação em contrário. Então o agente necessita dispor de mecanismos de raciocínio não-monotônicos. O trabalho apresentado aqui relaciona-se com as duas questões anteriores: a, proposta de lógicas não-monotônicas que não só modelam o agente raciocinando não-mono tonicamente a respeito do mundo, mas também a respeito do conhecimento de outros agentes. Este trabalho propõe a extensão de duas famílias de lógicas, para permitir o tratamento de fórmulas que contêm operadores de crenças. Mais especificamente: - desenvolvemos duas lógicas condicionais que permitem raciocinar acerca das crenças de um outro agente (o qual raciocina também na lógica condicional). Discutimos também as propriedades de tais lógicas. -propomos uma lógica preferencial multiagentes, baseada numa relação de preferência proposicional, de forma que tudo ,aquilo que é capturado por essa relação de preferência proposicional translada-se "corretamente" à lógica multiagentes.Abstract: The term agent is frequently used in the area of knowledge representation and reasoning. Different systems have been proposed to model an agent reasoning about his environment, which in many applications includes other agents. Thus, an agent sometimes must interact with other agents to accomplish a task or a goal. If that is the case, it may be important for the agent to represent the knowledge of other agents with whom it interacts and may find it necessary to reason about their knowledge in order to communicate with them. On the other hand, in the framework of an intelligent system, an agent must make certàin inferences in the face of incomplete information or reach conclusions which rely, in part, on the "absence of evidence to the contrary". Then the agent need to be invested with non-monotonic reasoning mechanisms. The work presented here is concerned with the two issues above: the proposa:l of nonmonotonic logics that not only model the agent reasoning non-monotonically about the world, but also about the knowledge of other agents. This work proposes extensions of two families of logics in such a way that those extensions are able to deal with formulas that contain belief operators. More specifically: - we develop two conditionallogics that allow one to reason about the belief of another agent (which reasons in conditionallogic himself). We also discuss the properties of such logics. - we propose a multi-agent preferential logic, based on a propositional preference relation, in such a way that, whatever is captured by the propositional preference relation, it is carried over "correctly" to the multi-agent logic.MestradoMestre em Ciência da Computaçã