Browsing AI Memos (1959 - 2004) by Author "Kleer, Johan de"

Now showing items 1-3 of 3

    • AMORD: A Deductive Procedure System 

      Kleer, Johan de; Doyle, Jon; Rich, Charles; Steele, Guy L., Jr.; Sussman, Gerald Jay (1978-01-01)
      We have implemented an interpreter for a rule-based system, AMORD, based on a non-chronological control structure and a system of automatically maintained data-dependencies. The purpose of this paper is to serve as a ...

    • Explicit Control of Reasoning 

      Kleer, Johan de; Doyle, Jon; Steele, Guy L., Jr.; Sussman, Gerald Jay (1977-06-01)
      The construction of expert problem-solving systems requires the development of techniques for using modular representations of knowledge without encountering combinatorial explosions in the solution effort. This report ...

    • Propagation of Constraints Applied to Circuit Synthesis 

      Kleer, Johan de; Sussman, Gerald Jay (1978-09-01)
      A major component in the process of design is synthesis, the determination of the parameters of the parts of a network given desiderata for the behavior of the network as a whole. Traditional automated synthesis ...