June 1973 June 1975
Total Page:16
File Type:pdf, Size:1020Kb
teixfiff J?^ V5l Artificial IntelligenceLaboratory, STANFORD UNIVERSITY, Stanford, California 94305 Telephone 415-321-2300, ext. 4202 28 February 1974 Director, Advanced Research Projects Agency Department of Defense Washington, D. C. ÜBJECT: Quarterly Management Report Form approved, Budget Bureau No. 22-R0293. IRPA Order Number: 2494 Contract Number: DAHCIS 73C 0435 'rogiam Code Number: 3D30 Principal Investigator: Prof. John McCarthy 415-321-2300, extension 4430 Jame of Contractor: Board of Trustees of Executive Officer: Lester Earnest the Leland Stanford Junior University 415-321-2300, extension 4202 Iffective Date of Contract: 15 June 1973 Short Title of Work: Artificial Intelligence, Heuristic Programming, and Contract Expiration Date: 30 June 1975 Network Protocols Projects .mount of Contract: $3,000,000 )ear Sir: During the Autumn Quarter, members of our staff published several articles on analysis of algorithms and programming languages [1, 12, 14, 15]. An article on computer vision appeared [2], as well as a report on our robotics work [13]. A Ph.D. dissertation on mathematical theory of computation was produced [11] and Manna completed the first textbook in this field, which will appear shortly [3]. Several articles [4, 8, 9, 10] and a book [5] on natural language understanding were published by our staff. The Heuristic Programming Project published two more articles on chemical inference [6, 7]. Research Program and Plan In late October, we learned of the prospective availability of a BBN Pager at NASA Ames. Since the A. I. Project wished to change to the Tenex operating system, we requested and received approval to have the pager. It was moved here and installed over the Christmas holidays. Our Director, Advanced Research Projects Agency Page 2 system programming group is currently wrestling with the problem of developing adequate display service and meeting other local requirements within Tenex. Major Accomplishments Nothing new. Problems Encountered No new ones. Fiscal Status Amount currently funded: $2,248,000 Estimated expenditures and commitments(through 31 December 1973): $ 927,500 Estimated funds required (through 30 June 1975): $3,000,000 Action Required by the Government None. Future Plans No change. Lester D. Earnest Executive Officer cc: addressee - 2 copies A. Blue, ARPA V. Cerf S. Crocker, ARPA E. Feigenbaum J. Ducy, ONR, Stanford R. Floyd J. C. R. Licklider, ARPA J- >be J. McCarthy * a Director, Advanced Research Projects Agency Page 3 REFERENCES I. Jerome Feldman, James R. Low, Comment on Brent's Scatter Storage Algorithm, Comm. ACM, November 1973. 2. Manfred Hueckel, A Operator which Locates Edges in Digitized Pictures, JACM, October 1973. 3. Zohar Manna, Introduction to Mathemetical Theory of Computation, McGraw-Hill, New York, 1974. 4. Roger Schank, Neil Goldman, Theoretical Considerations in Text Processing, Conf. Proc. Computer Text Processing and Scientific Research (1972), 0.N.R., Pasadena, March 1973. 5. Roger Schank, Kenneth Colby, (eds.), Computer Models of Thought and Language, W. H. Freeman, San Francisco, 1973. 6. D. H. Smith, B. G. Buchanan, R. S. Engelmore, H. Aldercruetz, C. Djerassi, Applications of Artificial Intelligence for Chemical Inference IX. Analysis of Mixtures without Prior Separation as Illustrated for Estrogens, J.American Chem. Soc, Vol. 95, No. 18, page 6078, 1973. 7. D. H. Smith, B. G. Buchanan, W. C. White, E. A. Feigenbaum, J. Lederberg, C. Djerassi, Applications of Artificial Intelligence for Chemical Inference X. Intsum. A Data Interpretation Program as Applied to the Collected Mass Spectra of Estrogenic Steroids, Tetrahedron, Vol. 29, page 3117, 1973. 8. Yorick Wilks, The Stanford Machine Translation and Understanding Project, in Rustin ('d.). Natural Language Processing, New York, 1973. 9. Yorick Wilks, The Computer Analysis of Philosophical Arguments, CIRPHO, Vol. 1, No. 1 September 1973. 10. Yorick Wilks, One Small Head -- Models and Theories in Linguistics, Foundations of Language, Vol. 10, No. 1, January 1974. 1 1. Jean E. Vuillemin, Proof Techniques for Recursive Programs, AIM-218, October 1973. 12. C. A. R. Hoare, Parallel Programming: an Axiomatic Approach, AIM-219, October 1973. 13. Robert Bolles, Richard Paul, The Use of Sensory Feedback in a Programmable Assembly System, AIM-220, October 1973. 14. C. A. R. Hoare, Recursive Data Structures, AIM -223, December 1973. »■ Director, Advanced Research Projects Agency Page 4 15. C. A. R. Hoare, Hints on Programming Language Design, AIM-224, December 1973..