Now showing items 1-20 of 291

  • Representing Semantic Information In Pulley Problems 

    Bundy, Alan; Luger, G. (1977)
  • Will It Reach the Top? Prediction in the Mechanics World. 

    Bundy, Alan (Elsevier, 1978-04)
    We describe an extension of a mechanics problem solving program to the set of “roller coaster” problems, i.e. problems about the motion of a particle on a complex path. The reasoning strategy adopted by the program is ...
  • Solving Mechanics Problems Using Meta-Level Inference 

    Bundy, Alan; Byrd, L.; Luger, G.; Mellish, C.; Palmer, M. (1979)
    In this paper we shall describe a program (MECHO), written in Prolog[14], which solves a wide range of mechanics problems from statements in both predicate calculus and English. Mecho uses the technique of meta-level ...
  • Solving Symbolic Equations with PRESS 

    Sterling, L.; Bundy, Alan; Byrd, L.; O'Keefe, R.; Silver, B. (1982)
    We outline a program, PRESS (PRolog Equation Solving System) for solving symbolic, transcendental, non-differential equations. The methods used for solving equations are described, together with the service facilities. The ...
  • What Is The Well-Dressed AI Educator Wearing Now? 

    Bundy, Alan (AAAI, 1982-03)
    A funny thing happened to me at IJCAI-81. I went to a panel on "Education in AI" and stepped back into an argument that I had thought settled several years ago. The debate was between the "scruffies," led by Roger Schank ...
  • Intelligent Front Ends 

    Bundy, Alan (1984)
    An intelligent front end is a user-friendly interface to a software package, which uses Artificial Intelligence techniques to enable the user to interact with the computer using his/her own terminology rather than that ...
  • A Generalized Interval Package and its Use for Semantic Checking 

    Bundy, Alan (Transactions on Mathematical Software, 1984-12)
  • Discovery and Reasoning in Mathematics 

    Bundy, Alan (1985)
    We discuss the automation of mathematical reasoning, surveying the abilities displayed by human mathematicians and the computational techniques available for automating these abilities. We argue the importance of the ...
  • Incidence Calculus: A Mechanism for Probabilistic Reasoning 

    Bundy, Alan (D. Reidet Publishing Company, 1985)
    Mechanisms for the automation of uncertainty are required for expert systems. Sometimes these mechanisms need to obey the properties of probabilistic reasoning. We argue that a purely numeric mechanism, ...
  • Raising the Standard of AI Products 

    Bundy, Alan; Clutterbuck, R. (1985)
    We propose a mechanism for the promotion of high-standards in commercial Artificial Intelligence products, namely an association of companies which would regulate their own membership using a code of practice and the ...
  • Correctness criteria of some algorithms for uncertain reasoning using Incidence Calculus 

    Bundy, Alan (SpringerLink, 1986-06)
    Incidence Calculus is a technique for associating uncertainty values with logical sentences. These uncertainty values are called incidences and they are sets of points, which may be thought of as representing equivalence ...
  • Special Purpose, but Domain Independent, Inference Mechanisms 

    Bundy, Alan; Byrd, L.; Mellish, C. (1987)
    vie describe a number of special purpose, but domain independent, inference mechanisms. While these rl1echanisms are limited to certain kinds of inference and illference rules, they do not rely ...
  • AI Bridges and Dreams 

    Bundy, Alan (SpringerLink, 1987-07)
    This paper is a modified version of my acceptance lecture for the 1986 SPL-Insight Award. It turned into something of a personal credo — describing my view of the nature of AI the potential social benefit of applied ...
  • The Use of Explicit Plans to Guide Inductive Proofs 

    Bundy, Alan (SpringerLink, 1988-05)
    We propose the use of explicit proof plans to guide the search for a proof in automatic theorem proving. By representing proof plans as the specifications of LCF-like tactics, [Gordon et al 79], and by recording these ...
  • The ECO Program Construction System: Ways of Increasing its Representational Power and their Effects on the User Interface 

    Robertson, D.; Uschold, M.; Bundy, Alan; Muetzelfeldt, R. (Elsevier, 1989-07)
    There is a growing interest in programs which help users with little experience of computing to construct simulation models. Much recent development work on such systems has utilized comparatively simple mathematical methods ...
  • The Use of Prolog for Improving the Rigour and Accessibility of Ecological Modelling 

    Bundy, Alan; Muetzelfeldt, R.; Robertson, D.; Uschold, M. (Elsevier, 1989-07)
    We introduce three concepts that offer considerable benefit to the process of ecological modelling: the descriptive representation of models; the explicit representation of knowledge about how to model; and the development ...
  • Turning Eureka Steps into Calculations in Automatic Program Synthesis 

    Bundy, Alan; Smaill, A.; Hesketh, J. (1990)
    A description is given of a technique called middle-out reasoning for the control of search in automatic theorem proving. The authors illustrate it use in the domain of automatic program synthesis. Programs can be synthesised ...
  • Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs 

    Bundy, Alan; van Harmelen, F.; Smaill, A.; Ireland, A. (Springer Verlag, 1990)
    In earlier papers we described a technique for automatically constructing inductive proofs, using a heuristic search control tactic called rippling-out. Further testing on harder examples has shown that the rippling-out ...
  • A Semantics for Static Type Inference 

    Plotkin, Gordon (SPRINGER VERLAG, 1991)
    Curry’s system for F-deducibility is the basis for static type inference algorithms for programming languages such as ML. If a natural “preservation of types by conversion” rule is added to Curry’s system, it becomes ...