[Top] [All Lists]

[ontolog-forum] Fads and Fallacies about Logic

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Thu, 22 Mar 2007 22:25:29 -0500
Message-id: <460348A9.4030102@xxxxxxxxxxx>
Since the forum has settled down a bit, I thought I'd send
a note about an article I wrote, which appears in the current
issue of the IEEE Journal of Intelligent Systems:    (01)

    Fads and Fallacies about Logic    (02)

The HTML preprint version is on my web site:    (03)

    Fads and Fallacies about Logic    (04)

One point in its favor is that Jim Hendler, who is the
editor of that journal and with whom I often have long
arguments, actually liked the article.    (05)

Following is the opening paragraph.    (06)

John Sowa
____________________________________________________________    (07)

Fads and Fallacies about Logic    (08)

John F. Sowa
VivoMind Intelligence, Inc.    (09)

Throughout the history of AI, logic has been praised by its admirers, 
maligned by its detractors, and discussed in confusing and misleading 
terms by almost everybody. Among the pioneers of AI, John McCarthy has 
always been a strong promoter of logic, but Marvin Minsky has been a 
skeptic who experimented with a wide range of alternatives. Roger Schank 
had no doubts about logic, which he denounced at every opportunity. He 
introduced the distinction between the _neats_ who used logic for 
everything vs. the _scruffies_ like himself who developed notations that 
were specifically designed for the problem at hand. Even advocates of 
logic have disagreed among themselves about the role of logic, the 
subset appropriate to any particular problem, and the trade offs of ease 
of use, expressive power, and computational complexity. The debates 
introduced many valuable ideas, but the hype and polemics confused the 
issues and often led to unfortunate design decisions. Controversies 
arise in several areas:  relationships between language and logic; the 
range of notations for logic; procedural vs. declarative 
representations; distinctions between object level and metalevel 
statements; expressive power and complexity; and the role of logic in 
readable, usable, efficient interfaces.    (010)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (011)

<Prev in Thread] Current Thread [Next in Thread>
  • [ontolog-forum] Fads and Fallacies about Logic, John F. Sowa <=