To Preference via Entrenchment

We introduce a simple generalization of Gardenfors and Makinson's epistemic entrenchment called partial entrenchment. We show that preferential inference can be generated as the sceptical counterpart of an inference mechanism defined directly on partial entrenchment.Comment: 16 page

Reason Maintenance - State of the Art

This paper describes state of the art in reason maintenance with a focus on its future usage in the KiWi project. To give a bigger picture of the field, it also mentions closely related issues such as non-monotonic logic and paraconsistency. The paper is organized as follows: first, two motivating scenarios referring to semantic wikis are presented which are then used to introduce the different reason maintenance techniques

AGM 25 years: twenty-five years of research in belief change

The 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, and David Makinson (AGM), “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions” was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twenty five years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, computatibility of AGM operations, and criticism of the model.info:eu-repo/semantics/publishedVersio

09351 Abstracts Collection -- Information processing, rational belief change and social interaction

From 23.08. to 27.08.2009, the Dagstuhl Seminar 09351 ``Information processing, rational belief change and social interaction \u27\u27 was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos

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 arbitrarias, 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 contracció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.Sociedad Argentina de Informática e Investigación Operativ

Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos

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 arbitrarias, 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 contracció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.Sociedad Argentina de Informática e Investigación Operativ

Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos

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 arbitrarias, 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 contracció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.Sociedad Argentina de Informática e Investigación Operativ

Towards a belief revision based adaptive and context sensitive information retrieval system

In an adaptive information retrieval (IR) setting, the information seekers' beliefs about which terms are relevant or nonrelevant will naturally fluctuate. This article investigates how the theory of belief revision can be used to model adaptive IR. More specifically, belief revision logic provides a rich representation scheme to formalize retrieval contexts so as to disambiguate vague user queries. In addition, belief revision theory underpins the development of an effective mechanism to revise user profiles in accordance with information seekers' changing information needs. It is argued that information retrieval contexts can be extracted by means of the information-flow text mining method so as to realize a highly autonomous adaptive IR system. The extra bonus of a belief-based IR model is that its retrieval behavior is more predictable and explanatory. Our initial experiments show that the belief-based adaptive IR system is as effective as a classical adaptive IR system. To our best knowledge, this is the first successful implementation and evaluation of a logic-based adaptive IR model which can efficiently process large IR collections