1,697 Hits in 3.1 sec

Theoretical Foundations of Defeasible Description Logics [article]

Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
2019 arXiv   pre-print
We extend description logics (DLs) with non-monotonic reasoning features.  ...  We start by investigating a notion of defeasible subsumption in the spirit of defeasible conditionals as studied by Kraus, Lehmann and Magidor in the propositional case.  ...  Introduction Description logics (DLs) [1] are central to many modern AI and database applications since they provide the logical foundation of formal ontologies.  ... 
arXiv:1904.07559v1 fatcat:icpvjvw6izctjd7uhirgyifxji

Page 4932 of Mathematical Reviews Vol. , Issue 99g [page]

1999 Mathematical Reviews  
The framework is equipped with a correct top-down proof procedure.” 99g:68032 68N17 03B70 68N20 Cervesato, Iliano (1-STF-C; Stanford, CA) Proof-theoretic foundation of compilation in logic programming  ...  By studying and defining three state transformations of object be- havior, we can rewrite the description of program behavior as a description of object state transformations.  ... 

Semantic Foundation for Preferential Description Logics [chapter]

Katarina Britz, Thomas Meyer, Ivan Varzinczak
2011 Lecture Notes in Computer Science  
In this paper we fill this gap by providing a natural and intuitive semantics for defeasible subsumption in the description logic ALC.  ...  Description logics are a well-established family of knowledge representation formalisms in Artificial Intelligence.  ...  We restrict our attention to the description logic ALC here, but the results are broadly applicable to other DLs, as well as other similarly structured logics such as logics of action and logics of knowledge  ... 
doi:10.1007/978-3-642-25832-9_50 fatcat:yqsn7tbff5aizh7zedinz5jlvu

Preferential Reasoning for Modal Logics

Katarina Britz, Thomas Meyer, Ivan Varzinczak
2011 Electronical Notes in Theoretical Computer Science  
Modal logic is the foundation for a versatile and well-established class of knowledge representation formalisms in artificial intelligence.  ...  We argue that our semantics constitutes the foundation on which to explore preferential reasoning in modal logics in general.  ...  [22] , and of defeasible subsumption for description logics [3, 12, 5] .  ... 
doi:10.1016/j.entcs.2011.10.006 fatcat:4bhmdz76ufa7rh7dho3zlpm3uq

On the Logical Foundation of a Personalized Medical Prescription System

Sherin Hijazi, Nadim Obeid, Khair Eddin Sabri
2019 IEEE Access  
This is accomplished by expanding the capabilities of description logic with defeasible rules, to achieve an accurate prescription decision for any patient's condition(s).  ...  This paper, lays down the logical foundations for a personalized medical prescription system.  ...  FIGURE 1 . 1 Description logic system.  ... 
doi:10.1109/access.2019.2963304 fatcat:wxmbcr4o3jabtjt7mj6y23cvne

Page 3141 of Mathematical Reviews Vol. , Issue 95f [page]

1995 Mathematical Reviews  
(English summary) Foundations of software technology and theoretical computer science (Bombay, 1993), 338-347, Lecture Notes in Comput. Sci., 761, Springer, Berlin, 1993.  ...  Summary: “The purpose of this paper is to work toward an ex- plicit logic and semantics for a game-theoretically inspired theory of action.  ... 

Page 6716 of Mathematical Reviews Vol. , Issue 2004i [page]

2004 Mathematical Reviews  
.” i For the entire collection see MR 2004f:03005. } 03) MATHEMATICAL LOGIC AND FOUNDATIONS 2004i:03056 03B60 68N17 68T27 Prakken, Henry (NL-UTRE-DIC; Utrecht) Modelling defeasibility in law: logic or  ...  In particular, by working in a hybrid logic setting we are able to develop a model-theoretic understanding of both assertional and terminological information.  ... 

Hart's critics on defeasible concepts and ascriptivism

