## The Art of the Propagator (2008)

Citations: | 8 - 2 self |

### BibTeX

@MISC{Radul08theart,

author = {Alexey Radul and Gerald Jay Sussman and Alexey Radul and Gerald Jay Sussman},

title = {The Art of the Propagator},

year = {2008}

}

### OpenURL

### Abstract

We develop a programming model built on the idea that the basic computational elements are autonomous machines interconnected by shared cells through which they communicate. Each machine continuously examines the cells it is interested in, and adds information to some based on deductions it can make from information from the others. This model makes it easy to smoothly combine expressionoriented and constraint-based programming; it also easily accommodates implicit incremental distributed search in ordinary programs.

### Citations

242 |
Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
- Stallman, Sussman
- 1977
(Show Context)
Citation Context ...onsistent premises. The system can then “chuckle”, realizing that no computations supported by any superset of those premises can be believed. This chuckling process, DependencyDirected Backtracking, =-=[18, 14, 21]-=-, can be used to optimize a complex search process, allowing a search to make the best use of its mistakes. But enabling a process to simultaneously hold beliefs based on mutually inconsistent sets of... |

202 | A Basis for a Mathematical Theory of Computation
- McCarthy
- 1963
(Show Context)
Citation Context ...he disadvantage of returning only one solution is that it may not be the right one for the receiver’s purpose. A better way to handle this is to build a backtracking mechanism into the infrastructure.=-=[10, 13, 16, 2, 17]-=- The square-root procedure should return one of the roots, with the option to change its mind and return the other one if the first choice is determined to be inappropriate by the receiver. It is, and... |

90 | Predicate dispatching: A unified theory of dispatch
- Ernst, Kaplan, et al.
- 1998
(Show Context)
Citation Context ...ist of predicates, and extends the named generic procedure to invoke the given method if the supplied arguments are all accepted by the given predicates, in order. This is a predicate dispatch system =-=[8]-=-. (assign-operation ’merge (lambda (content increment) content) any? nothing?) (assign-operation ’merge (lambda (content increment) increment) nothing? any?) Together with the default operation on mer... |

