The common structure underlying production system formalisms is developed. A variety of production system formalisms are summarized in terms of this structure. The structure is useful both for understanding existing types of production systems and for developing new ones.
Get full access to this article
View all access options for this article.
References
1.
AhoAUllmanJ, 1977Principles of Compiler Design (Addison-Wesley, Reading, Mass)
2.
BrainerdW S, 1969“Tree generating regular systems”Information and Control14217–231
3.
ChomskyN, 1957Syntactic Structures (Mouton, The Hague)
4.
ChomskyN, 1963“Formal properties of grammars” in Handbook of Mathematical Psychology 2 Eds LuceDBushEGalanterE (John Wiley, New York) pp 323–418
5.
ChomskyN, 1965Aspects of the Theory of Syntax (MIT Press, Cambridge, Mass)
6.
DarlingtonJ, 1968“Some theorem-proving strategies based on the resolution principle” in Machine Intelligence 2 Eds DaleEMichieD (Edinburgh University Press, Edinburgh) pp 57–71
7.
FuK S, 1974Syntactic Methods in Pattern Recognition (Academic Press, New York)
8.
FuK SBhargavaB, 1969“Tree systems for syntactic pattern recognition”IEEE Transactions on Computers221087–1099
9.
GallerBPerlisA, 1970A View of Programming Languages (Addison-Wesley, Reading, Mass)
10.
GipsJ, 1975Shape Grammars and Their Uses (Birkhauser, Basel)
11.
HermanG TRozenbergG, 1975Developmental Systems and Languages (North-Holland, Amsterdam)
12.
HopcroftJUllmanJ, 1969Formal Languages and Their Relation to Automata (Addison-Wesley, Reading, Mass)
13.
KrishnamurtiR, 1979“3-rectangulations: An algorithm to generate box packings”Environment and Planning B6331–351
14.
LindenmayerA, 1968“Mathematical models for cellular interactions in development I and II”Journal of Theoretical Biology18280–299, 300–315
15.
LindenmayerA, 1975“Developmental algorithms for multicellular organism: A survey of L-systems”Journal of Theoretical Biology543–22
16.
MarchL, 1979“Editorial”Environment and Planning B6121–122
17.
MarchLSteadmanJ P, 1971The Geometry of Environment (Royal Institute of British Architects, London)
18.
MarchLSteadmanJ P, 1978“From descriptive geometry to configurational engineering” in Proceedings International Conference on Descriptive Geometry Ed. HilliardG K (American Society for Engineering Education, Washington, DC) pp 21–24
19.
MarkovA, 1971The Theory of Algorithms (Israel Program for Scientific Translations, Jerusalem); translation of Teoriya Algorifmov1954 (National Academy of Sciences, Moscow)
20.
MercerARosenfeldA, 1973“An array grammar programming system”Communications of the ACM16299–305
21.
MilgramDRosenfeldA, 1972“Array automata and array grammars” in Information Processing 71 Ed. FreimanC V (North-Holland, Amsterdam)
22.
MinskyM, 1967Computation: Finite and Infinite Machines (Prentice-Hall, Englewood Cliffs, NJ)
23.
NewellA, 1972“A theoretical exploration of mechanisms for coding the stimulus” in Coding Processes in Human Memory Eds MeltonAMartinE (V H Winston, Washington, DC)
24.
NewellA, 1973“Production systems: Models of control structures” in Visual Information Processing Ed. ChaseW (Academic Press, New York) pp 463–526
25.
NewellASimonH, 1972Human Problem Solving (Prentice-Hall, Englewood Cliffs, NJ)
26.
PavlidisT, 1972“Linear and context-free graph grammars”Journal of the ACM1911–22
27.
PostE, 1943“Formal reductions of the general combinatorial decision problems”American Journal of Mathematics65197–268
28.
RobinsonJ, 1965“A machine-oriented logic based on the resolution principle”Journal of the ACM1223–41
29.
SchenkerH, 1935Der Freie Satz (Universal, Vienna)
30.
StinyG, 1975Pictorial and Formal Aspects of Shape and Shape Grammars (Birkhauser, Basel)
31.
StinyG, 1977“Ice-ray: A note on the generation of Chinese lattice designs”Environment and Planning B489–98
32.
StinyGThe Grammar of Form (Pion, London) forthcoming
33.
StinyGGipsJ, 1972“Shape grammars and the generative specification of painting and sculpture” in Information Processing 71 Ed. FreimanC V (North-Holland, Amsterdam) pp 1460–1465
34.
StinyGGipsJ, 1978Algorithmic Aesthetics (University of California Press, Berkeley)
35.
StinyGMitchellW J, 1978“The Palladian grammar”Environment and Planning B55–18
36.
TuringA M, 1936“On computable numbers with an application to the Entscheidungsproblem”Proceedings London Mathematical Society, Series 242230–265
37.
WatermanDHayes-RothF (Eds), 1978Pattern-Directed Inference Systems (Academic Press, New York)
