liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
From systems to logic in the early development of nonmonotonic reasoning
Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory. Linköpings universitet, Tekniska högskolan.
2011 (Engelska)Ingår i: Artificial Intelligence, ISSN 0004-3702, E-ISSN 1872-7921, Vol. 175, nr 1, s. 416-427Artikel i tidskrift (Refereegranskat) 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.

Ort, förlag, år, upplaga, sidor
Elsevier , 2011. Vol. 175, nr 1, s. 416-427
Nyckelord [en]
Nonmonotonic reasoning, Frame problem, Truth maintenance, Defeasible inheritance history of Al
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:liu:diva-65959DOI: 10.1016/j.artint.2010.04.013ISI: 000285947700016OAI: oai:DiVA.org:liu-65959DiVA, id: diva2:400660
Tillgänglig från: 2011-02-28 Skapad: 2011-02-28 Senast uppdaterad: 2017-12-11

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Personposter BETA

Sandewall, Erik

Sök vidare i DiVA

Av författaren/redaktören
Sandewall, Erik
Av organisationen
CASL - Cognitive Autonomous Systems LaboratoryTekniska högskolan
I samma tidskrift
Artificial Intelligence
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 236 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf