The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 6795 of Mathematical Reviews Vol. , Issue 2000j
[page]
2000
Mathematical Reviews
Preserved Fulltext
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2010
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
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
2008
Journal of Applied Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
Studia Logica: An International Journal for Symbolic Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2008
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
1999
Proceedings of the 22nd annual international ACM SIGIR conference on Research and development in information retrieval - SIGIR '99
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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]
2009
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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]
2002
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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