Filters








12 Hits in 3.5 sec

A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System [chapter]

Xiaowang Zhang, Zuoquan Lin, Kewen Wang
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description logics, which is a paraconsistent  ...  Finally, we develop a sound and complete tableau algorithm for instance checking with the minimally paradoxical semantics.  ...  Acknowledgments The authors appreciate the referees for their helpful and constructive comments. This work was supported by NSFC under 60973003, 60496322 and ARC under DP1093652.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-20291-9_36">doi:10.1007/978-3-642-20291-9_36</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4gkmgkumzbas5cksqaberxbm2y">fatcat:4gkmgkumzbas5cksqaberxbm2y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160307201348/http://www98.griffith.edu.au/dspace/bitstream/handle/10072/42801/73538_1.pdf?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/57/22/5722af9dba855b7b2dd53cec7eabed3aa9dacc0c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-20291-9_36"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Minimally inconsistent reasoning in Semantic Web

Xiaowang Zhang, Georgios V. Gkoutos
<span title="2017-07-27">2017</span> <i title="Public Library of Science (PLoS)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/s3gm7274mfe6fcs7e3jterqlri" style="color: black;">PLoS ONE</a> </i> &nbsp;
A complete and sound tableau-based algorithm, called multi-valued tableaux, is developed to capture the minimally inconsistent reasoning.  ...  In fact, the tableaux algorithm is designed, as a framework for multi-valued DL, to allow for different underlying paraconsistent semantics, with the mere difference in the clash conditions.  ...  Acknowledgments The authors thank Kewen Wang and Zuoquan Lin for their helpful and constructive comments. Xiaowang Zhang also thanks Ulrike Sattler for helpful e-mail communications.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1371/journal.pone.0181056">doi:10.1371/journal.pone.0181056</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/28750030">pmid:28750030</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC5531629/">pmcid:PMC5531629</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6ayfpnn4g5avtipmlmkua7lyye">fatcat:6ayfpnn4g5avtipmlmkua7lyye</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724050853/http://journals.plos.org/plosone/article/file?id=10.1371/journal.pone.0181056&amp;type=printable" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4e/d0/4ed045a2f57b399cffb0fe738bbbd72651024620.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1371/journal.pone.0181056"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> plos.org </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5531629" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Paraconsistent OWL and related logics

Frederick Maier, Yue Ma, Pascal Hitzler
<span title="">2013</span> <i title="IOS Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pcapks3huberdozbvfqowysuly" style="color: black;">Semantic Web Journal</a> </i> &nbsp;
OWL is based on description logics, and automated reasoners are used to infer knowledge implicitly present in OWL ontologies.  ...  In this paper, we present four-valued paraconsistent description logics which can reason over inconsistencies. We focus on logics corresponding to OWL DL and its profiles.  ...  are typically based on algorithms developed for description logics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/sw-2012-0066">doi:10.3233/sw-2012-0066</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cltdeeoeifhyrdcqc3tftogbzq">fatcat:cltdeeoeifhyrdcqc3tftogbzq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130409150709/http://lat.inf.tu-dresden.de/research/papers/2012/MaMaHi-JSW-12.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/58/f6/58f6252630f390e44d7c831caa2acd4a363afd1f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/sw-2012-0066"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Analytic tableaux calculi for KLM logics of nonmonotonic reasoning

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
<span title="2009-04-01">2009</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3kjjbv4edjbezl2w37ipy5lo5a" style="color: black;">ACM Transactions on Computational Logic</a> </i> &nbsp;
We present tableau calculi for the logics of nonmonotonic reasoning defined by Kraus, Lehmann and Magidor (KLM).  ...  We give a tableau proof procedure for all KLM logics, namely preferential, loop-cumulative, cumulative, and rational logics.  ...  CONCLUSIONS In this article, we have presented tableau calculi for all KLM logical systems of default reasoning. 7 We have given a tableau calculus for rational logic R, preferential logic P, loop-cumulative  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1507244.1507248">doi:10.1145/1507244.1507248</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hzekw5wcgre7fpbmf66kku2nya">fatcat:hzekw5wcgre7fpbmf66kku2nya</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706143109/http://www.di.unito.it/~argo/papers/2009_TOCL.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b0/10/b010f95bec9cb9da5845e2afe583495db94cd939.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1507244.1507248"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning [article]

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
<span title="2006-11-10">2006</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We present tableau calculi for some logics of nonmonotonic reasoning, as defined by Kraus, Lehmann and Magidor.  ...  We give a tableau proof procedure for all KLM logics, namely preferential, loop-cumulative, cumulative and rational logics.  ...  ACKNOWLEDGMENTS This research has been partially supported by "Progetto Lagrange -Fondazione CRT " and by the projects "MIUR PRIN05: Specification and verification of agent interaction protocols " and  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0611046v1">arXiv:cs/0611046v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fl7wa5kqwbawjgpv6zuy5bmw4a">fatcat:fl7wa5kqwbawjgpv6zuy5bmw4a</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cs0611046/cs0611046.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/18/a6/18a61e54864cf7b6dd1d1f3339dcdea96f604dd8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0611046v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Query-driven Procedures for Hybrid MKNF Knowledge Bases [article]

