On the Embeddability of Production Rules in Object-Oriented Languages

This article addresses the problem of embeddability of object-oriented production systems. We propose five important practical issues concerning embeddability, among which the impedance mismatch problem. We described an extension of Smalltalk to support production rules (the NeOpus system) and discuss its embeddability according to these criteria.

[1]  F. Ashcroft,et al.  VIII. References , 1955 .

[2]  Elaine Kant,et al.  Programming expert systems in OPS5 , 1985 .

[3]  Nancy Martin,et al.  Programming Expert Systems in OPS5 - An Introduction to Rule-Based Programming(1) , 1985, Int. CMG Conference.

[4]  Robert G. Atkinson,et al.  Opus: A Smalltalk production system , 1987, OOPSLA '87.

[5]  Jane Laursen,et al.  Opus: A Smalltalk production system , 1987, OOPSLA 1987.

[6]  Wilf R. LaLonde,et al.  Building a backtracking facility in smalltalk without kernel support , 1988, OOPSLA '88.

[7]  李幼升,et al.  Ph , 1989 .

[8]  Jean-Pierre Briot,et al.  Actalk: A Testbed for Classifying and Designing Actor Languages in the Smalltalk-80 Environment , 1989, ECOOP.

[9]  John Domingue,et al.  A New Metaphor for the Graphical Explanation of Forward-Chaining Rule Execution , 1989, IJCAI.

[10]  Mark S. Fox Looking for the AI in Software Engineering: An Applications Perspective , 1990, AAAI.

[11]  Robert Balzer AI and Software Engineering: Will the Twain Ever Meet? , 1990, AAAI.

[12]  François Pachet A Meta-level Architecture for the Analysis of Jazz Chord Sequences , 1991, ICMC.

[13]  François Pachet LAFORIA,et al.  Rule Base Inheritance , 1992 .

[14]  François Pachet,et al.  Representation of a Medical Expertise using the Smalltalk Environment: Putting a Prototype to Work , 1992, TOOLS.

[15]  Daniel P. Miranker,et al.  The C++ Embeddable Rule System , 1993, Int. J. Artif. Intell. Tools.

[16]  François Pachet,et al.  Rule firing with metarules , 1994, SEKE.

[17]  Craig Jones,et al.  Embedding of Rule-based Expert System Capabilities in Object-Oriented Applications by Using or Simulating Active Behaviour , 1994, TOOLS.

[18]  Philippe Laublet Hybrid knowledge representation and theorem proving in mathematics , 1994 .