LiU Electronic Press
Full-text not available in DiVA
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)
Language:
English
Publisher: Elsevier
Status:
Published
In:
Artificial Intelligence(ISSN 0004-3702)(EISSN 0374-2539)
Volume:
175
Issue:
1
Pages:
416-427
Year of publ.:
2011
URI:
urn:nbn:se:liu:diva-65959
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-65959
ISI:
000285947700016
Subject category:
Engineering and Technology
SVEP category:
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
Created:
2011-02-28
Last updated:
2011-03-03
Statistics:
0 hits