Filters








3,805 Hits in 5.6 sec

Reasoning about Evolving Nonmonotonic Knowledge Bases [article]

T. Eiter, M. Fink, G. Sabbatini, H. Tompits
2002 arXiv   pre-print
In this paper, we introduce a framework for reasoning about evolving knowledge bases, which are represented as extended logic programs and maintained by an update policy.  ...  on a given evolving knowledge base.  ...  To the best of our knowledge, no similar effort to formally express reasoning about evolving nonmonotonic knowledge bases at a level as considered here has been put forth so far.  ... 
arXiv:cs/0209019v1 fatcat:m2hxt6yapjdxhohghe4qant64u

Reasoning about Evolving Nonmonotonic Knowledge Bases [chapter]

Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2001 Lecture Notes in Computer Science  
In this article, we introduce a framework for reasoning about evolving knowledge bases, which are represented as extended logic programs and maintained by an update policy.  ...  in a given evolving knowledge base.  ...  To the best of our knowledge, no similar effort to formally express reasoning about evolving nonmonotonic knowledge bases at a level as considered here has been put forth so far.  ... 
doi:10.1007/3-540-45653-8_28 fatcat:7w7iuqc7h5cjto5p5olhxyxhcu

Reasoning about evolving nonmonotonic knowledge bases

Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2005 ACM Transactions on Computational Logic  
In this article, we introduce a framework for reasoning about evolving knowledge bases, which are represented as extended logic programs and maintained by an update policy.  ...  in a given evolving knowledge base.  ...  To the best of our knowledge, no similar effort to formally express reasoning about evolving nonmonotonic knowledge bases at a level as considered here has been put forth so far.  ... 
doi:10.1145/1055686.1055693 fatcat:ylkadyshujacpk5ta3q6j4arde

Logics for Knowledge Representation [chapter]

Bernhard Nebel
2015 International Encyclopedia of the Social & Behavioral Sciences  
One way to address the problem of representing knowledge and reasoning about it is to use some form of logic.  ...  Furthermore, once we accept that formal logic should be used as a tool for analyzing knowledge, it is a natural consequence to use logic for representing knowledge and for reasoning about it as well.  ... 
doi:10.1016/b978-0-08-097086-8.43053-9 fatcat:asgykx2vjrdotjzow6ohqhffre

Logics for Knowledge Representation [chapter]

B. Nebel
2001 International Encyclopedia of the Social & Behavioral Sciences  
One way to address the problem of representing knowledge and reasoning about it is to use some form of logic.  ...  Furthermore, once we accept that formal logic should be used as a tool for analyzing knowledge, it is a natural consequence to use logic for representing knowledge and for reasoning about it as well.  ... 
doi:10.1016/b0-08-043076-7/00613-6 fatcat:4pg277l6kfd6ne5i2r3qhai3pm

Page 4111 of Mathematical Reviews Vol. , Issue 94g [page]

1994 Mathematical Reviews  
Summary: “The handling of evolving knowledge as well as of incomplete knowledge is one of the main issues in knowledge rep- resentation systems.  ...  Summary: “Nonmonotonic reasoning in intelligent systems is con- sidered.  ... 

Guest Editors' Introduction

James Delgrande, Jérôme Lang
2014 Journal of Philosophical Logic  
The papers of the 1988 special issue give a good indication of major themes of research at the time: reasoning about belief and knowledge [5] , tractable logical reasoning [10], nonmonotonicity [11] ,  ...  and reasoning about action [13] .  ...  So, on the one hand, logical theories have been proposed in areas such as reasoning about action, reasoning about knowledge, nonmonotonic reasoning, and numerous others.  ... 
doi:10.1007/s10992-014-9330-x fatcat:crhqiaxwhrcmhmq6ogeblp6vtm

Relating Belief Revision and Circumscription

Paolo Liberatore, Marco Schaerf
1995 International Joint Conference on Artificial Intelligence  
Nonmonotonic formalisms and belief revision operators have been introduced as useful tools to describe and reason about evolving scenarios Both approaches have been proven effective in a number of different  ...  situations However, little is known about their relationship Previous work by Winslett has shown some correlations between a specific operator and circumscription In this paper we greatly extend Winslett's  ...  we focus on knowledge bases of a re stricted syntactic form Among the restricted cases, Horn knowledge bases are of particular interest for sev eral reasons First of all, since Horn clauses can represent  ... 
dblp:conf/ijcai/LiberatoreS95 fatcat:h6rv6g73u5hz3hkvtbknfirdme

