Israel, D. J. Notes on Inference: A Somewhat Skewed Surveyin On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Techniques, Springer-Verlag, 1986.
Abstract
It is widely agreed that any reasonable AI system has to reason. Once it is agreed why that must be so, one can go on to look at alternative conceptions of what reasoning consist of. This chapter presents an extremely partial and incomplete survey of some of the options.