José Júlio Alferes, Matthias Knorr, Terrance Swift
<span title="2011-12-09">2011</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Two related semantics have been defined for Hybrid MKNF: one that is based on the Stable Model Semantics for logic programs and one on the Well-Founded Semantics (WFS).  ...  The definition of Hybrid MKNF is parametric on the description logic (DL) underlying the ontology language, in the sense that non-monotonic rules can extend any decidable DL language.  ...  In fact, it is easy to conceive of a modification of a tableau-based inference engine for an ontology that is capable of returning these conditional answers and is decidable if the tableau algorithm is  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1007.3515v2">arXiv:1007.3515v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mn3znl4w5bgp5av3jwf7jcsluu">fatcat:mn3znl4w5bgp5av3jwf7jcsluu</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-1007.3515/1007.3515.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e9/07/e90778e3c881cd4fe95d728f1cc9c88dab9d1aa0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1007.3515v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Page 75 of Mathematical Reviews Vol. 31, Issue Index [page]

<i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
. * Diamond—a paradox logic. 99m:03048 Lin, Zuoquan Tableau systems for paraconsistency and minimal inconsistency.  ...  A. P. Florenskii’s ideas of nonmonotonic and paraconsistent logics. (Russian English summary) (see 99m:03005) Tuziak, Roman Finitely many-valued paraconsistent systems.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1999_31_index_1/page/75" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1999_31_index_1/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Completing causal networks by meta-level abduction

Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima
<span title="2013-04-03">2013</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/h4nnd7sxwzcwhetu5qkjbcdh6u" style="color: black;">Machine Learning</a> </i> &nbsp;
Reasoning in networks with inhibition involves nonmonotonic inference, which can be realized by making default assumptions in abduction.  ...  By representing rule structures of a problem in a form of causal networks, meta-level abduction infers missing links and unknown nodes from incomplete networks to complete paths for observations.  ...  colleagues of the Systems Resilience project for discussions on robustness, Philip Reiser for his early attempt to complete biological networks by SOLAR, and the reviewers of this paper for their many  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10994-013-5341-z">doi:10.1007/s10994-013-5341-z</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w2i25sbowfadrldsjukgdp65ia">fatcat:w2i25sbowfadrldsjukgdp65ia</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503043657/https://link.springer.com/content/pdf/10.1007%2Fs10994-013-5341-z.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/58/78/5878bb92e3063e02f3cf2a76ce0709d73a73e91f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10994-013-5341-z"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Page 1619 of Mathematical Reviews Vol. , Issue Index [page]

<i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
A simple signed system for paraconsistent reasoning.  ...  in description logics.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1998_index_2/page/1619" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1998_index_2/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

verantwortlich für das Programm ist das Wissenschaftliche Direktorium: Träger: Die Bundesländer Saarland und Rheinland-Pfalz Non-Classical Logics in Computer Science Anil N erode, Wiktor Marekk

Beth Thomas, Ing Encarnacao, Hans Hagen, Michael Laska, Thomas Lengauer, Wolfgang Thomas, Wilhelm Relnhard, Universität Karlsruhe, Bezugsadresse Geschäftsstelle, Schloss Dagstuhl, Peter Schmitt
<span title="">1993</span> <span class="release-stage">unpublished</span>
We describe DeReS, a software system for nonmonotonic reasoning.  ...  The transformation rules are based on the concept of sets-as-signs developed earlier by the author in the context of tableau-based deduction in many-valued logics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jscehr7qvbfkhoeep5yoyl5bfi">fatcat:jscehr7qvbfkhoeep5yoyl5bfi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180511055951/https://www.dagstuhl.de/Reports/93/9338.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/09/b3/09b343df9a8b40376e8c8e413998a8f50f78f023.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 89 of Mathematical Reviews Vol. , Issue Index [page]

<i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
(with Fikes, Richard E.; Sagiv, Yehoshua) Speeding up inferences using relevance reasoning: a formalism and algorithms.  ...  ., 98d:03038 Kozen, Dexter see Cheng, Allan, 98e:68165 and McAllester, David A.; et al., (98a:68006) (Kreinovich, Vladik) sce Logic programming, nonmonotonic reasoning and reasoning about actions, 98h:  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1998_index_1/page/89" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1998_index_1/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

The Role of Logic in Philosophy of Science [chapter]

Diderik Batens
<i title="Routledge"> The Routledge Companion to Philosophy of Science </i> &nbsp;
My description will be informal and slightly inaccurate at some points -an accessible and up-to-date description is available in Batens (2006, §2-5) and soon in Batens (200x) .  ...  Introduction For Logical Empiricism logic was the clue to separating sound reasoning from unsound reasoning and this separation was fundamental, first for understanding science, and next for demarcating  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4324/9780203744857.ch6">doi:10.4324/9780203744857.ch6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rpuzm4uw6jaxdi24ccsvgjegfq">fatcat:rpuzm4uw6jaxdi24ccsvgjegfq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060513090934/http://logica.ugent.be:80/dirk/comp2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d6/ed/d6edc606be58e62aa37dca11db8e1d2f3b08f866.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4324/9780203744857.ch6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>