Title :
The mathematics of nonmonotonic reasoning
Author :
Lifschitz, Vladirnir
Author_Institution :
Dept. of Comput. Sci., Stanford Univ., CA, USA
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;
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
DOI :
10.1109/LICS.1989.39178
