论文信息 - Programming languages for artificial intelligence

Programming languages for artificial intelligence

Abstract This paper briefly describes the two most popular programming languages for artificial intelligence applications: LISP and PROLOG. The capabilities and limitations of each language are reviewed in the context of establishing the main requirements placed on artificial intelligence languages. The nested interactive array language, NIAL, is introduced as a language that combines logic and functional programming capabilities. Through comparisons with LISP and PROLOG, it is shown that the NIAL system meets the basic requirements for artificial intelligence programming.

Janice I. Glasgow | R. Browse

[1] Carl McCrosky,et al. Nial: A candidate language for fifth generation computer systems , 1984, ACM '84.

[2] John McCarthy,et al. History of LISP , 1978, SIGP.

[3] Trenchard More. The nested rectangular array as a model of data , 1979 .

[4] Alain Colmerauer,et al. Metamorphosis Grammars , 1978, Natural Language Communication with Computers.

[5] Daniel G. Bobrow,et al. On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[6] Allen Newell,et al. Computer science as empirical inquiry: symbols and search , 1976, CACM.

[7] J. C. Shaw,et al. Programming the logic theory machine , 1899, IRE-AIEE-ACM '57 (Western).

[8] Michael J. Wise,et al. A parallel Prolog: The construction of a data driven model , 1982, LFP '82.

[9] John W. Backus,et al. Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

[10] Daniel G. Bobrow,et al. A model and stack implementation of multiple environments , 1973, CACM.

[11] Bertram Raphael,et al. The use of theorem-proving techniques in question-answering systems , 1968, ACM National Conference.

[12] Richard D. Greenblatt,et al. A LISP machine , 1974, CAW '80.

[13] Robert A. Kowalski,et al. Algorithm = logic + control , 1979, CACM.

[14] Hideyuki Nakashima. Knowledge representation in Prolog/KR , 1984, SLP.

[15] H. Gelernter,et al. Realization of a geometry theorem proving machine , 1995, IFIP Congress.