DOCSLIB.ORG

Second International Jointconference On

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Second International Jointconference On i * SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE 1-3 September 1971 Imperial College London PROGRAM Technical Papers Accepted for the Conference E . im Ikf Ml IRE Corp .A. :27 Session Titles: A le Inf ioni slty Theoretical Foundations Via S. 44 A Theorem Proving Heuristic Problem Solving Proqramme Pattern Recognition I. General Papers artment Pattern Recognition 11. Statistical Approaches t Swansea Scene Analysis I. General Papers Scene Analysis 11. Robot Papers 0 KINGDOM* Project Robots and Integrated Systems Local Arrangements Computer Understanding Support menial Psychology Software Psychological Modeling TED KINntXIM Associative and Adaptive Models Applications Secretary/Treasurer rogramma lard ERAI Alistair D. Ho I den lectrical Engineering Department niversity of Washington Washington 98105 .A. 45-2054 Members uhei Aida Industrial Science University of Tokyo RopDong i 7, Minatoku Tokyo JAPAN Saul Amare tpartment Computer vi ngston I lege ty New New Jersey 08903 U.S.A. Is J . Nil s£>on >rd Research Ins+ftute Menlo 94025 U.S.A. Dr. Bertram Raphae Stanford Research Institute Menlo Pjrk, 94025 U.S.A. CONFERENCE Department' The British Computer Society 29 Portland Place Wl tngland UNITED KINGDOM 01-637-04 'I (TELEX 28 119 BCS LDN) Sponsored by the INTERNATIONAL JOINT COUNCIL ON ARTIFICIAL INTELLIGENCE CONFERENCECOMMITTEE General Chairman Vice-Chairman orma;: Maria, Chairman Chairman Past-General Chairman Professor C. Committee 22-1, 106, of Science Co Brunswick, Park, California California ADMINISTRATION Cunferonce London, " i * Theoretical Foundations A. Sloman, University of Sussex, U.K. Interactions Between Philosophy and Artificial Intelligence: the rule of intuition and non-logical reasoning in intelligence P. H. Millar, International Computers Limited, U.K. On Defining the Intelligence of Behaviour and Machines Terrence W. Pratt, University of Texas, U.S. A Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases Robin Milner, Stanford University, U.S.A. An Algebraic Definition of Simulation Between Programs Peter Henderson, University of Newcastle, U.K. Derived Semantics for some Programming Language Constructs Hideo Seki, University of Electro-Communications, JAPAN Improvement of Marko ' s Model Toward the Inter-Locutional Communications Theory David C. Rine, West Virginia University, U.S.A. Large Systems and Their Regular Expressions: An Approach to Pattern Recognition Theorem Proving Claude R. Brice and Jan A. Derksen, Compagnie Francaise de Petroles , FRANCE, and Stanford Research Institute, U.S.A. A Heuristically Guided Equality Rule in a Resolution Theorem Prover Louis Hodes, National Institutes of Health, U.S.A Solving Problems by Formula Manipulation in Logic and Linear Inequalities Richard C. T. Lee, National Institutes of Health, U.S.A. Fuzzy Logic and Its Application to Problem Solving Systems Robert E. Kling, Stanford Research Institute, U.S.A A Paradigm for Reasoning by Analogy W. W. Bledsoe, Robert S. Boyer , and William H. Henneman, University of Texas and Massachusetts Institute of Technology, U.S.A. Computer Proof of Limit Theorems Laurent Siklossy and Vesko Marinov, University of Texas, U.S. A Heuristic Search vs. Exhaustive Search r Heuristic Problem Solving Richard E. Fikes and Nils J. Nilsson, Stanford Research Institute ) U S A STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving Peter A. Freeman and Allen Newell, Carnegie Mellon University, U.S A A Model for Functional Reasoning in Design Patrick A. V. Hall, City University (London), U.K Branch-and-Bound and Beyond Ranan B. Baner j i and George W. Ernst, Case-Western Reserve University, U.S. A Changes in Representation which Preserve Strategies in Games Pattern Recognition I General Papers Akira Kurematsu, Manabu Takeda, and Seiichi Inoue, Kokusa Denshin Denwa Co s JAPAN A Method of Pattern Recognition Using Rewriting Rules V. I. Rybak, G. L. Gimelfarb, and E. F. Kushner , Institute of Cybernetics (Kiev), U.S.S.R. One System for Simulation of Pattern Recognition Algorithms J. C. Simon and A. Checroun, Universite de Paris, FRANCE Pattern Linguistic Analysis Invariant for Plane Transformations N. G. Zagoruyko and K. F. Samokhvalov, Academy of Sciences (Novosibirsk), U S.S R Hypothesis of Simplicity in Pattern Recognition A. H. Watt and R. L. Beurle, University of Nottingham, U.K Recognition of Hand-printed Numerals Reduced to Graph-representable Form R. M. Hodgson, G. A. Gelade, and R. L. Beurle, University of Nottingham, U.K. Visual Detection of Noisy Patterns Pattern Recognition II Statistical Approaches J. C. Simon and C. Roche, Universite de Paris, FRANCE Application of Questionnaire Theory to Pattern Recognition A. N. Radchenko, Leningrad Polytechnic Institute, U.S.S.R. Pattern Recognition by Quasi-Linguistic Translation into Artificial Noise-Resistant Language Warren L. G. Koontz and Keinosuke Fukunaga, Purdue University, U.S.A. A Nonparametric Valley-Seeking Technique for Cluster Analysis G. S. Lbov, Academy of Sciences (Novosibirsk), U.S.S.R. Training for Extremum Determination of Function of Variables Measured in Names Scale Shingo Tomita and Shoichi Noguchi , Tohoku University, JAPAN Theory of Classification for Patterns by the Karhunen-Loeve Orthogonal System without Supervisor Scene Analysis I General Papers Peter M. Will and K. S. Pennington, IBM Corporation (Yorktown Heights), U S.A Grid Coding: A Preprocessing Technique for Robot and Machine Vision Yoshiaki Shirai, Electrotechnical Laboratory, JAPAN Extraction of the Line Drawings of 3-Dimensional Objects by Sequential Illumination from Several Directions Yoshiaki Shirai, Electrotechnical Laboratory, JAPAN Recognition of Polyhedrons with a Range Finder Martin A. Fischler, Lockheed Palo Alto Research Laboratory, U.S.A Aspects of the Detection of Scene Congruence Scene Analysis II Robot Project Papers Gerald Agin and Thomas Binford, Stanford University, U.S.A Representation and Description of Complex Objects Karl K. Pingle and Jay M. Tenenbaum, Stanford University, U.S. A An Accommodating Edge Follower Gilbert Falk, Rutgers University, U.S.A. Scene Analysis Based on Imperfect Edge Data Eugene C. Freuder, Massachusetts Institute of Technology, U.S.A Line Predicates and the Object Partition Problem Arnold K. Griffith, Massachusetts Institute of Technology, U.S. A Mathematical Models for Automatic Line Detection Robots and Integrated Systems John H. Munson, Stanford Research Institute, U.S.A. Robot Planning, Execution, and Monitoring in an Uncertain Environment M. Ejiri, T. Uno, H. Yoda, T. Goto, and K. Takeyasu, Hitachi, Ltd., JAPAN An Intelligent Robot with Cognition and Decision-Making Ability Jerome Feldman, Karl Pingle, Thomas Binford, Gilbert Falk, Alan Kay, Richard Paul, Robert Sproull, and Jay Tenenbaum, Stanford University, U.S.A The Use of Vision and Manipulation to Solve the "Instant Insanity" Puzzle Shuhei Aida, N. Ivancevic, and L. Cordelia, University of Electro- Communications (Tokyo), JAPAN, and Laboratorio di Cibernetica (Naples), ITALY A Method of Visual-Tactile Symbiotic System for Stereometric Pattern Recognition Gen-ichiro Kinoshita, Shuhei Aida, and Masahiro Mori, Chuo University, University of Electro-Communications, and Tokyo Institute of Technology, JAPAN Pattern Recognition by the Artificial-Tactile Sense Richard Paul, Stanford University, U.S.A. Trajectory Control of a Computer Arm Computer Understanding Ronald M. Kaplan, Language Research Foundation and Harvard University, U S.A Psychological Models of Sentence Comprehension Terry Winograd , Massachusetts Institute of Technology, U.S.A An A. I. Approach to English Morphemic Analysis Roger C. Schank, Stanford University, U.S.A Finding the Conceptual Content and Intention in an Utterance in Natural Language Conversation Jack P. Gelb, IBM Corporation (Poughkeepsie) , U.S.A. Experiments with a Natural Language Problem-Solving System S. Ramani, Tata Institute of Fundamental Research, INDIA A Language Based Problem-Solver Stuart C. Shapiro, University of Wisconsin, U.S.A A Net Structure for Semantic Information Storage, Deduction and Retrieval Robert F. Simmons, University of Texas, U.S.A Some Relations Between Predicate Calculus and Semantic Net Representations of Discourse Nicholas V. Findler and David Chen, State University of New York (Buffalo), U S.A On the Problems of Time, Retrieval of Temporal Relations, Causality and Co-Existence Stefano Crespi-Reghizzi, Istituto di Elletrotecnica ed Elettronica Politecnico > (Milano) , ITALY Reduction of Enumeration in Grammar Acquisition Software Support Erik Sandewall, University of Uppsala, SWEDEN A Programming Tool for Management of a Predicate Calculus-Oriented Data Base Carl Hewitt, Massachusetts Institute of Technology, U.S.A. MATCHLESS a Pattern Directed Language for the Theorem Proving Formalism PLANNER Carl Hewitt, Massachusetts Institute of Technology, U.S.A Procedural Embedding in PLANNER Jerome A. Feldman and Robert F. Sproull, Stanford University and National Institutes of Health, U.S.A. System Support for the Stanford Hand-Eye System Psychological Modeling D. A. Waterman and Allen Newell , Carnegie Mellon University, U.S.A Protocol Analysis as a Task for Artificial Intelligence George W. Baylor, Universite de Montreal, CANADA Program and Protocol Analysis on a Mental Imagery Task E. S. Deutsch , University of Maryland, U.S.A. Conjectures on the Perception of Elongation E. L. Morofsky and Andrew K. C. Wong, Carnegie Mellon University, U S.A Computer Perception of Complex
Load more

