From systems to logic in the early development of nonmonotonic reasoning
Linköping University, Department of Computer and Information Science, CASL - Cognitive Autonomous Systems Laboratory
Linköping University, The Institute of Technology
Article in journal (Refereed)
Artificial Intelligence(ISSN 0004-3702)(EISSN 0374-2539)
Engineering and Technology
Nonmonotonic reasoning, Frame problem, Truth maintenance, Defeasible inheritance history of Al
This note describes how the notion of nonmonotonic reasoning emerged in Artificial Intelligence from the mid-1960s to 1980. It gives particular attention to the interplay between three kinds of activities: design of high-level programming systems for AI, design of truth-maintenance systems, and the development of nonmonotonic logics. This was not merely a development from logic to implementation: in several cases there was a development from a system design to a corresponding logic. The article concludes with some reflections on the roles and relationships between logicist theory and system design in AI, and in particular in Knowledge Representation.