From systems to logic in the early development of nonmonotonic reasoning
Sandewall, Erik 2011 (English)In: Artificial Intelligence, ISSN 0004-3702, E-ISSN 0374-2539, Vol. 175, no 1, 416-427Article in journal (Refereed) Published
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.
Nonmonotonic reasoning, Frame problem, Truth maintenance, Defeasible inheritance history of Al
National CategoryEngineering and Technology
IdentifiersURN: urn:nbn:se:liu:diva-65959DOI: 10.1016/j.artint.2010.04.013ISI: 000285947700016OAI: oai:DiVA.org:liu-65959DiVA: diva2:400660