Abstract
Attribute grammars were devised by Knuth as a tool for the formal specification of programming languages {2}. Almost concomitant with their development, has been their use in applications which cannot be thought as formal specifications in the strict sense. Recently, attribute grammars were proposed as a tool for knowledge representation and logic programming {5,32}. A theoretical study of the relations between attribute grammars and logic programming is provided in {7}. The use of arbitrarily complex attribute evaluation schemes is also discussed in {7} from the viewpoint of logic program’s flow control. However practical implementations of this approach have not so far appeared in the literature. The use of attribute grammars for knowledge representation was firstly proposed in {5}, where it was shown that the parsing mechanism and the semantic notation of attribute grammars can be combined to represent the control knowledge and the knowledge base of logic programs, repsectively. The practical implementation of this approach in situations where the knowledge can be expressed in the form of logic rules was described in {6,32}. Some further theoretical aspects of this last approach are included in {20}. On the application side two problems have so far been considered by the authors via the attribute grammar approach; the first concers a car-fault diagnosis problem using the possibility-necessity inexact reasoning model, and the second treats the fault diagnostic problem of a full adder circuit using the full theorem proving capabilities of an extended attribute grammar model {22,33}.
Paper originally published in issue 4:87 of Journal A.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A.V. Aho and J.D. Ullman, The Theory of Parsing, Translation and Computing, Prentice-Hall, Englewood Cliffs, NJ (1972).
D.E. Rnuth, Semantics of Context-Free Languages, Mathem. Syst. Theory, 2:127–145 (1968).
W.M. Waite and G. Goos, Compiler Construction, Springer-Verlag (1984).
D.S. Nau, Expert Computer Systems, Computer, 16 (2):63–85 (1983).
G. Papakonstantinou and J. Kontos, Knowledge representation with Attribute Grammars, The Computer Journal, 29 (3):241–245 (1986).
G. Papakonstantinou, C. Moraitis and T. Panayiotopoulos, An Attribute Grammar Interpreter as a Knowledge Engineering Tool, Angewandte Informatik, 9/86:382–388 (1986).
P. Deransart and Maluszynski, Relating Logic Programs and Attribute Grammars, J. Logic Programming, 2:119–155 (1985).
B. Arbab, Compiling Circular Attribute Grammars into Prolog, IBM J, Res. Devel. 30 (3): 294–309 (1986).
G. Papakonstantinou, An Interpreter of Attribute Gratmnaras and its Application to Waveform Analysis, IEEE Trans. Software Eng., SE-7: 279–283 (1981).
K.J. Räihä, Bibliography on Attribute Grammars, SIGPLAN Notices, 15 (5):35–44 (1980).
G.V. Bochmann, Semantic Evaluation from Left to Right, CACM, 19 (2): 55–62 (1976).
R.W. Floyd, The Syntax of Programming Languages: A Surrey, IEEE Trans. Electrom. Comp., AC 13 (4):346–353 (1964).
W.H. Tsai and K.S. Fu, Attribute Grammars, A Tool for Combining Syntactic and Statistical Approaches to Pattern Recognition, IEEE Trans. SMC, SMC-10 (12):873–885 (Dec, 1980).
J. Earley, An efficient Context-Free Parsing Algorithm, CACM, 13(2): 94–102 (1970).
E. Shortliffe, Computer-Based Medical Consultations: MYCIN, Elsevier, New York (1976).
A.P. Dempster, Upper and Lower Probabilities Induced by a Multivalued Mapping, Annals Mathem. Statistics, 38:325–339 (1967).
D. Dubois, and H. Prade, Theorie des Possibilities, Massen, Paris (1985).
H. Prade, A Computational Approach to Approximate and Plausible Reasoning with Applications to Expert Systems, IEEE Trans. PAMI, PAMI-7 (3):260–283 (1985).
C. Moraitis, G. Papakonstantinou and S. Tzafestas, Attribute Grammars as a Diagnostic Tool, in System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches, (Edited by: S. Tzaf estas, M. Singh and G. Schmidt) Vol. 2:53–62, D. Reidel, Dordrecht (1987).
C. Moraitis, Approximate and Plausible Reasoning Using Attribute Grammars, Research Report Computer Div., Natl. Tech. Univ. of Athens, Athens (1986).
M. Cayrol, H. Farreny and H. Prade, Fuzzy Pattern Matching, Kybernetes, 11:103–116, (1982).
M.E. Stickel, A Prolog Technology Theorem Prover, Proc. Intl. Symp. on logic Programming, Atlantic City, New Jersey, 211-213 (1984).
Z.D. Umrigar and V. Pitchumani, An Experiment in Programming with Full First-Order Logic, Proc. Intl. Symp. on Logic Programming, Boston, MA (1985).
W. Bibel and Ph. Jorrand (eds.), Fundamentals of Artificial Intelligences, LNCS-232, Springer-Verlag (1986).
T. Panayiotopoulos, G. Papakonstantinou and G. Stamatopoulos, An Attrinute Grammar-Based Theorem Prover, Research Report, Computer Eng. Div., Natl. Tech. Univ. of Athens, Athens (1987).
T. Panayiotopoulos, G. Papakonstantinou and G. Stamatopoulos, A Theorem Prover as a Fault Diagnostic Tool, in System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches (Edited by: S. Tzafestas, M. Singh and G. Schmidt) Vol. 2:43–52, D. Reidel, Dordrecht (1987).
M.R. Genesereth, The Use of Design Descriptions in Automated Diagnosis, ArtificialIntelligences, 24:411–436 (1984).
S.G. Tzafestas, Knowledge-Based Approach to System Modelling, Diagnosis, Supervision and Control, Proc. IFAC/IMACS Symp. on Simulation of Control Systems (Edited by I. Troch, P. Kopacek and F. Breitenecker) 17-31 (Sept., 1986).
S.G. Tzaf estas, Artificial Intelligence Techniques in Control, Proc. IMACS Symp. on AI, Expert Systems and Languages in Modelling and Smul. (Edited by C. Kulikowski and G. Ferrate) 55-67 (June, 1987).
S.G. Tzafestas, Ststem Fault Diagnosis Using the Knowledge-Based Methodology, in Fault Diagnosis in Dynamic System: Theory and Application (Edited by R. Patton, P. Frank and R. Clark) Ch. 15, Prentice Hall Intl. (UK) Ltd. (1988).
S.G. Tzafestas, A Look at the Knowledge-Based Approach to System Fault Diagnosis and Supervisory Control, in System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches (Edited by S. Tzafestas, M. Singh and G. Schmidt) Vol. 2:3–15, D. Reidel, Dordrecht (1987).
T. Panayiotopoulos, G. Papakonstantinou and G. Stamatopoulos, Attribute Grammars and Logic Programming, Angewandte, Informatik (AI-debot paper, to appear).
T. Panayiotopoulos, G. Papakonstantinou and G. Stamatopoulos, An Attribute Grammar Based Theorem Prover, Information and Software Technology (provisionally accepted).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer Science+Business Media New York
About this chapter
Cite this chapter
Papakonstantinou, G., Tzafestas, S. (1989). Attribute Grammar Approach to Knowledge-Based System Building — Application to Fault Diagnosis. In: Tzafestas, S.G. (eds) Knowledge-Based System Diagnosis, Supervision, and Control. Applied Information Technology. Springer, Boston, MA. https://doi.org/10.1007/978-1-4899-2471-1_7
Download citation
DOI: https://doi.org/10.1007/978-1-4899-2471-1_7
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4899-2473-5
Online ISBN: 978-1-4899-2471-1
eBook Packages: Springer Book Archive