• Aucun résultat trouvé

Artificial Intelligence

N/A
N/A
Protected

Academic year: 2021

Partager "Artificial Intelligence"

Copied!
2
0
0

Texte intégral

(1)

XI. ARTIFICIAL INTELLIGENCE* Prof. M. L. Minsky Prof. C. E. Shannon P. W. Abrahams D. G. Bobrow D. J. Edwards T. P. Hart D. C. Luckham L. G. Roberts I. E. Sutherland A. COMPUTER FORMULATION AND SOLUTION OF ALGEBRA PROBLEMS

GIVEN IN A RESTRICTED ENGLISH

A hand analysis of eighty algebra word problems has been made. Several prelimi-nary processing programs were written in COMIT and debugged. It was then found that a more general list-processing language such as LISP would be much more convenient. However, a combination of the two languages would be better than either alone. There-fore, a COMIT interpreter (METEOR) was written in LISP, and debugged. It will handle simple COMIT rules and program flow, with added provision for mnemonic labelling of constituents. Any LISP function can be applied to a constituent, or set of constituents, from the work space. The input-output features of COMIT have been implemented, but the rules are entered in a LISP format. Certain other changes have been made to COMIT format which seemed natural and facilitated programming.

A memorandum has been published by the Artificial Intelligence Group which describes in detail the METEOR program and its use in the LISP system.

D. G. Bobrow

*This work is supported in part by the National Science Foundation (Grant G-16526); in part by the National Institutes of Health (Grant MH-04737-02); and in part by the Com-putation Center, M. I. T.

(2)

Références

Documents relatifs

mémoire ;  le deuxième, riche  de développements ultérieurs,  est  important

The winding number of a closed curve around a given point is an integer representing the total number of times that curve travels anti-clockwise around the point.. The sign of

The harmonics caused by the switching of the power conversion devices are the main factor-causing problems to sensitive equipment or the connected loads,

1) Un entretien d évaluation est une séance de travail au cours de laquelle un supérieur hiérarchique et son subordonné examinent ensemble les résultats attendus et ceux

Dad hasn’t moved the lawn (tondre la pelouse ) Andrew has taken the dog out for a walk?. Maria has finished cleaning

The stakeholders also include regulatory agencies, which must validate and define whether, when and how such technologies are to be used, ministries of education that teach

To circumvent those problems, available AI technologies based on learning neural networks, could be applied at each phase of biotoxin production: chemical synthesis and

This model represents the distribution of an output sequence when given an input sequence of the same length, using a hidden state variable and a Markovian independence assumption,