Filters








13,432 Hits in 3.9 sec

Page 6795 of Mathematical Reviews Vol. , Issue 2000j [page]

2000 Mathematical Reviews  
6795 2000j:03025 03B42 68127 Audibert, Laurent (F-CNRS-I; Marseille) ; Lhoussaine, Cédric (F-CNRS-I; Marseille) ; Schlechta, Karl (F-CNRS-I; Marseille) Distance based revision of preferential logics.  ...  “We revise one preferential logic or database, }~, with another one, }’.  ... 

On a plausible concept-wise multipreference semantics and its relations with self-organising maps [article]

Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2020 arXiv   pre-print
Inthispaperwedescribeaconcept-wisemulti-preferencesemantics for description logic which has its root in the preferential approach for modeling defeasible reasoning in knowledge representation.  ...  We motivate the plausibility of the concept-wise multi-preference semantics by developing a logical semantics of self-organising maps, which have been proposed as possible candidates to explain the psychological  ...  canonical model describing all the (atomic) logical consequences of the knowledge base).  ... 
arXiv:2008.13278v1 fatcat:ppvnpbtmjfa7rp3d6z4y7sjpvy

Page 3544 of Mathematical Reviews Vol. , Issue 2004e [page]

2004 Mathematical Reviews  
Revision operates on belief bases, while updating is defined on belief states.  ...  The aim of this paper is to axiomatize the modal fragments of the semantically defined distance logics of [O.  ... 

A conditional, a fuzzy and a probabilistic interpretation of self-organising maps [article]

Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021 arXiv   pre-print
In particular, we show that the input/output behavior of a Self-Organising Map after training can be described by a fuzzy description logic interpretation as well as by a preferential interpretation, based  ...  Properties of the network can be proven by model checking on the fuzzy or on the preferential interpretation.  ...  A fuzzy extension of preferential logics has been previously studied by Casini and Straccia [22] for Gödel logic, based on the Rational closure construction.  ... 
arXiv:2103.06854v2 fatcat:df5kf433xbbajbc7n7ndrerj6m

Page 4396 of Mathematical Reviews Vol. , Issue 2001G [page]

2001 Mathematical Reviews  
From the introduction: “We base theory revision on a notion of distance between models of the underlying logic.  ...  Neculai Curteanu (R-IASI-SM; Iasi) 2001g:03029 03B42 Schlechta, Karl (F-PROV-LI; Marseille) Non-prioritized belief revision based on distances between models. Non-prioritized belief revision.  ... 

Conditionals and modularity in general logics [article]

Dov Gabbay
2010 arXiv   pre-print
In this work in progress, we discuss independence and interpolation and related topics for classical, modal, and non-monotonic logics.  ...  Theory revision for many-valued logics To see what we have to do for distance based revision in the case of many-valued logics, we orient ourselves by the 2-valued case.  ...  Example 3.2.2 (1) Kripke structures for modal, intuitionistic, and other logics, (2) preferential structures, (3) distance based theory revision (the relation is on the Cartesian product), (4) the Stalnaker-Lewis  ... 
arXiv:1005.5242v4 fatcat:sftdihlrjne5pbf4mivgiv6v3i

Reasoning with prioritized information by iterative aggregation of distance functions

Ofer Arieli
2008 Journal of Applied Logic  
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions.  ...  in the contexts of (iterated) belief revision, consistent query answering in database systems, and integration of prioritized data sources.  ...  Summary and conclusion The primary goal of this paper was to consider some of the main logical properties of distance-based entailments for prioritized theories.  ... 
doi:10.1016/j.jal.2008.03.001 fatcat:bdqhpp6iyzc3dofnsty6sv2p5e

Independence — Revision and Defaults

Dov M. Gabbay, Karl Schlechta
2009 Studia Logica: An International Journal for Symbolic Logic  
We investigate different aspects of independence here, in the context of theory revision, generalizing slightly work by Chopra, Parikh, and Rodrigues, and in the context of preferential reasoning.  ...  Introduction We give some results on (1) Theory revision: Parikh and co-authors (see [CP00] ), and, independently, Rodrigues (see [Rod97] ), have investigated a notion of logical independence, based  ...  We show how to construct preferential structures with the same properties. The situation in the case of theory revision We work here with arbitrary, non-empty products.  ... 
doi:10.1007/s11225-009-9199-9 fatcat:n3uobyrw2fachgxthvq4q3xc34

Roadmap for preferential logics [article]

Dov Gabbay
2008 arXiv   pre-print
We give an overview of logical and semantical rules for nonmonotonic and related logics.  ...  Further tables summarize (1) representation results for preferential structures, (2) connections between the different concepts of AGM revision, (3) results for distance based theory revision, (4)  ...  based revision, Conditions 5.1 • Translation between semantical and logical versions, Proposition 5.5 3 (4) Tables concerning size and coherence • Definitions of (weak) filters, ideals, and coherence  ... 
arXiv:0808.3073v1 fatcat:f3di53ex5ffa7bhdvw76kwhdpq

Forthcoming Papers

2003 Artificial Intelligence  
We discuss two applications of the probabilistic distance: in the construction of the Decision-Theoretic Video Advisor (DIVA), and in robustness analysis of a theory refinement technique for preference  ...  We propose a similarity measure, called probabilistic distance, that originates from the Kendall's tau function, a well-known concept in the statistical literature.  ...  Kaci, Logical representation and fusion of prioritized information based on guaranteed possibility measures: Application to the distance-based merging of classical bases D. Dubois, H. Fargier and P.  ... 
doi:10.1016/s0004-3702(03)00069-9 fatcat:wz3ahzrlgbhfdhca3utby7srmm

Using a belief revision operator for document ranking in extended Boolean models

David E. Losada, Alvaro Barreiro
1999 Proceedings of the 22nd annual international ACM SIGIR conference on Research and development in information retrieval - SIGIR '99  
For a model of Information Retrieval based on propositional logic, we propose a similarity measure which is equivalent to a P-Norm case. Therefore it shares the P-Norm good properties and behaviour.  ...  The logical model can naturally deal with incomplete descriptions of documents and the similarity v alues are also obtained for this case.  ...  Since the original proposal, several logical approaches for IR, based on logical imaging 6 , general logical imaging 7 , modal logic 18 , preferential structures 2 , situation theory 22 , terminological  ... 
doi:10.1145/312624.312654 dblp:conf/sigir/LosadaB99 fatcat:otgsbjjqnveftggyixougxnoxi

Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models [chapter]

Régis Alenda, Nicola Olivetti
2012 Lecture Notes in Computer Science  
The semantics of CSL is defined in terms of models based on different classes of distance spaces.  ...  Finally, we consider the relation of CSL with conditional logics and we provide semantics and axiomatizations of conditional logics over distance models with these properties. * A full paper containing  ...  The original semantics of CSL is based on distance spaces [13] .  ... 
doi:10.1007/978-3-642-33353-8_1 fatcat:rnfpjbxasrdgln2jxb2qfbruf4

Similarity-Based Inconsistency-Tolerant Logics [chapter]

Ofer Arieli, Anna Zamansky
2010 Lecture Notes in Computer Science  
The most common matrix-based entailments are induced from twovalued matrices.  ...  Many logics for AI applications that are defined by denotational semantics are trivialized in the presence of inconsistency.  ...  This notion, which is more general than the notion of a distance, allows us to generalize many revision and merging operators considered in the literature for handling contradictory data.  ... 
doi:10.1007/978-3-642-15675-5_4 fatcat:zwg3rcsqdvaxnnnilxj4ifdep4

Independence - revision and defaults [article]

Dov Gabbay, Karl Schlechta
2009 arXiv   pre-print
We investigate different aspects of independence here, in the context of theory revision, generalizing slightly work by Chopra, Parikh, and Rodrigues, and in the context of preferential reasoning.  ...  Introduction We give some results on (1) Theory revision: Parikh and co-authors (see [CP00] ), and, independently, Rodrigues (see [Rod97] ), have investigated a notion of logical independence, based  ...  We show how to construct preferential structures with the same properties. The situation in the case of theory revision We work here with arbitrary, non-empty products.  ... 
arXiv:0904.2199v1 fatcat:7jfwyq7wkjcwfbgg7io2nh2me4

Distance Semantics for Belief Revision [article]

Daniel Lehmann, Menachem Magidor, Karl Schlechta
2002 arXiv   pre-print
A vast and interesting family of natural semantics for belief revision is defined. Suppose one is given a distance d between any two models.  ...  One may then define the revision of a theory K by a formula a as the theory defined by the set of all those models of a that are closest, by d, to the set of models of K.  ...  Revision based on pseudo-distances and the AGM postulates The AGM postulates hold for revision based on pseudo-distances in the finite case Definition 1.8 An operation | on the sets of models of some logic  ... 
arXiv:cs/0202025v1 fatcat:okkoexnotvd4vk4aurpycnrody
« Previous Showing results 1 — 15 out of 13,432 results