Ronald P. Loui
1995 Proceedings of the fifth international conference on Artificial intelligence and law - ICAIL '95  
Hart's "Ascription of Responsibility and Rights" is where we find perhaps the first clear pronouncement  ...  Surely Hart's legal foundations gave him a mature understanding of this aspect of defeasible reasoning, even if he left it for others to expound. III.4. Bayles.  ...  (Baker, '77, Formalists in defeasible and non-monotonic reasoning would say that Baker has discovered the constructive, game-theoretic, operational semantics of defeasible reasoning.  ... 
doi:10.1145/222092.222099 dblp:conf/icail/Loui95 fatcat:jhvgxendojewfgivuh2ohg2zdi

A review of current defeasible reasoning implementations

Daniel Bryant, Paul Krause
2008 Knowledge engineering review (Print)  
This article surveys existing practical implementations of both defeasible and argumentationbased reasoning engines and associated literature.  ...  An important goal of this paper is to argue for the need for well designed empirical evaluations, as well as formal complexity analysis, in order to justify the practical applicability of a reasoning engine  ...  Since then solid theoretical foundations of nonmonotonic logics have been established (the interested reader is referred to [3] for further information).  ... 
doi:10.1017/s0269888908001318 fatcat:wnrfzrfocnfa3dk5luuvdwsjcy

Normal Modal Preferential Consequence [chapter]

Katarina Britz, Thomas Meyer, Ivan Varzinczak
2012 Lecture Notes in Computer Science  
In recent work we provided the semantic foundation for extending defeasible consequence relations to modal logics and description logics.  ...  In spite of its success, KLM is limited to propositional logic.  ...  Acknowledgements This work is based upon research supported by the National Research Foundation.  ... 
doi:10.1007/978-3-642-35101-3_43 fatcat:gzjwcuhxmze67oqvpuhncvwdku

A KLM Perspective on Defeasible Reasoning for Description Logics [chapter]

Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019 Lecture Notes in Computer Science  
In this paper we present an approach to defeasible reasoning for the description logic ALC.  ...  In addition to showing that the semantics is appropriate, these results pave the way for more eective decision procedures for defeasible reasoning in description logics.  ...  semantics for description logics.  ... 
doi:10.1007/978-3-030-22102-7_7 fatcat:jqmd6rc2pbbk5lz2guo2lugete

Page 1295 of Mathematical Reviews Vol. , Issue 2002B [page]

2002 Mathematical Reviews  
Stephan Tobies, A NExpTime-complete description logic strictly contained in C?  ...  N. van der Torre and Yao-Hua Tan, Contextual deontic logic (240-251). {The papers will not be reviewed individually. } 2002b:68005 68-06 * Mathematical foundations of computer science 2000.  ... 

Frege's–Geacho problema, modus ponens ir teisės kalba

Vitaly Ogleznev
2018 Problemos  
I will turn to these theses not only as instruments to describe the Frege-Geach problem, but also as the source and theoretical foundation of a new interpretation of it.  ...  The particular logical and linguistic problem posed by Geach in relation to a particular prescriptive theory then became transformed into a fundamental theoretical and methodological paradigm of modern  ...  Pagrindiniai žodžiai: askriptyvi kalba, askriptyvizmas, Frege's-Geacho problema, modus ponens Įteikta 2017 08 22 Priimta 2017 12 21 instrument for the pragmatic interpretation of nondescriptive utterances  ... 
doi:10.15388/problemos.2018.93.11760 fatcat:u5cxy6m6jbcxvb5m6cl5xwjfp4

DR-NEGOTIATE – A system for automated agent negotiation with defeasible logic-based strategies

Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori, Antonis Bikakis
2007 Data & Knowledge Engineering  
The negotiation strategies are expressed in a declarative rules language, defeasible logic, and are applied using the implemented system DR-DEVICE.  ...  It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategies.  ...  Someone will utomated Agent Negotiation with Defeasible Logic-Based Strategies" and the REWERSE Network of Excellence. foundation we will use the semantic brokering system of [39] which is also based  ... 
doi:10.1016/j.datak.2007.03.004 fatcat:axxiagmhnbhl5huy6w2x5x2iiy

The discovery/justification context dichotomy within formal and computational models of scientific theories: a weakening of the distinction based on the perspective of non-monotonic logics

Jorge A. Morales, Mauricio Molina Delgado
2016 Journal of Applied Non-Classical Logics  
We present an argument concerning the weakening of the discovery/justification context dichotomy based on the descriptive accent contained in the non-monotonic logic perspective together with its epistemological  ...  of non-monotonic logics, Journal of Applied Non-Classical Logics, 26:4, 315-335, ABSTRACT The present paper analyses the topic of scientific discovery and the problem of the existence of a logical framework  ...  Hence, the use of defeasible modes of reasoning and their logical formalisms counterparts might offer a satisfactory foundation for logic and computational models of episodes in scientific inquiry.  ... 
doi:10.1080/11663081.2017.1307657 fatcat:qwbmwx3ewvgznmg2ctmskba5b4
« Previous Showing results 1 — 15 out of 1,697 results