DocumentCode
2597420
Title
The mathematics of nonmonotonic reasoning
Author
Lifschitz, Vladirnir
Author_Institution
Dept. of Comput. Sci., Stanford Univ., CA, USA
fYear
1989
fDate
5-8 Jun 1989
Firstpage
242
Abstract
Summary form only given. Research on applications of logic to artificial intelligence has led to the invention of a few useful consequence relations that are not monotonic. They are needed for default reasoning formalization, reasoning about action, introspective reasoning, and negation by failure. The author defines nonmonotonic consequence relations and discusses their importance
Keywords
artificial intelligence; formal logic; artificial intelligence; consequence relations; default reasoning formalization; introspective reasoning; logic; mathematics; negation by failure; nonmonotonic reasoning; reasoning about action; Logic; Mathematics;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on
Conference_Location
Pacific Grove, CA
Print_ISBN
0-8186-1954-6
Type
conf
DOI
10.1109/LICS.1989.39178
Filename
39178
Link To Document