Learning elementary formal systems

DOI10.1016/0304-3975(92)90068-QzbMath0746.68069OpenAlexW2044220326MaRDI QIDQ1186429

Takeshi Shinohara, Setsuo Arikawa, Akihiro Yamamoto

Publication date: 28 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(92)90068-q

zbMATH Keywords

language learninginductive inference algorithms

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Formal languages and automata (68Q45) Logic programming (68N17)

Related Items (20)

Hypothesis finding based on upward refinement of residue hypotheses. ⋮ Learning elementary formal systems with queries. ⋮ Advanced elementary formal systems. ⋮ Refutable language learning with a neighbor system. ⋮ Generating languages by a derivation procedure for elementary formal systems ⋮ Parsimony hierarchies for inductive inference ⋮ From learning in the limit to stochastic finite learning ⋮ Learning of erasing primitive formal systems from positive examples ⋮ Learning a subclass of regular patterns in polynomial time ⋮ Incremental learning of logic programs ⋮ On approximately identifying concept classes in the limit ⋮ Gold-Style Learning Theory ⋮ Developments from enquiries into the learnability of the pattern languages from positive data ⋮ Towards a mathematical theory of machine discovery from facts ⋮ Automatic learning from positive data and negative counterexamples ⋮ Synthesizing learners tolerating computable noisy data ⋮ Inductive inference of unbounded unions of pattern languages from positive data ⋮ The synthesis of language learners. ⋮ Incremental concept learning for bounded data mining. ⋮ Mind change complexity of learning logic programs

Cites Work

• Learning regular sets from queries and counterexamples
• A theory of the learnable
• Inductive inference of formal languages from positive data
• ELEMENTARY FORMAL SYSTEMS AND FORMAL LANGUAGES-SIMPLE FORMAL SYSTEMS
• Monadic Elementary Formal Systems
• Language identification in the limit
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Learning elementary formal systems