Inductive inference of regular languages based on model inference

  • Hiroki Ishizaka
Part of the Lecture Notes in Computer Science book series (LNCS, volume 315)


This paper is concerned with an algorithm for identifying an unknown regular language from examples of its members and non-members. The algorithm is based on the model inference algorithm given by Shapiro. In our setting, however, a given first order language for describing a target logic program has countably many unary predicate symbols: q0, q1, q2, ....On the other hand, the oracle which gives information about the unknown regular language to the inference algorithm has no interpretation for predicates other than the predicate q0. In such a setting, we cannot directly take advantage of the contradiction backtracing algorithm which is one of the most important part for the efficiency of the model inference algorithm. In order to overcome this disadvantage, we develop a method for giving an interpretation for predicates other than the predicate q0 indirectly, which is based on the idea of using the oracle and a one to one mapping from a set of predicates to a set of strings. Furthermore, we propose a model inference algorithm for regular languages using the method, then argue the correctness and the time complexity of the algorithm.


Logic Program Regular Language Model Inference Predicate Symbol Ground Atom 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Angluin, D.: Learning regular sets from queries and counter-examples, Technical Report 464, Yale University, Department of Computer Science, March, 1986.Google Scholar
  2. [2]
    Gold, E. M.: Language Identification in the Limit, Information and Control 10, 447–474, 1967.Google Scholar
  3. [3]
    Hopcroft, J. E., Ullman, J. D.: Formal Languages and Their Relation to Automata, Addison-Wesley, 1969.Google Scholar
  4. [4]
    Lloyd, J. W.: Foundations of Logic Programming, Springer-Verlag, 1984.Google Scholar
  5. [5]
    Shapiro, E. Y.: Inductive Inference of Theories From Facts, Technical Report 192, Yale University, Department of Computer Science, February, 1981.Google Scholar
  6. [6]
    Shapiro, E. Y.: Algorithmic Program Debugging, MIT Press, 1983.Google Scholar
  7. [7]
    Shapiro, E. Y.: Alternation and the Computational Complexity of Logic Programs, The Journal of Logic Programming 1, 19–33, 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Hiroki Ishizaka
    • 1
  1. 1.IIAS-SIS, Fujitsu LimitedNumazu, ShizuokaJapan

Personalised recommendations