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.
Filters
Similarity-Based Inconsistency-Tolerant Logics
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
Many logics for AI applications that are defined by denotational semantics are trivialized in the presence of inconsistency. ...
The most common matrix-based entailments are induced from twovalued matrices. ...
Similarity-based Reasoning
Inconsistency Tolerance by Matrix Semantics Given a matrix M = V, D, O , we fix the corresponding denotational semantics S = Λ M , |= M . ...
doi:10.1007/978-3-642-15675-5_4
fatcat:zwg3rcsqdvaxnnnilxj4ifdep4
Introduction to Inconsistency Tolerance
[chapter]
2005
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 2017; you can also visit the original URL.
The file type is application/pdf.
In this introductory chapter, we consider the need and role for inconsistency tolerance, and briefly review some of the foundational technologies for inconsistency tolerance. ...
To address this, inconsistency tolerance is being built on foundational technologies for identifying and analysing inconsistency in information, for representing and reasoning with inconsistent information ...
Paraconsistent logics are central to developing tolerance to inconsistency. ...
doi:10.1007/978-3-540-30597-2_1
fatcat:kzpzrg6vtzgbzegepljcpjtyai
Circumscribing Inconsistency
1997
International Joint Conference on 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 2022; you can also visit the original URL.
The file type is application/pdf.
We present a new logical approach to reasoning from inconsistent information. The idea is to restore modelhood of inconsistent formulas by providing a third truth-value tolerating inconsistency. ...
The novelty of our approach stems first from the restriction of entailment to three-valued models as similar as possible to two-valued models and second from an implication connective providing a notion ...
Our idea is to focus on those three-valued models that are as similar as possible to two-valued models of the knowledge base. ...
dblp:conf/ijcai/BesnardS97
fatcat:eyhkdltrybhkfl5e55razfc2qa
Tolerating Inconsistencies: A Study of Logic of Moral Conflicts
2022
Bulletin of the Section of 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 2022; you can also visit the original URL.
The file type is application/pdf.
In paraconsistent logics, we tolerate inconsistencies by treating them to be both true and false. ...
We frequently believe that there is a close connection between tolerating inconsistencies and conflicting moral obligations. ...
Therefore, a deontic logic based on these logics can be treated as a way out for tolerating moral conflicts. Here we take paraconsistent deontic logic DLP →,F based on LP →,F discussed in [22] . ...
doi:10.18778/0138-0680.2022.06
fatcat:ioy6wakmn5cpdcv73dtxxy42py
Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities
[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 2013; you can also visit the original URL.
The file type is application/pdf.
Dissimilarity-based reasoning is then applied for handling inconsistency in knowledge-based systems using various non-classical logics. ...
In particular, we show that our approach allows to define a variety of inconsistency-tolerant entailment relations, and that it extends many well-studied forms of reasoning in the context of belief revision ...
Next, given a logic L that is based on a denotational semantics, we provide a general way of constructing a logic L' that is an inconsistency-tolerant variant of L, in the sense that L' coincides with ...
doi:10.1007/978-3-642-28472-4_3
fatcat:uxahvy4dmbbglgrgyxt7b5ekky
Special issue of the Journal of Web Semantics on ontology-based data access
2015
Journal of Web Semantics
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 general goal of the authors is both to study DL-based frameworks that are inconsistency-tolerant, and to devise techniques for answering unions of conjunctive queries under such inconsistency-tolerant ...
The mapping between the conceptual model and the data sources is formalized by mapping assertions, which are based on an appropriate logical language, but which may also incorporate extra-logical features ...
Therefore, they propose a different repair-based semantics, with the goal of reaching a good compromise between the expressive power of the semantics and the computational complexity of inconsistency-tolerant ...
doi:10.1016/j.websem.2015.06.001
fatcat:uqfd6zdr7vayvei2ylpuy7lzhy
Reasoning with Noisy Semantic Data
[chapter]
2011
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.
Based on the plentiful LOD datasets, we will propose methods for learning expressive ontologies using SRL techniques. (2) To deal with logical inconsistency, we propose to partially repair an inconsistent ...
After that, we can apply some inconsistency-tolerant approaches to reasoning with those inconsistent ontologies. ...
doi:10.1007/978-3-642-21064-8_42
fatcat:37if4ee6vnhedjloklqop6oy3a
A dissimilarity-based framework for generating inconsistency-tolerant logics
2013
Annals of Mathematics and 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 2014; you can also visit the original URL.
The file type is application/pdf.
Our purpose in this paper is to show that inconsistency-tolerance can be achieved for any logic that is based on a denotational semantics. ...
It is thus often useful to define inconsistency-tolerant variants of such logics, which are faithful to the original logic with respect to consistent theories but also allow for nontrivial inconsistent ...
Given a logic L that is based on a denotational semantics, we provide a general way of constructing a logic L' that is an inconsistency-tolerant variant of L, in the sense that L' coincides with L with ...
doi:10.1007/s10472-013-9333-2
fatcat:vgkcirn7iran5ozwn2jvm5t34a
A Logic of Graded Possibility and Certainty Coping with Partial Inconsistency
[article]
2013
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.
The proposed semantics is based on fuzzy sets of interpretations. It is tolerant to partial inconsistency. ...
, including the case of partial inconsistency. ...
Possi _ biiistlc logic Is a logic of incomplete information that Is more robust than classical logic, because it is tolerant to inconsistency. ...
arXiv:1303.5727v1
fatcat:xmpddfpwrbeepggwhlsfirczke
Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics
[chapter]
2015
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.
In this paper we propose a mapping between inconsistent ontological knowledge bases and semi-monotonic, prerequisite-free closed normal default theories. ...
Inconsistency-Tolerant Semantics Notice that (like in classical logic), if a knowledge base K = (F, R, N ) is inconsistent then everything can be entailed from it. ...
Based on this link we obtain equivalences between the inconsistency-tolerant semantics (AR and Brave) and inference in Default Logic (sceptical and credulous). ...
doi:10.1007/978-3-319-19369-4_49
fatcat:ba6klaxdxzb6nadbwsqycxmmc4
Conflict-Based Inconsistency-Tolerant Query Answering
2022
Proceedings of the ... International Florida Artificial Intelligence Research Society Conference
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 2022; you can also visit the original URL.
The file type is application/pdf.
Existing inconsistency-tolerant semantics typically consist in selecting some of (maximal) consistent subsets of facts, called repairs. ...
In this paper, we place ourselves in the context of inconsistency-tolerant query answering over lightweight ontologies, which aims to query a set of conflicting facts using an ontology that represents ...
The inconsistency-tolerant semantics introduced in Definition 2 are based on repairs computed using the initial ABox. ...
doi:10.32473/flairs.v35i.130702
fatcat:6j7zxprehrgs3nvhrt3jb5c42u
Inquiry, Refutations and the Inconsistent
[chapter]
2016
Logic, Argumentation & Reasoning
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.
I bridge these different schools with dialectic, and their underlying reliance on the inconsistent. ...
I now start with reviewing Lakatos's and Hintikka's frameworks from inconsistency -tolerant point of view. ...
The dialectic and discussive nature of their methodology necessarily requires an inconsistency-tolerant framework. ...
doi:10.1007/978-3-319-20762-9_4
fatcat:3gaodpf4uzb6tldrkewnefnxt4
Towards a general formal framework of Coherence Management in RE
2015
2015 IEEE 23rd International Requirements Engineering Conference (RE)
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.
These tensions are an important topic of research in Requirements Engineering, and various methods have been proposed for the identification, measurement, and action on logical inconsistency in requirements ...
Such tensions exist between information which is, for example, logically inconsistent, or stakeholders disagree on, or signals tradeoffs (meaning that improvement on some requirements, for instance, necessarily ...
Our aim for inconsistency-tolerant formalisms in RE is somewhat similar, with two crucial differences: the proposed properties should be (i) RE-specific (e.g., based on some influential RE ontology), and ...
doi:10.1109/re.2015.7320436
dblp:conf/re/BorgidaJZ15
fatcat:q6lf4kexxrh3pgjekorhwnjgra
Mobility-sensitive topology control in mobile ad hoc networks
2006
IEEE Transactions on Parallel and Distributed Systems
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.
Two mechanisms are introduced: consistent local views that avoid inconsistent information and delay and mobility management that tolerate outdated information. ...
In most existing localized topology control protocols for mobile ad hoc networks (MANETs), each node selects a few logical neighbors based on location information and uses a small transmission range to ...
We use the MST-based protocol [16] as an example to illustrate the inconsistent views and disconnected logical topology caused by node movement. ...
doi:10.1109/tpds.2006.73
fatcat:shjqco2bkrerrcigfnpdn7ggrq
From Probabilistic Programming to Probabilistic Argumentation
2021
International Conference on Logic Programming
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 2022; you can also visit the original URL.
The file type is application/pdf.
We discuss similarities and differences between the two and in which scenarios one approach may be better suited than the other. ...
We discuss the basic framework in the propositional setting, some reasoning ideas and extensions that allow handling inconsistent information. ...
We finish the section with an overview of some ideas to make probabilistic logic inconsistency-tolerant. ...
dblp:conf/iclp/Potyka21
fatcat:kroic2h57ngwfml4zxsqz4in3u
« Previous
Showing results 1 — 15 out of 80,824 results