caa a22 4500 467988803 CHVBK 20180323112539.0 cr unu---uuuuu 170328e19900401xx s 000 0 eng 10.1007/BF03037452 doi (NATIONALLICENCE)springer-10.1007/BF03037452 Sakakibara Yasubumi International Institute for Advanced Study of Social Information Science, FUJITSU LIMITED, 140 Miyamoto, Numazu, 410-03, Shizuoka, Japan aut Inductive inference of logic programs based on algebraic semantics [Elektronische Daten] [Yasubumi Sakakibara] In this paper we present a new inductive inference algorithm for a class of logic programs, calledlinear monadic logic programs. It has several unique features not found in Shapiro's Model Inference System. It has been proved that a set of trees isrational if and only if it is computed by a linear monadic logic program, and that the rational set of trees is recognized by a tree automaton. Based on these facts, we can reduce the problem of inductive inference of linear monadic logic programs to the problem of inductive inference of tree automata. Further several efficient inference algorithms for finite automata have been developed. We extend them to an inference algorithm for tree automata and use it to get an efficient inductive inference algorithm for linear monadic logic programs. The correctness, time complexity and several comparisons of our algorithm with Model Inference System are shown. Ohmsha, Ltd. and Springer, 1990 Inductive Inference nationallicence Logic Program nationallicence Algebraic Semantics nationallicence Query nationallicence Polynomial Time nationallicence New Generation Computing Springer-Verlag 7/4(1990-04-01), 365-380 0288-3635 7:4<365 1990 7 354 https://doi.org/10.1007/BF03037452 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF03037452 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Sakakibara Yasubumi International Institute for Advanced Study of Social Information Science, FUJITSU LIMITED, 140 Miyamoto, Numazu, 410-03, Shizuoka, Japan aut NATIONALLICENCE 773 0- New Generation Computing Springer-Verlag 7/4(1990-04-01), 365-380 0288-3635 7:4<365 1990 7 354 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer