Author:
Sandewall, Erik (Linköping University, Department of Computer and Information Science, CASL - Cognitive Autonomous Systems Laboratory) (Linköping University, The Institute of Technology)
Title:
From systems to logic in the early development of nonmonotonic reasoning
Department:
Linköping University, Department of Computer and Information Science, CASL - Cognitive Autonomous Systems Laboratory
Linköping University, The Institute of Technology
Publication type:
Article in journal (Refereed)
Publisher:
Elsevier
In:
Artificial Intelligence(ISSN 0004-3702)(EISSN 0374-2539)
URI:
urn:nbn:se:liu:diva-65959
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-65959
Subject category:
Engineering and Technology
Keywords(en)
:
Nonmonotonic reasoning, Frame problem, Truth maintenance, Defeasible inheritance history of Al
Abstract(en)
:
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.
Available from:
2011-02-28
Statistics:
8 hits