liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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.
2011 (English)In: Artificial Intelligence, ISSN 0004-3702, E-ISSN 1872-7921, Vol. 175, no 1, p. 416-427Article in journal (Refereed) Published
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.

Place, publisher, year, edition, pages
Elsevier , 2011. Vol. 175, no 1, p. 416-427
Keywords [en]
Nonmonotonic reasoning, Frame problem, Truth maintenance, Defeasible inheritance history of Al
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:liu:diva-65959DOI: 10.1016/j.artint.2010.04.013ISI: 000285947700016OAI: oai:DiVA.org:liu-65959DiVA, id: diva2:400660
Available from: 2011-02-28 Created: 2011-02-28 Last updated: 2017-12-11

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records

Sandewall, Erik

Search in DiVA

By author/editor
Sandewall, Erik
By organisation
CASL - Cognitive Autonomous Systems LaboratoryThe Institute of Technology
In the same journal
Artificial Intelligence
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 259 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf