Rigor mortis: A response to Nilsson's "Logic and artificial intelligence"

Lawrence A Birnbaum*

*Corresponding author for this work

Research output: Contribution to journalArticle

30 Citations (Scopus)

Abstract

Logicism has contributed greatly to progress in AI by emphasizing the central role of mental content and representational vocabulary in intelligent systems. Unfortunately, the logicists' dream of a completely use-independent characterization of knowledge has drawn their attention away from these fundamental AI problems, leading instead to a concentration on purely formalistic issues in deductive inference and model-theoretic "semantics". In addition, their failure to resist the lure of formalistic modes of expression has unnecessarily curtailed the prospects for intellectual interaction with other AI researchers.

Original languageEnglish (US)
Pages (from-to)57-77
Number of pages21
JournalArtificial Intelligence
Volume47
Issue number1-3
DOIs
StatePublished - Jan 1 1991

Fingerprint

artificial intelligence
Intelligent systems
Artificial intelligence
Semantics
vocabulary
semantics
interaction
Fundamental
Interaction
Logic
Mental Content
Artificial Intelligence
Vocabulary
Logicism
Deductive Inference

ASJC Scopus subject areas

  • Language and Linguistics
  • Linguistics and Language
  • Artificial Intelligence

Cite this

@article{11605668ffca446486ed8af895a9fe7b,
title = "Rigor mortis: A response to Nilsson's {"}Logic and artificial intelligence{"}",
abstract = "Logicism has contributed greatly to progress in AI by emphasizing the central role of mental content and representational vocabulary in intelligent systems. Unfortunately, the logicists' dream of a completely use-independent characterization of knowledge has drawn their attention away from these fundamental AI problems, leading instead to a concentration on purely formalistic issues in deductive inference and model-theoretic {"}semantics{"}. In addition, their failure to resist the lure of formalistic modes of expression has unnecessarily curtailed the prospects for intellectual interaction with other AI researchers.",
author = "Birnbaum, {Lawrence A}",
year = "1991",
month = "1",
day = "1",
doi = "10.1016/0004-3702(91)90050-T",
language = "English (US)",
volume = "47",
pages = "57--77",
journal = "Artificial Intelligence",
issn = "0004-3702",
publisher = "Elsevier",
number = "1-3",

}

Rigor mortis : A response to Nilsson's "Logic and artificial intelligence". / Birnbaum, Lawrence A.

In: Artificial Intelligence, Vol. 47, No. 1-3, 01.01.1991, p. 57-77.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Rigor mortis

T2 - A response to Nilsson's "Logic and artificial intelligence"

AU - Birnbaum, Lawrence A

PY - 1991/1/1

Y1 - 1991/1/1

N2 - Logicism has contributed greatly to progress in AI by emphasizing the central role of mental content and representational vocabulary in intelligent systems. Unfortunately, the logicists' dream of a completely use-independent characterization of knowledge has drawn their attention away from these fundamental AI problems, leading instead to a concentration on purely formalistic issues in deductive inference and model-theoretic "semantics". In addition, their failure to resist the lure of formalistic modes of expression has unnecessarily curtailed the prospects for intellectual interaction with other AI researchers.

AB - Logicism has contributed greatly to progress in AI by emphasizing the central role of mental content and representational vocabulary in intelligent systems. Unfortunately, the logicists' dream of a completely use-independent characterization of knowledge has drawn their attention away from these fundamental AI problems, leading instead to a concentration on purely formalistic issues in deductive inference and model-theoretic "semantics". In addition, their failure to resist the lure of formalistic modes of expression has unnecessarily curtailed the prospects for intellectual interaction with other AI researchers.

UR - http://www.scopus.com/inward/record.url?scp=0026001868&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0026001868&partnerID=8YFLogxK

U2 - 10.1016/0004-3702(91)90050-T

DO - 10.1016/0004-3702(91)90050-T

M3 - Article

AN - SCOPUS:0026001868

VL - 47

SP - 57

EP - 77

JO - Artificial Intelligence

JF - Artificial Intelligence

SN - 0004-3702

IS - 1-3

ER -