Applying inverse resolution to EFS language learning (1999) [3 citations — 0 self]

Download:

by C. Zeng, S. Arikawa

in: Proc. Int. Conference for Young Computer Scientists, Int

http://crown.fjct.fit.ac.jp/eng/papers/zeng_icycs99.ps.gz

Add To MetaCart

Popular Tags

No tags have been applied to this document.

BibTeX | Add To MetaCart

@INPROCEEDINGS{Zeng99applyinginverse,
    author = {C. Zeng and S. Arikawa},
    title = {Applying inverse resolution to EFS language learning},
    booktitle = {in: Proc. Int. Conference for Young Computer Scientists, Int},
    year = {1999},
    pages = {480--487},
    publisher = {Academic Publishers}
}

Abstract:

The inverse resolution(IR for short) is a procedure to produce new clauses by applying the resolution principle in the opposite direction. It has mainly been studied in terms of logic. The elementary formal systems(EFSs for short) invented by Smullyan have been proved suitable for formal language learning as a unified framework. In this paper we consider the problem of learning EFS languages from positive examples by applying IR in EFS framework. First, we give a realization of IR in EFS. Based on the realization, we try to give an efficient learning procedure for an EFS language class, which is a subclass of regular languages, from positive examples. Key words: machine learning, logic program, inverse

Citations

843	Efficient induction of logic programs – Muggleton, Feng - 1990
624	Language identification in the limit – Gold - 1967
447	Fast pattern matching in strings – Knuth, Morris, et al. - 1977
176	Finding patterns common to a set of strings – Angluin - 1980
99	Algorithms for finding patterns in strings – Aho - 1994
31	Learning elementary formal systems – Arikawa, Shinohara, et al. - 1992
24	Duce, an oracle based approach to constructive induction – Muggleton - 1987
22	Completing logic programs by inverse resolution – Wirth - 1989
17	Inductive inference from positive data is powerful – Shinohara - 1990
7	Elementary formal systems and formal languages - Simple formal systems – Arikawa - 1970
5	Elementary formal systems as a unifying framework for language learning – Arikawa, Shinohara, et al. - 1989
5	Buntine: "Machine Invention of First-Order Predicates by Inverting Resolution – Muggleton, W - 1988
3	Elementary formal system as a logic programming language – Yamamoto - 1989
1	Smullyan: "Theory of Formal Systems – M - 1961
1	Arikawa: "Sufficiency of Operators Identification and Inter-construction in Inverting Resolution – Zeng, S - 1991
1	Inductive Learning with Inverse Resolution ", master thesis – Zeng - 1991

View or Download | Add to My Collection | Correct Errors