The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Filters
Reasoning about Evolving Nonmonotonic Knowledge Bases
[article]
2002
arXiv
pre-print
Preserved Fulltext
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]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2005
ACM Transactions on Computational Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2015
International Encyclopedia of the Social & Behavioral Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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]
2001
International Encyclopedia of the Social & Behavioral Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2014
Journal of Philosophical Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
1995
International Joint Conference on Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2011
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
2011
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2002
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
2002
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2000
Journal of Economic Psychology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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