Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Handling inconsistency in knowledge systems

Handling inconsistency in knowledge systems PART2 Introduction Handling inconsistency in knowledge systems Theory change and knowledge assimilation While the focus of work in logic traditionally was the study of (monotonic) reasoning on the basis of a fixed theory, more recent work in philosophical logic has investigated the problem of theory change. A large body of theoretical results in this field has been established by now and has become well-known under the name AGM theory, after its originators Alchour6n, Gardenfors and Makinson. Although the original motivation for AGM theory came rather from philos­ ophy of science and not from the computational problem of knowledge assimi­ lation, many AI researchers have adopted the AGM approach as a theoretical basis for modeling knowledge assimilation, not paying attention to the fact that knowledge assimilation, unlike theory change, is not concerned with ( clas­ sical logic) theories but with (non-classical, nonmonotonic) knowledge bases. The predominant view seems to be that a classical logic theory really is the paradigm of a knowledge ba se and all issues not captured by, or even in­ compatible with, this paradigm are either not essential or too 'messy' to be considered. This attitude may be acceptable in philosophy of science. But in computer science http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Journal of Applied Non-Classical Logics Taylor & Francis

Handling inconsistency in knowledge systems

Wagner, Gerd
Journal of Applied Non-Classical Logics , Volume 7 (1-2): 4 – Jan 1, 1997
Download PDF
4 pages

Handling inconsistency in knowledge systems

Abstract

PART2 Introduction Handling inconsistency in knowledge systems Theory change and knowledge assimilation While the focus of work in logic traditionally was the study of (monotonic) reasoning on the basis of a fixed theory, more recent work in philosophical logic has investigated the problem of theory change. A large body of theoretical results in this field has been established by now and has become well-known under the name AGM theory, after its originators Alchour6n, Gardenfors and Makinson....
Loading next page...
 
/lp/taylor-francis/handling-inconsistency-in-knowledge-systems-TlCrpwNpDW
Publisher
Taylor & Francis
Copyright
Copyright Taylor & Francis Group, LLC
ISSN
1958-5780
eISSN
1166-3081
DOI
10.1080/11663081.1997.10510903
Publisher site
See Article on Publisher Site

Abstract

PART2 Introduction Handling inconsistency in knowledge systems Theory change and knowledge assimilation While the focus of work in logic traditionally was the study of (monotonic) reasoning on the basis of a fixed theory, more recent work in philosophical logic has investigated the problem of theory change. A large body of theoretical results in this field has been established by now and has become well-known under the name AGM theory, after its originators Alchour6n, Gardenfors and Makinson. Although the original motivation for AGM theory came rather from philos­ ophy of science and not from the computational problem of knowledge assimi­ lation, many AI researchers have adopted the AGM approach as a theoretical basis for modeling knowledge assimilation, not paying attention to the fact that knowledge assimilation, unlike theory change, is not concerned with ( clas­ sical logic) theories but with (non-classical, nonmonotonic) knowledge bases. The predominant view seems to be that a classical logic theory really is the paradigm of a knowledge ba se and all issues not captured by, or even in­ compatible with, this paradigm are either not essential or too 'messy' to be considered. This attitude may be acceptable in philosophy of science. But in computer science

Journal

Journal of Applied Non-Classical Logics – Taylor & Francis

Published: Jan 1, 1997

There are no references for this article.