AbstractAttribute grammars can be considered as an extension of context-free grammars, where the attributes are associated with grammar symbols, and the semantic rules define the values of the attributes. This formalism is widely applied for the specification and implementation of the compilation-oriented languages. The paper presents a method for learning semantic functions of attribute grammars which is a hard problem because semantic functions can also represent relations. The method uses background knowledge in learning semantic functions of

S-attributed andL-attributed grammars. The given context-free grammar and the background knowledge allow one to restrict the space of relations and give a smaller representation of data. The basic idea of this method is that the learning problem of semantic functions is transformed to a propositional form and the hypothesis induced by a propositional learner is transformed back into semantic functions.

Categories and Subject Descriptors: D.3.2 [Programming Languages]: Language Classifications; I.2.6 [Artificial Intelligence]: Learning

Additional Key Words and Phrases: attribute grammar, machine learning, inductive logic programming, attribute-value learner

Selected references

- Pierre Deransart and Jan Maluszynski. Relating logic programs and attribute grammars. Journal of Logic Programming, 2(2):119-155, July 1985.

- Saso Dzeroski and Nada Lavrac. Inductive learning in deductive databases. IEEE Transactions on Knowledge and Data Engineering, 5(6):939-949, December 1993.

- Uwe Kastens. Ordered attributed grammars. Acta Informatica, 13:229-256, 1980.

- Donald E. Knuth. Correction: Semantics of context-free languages. Mathematical Systems Theory, 5(1):95-96, 1971.

- Stephen Muggleton and Luc De Raedt. Inductive logic programming: Theory and methods. Journal of Logic Programming, 19/20:669-679, 1994.