80,824 Hits in 3.5 sec

Similarity-Based Inconsistency-Tolerant Logics [chapter]

Ofer Arieli, Anna Zamansky
2010 Lecture Notes in Computer Science  
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]

Leopoldo Bertossi, Anthony Hunter, Torsten Schaub
2005 Lecture Notes in Computer Science  
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

Philippe Besnard, Torsten Schaub
1997 International Joint Conference on Artificial Intelligence  
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

Meha Mishra, A.V. Ravishankar Sarma
2022 Bulletin of the Section of Logic  
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]

Ofer Arieli, Anna Zamansky
2012 Lecture Notes in Computer Science  
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

Diego Calvanese, Manolis Koubarakis, David Toman
2015 Journal of Web Semantics  
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]

Qiu Ji, Zhiqiang Gao, Zhisheng Huang
2011 Lecture Notes in Computer Science  
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

Ofer Arieli, Anna Zamansky
2013 Annals of Mathematics and Artificial Intelligence  
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]

Jerome Lang, Didier Dubois, Henri Prade
2013 arXiv   pre-print
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]

Abdallah Arioua, Nouredine Tamani, Madalina Croitoru, Jérôme Fortin, Patrice Buche
2015 Lecture Notes in Computer Science  
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

Rim Mohamed, Zied Bouraoui, Zied Loukil, Faiez Gargouri
2022 Proceedings of the ... International Florida Artificial Intelligence Research Society Conference  
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]

Can Başkent
2016 Logic, Argumentation & Reasoning  
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

Alexander Borgida, Ivan Jureta, Anna Zamansky
2015 2015 IEEE 23rd International Requirements Engineering Conference (RE)  
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

J. Wu, F. Dai
2006 IEEE Transactions on Parallel and Distributed Systems  
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

Nico Potyka
2021 International Conference on Logic Programming  
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