IEICE Transactions on Information and Systems
Online ISSN : 1745-1361
Print ISSN : 0916-8532
Special Section on Foundations of Computer Science — Algorithm, Theory of Computation, and their Applications —
Exact Learning of Primitive Formal Systems Defining Labeled Ordered Tree Languages via Queries
Tomoyuki UCHIDASatoshi MATSUMOTOTakayoshi SHOUDAIYusuke SUZUKITetsuhiro MIYAHARA
Author information
JOURNALS FREE ACCESS

2019 Volume E102.D Issue 3 Pages 470-482

Details
Abstract

A formal graph system (FGS) is a logic programming system that directly manipulates graphs by dealing with graph patterns instead of terms of first-order predicate logic. In this paper, based on an FGS, we introduce a primitive formal ordered tree system (pFOTS) as a formal system defining labeled ordered tree languages. A pFOTS program is a finite set of graph rewriting rules. A logic program is well-known to be suitable to represent background knowledge. The query learning model is an established mathematical model of learning via queries in computational learning theory. In this learning model, we show the exact learnability of a pFOTS program consisting of one graph rewriting rule and background knowledge defined by a pFOTS program using a polynomial number of queries.

Information related to the author
© 2019 The Institute of Electronics, Information and Communication Engineers
Previous article Next article
feedback
Top