SPECIAL double ISSUE of the
Journal of APPLIED NON-CLASSICAL LOGICS 7:1 + 7:2 (1997)
Handling INCONSISTENCY in Knowledge Systems
Guest Editor: Gerd Wagner
The issue of inconsistency handling covers topics such as logical
theory change, belief revision, knowledge assimilation, database
update and inconsistency-tolerant reasoning. These concepts and
techniques will be important for future database and knowledge-based
systems, and in particular for knowledge-based agent systems such as
intelligent software agents and autonomous robots.
The special issue on Handling Inconsistency in Knowledge Systems
contains contributions from D. Perlis, H. Prakken and G. Sartor,
R. Li and L.M. Pereira, J. Lobo and G. Trajcevski, S.O. Hansson,
E.L. Lozinksii, A. del Val, and N. Tennant. It treats problems
such as the unavoidability of inconsistency, defeasible argumentation,
updating deductive databases, abduction of possible causes in
action knowledge bases, the inadequacy of AGM theory, how to measure
change (in order to determine the minimal mutilation of a knowledge
base), the expressive equivalence of two forms of AGM-style belief
revision, and revision without success.
For an extended overview see
http://www.informatik.uni-leipzig.de/~gwagner/special-issue.html
The special double issue of the Journal of Applied Non-Classical Logic
(7:1 + 7:2), with more than 250 pages, can now be ordered for only 250 FF
(=50$) from Edition HERMES; 14, rue Lantiez; 75017 Paris;
Email: hermes@iway.fr; Fax: (+33 1) 4229 15 56.
-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community.
Requests to get on or off dbworld should go to listproc@cs.wisc.edu.
to subscribe send
subscribe dbworld Your Full Name
to unsubscribe send
unsubscribe dbworld
to change your address
send an unsubscribe request from the old address
send a subscribe request from the new address
to find out more options send
help
------------------------------------------------------------------------FOOTER-