Filters








43,852 Hits in 4.0 sec

Non-Monotonic Inference Properties for Assumption-Based Argumentation [chapter]

Kristijonas Čyras, Francesca Toni
2015 Lecture Notes in Computer Science  
Cumulative Transitivity and Cautious Monotonicity are widely considered as important properties of non-monotonic inference and equally as regards to information change.  ...  three novel formulations of each of these properties for Assumption-Based Argumentation (ABA)an established structured argumentation formalism, and investigate these properties under a variety of ABA semantics  ...  Introduction In the 1980s, several non-monotonic reasoning formalisms were proposed (see [2] for an overview).  ... 
doi:10.1007/978-3-319-28460-6_6 fatcat:6urpe7ubjvfdvnzqthzhxrev5i

Prolegomena to logic programming for non-monotonic reasoning [chapter]

Jürgen Dix, Luís Moniz Pereira, Teodor Przymusinski
1997 Lecture Notes in Computer Science  
In the introduction we whet the reader's interest in the eld of logic programming and non{monotonic reasoning with the promises it o ers and with its outstanding problems too.  ...  There follows a brief historical background to logic programming, from its inception to actuality, and its relationship to non{monotonic formalisms, stressing its semantical and procedural aspects.  ...  On the other hand, non{monotonic reasoning formalisms bene t from the existing procedures of logic programming; and, nally, new problems of non{monotonic reasoning are raised and solved by logic programming  ... 
doi:10.1007/bfb0023799 fatcat:cv52p4si5reb7nvbrgiom52rga

Page 3630 of Mathematical Reviews Vol. , Issue 2000e [page]

2000 Mathematical Reviews  
(c) As a direct application of the above, we show that Poole’s (syntax-based) system of default reasoning and Shoham’s preferential semantic for non-monotonic reasoning are also expressively equivalent  ...  Alessandro Berarducci (1-PISA; Pisa) 2000e:68165 68T27 03B42 del Val, Alvaro (E-MADA-EI; Madrid) Non-monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches.  ... 

Natural Logic and Natural Language Inference [chapter]

Bill MacCartney, Christopher D. Manning
2014 Text, Speech and Language Technology  
on RTE3 40 +22 probs +36 probs Outline • The natural language inference task • Background on natural logic & monotonicity • A new(ish) model of natural logic ○ An algebra of semantic  ...  join Outline • The natural language inference task • Background on natural logic & monotonicity • A new(ish) model of natural logic ○ An algebra of semantic relations ○ An account of compositional  ...  • Error analysis reveals a characteristic pattern of mistakes: ○ Correct answer is yes ○ Number of edits is large (>5) (this is typical for RTE) ○ NatLog predicts ⊏ or ≡ for all but one or two edits ○  ... 
doi:10.1007/978-94-007-7284-7_8 fatcat:zcmc4ldmm5hehnw7lhy5vpo4oy

Ten Theses on Logic Languages for the Semantic Web [chapter]

