printlogo
ETH Zuerich - Homepage
Computer Engineering and Networks Laboratory (TIK)
 

Publication Details for Article "Learning one-variable pattern languages very efficiently on average, in parallel, and by asking queries"

 

 Back

 New Search

 

Authors: Thomas Erlebach, Peter Rossmanith, Hans Stadtherr, Angelika Steger, Thomas Zeugmann
Group: Theory of Communication Networks
Type: Article
Title: Learning one-variable pattern languages very efficiently on average, in parallel, and by asking queries
Year: 2001
Month: June
Pub-Key: ERSSZ01
Journal: Theoretical Computer Science
Volume: 261
Number: 1
Pages: 119-156
Abstract: A pattern is a finite string of constant and variable symbols. The language generated by a pattern is the set of all strings of constant symbols which can be obtained from the pattern by substituting non-empty strings for variables. We study the learnability of one-variable pattern languages in the limit with respect to the update time needed for computing a new single hypothesis and the expected total learning time taken until convergence to a correct hypothesis. Our results are as follows.

First, we design a consistent and set-driven learner that, using the concept of descriptive patterns, achieves update time O(n2log n), where n is the size of the input sample. The best previously known algorithm for computing descriptive one-variable patterns requires time O(n4log n) (cf. Angluin, 1980). Second, we give a parallel version of this algorithm that requires time O(log n) and O(n3/log n) processors on an EREW-PRAM.

Third, using a modified version of the sequential algorithm as a subroutine, we devise a learning algorithm for one-variable patterns whose expected total learning time is O(l2log l) provided the sample strings are drawn from the target language according to a probability distribution with expected string length l. The probability distribution must be such that strings of equal length have equal probability, but can be arbitrary otherwise. Thus, we establish the first algorithm for learning one-variable pattern languages having an expected total learning time that provably differs from the update time by a constant factor only.

Finally, we show how the algorithm for descriptive one-variable patterns can be used for learning one-variable patterns with a polynomial number of superset queries with respect to the one-variable patterns as query language.

Resources: [BibTeX]

 

 Back

 New Search