Consistent Identification in the Limit of Rigid Grammars from Strings Is NP-hard

  • Authors:
  • Christophe Costa Florêncio

  • Affiliations:
  • -

  • Venue:
  • ICGI '02 Proceedings of the 6th International Colloquium on Grammatical Inference: Algorithms and Applications
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

In [Bus87] and [BP90] some 'discovery procedures' for classical categorial grammars were defined. These procedures take a set of structures (strings labeled with derivational information) as input and yield a set of hypotheses in the form of grammars.In [Kan98] learning functions based on these discovery procedures were studied, and it was shown that some of the classes associated with these functions can be identified in the limit (i.e. are learnable) from strings, by a computable function. The time complexity of these functions however was still left an open question.In this paper we will show that the learning functions for these learnable classes are all NP-hard.