Towards a mathematical theory of machine discovery from facts

DOI10.1016/0304-3975(95)91135-DMaRDI QIDQ674404zbMATH OpenOpenAlexFDO

Authors Yasuhito Mukouchi, S. Arikawa

Publication date 28 February 1997

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

Full work available at URL https://doi.org/10.1016/0304-3975(95)91135-d

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 1351096
• scientific article; zbMATH DE number 2077177
• A universal inductive inference machine
• scientific article; zbMATH DE number 791077

Cites work

• scientific article; zbMATH DE number 996380 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3817068 (Why is no real title available?)
• scientific article; zbMATH DE number 67628 (Why is no real title available?)
• scientific article; zbMATH DE number 67629 (Why is no real title available?)
• scientific article; zbMATH DE number 3555228 (Why is no real title available?)
• scientific article; zbMATH DE number 408780 (Why is no real title available?)
• scientific article; zbMATH DE number 1351092 (Why is no real title available?)
• scientific article; zbMATH DE number 1351096 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• A machine discovery from amino acid sequences by decision trees over regular patterns
• A theory of the learnable
• Alternation and the computational complexity of logic programs
• Comparison of identification criteria for machine inductive inference
• ELEMENTARY FORMAL SYSTEMS AND FORMAL LANGUAGES-SIMPLE FORMAL SYSTEMS
• Inductive inference of formal languages from positive data
• LEARNING RECURSIVE LANGUAGES WITH BOUNDED MIND CHANGES
• Language identification in the limit
• Learning elementary formal systems
• Monadic Elementary Formal Systems
• Queries and concept learning
• Short note: procedural semantics and negative information of elementary formal system
• Some natural properties of strong-identification in inductive inference
• Toward a mathematical theory of inductive inference

Cited in

(17)

• scientific article; zbMATH DE number 791077 (Why is no real title available?)
• Trees and learning
• Learning of erasing primitive formal systems from positive examples
• Theory discovery from data with mixed quantifiers
• Polynomial-time identification of very simple grammars from positive data.
• Refuting learning revisited.
• scientific article; zbMATH DE number 1839426 (Why is no real title available?)
• Reflective inductive inference of recursive functions
• scientific article; zbMATH DE number 2077177 (Why is no real title available?)
• A machine-discovery approach to the evaluation of hashing techniques
• Analogical logic program synthesis algorithm that can refute inappropriate similarities
• Learning figures with the Hausdorff metric by fractals -- towards computable binary classification
• Learning with refutation
• Learning elementary formal systems with queries.
• Quantum inductive inference by finite automata
• On learning of functions refutably.
• Refutable language learning with a neighbor system.

This page was built for publication: Towards a mathematical theory of machine discovery from facts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674404)