%A Marvin Minsky %A Seymour Papert %T 1968-1969 Progress Report %R AI Memo 200 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %Y unavailable %A Michael Beeler %T Peter Samson's Music Processor, BIG %R AI Memo 202 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D July 1970 %P 17 %K mit aim ail %Y unavailable %A Gerald Sussman %A Terry Winograd %T Micro-Planner Reference Manual %R AI Memo 203 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D July 1970 %P 22 %K mit aim ail %O revised December 1971 (AIM 203A) %Y unavailable %A Gerald Sussman %A Terry Winograd %A Eugene Charniak %T Micro-Planner Reference Manual, (revised) %R AI Memo 203A %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1971 %P 29 %K mit aim ail %Y unavailable %A Martin Rattner %T Extending Guzman's SEE Program %R AI Memo 204 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D July 1970 %P 67 %K mit aim ail %O See M.I.T. B.S. Thesis, June 1970 %Y unavailable %A David S. Johnson %T Look-Ahead Strategies In One Person Games With Randomly Generated Game Trees %R AI Memo 205 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D July 1970 %P 78 %K mit aim ail %O See M.I.T. S.M. thesis, August 1968 %Y unavailable %A Thomas O. Binford %T The Vision Laboratory, Part One %R AI Memo 206 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D July 1970 %P 31 %K mit aim ail %Y unavailable %A Carl E. Hewitt %T More Comparative Schematology %R AI Memo 207 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1970 %P 56 %K mit aim ail %O (Replaced by AI TR-258) %Y unavailable %A Carl E. Hewitt %T Teaching Procedures In Humans And Robots %R AI Memo 208 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1970. %P 25 %K mit aim ail %O (Replaced by AI TR-258) %Y unavailable %A David Silver %T Digital Flight Simulation %R AI Memo 209 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D March 1971 %K mit aim ail %Y unavailable %A Jeffrey P. Golden %T A User's Guide to the A.I. Group LISCOM LISP Compiler %R AI Memo 210 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1970 %P 14 %K mit aim ail %Y unavailable %A Michael S. Paterson %T Equivalence Problems in a Model of Computation %R AI Memo 211 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D November 1970 %P 158 %K mit aim ail %O (See Ph.D. thesis, Trinity College, Cambridge University, 1967) %Y unavailable %A Gordon Mumma %A Stephen Smoliar %T The Computer as A Performing Instrument %R AI Memo 213 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D February 1971 %P 12 %K mit aim ail %O Presented as a MAC seminar February 1970 %Y unavailable %A Peter Samson %T Linking Loader for MIDAS %R AI Memo 214 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D March 1971 %P 6 %K mit aim ail %O Originally printed as MAC Memo in January 1966 %Y unavailable %A Mark Dowson %T How to Get Onto the System %R AI Memo 215 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D April 1971 %P 20 %K mit aim ail %Y unavailable %A Mark Dowson %T Instant TJ6, How to Get the System to Type Your Papers %R AI Memo 215A %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1971 %P 4 %K mit aim ail %Y unavailable %A Mitchell Wand %T Theories, Pretheories, and Finite State Transformations on Trees %R AI Memo 216 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1971 %P 32 %K mit aim ail %Y unavailable %A W. W. Bledsoe %A Robert S. Boyer %A W. H. Henneman %T Computer Proofs of Limit Theorems %R AI Memo 217 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1971 %P 61 %K mit aim ail %Y unavailable %A Michael Beeler %T Information Theory and the Game of Jotto %R AI Memo 218 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1971 %P 4 %K mit aim ail %Y unavailable %A Patrick E. O'Neil %T An Inquiry Into Algorithmic Complexity %R AI Memo 237 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1971 %P 20 %K mit aim ail %Y unavailable %A Donald Eastlake %T ITS Status Report %R AI Memo 238 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D April 1972 %P 68 %K mit aim ail %Y unavailable %A M. Beeler %A R. W. Gosper %A R. Schroeppel %T HAKMEM %R AI Memo 239 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D February 1972 %P 105 %K mit aim ail %X Here is some little known data which may be of interest to computer hackers. The items and examples are so sketchy that to decipher them may require more sincerity and curiosity than a non-hacker can muster. Doubtless, little of this is new, but nowadays it's hard to tell. So we must be content to give you an insight, or save you some cycles, and to welcome further contributions of items, new or used. %Y cost: $3.50 %A Donald Eastlake %T 11SIM Reference Manual %R AI Memo 240 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1971 %P 46 %K mit aim ail %Y unavailable %A Donald Eastlake %T 11SIM Reference Manual (revised) %R AI Memo 240A %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D February 1972 %P 48 %K mit aim ail %Y unavailable %A Terry Winograd %T An A.I. Approach to English Morphemic Analysis %R AI Memo 241 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1971 %P 19 %K mit aim ail %Y unavailable %A Stephen W. Smoliar %T Using the EUTERPE Music System %R AI Memo 243 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D October 1971 %P 16 %K mit aim ail %Y unavailable %A Marvin Minsky %A Seymour Papert %T Proposal to ARPA for Research on Artificial Intelligence at M.I.T., 1971-1972 %R AI Memo 245 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D October 1971 %P 43 %K mit aim ail %Y unavailable %A Seymour Papert %T A Computer Laboratory for Elementary Schools %R AI Memo 246 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D October 1971 %P 20 %K mit aim ail %O See Logo Memo 1 %Y unavailable %A Seymour Papert %T Teaching Children Thinking %R AI Memo 247 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D October 1971 %P 19 %K mit aim ail %O See Logo Memo 2 %Y unavailable %A Seymour Papert %A Cynthia Solomon %T Twenty Things To Do With A Computer %R AI Memo 248 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1971 %P 41 %K mit aim ail %O See Logo Memo 3 %Y unavailable %A Seymour Papert %T Teaching Children to be Mathematicians vs. Teaching About Mathematics %R AI Memo 249 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D July 1971 %P 26 %K mit aim ail %O See Logo Memo 4 %Y unavailable %A Carl Hewitt %T 1971--1972 %R AI Memo 250 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1971 %P 29 %K mit aim ail %Y unavailable %A Marvin Minsky %T Mini-Robot Proposal to ARPA %R AI Memo 251 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1972 %P 63 %K mit aim ail %Y unavailable %A Marvin Minsky %A Seymour Papert %T Artificial Intelligence Progress Report %R AI Memo 252 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1972 %P 137 %K mit aim ail %Y unavailable except as NTIS report AD-754820 %A Matthew J. Hillsman %A R. Wade Williams %A John S. Roe %T The Computer-Controlled Oculometer: A Prototype Interactive Eye Movement Tracking System %R AI Memo 253 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D February 1972. %P 194 %K mit aim ail %Y unavailable %A Seymour Papert %A Cynthia Solomon %T NIM: A Game-Playing Program %R AI Memo 254 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D Feb. 1972 %P 19 %K mit aim ail %O See Logo Memo 5 %Y unavailable %A Gerald Jay Sussman %T Why Conniving Is Better Than Planning %R AI Memo 255 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D February 1972 %P 27 %K mit aim ail %Y unavailable %A Gerald Sussman %A Drew McDermott %T Why Conniving Is Better Than Planning %R AI Memo 255A %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D April 1972 %P 32 %K mit aim ail %O (See Proceedings FJCC, Vol. 41, pp. 1171-1179, AFIPS Press, New Jersey, 1972) %Y unavailable %A Michael J. Fischer %T Efficiency of Equivalence Algorithms %R AI Memo 256 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D April 1972 %P 17 %K mit aim ail %O Presented at Symposium on Complexity of Computer Computations, T.J Watson Research Center, March 22, 1972 %Y unavailable %A Richard Schroeppel %T A Two Counter Machine Cannot Calculate 2**n %R AI Memo 257 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1973 %P 32 %K mit aim ail %Y unavailable except as NTIS report AD-773918 %A Drew McDermott %A Gerald Sussman %T Conniver Reference Manual %R AI Memo 259 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1972 %P 91 %K mit aim ail %Y unavailable %A Drew McDermott %A Gerald Sussman %T THE CONNIVER REFERENCE MANUAL %R AI Memo 259A %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1974 %P 146 %K mit aim ail %Y unavailable except as NTIS report AD-77355 %A Donald E. Eastlake %T LOCK %R AI Memo 260 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1972 %P 11 %K mit aim ail %Y unavailable %A Donald E. Eastlake %T LOCK %R AI Memo 260A %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1974 %K mit aim ail %Y unavailable except as NTIS report AD-773920. %A Donald E. Eastlake %T PEEK %R AI Memo 261A %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D February 1974 %P 15 %K mit aim ail %Y cost: $1.25, unavailable except as NTIS report AD-773925 %A Mitchell Wand %T A Concrete Approach To Abstract Recursive Definitions %R AI Memo 262 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1972 %P 13 %K mit aim ail %Y unavailable %A Yoshiaki Shirai %T A Heterarchical Program for Recognition of Polyhedra %R AI Memo 263 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1972 %K mit aim ail %O See ``Artificial Intelligence'', Vol. 4, No. 2; Winston (ed.), ``The Psychology of Computer Vision'' %Y unavailable %A Jeanne Bamberger %T Developing a Musical Ear: A New Experiment %R AI Memo 264 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D July 1972 %P 19 %K mit aim ail %O See Logo Memo 6 %Y unavailable %A Garry S. Meyer %T Infants in Children Stories-Toward a Model of Natural Language Comprehension %R AI Memo 265 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1972 %P 72 %K mit aim ail %Y unavailable %A Marvin Minsky %T Manipulator Design Vignettes %R AI Memo 267 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D October 1972 %P 27 %K mit aim ail %Y unavailable %A Marvin Minsky %T Manipulator Design Vignettes %R AI Memo 267A %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %P 24 %K mit aim ail %O Revised 1981 %Y unavailable %Y cost: $2.25 %A Arthur J. Nevins %T A Human Oriented Logic for Automatic Theorem Proving %R AI Memo 268 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D October 1972 %P 53 %K mit aim ail %Y unavailable %A Marvin Minsky %T Proposal to ARPA for Continued Research on A.I. %R AI Memo 269 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D October 1972 %P 35 %K mit aim ail %Y unavailable %A Gerald Jay Sussman %T Teaching of Procedures-Progress Report %R AI Memo 270 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D October 1972 %P 22 %K mit aim ail %O (Replaced by AI-TR-297) %Y unavailable %A Michael Speciner %T How the GAS Program Works With a Note on Simulating Turtles With Touch Sensors %R AI Memo 272 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1972 %P 6 %K mit aim ail %Y unavailable %A David Silver %T The Little Robot System %R AI Memo 273 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1973 %P 15 %K mit aim ail %Y unavailable except as NTIS report AD-773929 %A Marvin Minsky %T Proposal to ARPA for Continuation of Micro-Automation Development %R AI Memo 274 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1973 %P 41 %K mit aim ail %Y unavailable %A Martin Brooks %A Jerrold Ginsparg %T Differential Perceptrons %R AI Memo 275 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1973 %P 24 %K mit aim ail %Y unavailable except as NTIS report AD-773919 %A Michael Beeler %T The Making of the Film, SOLAR CORONA %R AI Memo 276 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D February 1973 %P 5 %K mit aim ail %O (See Film Memo No. 1.) %Y unavailable except as NTIS report AD-773928 %A Vaughan R. Pratt %T A Linguistics Oriented Programming Language %R AI Memo 277 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D February 1973 %P 40 %K mit aim ail %Y unavailable except as NTIS report AD-773566 %A Robert C. Moore %T D-SCRIPT: A Computational Theory of Descriptions %R AI Memo 278 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D February 1973 %P 29 %K mit aim ail %Y unavailable except as NTIS report AD-773926 %A Ira Goldstein %T Pretty-Printing, Converting List to Linear Structure %R AI Memo 279 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D February 1973 %P 28 %K mit aim ail %Y unavailable except as NTIS report AD-773927 %A Ira Goldstein %T Elementary Geometry Theorem Proving %R AI Memo 280 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D April 1973 %P 46 %K mit aim ail %Y unavailable except as NTIS report AD-735568 %A Ann D. Rubin %T Grammar for the People: Flowcharts of SHRDLU's Grammar %R AI Memo 282 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D March 1973 %P 31 %K mit aim ail %Y unavailable %A Marvin Minsky %A Seymour Papert %T Proposal To ARPA For Continued Research On A.I. For 1973 %R AI Memo 284 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1973 %P 53 %K mit aim ail %Y unavailable %A B.K.P. Horn %T The Binford-Horn LINEFINDER %R AI Memo 285 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %P 20 %K mit aim ail %O Revised December 1973 %Y unavailable %A Gerald J. Sussman %T The FINDSPACE Problem %R AI Memo 286 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D March 1973 %P 14 %K mit aim ail %Y unavailable %A Tim Finin %T Finding The Skeleton of a Brick %R AI Memo 287 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D March 1973 %P 12 %K mit aim ail %Y unavailable %A Daniel W. Corwin %T Visual Position Extraction Using Stereo Eye Systems With A Relative Rotational Motion Capability %R AI Memo 289 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D March 1973 %P 34 %K mit aim ail %Y unavailable %A Michael Beeler %T Paterson's Worm %R AI Memo 290 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1973 %P 21 %K mit aim ail %Y unavailable except as NTIS report AD-775351 %A Donald Eastlake %T UT: Telnet Reference Manual %R AI Memo 292 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D April 1974 %P 9 %K mit aim ail %Y unavailable %A Berthold K.P. Horn %T On Lightness %R AI Memo 295 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D October 1973 %P 52 %K mit aim ail %O See ``Computer Graphics and Image Processing'', Vol. 3, No. 1, December 1974, pp. 277-299 %Y unavailable except as NTIS report AD-773569 %A David Marr %T An Essay on the Primate Retina %R AI Memo 296 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1974 %P 103 %K mit aim ail %O See ``Vision Research'', 1974, Vol. 14, 1377-1388 %Y unavailable except as NTIS report AD-034482 %A Seymour Papert %T Uses of Technology to Enhance Education %R AI Memo 298 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1973 %P 109 %K mit aim ail %O See Logo Memo 8 %Y unavailable %A MIT AI Laboratory %T Proposal to ARPA for Research on Intelligent Automata and Micro-Automation, 1974-1976 %R AI Memo 299 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1973 %P 118 %K mit aim ail %Y unavailable %A Carl R. Flatau %T Design Outline for Mini-Arms Based on Manipulator Technology %R AI Memo 300 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1974 %P 47 %K mit aim ail %O Issued as A.I. Memo January 1974 %Y unavailable except as NTIS report AD-773570 %A Richard C. Waters %T A Mechanical Arm Control System %R AI Memo 301 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1974 %P 41 %K mit aim ail %Y unavailable except as NTIS report AD-A004672 %A Arthur Nevins %T A Relaxation Approach to Splitting in an Automatic Theorem Prover %R AI Memo 302 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1974 %P 26 %K mit aim ail %Y unavailable except as NTIS report AD-A004269 %A Arthur Nevins %T Plane Geometry Theorem Proving Using Forward Chaining %R AI Memo 303 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1974 %P 35 %K mit aim ail %Y unavailable except as NTIS report AD-A004223 %A William Gosper %T Acceleration of Series %R AI Memo 304 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D March 1974 %P 91 %K mit aim ail %Y unavailable except as NTIS report AD-A011837 %A Ira Goldstein %T Summary of MYCROFT: A System for Understanding Simple Picture Programs %R AI Memo 305 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1974 %P 62 %K mit aim ail %O (Replaced by AI-TR-294) %Y unavailable except as NTIS report AD-A004671 %A Marvin Minsky %T A Framework for Representing Knowledge %R AI Memo 306 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1974 %K mit aim ail %O See {\it The Psychology of Computer Vision}, Winston (ed.) %Y unavailable except as NTIS report AD-A011168 %A Ira Goldstein %T LLOGO: An Implementation of LOGO in LISP %R AI Memo 307 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1974 %P 93 %K mit aim ail %O See Logo Memo 11 %Y unavailable except as NTIS report AD-A004669 %A Ira Goldstein %A Henry Lieberman %A Harry Bochner %A Mark Miller %T LLOGO: An Implementation of LOGO in LISP %R AI Memo 307A %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D March 1975 %P 93 %K mit aim ail %O See Logo Memo 11 %Y unavailable %A Hirochika Inoue %T Force Feedback in Precise Assembly Tasks %R AI Memo 308 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1974 %P 31 %K mit aim ail %Y unavailable except as NTIS report AD-A0ll369 %A James R. Geiser %T Commenting Proofs %R AI Memo 309 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1974 %P 19 %K mit aim ail %Y unavailable except as NTIS report AD-A011838 %A Radia Perlman %T TORTIS: Toddler's Own Recursive Turtle Interpreter System %R AI Memo 311 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1974 %P 10 %K mit aim ail %O See Logo Memo 9 %Y unavailable %A Jeanne Bamberger %T The Luxury of Necessity %R AI Memo 312 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1974 %P 24 %K mit aim ail %O See Logo Memo 12 %Y unavailable %A Hal Abelson %A Nat Goodman, Lee Rudolph %T LOGO Manual %R AI Memo 313 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1974 %P 84 %K mit aim ail %O See Logo Memo 7 %Y unavailable %A Jeanne Bamberger %T What's In A Tune %R AI Memo 314 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1974. %P 78 %K mit aim ail %O See Logo Memo 13 %Y unavailable %A Hal Abelson %A Jim Adams %T A Glossary of LOGO Primitives %R AI Memo 315 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1974 %P 24 %K mit aim ail %O See Logo Memo 14 %Y unavailable %A E. Paul Goldenberg %T A Glossary of PDP11 LOGO Primitives %R AI Memo 315A %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D March 1975 %P 39 %K mit aim ail %O See Logo Memo 16 %Y unavailable %A Allen Brown %A Gerald Sussman %T Localization of Failures in Radio Circuits - A Study in Causal and Teleological Reasoning %R AI Memo 319 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1974 %P 29 %K mit aim ail %Y unavailable except as NTIS report AD-A011839 %A Harold Abelson %A Andrea diSessa %A Lee Rudolph %T Velocity Space and the Geometry of Planetary Orbits %R AI Memo 320 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1974 %P 58 %K mit aim ail %O See Logo Memo 15 %Y unavailable %A Shimon Ullman %T Model-Driven Geometry Theorem Prover %R AI Memo 321 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1975 %P 56 %K mit aim ail %Y unavailable except as NTIS report AD-A021446 %A Benjamin J. Kuipers %T A Frame for Frames: Representing Knowledge for Recognition %R AI Memo 322 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D March 1975 %P 34 %K mit aim ail %Y unavailable except as NTIS report AD-A012835 %A Berthold K. P. Horn %T Orienting Silicon Integrated Circuit Chips for Lead Bonding %R AI Memo 323 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1975 %P 16 %K mit aim ail %O See ``Computer Graphics and Image Processing'', Vol. 4, pp.294-303, 1975 %Y unavailable except as NTIS report AD-A021137 %A David Marr %T On the Purpose of Low-level Vision %R AI Memo 324 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1974 %P 29 %K mit aim ail %O also A.I. Memo 340 %Y unavailable except as NTIS report AD-A012392 %A David Marr %T The Low-level Symbolic Representation of Intensity Changes in an Image %R AI Memo 325 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1974 %P 43 %K mit aim ail %Y unavailable except as NTIS report AD-A013669 %A David Marr %T The Recognition of Sharp Closely Spaced Edges %R AI Memo 326 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1974 %P 18 %K mit aim ail %Y unavailable except as NTIS report AD-A013090 %A David Marr %T A Note on the Computation of Binocular Disparity in a symbolic, Low-level Visual Processor %R AI Memo 327 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1974 %P 19 %K mit aim ail %Y unavailable except as NTIS report AD-A012393 %A Gerald Jay Sussman %A Richard Matthew Stallman %T Heuristic Techniques in Computer Aided Circuit Analysis %R AI Memo 328 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D March 1975 %P 28 %K mit aim ail %O See ``IEEE Transactions on Circuits and Systems'', Vol. CAS-22, No. 11, November 1975 %Y unavailable except as NTIS report AD-A021171 %A Tomas Lozano-Perez %T Parsing Intensity Profiles %R AI Memo 329 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1975 %P 25 %K mit aim ail %Y unavailable except as NTIS report AD-A021172 %A Howard Austin %T A Computational View Of The Skill Of Juggling %R AI Memo 330 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1974 %P 60 %K mit aim ail %Y unavailable %A Scott E. Fahlman %T Thesis Progress Report: A System For Representing and Using Real-World Knowledge %R AI Memo 331 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1975 %P 85 %K mit aim ail %Y unavailable except as NTIS report AD-A021178 %A Erik Sandewall %T Ideas about Management of Data Bases %R AI Memo 332 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1975 %P 35 %K mit aim ail %Y unavailable except as NTIS report AD-A013312 %A Shimon Ullman %T On the Detection of Light Sources %R AI Memo 333 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1975 %P 20 %K mit aim ail %O See ``Biol. Cybernetics'', 21, pp. 205-212, 1976 %Y unavailable except as NTIS report AD-A021136 %A David Marr %T Analyzing Natural Images: a Computational Theory of Texture Vision %R AI Memo 334 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1975 %P 43 %K mit aim ail %O See ``Cold Spring Harbor Symp. Quant. Biol.'', 40, pp.647-662, 1976 %Y unavailable except as NTIS report AD-A013257 %A Berthold K. P. Horn %T Image Intensity Understanding %R AI Memo 335 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1975 %K mit aim ail %O See "Understanding Image Intensities", ``Artificial Intelligence'', Vol. 8, No. 2, April 1977, pp. 201-231 %Y unavailable except as NTIS report AD-A021135 %A Howard Austin %T Teaching Teachers Logo, The Lesley Experiments %R AI Memo 336 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D April 1976 %P 26 %K mit aim ail %Y unavailable %A Ira Goldstein %A Seymour Papert %T Artificial Intelligence, Language and the Study of Knowledge %R AI Memo 337 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D July 1975 %P 79 %K mit aim ail %O Revised March 1976 %Y unavailable %A Harvey A. Cohen %T The Art of Snaring Dragons %R AI Memo 338 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D November 1974 %P 59 %K mit aim ail %O revised May 1975 %O See Logo Memo 18 %Y unavailable %A Drew V. McDermott %T Very Large Planner-type Data Bases %R AI Memo 339 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1975 %P 52 %K mit aim ail %Y unavailable except as NTIS report AD-A026370 %A D. Marr %T Early Processing of Visual Information %R AI Memo 340 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1975 %P 67 %K mit aim ail %O See ``Philosophical Transactions of the Royal Society of London'', B, 275, pp. 483-524, (1976) %Y unavailable except as NTIS report AD-A021445 %A D. Marr %A K. Nishihara %T Spatial Disposition of Axes in a Generalized Cylinder Representation of Objects that Do Not Encompass the Viewer %R AI Memo 341 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1975 %P 44 %K mit aim ail %Y unavailable except as NTIS report AD-A023456 %A Jeanne Bamberger %T The Development of Musical Intelligence I: Strategies for Representing Simple Rhythms %R AI Memo 342 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D November 1975 %P 67 %K mit aim ail %O See Logo Memo 19 %Y unavailable %A Cynthia Solomon %T Leading a Child to a Computer Culture %R AI Memo 343 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1975 %P 6 %K mit aim ail %O See Logo Memo 20 %Y unavailable %A Murray Elias Denofsky %T How Near Is Near? A Near Specialist %R AI Memo 344 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D February 1976 %P 75 %K mit aim ail %Y unavailable %A Andy diSessa %T Turtle Escapes the Plane: Some Advanced Turtle Geometry %R AI Memo 348 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1975 %P 38 %K mit aim ail %O See Logo Memo 21, also ``Turtle Geometry: The Computer as a Medium for Exploring Mathematics'', MIT Press, 1981 %Y unavailable %A Gerald J. Sussman %A Guy L. Steele %A Jr %T An Interpreter for Extended Lambda Calculus %R AI Memo 349 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1975 %P 43 %K mit aim ail %Y unavailable except as NTIS report AD-A026595 %A Marc Raibert %T A State Space Model for Sensorimotor Control and Learning %R AI Memo 351 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1976 %P 35 %K mit aim ail %Y unavailable except as NTIS report AD-A026960 %A Guy Lewis Steele\ Jr. %A Gerald Jay Sussman %T Lambda: The Ultimate Imperative %R AI Memo 353 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D March 1976 %P 41 %K mit aim ail %X We demonstrate how to model the following common programming constructs in terms of an applicative order language similar to LISP: Simple Recursion, Iteration, Compound Statements and Expressions, GO TO and Assignment, Continuation-Passing, Escape Expressions, Fluid Variables, Call by Name, Call by Need, and Call by Reference. The models require only (possibly self-referent) lambda application, conditionals, and (rarely) assignment. No complex data structures such as stacks are used. The models are transparent, involving only local syntactic transformations. Some of these models, such as those for GO TO and assignment, are already well known, and appear in the work of Landin, Reynolds, and others. The models for escape expressions, fluid variables, and call by need with side effects are new. This paper is partly tutorial in intent, gathering all the models together for purposes of context. %Y cost: $2.25, unavailable except as NTIS report AD-A030751 %A David Marr %T Artificial Intelligence -- A Personal View %R AI Memo 355 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D March 1976 %P 11 %K mit aim ail %O See ``Artificial Intelligence'' 9, pp. 37-48, 1976 %Y unavailable %A H. Abelson %A J. Bamberger %A I. Goldstein %A S. Papert %T Logo Progress Report 1973-1975 %R AI Memo 356 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1975 %P 21 %K mit aim ail %O Revised March 1976. See Logo Memo 22. %Y unavailable %A D. Marr %A T. Poggio %T From Understanding Computation to Understanding Neural Circuitry %R AI Memo 357 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1976 %P 22 %K mit aim ail %O See ``Neurosciences Res. Prog. Bulletin'', 15, pp. 470-488 %Y unavailable except as NTIS report AD-A026875 %A Joseph D. Cohen %T The Text-Justifier TJ6 %R AI Memo 358 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1976 %P 44 %K mit aim ail %Y unavailable %A Benjamin Kuipers %T Spatial Knowledge %R AI Memo 359 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1976 %P 51 %K mit aim ail %Y unavailable except as NTIS report AD-A026874 %A Radia Perlman %T Using Computer Technology to Provide a Creative Learning Environment for Preschool Children %R AI Memo 360 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1976 %P 31 %K mit aim ail %Y unavailable %A Henry Lieberman %T The TV Turtle, A Logo Graphics System for Raster Displays %R AI Memo 361 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1976 %P 8 %K mit aim ail %Y unavailable %A Kent A. Stevens %T Occlusion Clues and Subjective Contours %R AI Memo 363 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D July 1976 %P 19 %K mit aim ail %O (Replaced by Memo 637) %Y unavailable %A D. Marr %A T. Poggio %T Cooperative Computation of Stereo Disparity %R AI Memo 364 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1976 %P 20 %K mit aim ail %O See ``Science'', 194, 282-287, 15 October, 1976 %Y unavailable except as NTIS report AD-A030748 %A P. H. Winston %A B. K. P. Horn %T A Laboratory Environment for Applications Oriented Vision and Manipulation %R AI Memo 365 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1976 %P 171 %K mit aim ail %Y unavailable except as NTIS report AD-A026990 %A P. H. Winston %A staff of the MIT AI Lab %T Proposal to the Advanced Research Projects Agency %R AI Memo 366 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1976 %P 122 %K mit aim ail %Y unavailable except as NTIS report AD-A034091 %A Shimon Ullman %T Filling-in The Gaps: The Shape of Subjective Contours and a Model for Their Generation %R AI Memo 367 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D October 1976 %P 21 %K mit aim ail %O See ``Biol. Cybernetics'', 25, pp. 1-6, 1976 %Y unavailable except as NTIS report AD-A034091 %A Richard C. Waters %T A System for Understanding Mathematical FORTRAN Programs %R AI Memo 368 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1976 %P 78 %K mit aim ail %Y unavailable except as NTIS report AD-A031844 %A David Taenzer %T Physiology and Psychology of Color Vision -- A Review %R AI Memo 369 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1976 %P 46 %K mit aim ail %Y unavailable %A Eugene C. Freuder %T Synthesizing Constraint Expressions %R AI Memo 370 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D July 1976 %P 31 %K mit aim ail %Y unavailable except as NTIS report AD-A034011 %A Seymour A. Papert %T NSF Proposal: An Evaluative Study of Modern Technology in Education %R AI Memo 371 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1976 %P 44 %K mit aim ail %O See Logo Memo 26 %Y unavailable %A David C. Marr %T Analysis of Occluding Contour %R AI Memo 372 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D October 1976 %P 54 %K mit aim ail %O See ``Proceedings Royal Soc. of London B'', 197, pp. 441-475, (1977) %Y unavailable except as NTIS report AD-A34010 %A Seymour A. Papert %T Some Poetic and Social Criteria for Education Design %R AI Memo 373 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1976 %P 14 %K mit aim ail %Y unavailable %A Glen Speckert %T A Computerized Look at Cat Locomotion or One Way to Scan a Cat %R AI Memo 374 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D July 1976 %P 41 %K mit aim ail %Y unavailable except as NTIS report AD-A031856 %A Cynthia J. Solomon %A Seymour Papert %T A Case Study of a Young Child Doing Turtle Graphics in LOGO %R AI Memo 375 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D July 1976 %P 9 %K mit aim ail %O See Logo Memo 28 %Y unavailable %A Harold Abelson %T Computational Geometry of Linear Threshold Functions %R AI Memo 376 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D July 1976 %P 56 %K mit aim ail %Y unavailable %A D. Marr %A H. K. Nishihara %T Representation and Recognition of the Spatial Organization of Three Dimensional Shapes %R AI Memo 377 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1976 %P 57 %K mit aim ail %O See ``Proc. R. Soc. London B'', 200, pp. 269-294 %Y unavailable except as NTIS report AD-A031882 %A Guy L. Steele\ Jr. %T Arithmetic Shifting Considered Harmful %R AI Memo 378 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1976 %P 13 %K mit aim ail %O See ``ACM SIGPLAN Notices'', Vol. 12, No. 11, November 1977 %Y unavailable except as NTIS report AD-A031883 %A Guy Lewis Steele\ Jr. %T LAMBDA: The Ultimate Declarative %R AI Memo 379 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D November 1976 %P 47 %K mit aim ail %K environments, lambda calculus, procedurally defined data, data types, optimizing compilers, control structures, function invocation, temporary variables, continuation passing, actors, lexical scoping, dynamic binding %X In this paper, a sequel to "Lambda: The Ultimate Imperative," a new view of LAMBDA as a {\it renaming} operator is presented and contrasted with the usual functional view taken by LISP. This view, combined with the view of function invocation as a kind of generalized GOTO, leads to several new insights into the nature of the LISP evaluation mechanism and the symmetry between form and function, evaluation and application, and control and environment. It also complements Hewitt's actors theory nicely, explaining the intent of environment manipulation as cleanly, generally, and intuitively as the actor theory explains control structures. The relationship between functional and continuation-passing styles of programming is also clarified. This view of LAMBDA leads directly to a number of specific techniques for use by an optimizing compiler: (1) Temporary locations and user-declared variables may be allocated in a uniform manner. (2) Procedurally defined data structures may compile into code as good as would be expected for data defined by the more usual declarative means. (3) Lambda-calculus-theoretic models of such constructs as GOTO, DO loops, call-by-name, etc. may be used {\it directly} as macros, the expansion of which may then compile into code as good as that produced by compilers which are designed especially to handle GOTO, DO, etc. The necessary characteristics of such a compiler designed according to this philosophy are discussed. Such a compiler is to be built in the near future as a testing ground for these ideas. %Y cost: $2.75, unavailable except as NTIS report AD-A034090 %A Richard M. Stallman %A Gerald Jay Sussman %T Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis %R AI Memo 380 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1976 %P 69 %K mit aim ail %O See ``AI Journal'', Vol. 9, No. 2, pp. 135-196, October 1977 %Y unavailable except as NTIS report AD-A035719 %A James L. Stansfield %A Brian P. Carr %A Ira P. Goldstein %T Wumpus Advisor 1: A First Implementation Of A Program That Tutors Logical and Probabilistic Reasoning Skills %R AI Memo 381 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D October 1976 %P 67 %K mit aim ail %Y unavailable except as NTIS report AD-A036678 %A Steven T. Rosenberg %T Dual Coding and the Representation of Letter Strings %R AI Memo 382 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D July 1977 %P 17 %K mit aim ail %Y unavailable %A Mark L. Miller %A Ira P. Goldstein %T Overview of a Linguistic Theory of Design %R AI Memo 383 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1976 %P 31 %K mit aim ail %O See Logo Memo 30 %Y unavailable except as NTIS report AD-A036915 %A Mark L. Miller %A Ira P. Goldstein %T Overview of a Linguistic Theory of Design %R AI Memo 383A %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D February 1977 %P 31 %K mit aim ail %O See Logo Memo 30A %Y unavailable except as NTIS report AD-A036977 %A Ira P. Goldstein %A Mark L. Miller %T AI Based Personal Learning Environments: Directions for Long Term Research %R AI Memo 384 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1976 %P 35 %K mit aim ail %Y unavailable %A Mark L. Miller %A Ira P. Goldstein %T Parsing Protocols Using Problem Solving Grammars %R AI Memo 385 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1976 %P 58 %K mit aim ail %Y unavailable %A Mark L. Miller %A Ira P. Goldstein %T SPADE: A Grammar Based Editor For Planning And Debugging Programs %R AI Memo 386 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1976 %P 64 %K mit aim ail %O See Logo Memo 33 %Y unavailable except as NTIS report AD-A036783 %A Ira P. Goldstein %A Mark L. Miller %T Structured Planning and Debugging A Linguistic Theory of Design %R AI Memo 387 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1976 %P 85 %K mit aim ail %O See Logo Memo 34 %Y unavailable except as NTIS report AD-A0368l5 %A Mark L. Miller %A Ira P. Goldstein %T PAZATN: A Linguistic Approach To Automatic Analysis of Elementary Programming Protocols %R AI Memo 388 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1976 %P 87 %K mit aim ail %O See Logo Memo 35 %Y unavailable %A Ira Goldstein %T A Preliminary Proposal for Research on The Computer as Coach: An Athletic Paradigm for Intellectual Education %R AI Memo 389 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1977 %P 74 %K mit aim ail %O See Logo Memo 37 %Y unavailable %A Neil Rowe %T Grammar as a Programming Language %R AI Memo 391 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D October 1976 %P 25 %K mit aim ail %O See Logo Memo 39 %Y unavailable %A Kent A. Stevens %T Computation of Locally Parallel Structure %R AI Memo 392 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D March 1977 %P 31 %K mit aim ail %Y unavailable except as NTIS report AD-A052406 %A Harold Abelson %A Andy diSessa %T NSF Proposal: Student Science Training Program In Mathematics, Physics And Computer Science %R AI Memo 393 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1976 %P 52 %K mit aim ail %O See Logo Memo 29 %Y unavailable %A Johan de Kleer %T Local Methods for Localizing Faults in Electronic Circuits %R AI Memo 394 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D November 1976 %P 30 %K mit aim ail %O (Formerly Working Paper 109) %Y unavailable except as NTIS report AD-A036007 %A Robert Lawler %T Pre-Readers' Concepts of the English Word %R AI Memo 395 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D November 1976 %P 142 %K mit aim ail %O See Logo Memo 40 %Y unavailable %A Cynthia Solomon %T Teaching the Computer to Add: An Example of Problem-Solving in an Anthropomorphic Computer Culture %R AI Memo 396 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1976 %P 21 %K mit aim ail %O See Logo Memo 41 %Y unavailable %A Jeanne Bamberger %T Capturing Intuitive Knowledge in Procedural Description %R AI Memo 398 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1976 %P 15 %K mit aim ail %O See Logo Memo 42 %Y unavailable %A Akinori Yonezawa %A Carl Hewitt %T Symbolic Evaluation Using Conceptual Representations for Programs with Side-Effects %R AI Memo 399 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1976 %P 43 %K mit aim ail %Y unavailable except as NTIS report AD-A038244 %A Vaughn R. Pratt %T The Competence/Performance Dichotomy in Programming %R AI Memo 400 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1977 %P 18 %K mit aim ail %Y unavailable except as NTIS report AD-A038245 %A Jeanne Bamberger %T Development of Musical Intelligence II: Children's Representation of Pitch Relations %R AI Memo 401 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1976 %P 30 %K mit aim ail %O See Logo Memo 43 %Y unavailable %A Ira P. Goldstein %A R. Bruce Roberts %T NUDGE, A Knowledge-based Scheduling Program %R AI Memo 405 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D February 1977 %P 23 %K mit aim ail %Y unavailable %A Brian Carr %A Ira P. Goldstein %T Overlays: A Theory for Computer Aided Instruction %R AI Memo 406 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D February 1977 %P 23 %K mit aim ail %Y unavailable except as NTIS report AD-A052210 %A Ira P. Goldstein %A Eric Grimson %T Annotated Production Systems: A Model for Skill Acquisition %R AI Memo 407 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D February 1977 %P 24 %K mit aim ail %O See Logo Memo 44 %Y unavailable except as NTIS report AD-A052211 %A R. Bruce Roberts %A Ira P. Goldstein %T The FRL Primer %R AI Memo 408 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D July 1977 %P 21 %K mit aim ail %Y unavailable except as NTIS report AD-A053306 %A R. Bruce Roberts %A Ira P. Goldstein %T The FRL Manual %R AI Memo 409 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1977 %P 29 %K mit aim ail %Y unavailable except as NTIS report AD-A052310 %A Carl Hewitt %T Viewing Control Structures as Patterns of Passing Messages %R AI Memo 410 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1976 %P 60 %K mit aim ail %Y unavailable except as NTIS report AD-A038246 %A Marc Raibert %T Control and Learning by the State Space Model: Experimental Findings %R AI Memo 412 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D April 1977 %P 54 %K mit aim ail %Y unavailable %A Candace Bullwinkle %T Level of Complexity in Discourse for Reference Disambiguation and Speech Act Interpretation %R AI Memo 413 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1977 %P 25 %K mit aim ail %Y unavailable except as NTIS report AD-A052306 %A Patrick H. Winston %T Learning by Hypothesizing and Justifying Transfer Frames %R AI Memo 414 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D April 1977 %P 24 %K mit aim ail %O Revised January 1978 %Y unavailable except as NTIS report AD-A052212 %A Patrick H. Winston %T Learning by Creating and Justifying Transfer Frames %R AI Memo 414A %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1978 %P 34 %K mit aim ail %O See ``Artificial Intelligence'', Vol. 10, pp. 147-172, 1978 %Y unavailable except as NTIS report AD-A055092 %A D. Marr %T Representing Visual Knowledge %R AI Memo 415 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1977 %P 62 %K mit aim ail %O See ``A.M.S. Lectures in the Life Sciences'', vol. 10, pp. 101-180, 1978. Also, ``Proceedings of the 1977 AAAS Meeting} Symposium on Some Mathematical Questions in Biology'' %Y unavailable except as NTIS report AD-A055045 %A D. Marr %A H. K. Nishihara %T Representation and Recognition of the Spatial Organization of Three Dimensional Shapes %R AI Memo 416 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1977 %P 33 %K mit aim ail %Y unavailable except as NTIS report AD-A053198 %A Brian Carr %T Wusor II: A Computer Aided Instruction Program with Student Modelling Capabilities %R AI Memo 417 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1977 %P 131 %K mit aim ail %O See Logo Memo 45 %Y unavailable %A Guy Lewis Steele\ Jr. %T Data Representations in PDP-10 MacLISP %R AI Memo 420 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1977 %P 13 %K mit aim ail %O See ``MACSYMA Users Conference Proceedings'', July 1977 %Y unavailable except as NTIS report AD-A052305 %A Guy Lewis Steele\ Jr. %T Fast Arithmetic in MacLISP %R AI Memo 421 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1977 %P 11 %K mit aim ail %O See ``MACSYMA Users Conference Proceedings'', July 1977 %Y unavailable except as NTIS report AD-A052304 %A K. Forbus %T Light Source Effects %R AI Memo 422 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1977 %P 26 %K mit aim ail %Y unavailable except as NTIS report AD-A052309 %A J. Stansfield %T COMEX: A Support System for a Commodities Analyst %R AI Memo 423 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D July 1977 %P 29 %K mit aim ail %Y unavailable except as NTIS report AD-A052442 %A John M. Hollerbach %T The Minimum Energy Movement for a Spring Muscle Model %R AI Memo 424 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1977 %P 28 %K mit aim ail %Y unavailable except as NTIS report AD-A065543 %A Gerald Jay Sussman %T Electrical Design a Problem for Artificial Intelligence Research %R AI Memo 425 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1977 %P 20 %K mit aim ail %O See ``IJACI 5 Proceedings'', August 1977 %Y unavailable %A Bruce R. Schatz %T The Computation of Immediate Texture Discrimination %R AI Memo 426 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1977 %P 97 %K mit aim ail %Y unavailable except as NTIS report AD-A053804 %A Johan de Kleer %A Jon Doyle %A Guy L. Steele\ Jr. %A Gerald Jay Sussman %T Explicit Control of Reasoning %R AI Memo 427 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1977 %P 25 %K mit aim ail %O See ``AIPL August 1977 Proceedings'' in SIGPLAN/SIGART 1977 %Y unavailable except as NTIS report AD-A078244 %A Akinori Yonezawa %A Carl Hewitt %T Modelling Distributed Systems %R AI Memo 428 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1977 %P 21 %K mit aim ail %O See ``Proceedings of 1977 International Joint Conference on Artificial Intelligence'', pp. 189-198, August 1977. Also in ``Machine Intelligence 9'', John Wylie, 1978} %Y unavailable except as NTIS report AD-A062531 %A S. D. Litvintchouk %A V. R. Pratt %T A Proof-checker for Dynamic Logic %R AI Memo 429 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1977 %P 19 %K mit aim ail %Y unavailable except as NTIS report AD-A052443 %A Marvin Minsky %T Plain Talk About Neurodevelopmental Epistemology %R AI Memo 430 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1977 %P 23 %K mit aim ail %Y unavailable %A S. Rosenberg %T Frames-based Text Processing %R AI Memo 431 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1977 %P 33 %K mit aim ail %Y unavailable except as NTIS report AD-A052444 %A Hal Abelson %A Paul Goldenberg %T Teacher's Guide for Computational Models of Animal Behavior %R AI Memo 432 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D April 1977 %P 36 %K mit aim ail %O See Logo Memo 46 %Y unavailable %A Gerald Jay Sussman %T Slices At the Boundary between Analysis and Synthesis %R AI Memo 433 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D July 1977 %P 23 %K mit aim ail %O See ``Proceedings Conference on Artificial Intelligence and Pattern Recognition in Computer-Aided Design'', IFIP WG 5.2, Grenoble, France, March 1978. See also AIM 502A. %Y unavailable %A Johan de Kleer %A Jon Doyle %A Charles Rich %A Guy L. Steele\ Jr. %A Gerald Jay Sussman %T AMORD A Deductive Procedure System %R AI Memo 435 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1978 %P 47 %K mit aim ail %Y unavailable except as NTIS report AD-A078417 %A Carl Hewitt %A Henry Baker %T Actors and Continuous Functionals %R AI Memo 436A %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D July 1977 %P 29 %K mit aim ail %O See ``Formal Description of Programming Concepts'', (Ed.) Erich J. Neuhold. Also ``Procedings IFIP Working Conference on Formal Description of Programming Concepts'', pp. 367-387, August 1-5, 1977 %Y unavailable except as NTIS report AD-A062532 %A Berthold K. P. Horn %A Brett L. Bachman %T Using Synthetic Images to Register Real Images with Surface Models %R AI Memo 437 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1977 %P 50 %K mit aim ail %O See CACM, Vol. 21, No. 11, November 1978, pp.914-924 %Y unavailable except as NTIS report AD-A052512 %A Russell Atkinson %A Carl Hewitt %T Specification and Proof Techniques for Serializers %R AI Memo 438 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1977 %P 37 %K mit aim ail %O See ``IEEE Journal on Software Engineering'', Vol. SE-5, No. 1, pp. 10-23, January 1979 %Y unavailable except as NTIS report AD-A062533 %A Berthold K. P. Horn %T Density Reconstruction Using Arbitrary Ray Sampling Schemes %R AI Memo 440 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1977 %P 56 %K mit aim ail %O See ``Proc I.E.E.E.'', Vol. 66, No. 5, May 1978 %Y unavailable %A Andrea A. diSessa %T On "Learnable" Representations of Knowledge: A Meaning for the Computational Metaphor %R AI Memo 441 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1977 %P 41 %K mit aim ail %O See ``Cognitive Process Instruction'', J. Lochhead \& J. Clement, eds., Franklin Institute Press, 1978, pp. 239-266. See also Logo Memo 47 %Y unavailable %A Harold Abelson %T Towards a Theory of Local and Global in Competition %R AI Memo 442 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1977 %P 43 %K mit aim ail %Y unavailable %A Guy Lewis Steele\ Jr. %T Debunking the "Expensive Procedural Call" Myth or Procedure Call Implementation Considered Harmful or Lambda: The Ultimate GOTO %R AI Memo 443 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D October 1977 %P 23 %K mit aim ail %Y unavailable except as NTIS report AD-A062381 %A Alan Bawden %A Richard Greenblatt %A Jack Holloway %A Thomas Knight %A David Moon %A Daniel Weinreb %T LISP Machine Progress Report %R AI Memo 444 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1977 %P 29 %K mit aim ail %Y unavailable except as NTIS report AD-A062178 %A Stephen C. Purcell %T Understanding Hand-Printed Algebra for Computer Tutoring %R AI Memo 445 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D February 1977 %P 66 %K mit aim ail %Y unavailable %A D. Marr %A G. Palm %A T. Poggio %T Analysis of a Cooperative Stereo Algorithm %R AI Memo 446 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D October 1977 %P 65 %K mit aim ail %O See ``Biol. Cybernetics'', Vol. 28, pp. 223-239, 1978 %Y unavailable except as NTIS report AD-A055099 %A Eugene Ciccarelli %T An Introduction to the EMACS Editor %R AI Memo 447 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1978 %P 23 %K mit aim ail %X EMACS is a real-time editor primarily intended for display terminals The intent of this memo is to describe EMACS in enough detail to allow a user to edit comfortably in most circumstances, knowing how to get more information if needed. Basic commands described cover buffer editing, file handling, and getting help. Two sections cover commands especially useful for editing LISP code, and text (word- and paragraph-commands). A brief "cultural interest" section describes the environment that supports EMACS commands. %Y cost: $2.75 %A Berthold K. P. Horn %T Fan-beam Reconstruction Methods %R AI Memo 448 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D November 1977 %P 43 %K mit aim ail %O See ``Proceedings of the IEEE'', Vol. 67, No. 12, pp. 1616-1623, December 1979 %Y unavailable %A Ira P. Goldstein %T The Genetic Epistemology of Rule Systems %R AI Memo 449 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1978 %P 45 %K mit aim ail %Y unavailable %A D. Marr %A T. Poggio %T A Theory of Human Stereo Vision %R AI Memo 451 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D November 1977 %P 89 %K mit aim ail %O See ``Proceedings Royal Society of London'' B., Vol. 204, 301-328, 1979 %Y unavailable except as NTIS report AD-A062564 %A Guy Lewis Steele\ Jr. %A Gerald Jay Sussman %T The Revised Report on Scheme a Dialect of LISP %R AI Memo 452 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1978 %K mit aim ail %Y cost: $2.25 %A Guy Lewis Steele\ Jr. %A Gerald Jay Sussman %T The Revised Report on Scheme a Dialect of LISP %R AI Memo 452 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1978 %P 35 %K mit aim ail %K LISP, SCHEME, LISP-like languages, lambda calculus, environments, lexical scoping, dynamic scoping, fluid variables, control structures, macros, extensible syntax, extensible languages %O also available as NTIS report AD-A062363 %X SCHEME is a dialect of LISP. It is an expression-oriented applicative order, interpreter-based language which allows one to manipulate programs as data. It differs from most current dialects of LISP in that it closes all lambda-expressions in the environment of their definition or declaration, rather than in the execution environment. This has the consequence that variables are normally lexically scoped, as in ALGOL. However, in contrast with ALGOL, SCHEME treats procedures as a first-class data type. They can be the values of variables, the returned values of procedures, and components of data structures. Another difference from LISP is that SCHEME is implemented in such a way that tail-recursions execute without net growth of the interpreter stack. The effect of this is that a procedure call behaves like a GOTO, and thus procedure calls can be used to implement iterations, as in PLASMA. Here we give a complete "user manual" for the SCHEME language. Some features described here were not documented in the original report on SCHEME (for instance particular macros). Other features have been added, changed or deleted as our understanding of certain language issues evolved. Annotations to the manual describe the motivations for these changes. %Y cost: $2.25 %A Guy Lewis Steele\ Jr. %A Gerald Jay Sussman %T The Art of the Interpreter or, The Modularity Complex (Parts Zero, One, and Two) %R AI Memo 453 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1978 %P 75 %K mit aim ail %K abstraction, actors, applicative order, bindings, control structures, debugging, dynamic scoping, environments, fluid variables, FUNARG problem, functional objects, interactive programming, lambda calculus, lexical scoping, LISP, modularity, procedural data, recursion equations, referential transparency, SCHEME, side effects, static scoping, structured programming %X We examine the effects of various language design decisions on the programming styles available to a user of the language, with particular emphasis on the ability to incrementally construct modular systems. At each step we exhibit an interactive meta-circular interpreter for the language under consideration. Each new interpreter is the result of an incremental change to a previous interpreter. We explore the consequences of various variable binding disciplines and the introduction of side effects. We find that dynamic scoping is unsuitable for constructing procedural abstractions, but has another role as an agent of modularity, being a structured form of side effect. More general side effects are also found to be necessary to promote modular style. We find that the notion of side effect and the notion of equaltiy (object identity) are mutually constraining; to define one is to define the other. The interpreters we exhibit are all written in a simple dialect of LISP, and all implement LISP-like languages. A subset of these interpreters constitute a partial historical reconstruction of the actual evolution of LISP. %Y cost: $3.00, also available as NTIS report AD-A062925 %A Henry G. Baker\ Jr. %A Carl Hewitt %T The Incremental Garbage Collection of Processes %R AI Memo 454 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1977 %P 11 %K mit aim ail %Y unavailable except as NTIS report AD-A052-445 %A Howard E. Shrobe %T Floyd-Hoare Verifiers `Considered Harmful' %R AI Memo 456 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1978 %P 27 %K mit aim ail %A Berthold K. P. Horn %A Marc H. Raibert %T Configuration Space Control %R AI Memo 458 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D December 1977 %P 37 %K mit aim ail %O See ``The Industrial Robot'', Vol. 5, No. 2, June 1978, pp. 69-73 %Y unavailable except as NTIS report AD-A055668 %A Charles Rich %A Howard E. Shrobe %A Richard C. Waters %A Gerald J. Sussman %A Carl E. Hewitt %T Programming Viewed as an Engineering Activity %R AI Memo 459 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1978 %P 52 %K mit aim ail %Y unavailable except as NTIS report AD-A052307 %A An NSF Sponsored 12-Month Project %T Assessment and Documentation of a Children's Computer Laboratory %R AI Memo 460 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1977 %P 27 %K mit aim ail %O See Logo Memo 48 %Y unavailable as AI Memo %A Jon Doyle %T A Glimpse of Truth Maintenance %R AI Memo 461 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D February 1978 %P 14 %K mit aim ail %O Revised November 1978 %Y unavailable except as NTIS report AD-A052308 %A Jon Doyle %T A Glimpse of Truth Maintenance %R AI Memo 461A %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D November 1978 %P 16 %K mit aim ail %O Replaced by AI Memo 521 %Y unavailable %A William R. Swartout %T A Comparison of PARSIFAL with Augmented Transition Networks %R AI Memo 462 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D March 1978 %P 20 %K mit aim ail %Y unavailable %A Thomas M. Strat %T Shaded Perspective Images of Terrain %R AI Memo 463 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D March 1978 %P 37 %K mit aim ail %Y unavailable except as NTIS report AD-A055070 %A Carl Hewitt %T Comparative Schematology %R AI Memo 464 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1978 %P 11 %K mit aim ail %Y unavailable except as NTIS report AD-A062699 %A Berthold K.P. Horn %A Robert J. Woodham %T LANDSAT MSS Coordinate Transformations %R AI Memo 465 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D February 1978 %P 54 %K mit aim ail :unavailable %Y unavailable except as NTIS report AD-A078418 %A Steven Rosenberg %A Herbert A. Simon %T Modeling Semantic Memory: Effects of Presenting Semantic Information in Different Modalities %R AI Memo 466 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %P 34 %K mit aim ail %Y unavailable %A Berthold K. P. Horn %A Robert J. Woodham %T Destriping Satellite Images %R AI Memo 467 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D March 1978 %P 30 %K mit aim ail %O See ``Computer Graphics and Image Processing'', Vol. 10, No. 1, May 1979, pp. 69-83 %Y unavailable except as NTIS report AD-A062263 %A Candace Sidner %T A Progress Report on the Discourse and Reference Components of PAL %R AI Memo 468 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D April 1978 %P 17 %K mit aim ail :unavailable %O (unavailable except as NTIS report AD-A055046) %A David A. McAllester %T A Three Valued Truth Maintenance System %R AI Memo 473 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1978 %P 31 %K mit aim ail %X Truth maintenance systems have been used in recently developed problem solving systems. A truth maintenance system (TMS) is designed to be used by deductive systems to maintain the logical relations among the beliefs which those systems manipulate. These relations are used to a more flexible context mechanism than has been present in earlier artificial intelligence systems. The relations among beliefs can also be used to directly trace the source of contradictions or failures, resulting in far more efficient backtracking. %Y cost: $2.25, also available as NTIS report AD-A062176 %A S. Ullman %T The Interpretation of Structure from Motion %R AI Memo 476 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D October 1976 %P 35 %K mit aim ail %O See ``Proc. Royal Society of London B, 203'' pp. 405-426, 1979 %Y unavailable except as NTIS report AD-A062814 %A David Wayne Ihrie %T Analysis of Synthetic Students as a Model of Human Behavior %R AI Memo 477 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1978 %P 99 %K mit aim ail %Y unavailable %A Berthold K. P. Horn %A Ken-ichi Hirokawa %A Vijay V. Vazirani %T Dynamics of a Three Degree of Freedom Kinematic Chain %R AI Memo 478 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D October 1977 %P 59 %K mit aim ail %O Replaces A.I. Working Paper 155, %X In order to be able to design a control system for high-speed control of mechanical manipulators, it is necessary to understand properly their dynamics. Here we present an analysis of a detailed model of a three-link device which may be viewed as either a "leg" in a locomotory system, or the first three degrees of freedom of an "arm" providing for its gross motions. The equations of motion are shown to be non-trivial, yet manageable. %Y cost: $2.75, also available as NTIS report AD-A055612 %A Robert J. Woodham %T Photometric Stereo %R AI Memo 479 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1978 %P 20 %K mit aim ail :unavailable %O See "Photometric Methods for Determining Surface Orientation from Multiple Images", ``Optical Engineering'', Jan.-Feb. 1980, Vol. 19, No. 1, pp. 139-144 %Y unavailable except as NTIS report AD-A062379 %A Kenneth M. Kahn %A Carl Hewitt %T Dynamic Graphics Using QuasiParallelism %R AI Memo 480 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1978 %P 20 %K mit aim ail %Y unavailable %A Kenneth M. Kahn %T Director Guide %R AI Memo 482 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1978 %K mit aim ail %Y unavailable %A Kenneth M. Kahn %T Director Guide %R AI Memo 482B %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %P 104 %K mit aim ail %O Revised July 1979 %Y unavailable %A Members of the LOGO Project %T Interim Report of the LOGO Project in the Brookline Public Schools %R AI Memo 484 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1978 %P 207 %K mit aim ail %O See Logo Memo 49 %Y unavailable as AI Memo %A Johan de Kleer %A Gerald Jay Sussman %T Propagation of Constraints Applied to Circuit Synthesis %R AI Memo 485 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1978 %P 28 %K mit aim ail %O See ``International Journal of Circuit Theory'', Vol. 8, No. 2, pp. 127-144, April 1980 %Y unavailable as AI Memo %A Drew McDermott %A Jon Doyle %T Non-Monotonic Logic I %R AI Memo 486 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1978 %P 38 %K mit aim ail %Y unavailable %A Drew McDermott %A Jon Doyle %T Non-Monotonic Logic I %R AI Memo 486A %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %P 37 %K mit aim ail %O Revised January 1979 %Y unavailable %A Drew McDermott %A Jon Doyle %T Non-Monotonic Logic I %R AI Memo 486B %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D July 1979 %P 37 %K mit aim ail :unavailable %O See ``Artificial Intelligence Journal'', Vol. B, pp. 41-72, 1980 %Y unavailable except as NTIS report AD-A078395 %A Edwina Rissland Michener %T Understanding Understanding Mathematics %R AI Memo 488 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1978 %P 27 %K mit aim ail %O See Logo Memo 50 %Y unavailable as AI Memo %A Berthold K.P. Horn %A Robert J. Woodham %A William M. Silver %T Determining Shape and Reflectance Using Multiple Images %R AI Memo 490 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1978 %P 9 %K mit aim ail :unavailable %Y unavailable except as NTIS report AD-A062380 %A D. Marr %T Bandpass Channels, Zero-Crossings, and Early Visual Information Processing %R AI Memo 491 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1978 %P 8 %K mit aim ail :unavailable %O See ``Journal Opt. Soc. Am.'', 69, pp. 914-916, 1979, also available as NTIS report AD-A062338 %A Brian Cantwell Smith %T A Proposal for a Computational Model of Anatomical And Physiological Reasoning %R AI Memo 493 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D November 1978 %P 48 %K mit aim ail %Y unavailable %A Ira Goldstein %T Developing a Computational Representation for Problem Solving Skills %R AI Memo 495 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D October 1978 %P 31 %K mit aim ail %Y unavailable %A Seymour A. Papert %A Sylvia Weir %T Information Prosthetics for the Handicapped %R AI Memo 496 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1978 %P 33 %K mit aim ail %O See Logo Memo 51 %Y unavailable as AI Memo %A Berthold K.P. Horn %A Robert W. Sjoberg %T Calculating the Reflectance Map %R AI Memo 498 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D October 1978 %P 30 %K mit aim ail :unavailable %O See ``Applied Optics'', Vol. 18, No. 11, pp. 1770-1779, June 1979 %Y unavailable except as NTIS report AD-A078059 %A Johan de Kleer %T Causal Reasoning and Rationalization in Electronics %R AI Memo 499 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1978 %P 38 %K mit aim ail %Y unavailable %A Guy Lewis Steele\ Jr. %A Gerald Jay Sussman %T Constraints %R AI Memo 502 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D November 1978 %P 33 %K mit aim ail %O See ``Proceedings APL 79 Conference'', SIGPLAN Technical Committee on APL, June 1979 %Y unavailable as AI Memo %A Gerald Jay Sussman %A Guy Lewis Steele\ Jr. %T Constraints - A Language for Expressing Almost-Hierarchical Descriptions %R AI Memo 502A %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1981 %P 40 %K mit aim ail %O Replaces Memos 433 and 502. See ``Artificial Intelligence Journal'', Vol. 14, pp. 1-39, 1980 %X We present an interactive system organized around networks of constraints rather than the programs which manipulate them. We describe a language of hierarchical constraint networks. We describe one method of deriving useful consequences of a set of constraints which we call propagation. Dependence analysis is used to spot and track down inconsistent subsets of a constraint set. Propagation of constraints is most flexible and useful when coupled with the ability to perform symbolic manipulations on algebraic expressions. Such manipulations are in turn best expressed as alterations or augmentations of the constraint network. Almost-Hierarchical Constraint Networks can be constructed to represent the multiple viewpoints used by engineers in the synthesis and analysis of electrical networks. These multiple viewpoints are used in terminal equivalence and power arguments to reduce the apparent synergy in a circuit so that it can be attacked algebraically. %Y cost: $2.25 %A Carl Hewitt %A Giuseppe Attardi %A Henry Lieberman %T Specifying and Proving Properties of Guardians for Distributed Systems %R AI Memo 505 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1979 %P 45 %K mit aim ail %O See ``Proceedings of the International Symposium on Semantics of Concurrent Computation'', Lecture Notes in Computer Science, Vol. 70, pp. 316-336, Springer-Verlag, July 2-4, 1979 %Y unavailable as AI Memo %A Charles Rich %A Howard E. Shrobe, %A Richard C. Waters %T Computer Aided Evolutionary Design for Software Engineering %R AI Memo 506 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1979 %P 22 %K mit aim ail :unavailable %Y unavailable except as NTIS report AD-A078060 %A Howard E. Shrobe %A Richard C. Waters %A Gerald Jay Sussman %T A Hypothetical Monologue Illustrating the Knowledge Underlying Program Analysis %R AI Memo 507 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D January 1979 %P 27 %K mit aim ail :unavailable %O (unavailable except as NTIS report AD-A092294) %A W.E.L. Grimson %T Differential Geometry, Surface Patches and Convergence Methods %R AI Memo 510 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D February 1979 %P 37 %K mit aim ail :unavailable %K coons, differential geometry, iterative convergence methods, surface patches, stereo vision %Y unavailable except as NTIS report AD-A078061 %A Kenneth M. Kahn %T Making Aesthetic Choices %R AI Memo 513 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D March 1979 %P 24 %K mit aim ail %Y unavailable %A Guy Lewis Steele\ Jr. %A Gerald Jay Sussman %T Design of LISP-based Processors, or SCHEME: A Dielectric LISP, or Finite Memories Considered Harmful, or LAMBDA: The Ultimate Opcode %R AI Memo 514 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D March 1979 %P 75 %K mit aim ail %O See ``Communications of the ACM'', Vol. 23, No. 11, November 1980 %X We present a design for a class of computers whose "instruction sets" are based on LISP. LISP, like traditional stored-program machine languages and unlike most high-level languages, conceptually stores programs and data in the same way and explicitly allows programs to be manipulated as data. LISP is therefore a suitable language around which to design a stored-program computer architecture. We describe here the basic ideas behind the architecture, and for concreteness give a specific instruction set (on which variations are certainly possible). We also discuss the similarities and differences between these ideas and those of traditional architectures. %Y cost: $3.00 %A Marvin Minsky %T K-Lines: A Theory of Memory %R AI Memo 516 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1979 %P 23 %K mit aim ail %X When you get an idea and want to "remember" it, you create a "K-line" for it. When later activated, the K-line induces a partial mental state resembling the one that created it. A "partial mental state" is a subset of those mental agencies operating at one moment. This view leads to many ideas about the development, structure, and physiology of Memory, and about how to implement frame-like representations in a distributed processor. %Y cost: $2.25, also available as NTIS report AD-A078116 %A Anna R. Bruss %T Some Properties of Discontinuities in the Image Irradiance Equation %R AI Memo 517 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D April 1979 %P 42 %K mit aim ail %O available as NTIS report AD-A078062 %Y unavailable %A D. Marr %A E. Hildreth %T Theory of Edge Detection %R AI Memo 518 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D April 1979 %P 63 %K mit aim ail :unavailable %O See ``Proc. Royal Society of London B.'' 207, pp. 187-217, 1980 %Y unavailable except as NTIS report AD-A078063 %A Richard M. Stallman %T EMACS: The Extensible, Customizable, Self-Documenting Display Editor %R AI Memo 519 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1979 %K mit aim ail :unavailable %Y unavailable except as NTIS report AD-A078064 %A Richard M. Stallman %T EMACS: The Extensible, Customizable, Self-Documenting Display Editor %R AI Memo 519A %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %P 29 %K mit aim ail %K display, editor, extensible, interactive, self-documenting %O Revised March 1981 %X EMACS is a display editor which is implemented in an interpreted high level language. This allows users to extend the editor by replacing parts of it, to experiment with alternative command languages, and to share extensions which are generally useful. The ease of extension has contributed to the growth of a large set of useful features. This paper describes the organization of the EMACS system, emphasizing the way in which extensibility is achieved and used. %Y cost: $2.25, also available as NTIS report AD-A097914 %A Patrick H. Winston %T Learning And Reasoning By Analogy: The Details %R AI Memo 520 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D April 1979 %P 65 %K mit aim ail %O Revised May 1980, See ``Communications of the ACM'', December 1980, Volume 23, Number 12 %X We use analogy when we say something is a Cinderella story and when we learn about resistors by thinking about water pipes. Experts use analogy when they learn Economics, Medicine, and Law. This paper presents a theory of analogy and describes an implemented system that embodies the theory. The specific competence to be understood is that of using analogies to deal with an unfamiliar situation. A teacher may supply the analogy or may not. The analogy may be between situations in a single domain or between situations in very different domains. %Y cost: $3.00, also available as NTIS report AD-A078123 %A Jon Doyle %T A Truth Maintenance System %R AI Memo 521 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1979 %P 45 %K mit aim ail %O Replaces AI Memo 461a. See ``Artificial Intelligence Journal'', Vol. 12, pp. 231-272, 1979 %Y unavailable except as NTIS report AD-A078419) %A Kent. A. Stevens %T Constraints on the Visual Interpretation of Surface Contours %R AI Memo 522 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D March 1979 %K mit aim ail %O See ``Artificial Intelligence'', Special Issue on Vision, 1981 %Y unavailable as AI Memo %A Jeanne Bamberger %T Logo Music Projects: Experiments in Musical Perception and Design %R AI Memo 523 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1979 %P 42 %K mit aim ail %O See Logo Memo 52 %Y unavailable as AI Memo %A D. Marr %A S. Ullman %T Directional Selectivity and Its Use in Early Visual Processing %R AI Memo 524 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1979 %P 63 %K mit aim ail %Y unavailable except as NTIS report AD-A078054 %A Gerald Jay Sussman %A Jack Holloway %A Thomas F. Knight\ Jr. %T Computer Aided Evolutionary Design for Digital Integrated Systems %R AI Memo 526 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1979 %P 24 %K mit aim ail %X We propose to develop a computer aided design tool which can help an engineer deal with system evolution from the initial phases of design right through the testing and maintenance phases. We imagine a design system which can function as a junior assistant. It provides a total conversational and graphical environment. It remembers the reasons for design choices and can retrieve and do simple deductions with them. We will develop the fundamental principles behind such a designer's assistant and we will construct a prototype system which meets many of these desiderata. %Y cost: $2.25, also available as NTIS report AD-A078124 %A Guy Lewis Steele\ Jr. %A Gerald Jay Sussman %T The Dream of a Lifetime: A Lazy Scoping Mechanism %R AI Memo 527 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D November 1979 %P 30 %K mit aim ail %O See ``1980 LISP Conference Proceedings'', August 1980 %X We demonstrate the sorts of savings one might expect by using cleverly implemented racks in the context of a particular caller-saves implementation of an interpreter for the SCHEME dialect of LISP. For sample problems we can expect that only one out of every four pushes that would be done by a conventional machine will be done by the clever version. %Y cost: $2.25 %A Thomas F. Knight %A David A. Moon %A Jack Holloway %A Guy L. Steele\ Jr. %T CADR %R AI Memo 528 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1979 %P 44 %K mit aim ail %Y unavailable %A David A. Smith %T Using Enhanced Spherical Images for Object Representation %R AI Memo 530 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1979 %P 41 %K mit aim ail %K spatial reasoning, object representation, recognition, attitude in space, machine vision, Gaussian image, surface patches %Y unavailable except as NTIS report AD-A078065 %A Mitchell P. Marcus %T An Overview of A Theory of Syntactic Recognition for Natural Language %R AI Memo 531 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D July 1979 %P 63 %K mit aim ail %Y unavailable except as NTIS report AD-A078066 %A John M. Hollerbach %T A Recursive Lagrangian Formulation of Manipulator Dynamics and a Comparative Study of Dynamics Formulation Complexity %R AI Memo 533 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D June 1979 %P 23 %K mit aim ail %K open-loop kinematic chains, manipulator dynamics, Lagrangian dynamics, recursive dynamics %O See ``IEEE Trans. on Systems, Man and Cybernetics'', Vol. SMC-10, No. 11, pp. 723-736, Nov. 1980 %X A recursive formulation of manipulator dynamics based on the Lagrange equations has been developed. The efficiency of this formulation allows the dynamics to be computed in real time. The formulation is analogous to recently developed recursive Newton-Euler dynamics and shares the latter's efficiency. A comparison of the number of adds and multiplies required under different Lagrangian, Newtonian, and tabular formulations shows that recursive formulations based either on the Lagrange or on the Newton equations offer the overall best method of dynamics calculation. %Y cost: $2.25, also available as NTIS report AD-A078067 %A Berthold K.P. Horn %T Sequins and Quills -- Representations for Surface Topography %R AI Memo 536 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D May 1979 %P 15 %K mit aim ail %Y unavailable except as NTIS report AD-A078068 %A Katsushi Ikeuchi %A Berthold K.P. Horn %T An Application of the Photometric Stereo Method %R AI Memo 539 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1979 %P 28 %K mit aim ail %K photometric stereo, hand-eye system, machine vision, reflectance map %Y unavailable except as NTIS report AD-A078125 %A D. Marr %A E. Hildreth %A T. Poggio %T Evidence for a Fifth, Smaller Channel in Early Human Vision %R AI Memo 541 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1979 %P 8 %K mit aim ail %O See ``Journal Optical Society Am. 70 (7)'', pp. 868-870, July 1980 %Y also available as NTIS report AD-A077916 %A Luc Steels %T Procedural Attachment %R AI Memo 543 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D August 1979 %P 21 %K mit aim ail %Y unavailable %A Marvin Minsky %T Toward a Remotely-Manned Energy and Production Economy %R AI Memo 544 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1979 %P 19 %K mit aim ail %K robots, productivity, teleoperator %Y unavailable except as NTIS report AD-A078069 %A Seymour Papert %A Daniel Watt %A Andrea diSessa %A Sylvia Weir %T Final Report of the Brookline LOGO Project Part II: Project Summary and Data Analysis %R AI Memo 545 %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %K mit aim ail %I Artificial Intelligence Laboratory, Massachusetts Institute of Technology %D September 1979 %P 222 %K mit aim ail %O See Logo Memo 53 %Y unavailable as AI Memo