6533b7dafe1ef96bd126f455

RESEARCH PRODUCT

Using Attribute Grammars for Description of Inductive Inference Search Space

Ugis SarkansJanis Barzdins

subject

business.industryComputer scienceAttribute grammarInferenceContext-free grammarInductive reasoningcomputer.software_genreObject (computer science)TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESRule-based machine translationTerminal and nonterminal symbolsFormal languageSyntactic structureArtificial intelligenceL-attributed grammarbusinesscomputerNatural language processing

description

The problem of practically feasible inductive inference of functions or other objects that can be described by means of an attribute grammar is studied in this paper. In our approach based on attribute grammars various kinds of knowledge about the object to be found can be encoded, ranging from usual input/output examples to assumptions about unknown object's syntactic structure to some dynamic object's properties. We present theoretical results as well as describe the architecture of a practical inductive synthesis system based on theoretical findings.

yearjournalcountryeditionlanguage
1998-01-01
https://doi.org/10.1007/3-540-49730-7_28