Origins of Answer-Set Programming - Some Background And Two Personal Accounts [article]

Victor W. Marek, Ilkka Niemela, Miroslaw Truszczynski
2011 arXiv   pre-print
We discuss the evolution of aspects of nonmonotonic reasoning towards the computational paradigm of answer-set programming (ASP).  ...  foundations of nonmonotonic reasoning based on the paradigm of context-dependent reasoning.  ...  To stimulate applications of nonmonotonic formalisms and implementations of automated reasoning systems based on nonmonotonic logics 2.  ... 
arXiv:1108.3281v1 fatcat:kioh3cangrchbnkk5heilbhloi

From systems to logic in the early development of nonmonotonic reasoning

Erik Sandewall
2011 Artificial Intelligence  
This note describes how the notion of nonmonotonic reasoning emerged in Artificial Intelligence from the mid-1960's to 1980.  ...  The article concludes with some reflections on the roles and relationships between logicist theory and system design in AI, and in particular in Knowledge Representation.  ...  Acknowledgements In the preparation of the present article I have invited as many as possible of the researchers that participated in the early development of nonmonotonic reasoning to give their comments  ... 
doi:10.1016/j.artint.2010.04.013 fatcat:hzcegltgbzebjl3lgqp76lqada

Axiomatic Aspects of Default Inference [article]

Guo-Qiang Zhang
2002 arXiv   pre-print
This paper studies axioms for nonmonotonic consequences from a semantics-based point of view, focusing on a class of mathematical structures for reasoning about partial information without a predefined  ...  Our results give a theoretical justification for a set of basic rules governing the update of nonmonotonic knowledge bases, demonstrating the derivation of them from the more concrete and primitive construction  ...  beliefs to enlarge the knowledge base to X ∪{a, b}.  ... 
arXiv:cs/0207087v1 fatcat:a7nvyw7yxffbrklpxpzarefezi

In Memoriam: RAYMOND REITER June 12, 1939 – September 16, 2002

Jack Minker
2002 Theory and Practice of Logic Programming  
that motivated them, and about knowledge representation in general.  ...  Ray's "tweety" example used to illustrate the theory has become ubiquitous in nonmonotonic reasoning. Knowledge Representation and Databases.  ... 
doi:10.1017/s1471068402001564 fatcat:v5wnpeuif5ddjjn7zclvobpgq4

Made sense and remembered sense: Sensemaking through abduction

C.Gustav Lundberg
2000 Journal of Economic Psychology  
Nonmonotonic, abductive reasoning is presented as a framework within which we can start to understand, and possibly re-evaluate on-line and creative economic decision making.  ...  Although some of the roots of experts' reasoning must be aleatory (probabilistic), the focus of the paper is epistemic (causal) reasoning in illstructured domains.  ...  Autoepistemic reasoning, a form of modal nonmonotonic logic, involves reasoning about one's own knowledge (Moore, 1984 (Moore, , 1985 (Moore, , 1988 , and follows the following pattern: 1.  ... 
doi:10.1016/s0167-4870(00)00027-1 fatcat:uguh4gvkzfcwtnqemoglgdahmq

Page 659 of Mathematical Reviews Vol. , Issue 2000a [page]

2000 Mathematical Reviews  
In this paper we present a formal, provably correct and yet computational methodology for assimi- lation of new knowledge into knowledge bases about actions and changes, based on the slogan ‘what is believed  ...  However, there are aspects of frame-based systems—such as nonmonotonic reasoning and procedural rules—that cannot be characterized in a standard first-order framework.  ... 

A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence [chapter]

Thomas Eiter, Hannes Strass, Mirosław Truszczyński, Stefan Woltran
2015 Lecture Notes in Computer Science  
Gerhard Brewka has made a remarkable impact on artificial intelligence, especially in the area of knowledge representation, through his ideas, collaborations and mentoring, always amazing those close to  ...  Preferred subtheories are a simple yet powerful approach to cater for nonmonotonic reasoning on top of "classical" knowledge bases.  ...  A milestone in Nonmonotonic Reasoning was Gerd's book Nonmonotonic Reasoning: Logical Foundations of Commonsense [14] which was based on his PhD thesis, that he successfully defended in 1989.  ... 
doi:10.1007/978-3-319-14726-0_1 fatcat:dklrnvenf5h4nosisqkuwqotie
« Previous Showing results 1 — 15 out of 3,805 results