Annals of Mathematics and Artificial Intelligence

, Volume 23, Issue 1, pp 117–145

Lange and Wiehagen's pattern language learning algorithm: An average-case analysis with respect to its total learning time

  • Thomas Zeugmann
Article

DOI: 10.1023/A:1018964207937

Cite this article as:
Zeugmann, T. Annals of Mathematics and Artificial Intelligence (1998) 23: 117. doi:10.1023/A:1018964207937

Abstract

The present paper deals with the best-case, worst-case and average-case behavior of Lange and Wiehagen's (1991) pattern language learning algorithm with respect to its total learning time. Pattern languages have been introduced by Angluin (1980) and are defined as follows: Let \(\mathcal{A} = \{ 0,1,...\} \) be any non-empty finite alphabet containing at least two elements. Furthermore, let \(X = \{ x|i \in \mathbb{N}\} \) be an infinite set of variables such that \(\mathcal{A} \cap X = \emptyset \). Patterns are non-empty strings over \(\mathcal{A} \cap X\). L(π), the language generated by pattern π, is the set of strings which can be obtained by substituting non-null strings from \(\mathcal{A}^ * \) for the variables of the pattern π. Lange and Wiehagen's (1991) algorithm learns the class of all pattern languages in the limit from text. We analyze this algorithm with respect to its total learning time behavior, i.e., the overall time taken by the algorithm until convergence. For every pattern π containing k different variables it is shown that the total learning time is \(O(\left| \pi \right|^2 \log _{\left| \mathcal{A} \right|} (\left| \mathcal{A} \right| + k))\) in the best-case and unbounded in the worst-case. Furthermore, we estimate the expectation of the total learning time. In particular, it is shown that Lange and Wiehagen's algorithm possesses an expected total learning time of \(O(2^k k^2 \left| \pi \right|^2 \log _{\left| \mathcal{A} \right|} (k\left| \mathcal{A} \right|))\) with respect to the uniform distribution.

Copyright information

© Kluwer Academic Publishers 1998

Authors and Affiliations

  • Thomas Zeugmann
    • 1
  1. 1.Department of InformaticsKyushu UniversityKasugaJapan