84 |
ThingLab: A Constraint-Oriented Simulation Laboratory
- Borning
- 1979
(Show Context)
Citation Context ...tion is that it 14lets us build systems with a much broader range of possible information flows. What would happen, for instance, if we augmented our arithmetic to impose a relation, or a constraint =-=[19, 3, 20]-=- if you will, rather than computing a single “output” from the available “inputs”? To do that, we just stack appropriate mutual inverses on top of each other: (define (product x y total) (multiplier x... |

60 | Nondeterministic Algorithms
- Floyd
- 1967
(Show Context)
Citation Context ...he disadvantage of returning only one solution is that it may not be the right one for the receiver’s purpose. A better way to handle this is to build a backtracking mechanism into the infrastructure.=-=[10, 13, 16, 2, 17]-=- The square-root procedure should return one of the roots, with the option to change its mind and return the other one if the first choice is determined to be inappropriate by the receiver. It is, and... |

57 |
and Johan de Kleer. Building Problem Solvers
- Forbus
- 1993
(Show Context)
Citation Context ...s a subset of the data that is supported by a given set of explicit assumptions. Each computational process may restrict itself to working with some consistent world view. A Truth Maintenance System, =-=[7, 15, 11]-=-, is a mechanism for implementing world views. If a contradiction is discovered, a process can determine the particular “nogood set” of inconsistent premises. The system can then “chuckle”, realizing ... |

54 |
with Julie Sussman: Structure and Interpretation of Computer Programs
- Abelson, Sussman
- 1985
(Show Context)
Citation Context ...he disadvantage of returning only one solution is that it may not be the right one for the receiver’s purpose. A better way to handle this is to build a backtracking mechanism into the infrastructure.=-=[10, 13, 16, 2, 17]-=- The square-root procedure should return one of the roots, with the option to change its mind and return the other one if the first choice is determined to be inappropriate by the receiver. It is, and... |

42 |
Planner: A language for proving theorems in robots
- Hewitt
- 1969
(Show Context)
Citation Context |

32 | D.: Screamer: A portable efficient implementation of nondeterministic common lisp. Ircs technical reports series
- Siskind, McAllester
- 1993
(Show Context)
Citation Context |

31 |
Truth Maintenance Systems for Problem Solving
- Doyle
- 1978
(Show Context)
Citation Context ...s a subset of the data that is supported by a given set of explicit assumptions. Each computational process may restrict itself to working with some consistent world view. A Truth Maintenance System, =-=[7, 15, 11]-=-, is a mechanism for implementing world views. If a contradiction is discovered, a process can determine the particular “nogood set” of inconsistent premises. The system can then “chuckle”, realizing ... |

25 |
A Three Valued Truth Maintenance System
- McAllester
- 1978
(Show Context)
Citation Context ...s a subset of the data that is supported by a given set of explicit assumptions. Each computational process may restrict itself to working with some consistent world view. A Truth Maintenance System, =-=[7, 15, 11]-=-, is a mechanism for implementing world views. If a contradiction is discovered, a process can determine the particular “nogood set” of inconsistent premises. The system can then “chuckle”, realizing ... |

21 |
Local Methods for Localizing Faults in Electronic Circuits
- Kleer
- 1976
(Show Context)
Citation Context ...constraining information from multiple sources; since each source authoritatively asserts that the cell’s value must be within its limits, the net effect is that the intervals need to be intersected. =-=[4, 5]-=- To make this example concrete, consider the famous problem of measuring the height of a building by means of a barometer. A great variety of solutions are known; let us start with dropping it off the... |

21 |
CONSTRAINTS—A language for expressing almost hierarchical descriptions
- Sussman, Steele
- 1980
(Show Context)
Citation Context ...tion is that it 14lets us build systems with a much broader range of possible information flows. What would happen, for instance, if we augmented our arithmetic to impose a relation, or a constraint =-=[19, 3, 20]-=- if you will, rather than computing a single “output” from the available “inputs”? To do that, we just stack appropriate mutual inverses on top of each other: (define (product x y total) (multiplier x... |

16 | Non-deterministic lisp with dependency-directed backtracking
- ZABIH, MCALLESTER, et al.
- 1987
(Show Context)
Citation Context ...onsistent premises. The system can then “chuckle”, realizing that no computations supported by any superset of those premises can be believed. This chuckling process, DependencyDirected Backtracking, =-=[18, 14, 21]-=-, can be used to optimize a complex search process, allowing a search to make the best use of its mistakes. But enabling a process to simultaneously hold beliefs based on mutually inconsistent sets of... |

14 |
The Definition and Implementation of a Computer Programming Language Based on Constraints
- Jr, L
- 1980
(Show Context)
Citation Context ...noriented and constraint-based programming; it also easily accommodates implicit incremental distributed search in ordinary programs. This work builds on the original research of Guy Lewis Steele Jr. =-=[19]-=- and was developed more recently with the help of Chris Hanson. 0 This document, together with complete supporting code, is available as an MIT CSAIL Technical Report via http://dspace.mit.edu. 1Cont... |

7 |
Model-based diagnosis
- Kleer, Brown
- 1992
(Show Context)
Citation Context ...constraining information from multiple sources; since each source authoritatively asserts that the cell’s value must be within its limits, the net effect is that the intervals need to be intersected. =-=[4, 5]-=- To make this example concrete, consider the famous problem of measuring the height of a building by means of a barometer. A great variety of solutions are known; let us start with dropping it off the... |

1 |
Superior Mathematical Puzzles, with Detailed Solutions
- Dinesman
- 1968
(Show Context)
Citation Context ...o that it can learn from the mistake and avoid repeating it in the future. We illustrate this idea with some information about the building’s occupants we have gleaned, with due apologies to Dinesman =-=[6]-=-, from the chatty superintendent while we were discussing barometric transactions: 33Baker, Cooper, Fletcher, Miller, and Smith live on the first five floors of this apartment house. Baker does not l... |

1 |
Information Condensation of Models in the Propositional Calculus and the P=NP Problem
- Lieberherr
- 1977
(Show Context)
Citation Context ...onsistent premises. The system can then “chuckle”, realizing that no computations supported by any superset of those premises can be believed. This chuckling process, DependencyDirected Backtracking, =-=[17, 13, 20]-=-, can be used to optimize a complex search process, allowing a search to make the best use of its mistakes. But enabling a process to simultaneously hold beliefs based on mutually inconsistent sets of... |