Titlebook: Analogical and Inductive Inference; International Worksh Klaus P. Jantke Conference proceedings 1989 Springer-Verlag Berlin Heidelberg 1989

古代

conquer

Some aspects of analogy in mathematical reasoning,a powerful tool it is necessary to develop an epistemologically appropriate language to describe proofs, for which a large set of examples should be used as a testbed. We present some ideas in this direction.

徹底檢查

,Learning ω-regular languages from queries and counter-examples (a preliminary report),e minimal automaton accepting the desired language using polynomially many (in the number of states) queries and computation steps. Our algorithm tackles some special problems that arise when adapting this framework to the infinitary case.