François Bry, Massimo Marchiori
2005 Lecture Notes in Computer Science  
This articles discusses the logic, or logic-based, languages required for a full deployment of the Semantic Web.  ...  It presents ten theses addressing (1) the kinds of logic languages needed, (2) data and data processing, (3) semantics, and (4) engineering and rendering issues.  ...  The ideas expressed in this article have been significantly influenced by the research project REWERSE (Reasoning on the Web with Rules and Semantics, http: //rewerse.net).  ... 
doi:10.1007/11552222_5 fatcat:az3pee5uibf6xme6ubphztchgq

On the computational complexity of assumption-based argumentation for default reasoning

Yannis Dimopoulos, Bernhard Nebel, Francesca Toni
2002 Artificial Intelligence  
Although the new semantics have been tacitly assumed to mitigate the computational hardness of default reasoning under the standard semantics of stable extensions, we show that in many cases reasoning  ...  In this paper we analyse the computational complexity of credulous and sceptical reasoning under the semantics of admissible and preferred arguments for (the propositional variant of) the instances of  ...  Acknowledgments The first author has been partially supported by the DFG as part of the graduate school on Human and Machine Intelligence at the University of Freiburg and the second author has been partially  ... 
doi:10.1016/s0004-3702(02)00245-x fatcat:mu2rz6x3vnd3dm3org2mlhfwae

Reviews: Review of Coherent Systems, by Karl Schlechta, volume 2 of Studies in Logic and Practical Reasoning. Amsterdam: Elsevier, 2004, 447 pp., ISBN: 0-444-51789-8

Xavier Parent
2005 Logic Journal of the IGPL  
Throughout this book the semantic side is stressed. Non-monotonic inference operations are studied within the framework of model theory.  ...  This book provides an in-depth and advanced treatment of so-called non-monotonic logics, which were devised in order to represent defeasible inference (i.e., that kind of inference in which reasoners draw  ...  On the one hand, it leads the author to put a great deal of emphasis on (to put it into his own terms) "coherence properties" and their role in the study of non-monotonic reasoning.  ... 
doi:10.1093/jigpal/jzi026 fatcat:fjkhf2biafgxtj7bq76tnu22em

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

2004 Mathematical Reviews  
Summary: “We give a uniform presentation of representation and decidability results related to the Kripke-style semantics of several non-classical logics.  ...  And, indeed, students of default reasoning and non-monotonic reasoning often appear to be addressing aspects of inductive inference.  ... 

Development of a Logic Layer in the Semantic Web: Research Issues

Naeem Khalid Janjua, Farookh Khadeer Hussain
2010 2010 Sixth International Conference on Semantics, Knowledge and Grids  
Rules are a means of expressing business processes, policies, contracts etc but most of the studies have focused on the use of monotonic logics in layered development of the semantic web which provides  ...  defeasible argumentative reasoning in the semantic web applications.  ...  This draws our attention to new kinds of rules known as non-monotonic rules or defeasible rules.  ... 
doi:10.1109/skg.2010.61 dblp:conf/skg/JanjuaH10 fatcat:ln3pql6ftzhmzf4x6uuq232mwm

Forthcoming papers

1997 Artificial Intelligence  
An implemented prototype is used to evaluate our planner on empirical problems.  ...  Our method is based on an incremental planner algorithm that generates a reactive plan by computing a sequence of paaially satisfactory reactive plans converging to a completely satisfactory one.  ...  Przymusinski, Autoepistemic logic of knowledge and beliefs In recent years, various formalizations of non-monotonic reasoning and different semantics for normal and disjunctive logic programs have been  ... 
doi:10.1016/s0004-3702(97)90022-9 fatcat:kwtxpsjqd5gw7idafuw66hz5em

A survey of complexity results for non-monotonic logics

Marco Cadoli, Marco Schaerf
1993 The Journal of Logic Programming  
This paper surveys the main results appearing in the literature on the computational complexity of non-monotonic inference tasks.  ...  We focus mainly on non-monotonic formalisms, like default logic, autoepistemic logic, circumscription, closedworld reasoning, and abduction, whose relations with logic programming are clear and well studied  ...  We have just seen how a polynomial reduction can be used for obtaining new intractability results on the complexity of non-monotonic inference.  ... 
doi:10.1016/0743-1066(93)90029-g fatcat:iewbxiclhbbwzeayv6esr2c5ei

Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning [chapter]

Phan Minh Dung, Paolo Mancarella, Francesca Toni
2002 Lecture Notes in Computer Science  
We define abstract proof procedures for performing credulous and sceptical non-monotonic reasoning, with respect to the argumentation-theoretic formulation of non-monotonic reasoning proposed in [1] .  ...  Appropriate instances of the proposed proof procedures provide concrete proof procedures for concrete formalisms for non-monotonic reasoning, for example logic programming with negation as failure and  ...  Given any such semantics of extensions, credulous and sceptical non-monotonic reasoning can be defined, as follows.  ... 
doi:10.1007/3-540-45632-5_12 fatcat:bzvvhe3xefawzafyet453f7bni

Mobile services discovery framework using DBpedia and non-monotonic rules

Nasredine Cheniki, Abdelkader Belkhir, Yacine Atif
2016 Computers & electrical engineering  
This approach enables a semantic-based matching process using the resources, concepts and categories of DBpedia, as well as a ranking mechanism using non-monotonic rules to allow users defining alternative  ...  As a result, there is a need to supply e cient discovery processes by enriching service descriptions with semantics through ontologies.  ...  In our work, we propose to use non-monotonic semantic rules for the following reasons: • Rules reason on top of ontologies; new knowledge (in our case context and QoS information) is being inferred. •  ... 
doi:10.1016/j.compeleceng.2016.02.016 fatcat:rke7jwpvkjc3lcqzyp7cvj632m

Knowledge Representation Using High-Level Non-monotonic Reasoning [chapter]

Mauricio Osorio, Juan Carlos Nieves, Fernando Zacarias, Erika Saucedo
2000 Lecture Notes in Computer Science  
We introduce the new paradigm of High-Level Non-Monotonic reasoning (HLNM).  ...  For this purpose, we present several well known examples from the literature that motivate the need of this new paradigm. Finally, we define a declarative semantics for HLNM reasoning.  ...  programming as an inference engine for non-monotonic reasoning.  ... 
doi:10.1007/10720076_2 fatcat:pj4ezi3hsrdoje52erbbzkhtmq

Page 6342 of Mathematical Reviews Vol. , Issue 2002I [page]

2002 Mathematical Reviews  
Summary: “In this paper we introduce first-order non-monotonic modal logic and study its properties.  ...  semantics which are based on the notion of a degree of truth (voting semantics, similarity semantics, risk semantics, acceptability semantics, and measurement-theoretic justifications) and one which is  ... 
« Previous Showing results 1 — 15 out of 43,852 results