Recommended publications
  • Mccarthy.Pdf
    HISTORY OF LISP John McCarthy A rtificial Intelligence Laboratory Stanford University 1. Introduction. 2. LISP prehistory - Summer 1956 through Summer 1958. This paper concentrates on the development of the basic My desire for an algebraic list processing language for ideas and distinguishes two periods - Summer 1956 through artificial intelligence work on the IBM 704 computer arose in the Summer 1958 when most of the key ideas were developed (some of summer of 1956 during the Dartmouth Summer Research Project which were implemented in the FORTRAN based FLPL), and Fall on Artificial Intelligence which was the first organized study of AL 1958 through 1962 when the programming language was During this n~eeting, Newell, Shaa, and Fimon described IPL 2, a implemented and applied to problems of artificial intelligence. list processing language for Rand Corporation's JOHNNIAC After 1962, the development of LISP became multi-stranded, and different ideas were pursued in different places. computer in which they implemented their Logic Theorist program. There was little temptation to copy IPL, because its form was based Except where I give credit to someone else for an idea or on a JOHNNIAC loader that happened to be available to them, decision, I should be regarded as tentatively claiming credit for It and because the FORTRAN idea of writing programs algebraically or else regarding it as a consequence of previous decisions. was attractive. It was immediately apparent that arbitrary However, I have made mistakes about such matters in the past, and subexpressions of symbolic expressions could be obtained by I have received very little response to requests for comments on composing the functions that extract immediate subexpresstons, and drafts of this paper.
    [Show full text]
  • ©2007 Melissa Tracey Brown ALL RIGHTS RESERVED
    ©2007 Melissa Tracey Brown ALL RIGHTS RESERVED ENLISTING MASCULINITY: GENDER AND THE RECRUITMENT OF THE ALL-VOLUNTEER FORCE by MELISSA TRACEY BROWN A Dissertation submitted to the Graduate School-New Brunswick Rutgers, The State University of New Jersey in partial fulfillment of the requirements for the degree of Doctor of Philosophy Graduate Program in Political Science written under the direction of Leela Fernandes and approved by ________________________ ________________________ ________________________ ________________________ New Brunswick, New Jersey October, 2007 ABSTRACT OF THE DISSERTATION Enlisting Masculinity: Gender and the Recruitment of the All-Volunteer Force By MELISSA TRACEY BROWN Dissertation Director: Leela Fernandes This dissertation explores how the US military branches have coped with the problem of recruiting a volunteer force in a period when masculinity, a key ideological underpinning of military service, was widely perceived to be in crisis. The central questions of this dissertation are: when the military appeals to potential recruits, does it present service in masculine terms, and if so, in what forms? How do recruiting materials construct gender as they create ideas about soldiering? Do the four service branches, each with its own history, institutional culture, and specific personnel needs, deploy gender in their recruiting materials in significantly different ways? In order to answer these questions, I collected recruiting advertisements published by the four armed forces in several magazines between 1970 and 2003 and analyzed them using an interpretive textual approach. The print ad sample was supplemented with television commercials, recruiting websites, and media coverage of recruiting. The dissertation finds that the military branches have presented several versions of masculinity, including both transformed models that are gaining dominance in the civilian sector and traditional warrior forms.
    [Show full text]
  • LISP Session
    LISP Session Chairman: Barbara Liskov Speaker: John McCarthy Discussant: Paul Abrahams PAPER: HISTORY OF LISP John McCarthy 1. Introduction This paper concentrates on the development of the basic ideas and distinguishes two periods--Summer 1956 through Summer 1958, when most of the key ideas were devel- oped (some of which were implemented in the FORTRAN-based FLPL), and Fall 1958 through 1962, when the programming language was implemented and applied to problems of artificial intelligence. After 1962, the development of LISP became multistranded, and different ideas were pursued in different places. Except where I give credit to someone else for an idea or decision, I should be regarded as tentatively claiming credit for it or else regarding it as a consequence of previous deci- sions. However, I have made mistakes about such matters in the past, and I have received very little response to requests for comments on drafts of this paper. It is particularly easy to take as obvious a feature that cost someone else considerable thought long ago. As the writing of this paper approaches its conclusion, I have become aware of additional sources of information and additional areas of uncertainty. As a programming language, LISP is characterized by the following ideas: computing with symbolic expressions rather than numbers, representation of symbolic expressions and other information by list structure in the memory of a computer, representation of in- formation in external media mostly by multilevel lists and sometimes by S-expressions, a small
    [Show full text]
  • Building the Second Mind, 1961-1980: from the Ascendancy of ARPA to the Advent of Commercial Expert Systems Copyright 2013 Rebecca E
    Building the Second Mind, 1961-1980: From the Ascendancy of ARPA to the Advent of Commercial Expert Systems copyright 2013 Rebecca E. Skinner ISBN 978 09894543-4-6 Forward Part I. Introduction Preface Chapter 1. Introduction: The Status Quo of AI in 1961 Part II. Twin Bolts of Lightning Chapter 2. The Integrated Circuit Chapter 3. The Advanced Research Projects Agency and the Foundation of the IPTO Chapter 4. Hardware, Systems and Applications in the 1960s Part II. The Belle Epoque of the 1960s Chapter 5. MIT: Work in AI in the Early and Mid-1960s Chapter 6. CMU: From the General Problem Solver to the Physical Symbol System and Production Systems Chapter 7. Stanford University and SRI Part III. The Challenges of 1970 Chapter 8. The Mansfield Amendment, “The Heilmeier Era”, and the Crisis in Research Funding Chapter 9. The AI Culture Wars: the War Inside AI and Academia Chapter 10. The AI Culture Wars: Popular Culture Part IV. Big Ideas and Hardware Improvements in the 1970s invert these and put the hardware chapter first Chapter 11. AI at MIT in the 1970s: The Semantic Fallout of NLR and Vision Chapter 12. Hardware, Software, and Applications in the 1970s Chapter 13. Big Ideas in the 1970s Chapter 14. Conclusion: the Status Quo in 1980 Chapter 15. Acknowledgements Bibliography Endnotes Forward to the Beta Edition This book continues the story initiated in Building the Second Mind: 1956 and the Origins of Artificial Intelligence Computing. Building the Second Mind, 1961-1980: From the Establishment of ARPA to the Advent of Commercial Expert Systems continues this story, through to the fortunate phase of the second decade of AI computing.
    [Show full text]
  • LISP 1.5 Programmer's Manual
    LISP 1.5 Programmer's Manual The Computation Center and Research Laboratory of Eleotronics Massachusetts Institute of Technology John McCarthy Paul W. Abrahams Daniel J. Edwards Timothy P. Hart The M. I.T. Press Massrchusetts Institute of Toohnology Cambridge, Massrchusetts The Research Laboratory af Electronics is an interdepartmental laboratory in which faculty members and graduate students from numerous academic departments conduct research. The research reported in this document was made possible in part by support extended the Massachusetts Institute of Technology, Re- search Laboratory of Electronics, jointly by the U.S. Army, the U.S. Navy (Office of Naval Research), and the U.S. Air Force (Office of Scientific Research) under Contract DA36-039-sc-78108, Department of the Army Task 3-99-25-001-08; and in part by Con- tract DA-SIG-36-039-61-G14; additional support was received from the National Science Foundation (Grant G-16526) and the National Institutes of Health (Grant MH-04737-02). Reproduction in whole or in part is permitted for any purpose of the United States Government. SECOND EDITION Elfteenth printing, 1985 ISBN 0 262 130 11 4 (paperback) PREFACE The over-all design of the LISP Programming System is the work of John McCarthy and is based on his paper NRecursiveFunctions of Symbolic Expressions and Their Com- putation by Machinett which was published in Communications of the ACM, April 1960. This manual was written by Michael I. Levin. The interpreter was programmed by Stephen B. Russell and Daniel J. Edwards. The print and read programs were written by John McCarthy, Klim Maling, Daniel J.
    [Show full text]
  • Commencement1985.Pdf (6.060Mb)
    lose of the 109th Academic Year The Johns Hopkins University May 31 , 1985 Digitized by the Internet Archive in 2012 with funding from LYRASIS Members and Sloan Foundation http://archive.org/details/commencement1985 ORDER OF PROCESSION MARSHALS Karl Alexander Jean Eichelberger Ivey Edward J. Bouwer Allyn Kimball Paul R. Daniels Shin Lin Marc Donohue H. Warren Moos Frederick Holborn Selina Sue Prosen Roger A. Horn Fred S. Schock Henry M. Seidel THE GRADUATES MARSHALS Brown Murr Frederic Davidson THE FACULTIES MARSHALS Robert E. Green John Russell-Wood THE DEANS MEMBERS OF THE SOCIETY OF SCHOLARS OFFICERS OF THE UNIVERSITY THE TRUSTEES CHIEF MARSHAL Owen M. Phillips THE CHAPLAINS THE HONORARY DEGREE CANDIDATES THE PROVOST OF THE UNIVERSITY THE CHAIRMAN OF THE BOARD OF TRUSTEES THE PRESIDENT OF THE UNIVERSITY ORDER OF EVENTS STEVEN MULLER President of the University, presiding * * * PRELUDE Gaillard Johann Hermann Schein (1586-1630) A Toye New Sa-Hoo Giles Farnaby (1565-1640) A Classical March Ludwig van Beethoven (1770-1827) PROCESSIONAL The audience is requested to stand as the Academic Procession moves into the area and to remain standing after the Invocation La Mourisque Pavane TlELMAN SUSATO ( ? -1561) Festive marches from Belshazarr, Ezio, Rinaldo and Scipione George Frideric Handel (1685-1759) THE PRESIDENT'S PROCESSION Fanfare Walter Piston (1894-1976) Marches from Judas Maccabaeus and Floridante George Frideric Handel (1685-1759) INVOCATION CLYDE R. SHALLENBERGER Director The Chaplaincy Service The Johns Hopkins Hospital * THE NATIONAL ANTHEM * GREETINGS GEORGE G. RADCLIFFE Chairman of the Board of Trustees * PRESENTATION OF NEW MEMBERS OF THE SOCIETY OF SCHOLARS Jo Eirik Asvall ThomasP.
    [Show full text]
  • A Distributed Execution Engine Supporting Data-Dependent Control flow
    A distributed execution engine supporting data-dependent control flow Derek Gordon Murray University of Cambridge Computer Laboratory King’s College July 2011 This dissertation is submitted for the degree of Doctor of Philosophy Declaration This dissertation is the result of my own work and includes nothing which is the outcome of work done in collaboration except where specifically indicated in the text. This dissertation does not exceed the regulation length of 60,000 words, including tables and footnotes. A distributed execution engine supporting data-dependent control flow Derek G. Murray Summary In computer science, data-dependent control flow is the fundamental concept that enables a machine to change its behaviour on the basis of intermediate results. This ability increases the computational power of a machine, because it enables the machine to execute iterative or recursive algorithms. In such algorithms, the amount of work is unbounded a priori, and must be determined by evaluating a fixpoint condition on successive intermediate results. For example, in the von Neumann architecture—upon which almost all modern computers are based—these algorithms can be programmed using a conditional branch instruction. A distributed execution engine is a system that runs on a network of computers, and provides the illusion of a single, reliable machine that provides a large aggregate amount of compu- tational and I/O performance. Although each individual computer in these systems is a von Neumann machine capable of data-dependent control flow, the effective computational power of a distributed execution engine is determined by the expressiveness of the execution model that describes distributed computations.
    [Show full text]
  • Annual Report
    SERVICE The Mount Sinai XX • . 1 nospitai 1949 fete?/ I 97TH ANNUAL REPORT The Mount Sinai Hospital of the City of New York 1949 CONTENTS Page Administrators and Heads of Departments 179 Bequests and Donations Contributors to the Jacobi Library 144 Dedicated Buildings 92 Donations to Social Service 90 Donations in Kind 88 Establishment of Rooms 96 Establishment of Wards 04 Endowments for General Purposes 132 Endowments for Special Purposes 128 Special —For Purposes 75 (lifts to Social Service i^g Legacies and Bequests Life Beds I22 Life Members j^g Medical Research Funds 133 Memorial Beds I2o Miscellaneous Donations 89 Perpetual Beds I0g Special Funds of The School of Nursing ^6 Tablets ^g Committees Board of Trustees Medical Board j_j Endowments, Extracts from Constitution on 203 Financial — Statement Brief Summary Insert Graduate Medical Instruction, Department of Historical Note ^ House Staff (as of January 1, 1950) 20I House Staff, Graduates of jgg Medical Board *3o Medical and Surgical Staff ^ CONTENTS ( Continued) Page Neustadter Foundation, Officers and Directors 63 Officers and Trustees Since Foundation 183 Reports Laboratories 38 Professional Services 22 Neustadter Home for Convalescents 64 Out-Patient Department 35 President 14 School of Nursing ! 52 Social Service Department 58 School of Nursing—Officers and Directors 51 Social Service Department Social Service Auxiliary—Officers and Members 57 Social Service Auxiliary—Committees and Volunteers 180 Statistical Summary 9 Statistics, Comparative 1948-1949 10 Superintendents and Directors Since 1855 187 Treasurers' Reports 67 Hospital 68 Ladies' Auxiliary 74 School of Nursing 72 Social Service Auxiliary 73 Trustees, Board of 145 The Mount Sinai Hospital is a member of the Federation of Jewish Philanthropies of New Yorj^, and a beneficiary of its fund-raising campaigns.
    [Show full text]
  • MASSACHUSETTS INSTITUTE'or TECHNOLOGY A
    MASSACHUSETTS INSTITUTE'Or TECHNOLOGY A. I. LABOAA. TORY Artificial Intelligence April 1970 Memo No. 191 Updated August 1970 BIBLIOGWHY Updated October 1970 Updated December 1970 Updated March 1971 Updated September 1971 Updated November 1971 *1-7 These are concerned with early LISP development. *8 Recursive Functions of Symbolic E22ressions and their Computation by Machine, John McCarthy, published in: Computer Programming and Formal Systems, North-Rolland Publishing Co., Amsterdam, 1963. *9-14 These are concerned with early LISP development. 15 SML - Examples of Prodfs by Recur$iortlnductioIi, John McCarthy. *16 A Question-Msweting Routine, A. V. Phillips. *17 Programs with Co_on Sense, John McCarthy. Published in Proc. Math. of Thought Processes, HMSO, 1958. Reprinted in Sema~tic Information Processing, Minsky (Ed.), M.I.T.Press~ 1968. *18 Some Re.sultsfrom a Pattern R!~ognition progra;m using LISP, Louis Hodes. *19 This is concerned with early IISP development. More information is in: The LISP 1.5 programming Manual M.I.T. Press, Cambridge, Mass. The Programming Language LISP Berkeley Enterprises,Newton, Mass. LISP 1.5 ~ri~er, Clark Weissman, Prentice Hall, Englewood Cliffs, N.J. *20 Puzzle Solving Program in. LISP, john McCarthy. *21 The Proofchecker, Paul Abrahams; see complete version in Mathematical Algorithms, April 1966, Vol.l, No.2; July 1966, Vol.l, No.3. *22-26 Cortcerned with early. LISP development. *27 Simpli~y, Tim Hart *28 .Concertied with early LISP development. 29 Introductiort to the Calculus cf Knowledge, Bertram Raphael , Nov. 1961. *Not available 2 *30 The Tree Prune (TP) Algorithm, Dec. 1961, Timllatt & Daniel Edwards, Revised Oct.
    [Show full text]
  • Complex Systems and Computational Biology Approaches to Acute In Ammation Complex Systems and Computational Biology Approaches to Acute Infl Ammation
    Yoram Vodovotz · Gary An Editors Complex Systems and Computational Biology Approaches to Acute In ammation Complex Systems and Computational Biology Approaches to Acute Infl ammation Yoram Vodovotz • Gary An Editors Complex Systems and Computational Biology Approaches to Acute Infl ammation Editors Yoram Vodovotz Gary An Department of Surgery Department of Surgery University of Pittsburgh University of Chicago Pittsburgh , PA , USA Chicago , IL , USA ISBN 978-1-4614-8007-5 ISBN 978-1-4614-8008-2 (eBook) DOI 10.1007/978-1-4614-8008-2 Springer New York Heidelberg Dordrecht London Library of Congress Control Number: 2013945078 © Springer Science+Business Media New York 2013 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifi cally the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfi lms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifi cally for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher’s location, in its current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center.
    [Show full text]
  • Mars: an Imperative/Declarative Higher-Order Programming Language with Automatic Destructive Update
    Mars An Imperative/Declarative Higher-Order Programming Language With Automatic Destructive Update Matthew Giuca Submitted in total fulfilment of the requirements of the degree of Doctor of Philosophy July 2014 Department of Computing and Information Systems The University of Melbourne i Abstract For years, we have enjoyed the robustness of programming without side-effects in lan- guages such as Haskell and Mercury. Yet in order to use languages with true referential transparency, we seem to have to give up basic imperative constructs that we have be- come accustomed to: looping constructs, variable update, destructive update of arrays, and so on. In this thesis, we explore the design of programming languages which com- bine the benefits of referential transparency with imperative-style programming. First, we present a framework for classifying programming languages according to the benefits of pure programming. Our definition applies to a wider range of languages than common terms such as “declarative” and “pure,” capturing the specific benefit of prohibiting global side-effects, without ruling out imperative programming languages. Second, we present the design and implementation for a new programming language, Mars, which allows the programmer to write imperative-style code using Python syntax, yet has the benefits of a language with referential transparency. The design philosophy behind the language, and its future directions, are discussed. Third, we note the tendency for imperative programs to use array update operations, which are very slow in a naïve implementation of any language such as Mars. We explore static analyses for automatically converting slow array copying code into fast destructive update instructions, and present the design and implementation of an optimiser for Mars, which improves on previous work by precisely handling higher-order functions, includ- ing those that both accept and return functions.
    [Show full text]
  • Division of Informatics, University of Edinburgh
    I V N E R U S E I T H Y T O H F G E R D I N B U Division of Informatics, University of Edinburgh Centre for Intelligent Systems and their Applications Strict General Setting for Building Decision Procedures into Theorem Provers by Predrag Janicic, Alan Bundy Informatics Research Report EDI-INF-RR-0097 Division of Informatics January 2001 http://www.informatics.ed.ac.uk/ Strict General Setting for Building Decision Procedures into Theorem Provers Predrag Janicic, Alan Bundy Informatics Research Report EDI-INF-RR-0097 DIVISION of INFORMATICS Centre for Intelligent Systems and their Applications January 2001 appears in Procs of ISCAR 2001 Abstract : The efficient and flexible incorporating of decision procedures into theorem provers is very important for their successful use. There are several approaches for combining and augmenting of decision procedures; some of them support handling uninterpreted functions, congruence closure, lemma invoking etc. In this paper we present a variant of one general setting for building decision procedures into theorem provers (gs framework [18]). That setting is based on macro inference rules motivated by techniques used in different approaches. The general setting enables a simple describing of different combination/augmentation schemes. In this paper, we further develop and extend this setting by an imposed ordering on the macro inference rules. That ordering leads to a ”strict setting”. It makes implementing and using variants of well-known or new schemes within this framework a very easy task even for a non-expert user. Also, this setting enables easy comparison of different combination/augmentation schemes and combination of their ideas.
    [Show full text]