Skip to main content

Inductive learning of recurrence-term languages from positive data

Watson, Phil (1995) Inductive learning of recurrence-term languages from positive data. In: Jantke, Klaus P. and Lange, Steffen, eds. Algorithmic learning for knowledge-based systems. Lecture Notes in Artificial Intelligence, 961 . Springer Verlag, pp. 292-315. (doi:10.1007/3-540-60217-8_14) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21292)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
Official URL:
https://doi.org/10.1007/3-540-60217-8_14

Abstract

We show that the class of languages generated by (basic) recurrence-terms is inferable in the limit from positive data, and that such learning may be consistent and conservative, though not in general strong monotonic. This class of languages has neither of the properties of finite thickness and finite elasticity usually used to prove inferability from positive data, so our proof method is the explicit construction of a tell-tale function for the class of recurrence-term languages. Recurrence-terms are of interest because they generate many sequences arising from divergent cases of Knuth-Bendix completion.

Item Type: Book section
DOI/Identification number: 10.1007/3-540-60217-8_14
Uncontrolled keywords: algorithmic learning theory, recurrence-term languages
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 24 Aug 2009 18:26 UTC
Last Modified: 09 Mar 2023 11:31 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21292 (The current URI for this page, for reference purposes)

University of Kent Author Information

Watson, Phil.

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.