Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!bloom-beacon!FINFUN.BITNET!YLIKOSKI
From: YLIKOSKI@FINFUN.BITNET
Newsgroups: comp.ai.digest
Subject: AI language
Message-ID: <19880621215406.5.NICK@INTERLAKEN.LCS.MIT.EDU>
Date: 21 Jun 88 21:54:00 GMT
Sender: daemon@bloom-beacon.MIT.EDU
Organization: The Internet
Lines: 24
Approved: ailist@ai.ai.mit.edu

Date: Tue, 21 Jun 88 02:23 EDT
From: YLIKOSKI%FINFUN.BITNET@MITVMA.MIT.EDU
Subject:  AI language
To: AILIST@AI.AI.MIT.EDU
X-Original-To:  @AILIST, YLIKOSKI

Distribution-File:
        AILIST@AI.AI.MIT.EDU

In a recent AIList issue, Pat Hayes wished to get a list of desirable
features for an AI language.

My opinion is that we need new theoretical formalisms for expressing
intelligence and the world of a human being for the basis of new AI
languages.

It seems to me that almost all successful programming languages have a
good background formalism.  APL has Iverson's array notation.  Modern
Lisp (CommonLOOPS and Zetalisp) has several ones: functional
programming, the idea of the list, object-oriented programming.  The
Algol/Pascal family of languages has the idea of expressing the
language unambiguously with the Backus-Naur notation.

                        Andy Ylikoski