Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:A New Algorithm for Learning Range Restricted Horn Expressions
Authors: Marta Arias ; Roni Khardon
Date:Mar 2000
A learning algorithm for the class of range restricted Horn expressions is presented and proved correct. The algorithm works within the framework of learning from entailment, where the goal is to exactly identify some pre-fixed and unknown expression by making questions to membership and equivalence oracles. This class has been shown to be learnable in previous work. The main contribution of this paper is in presenting a more direct algorithm for the problem which yields an improvement in terms of the number of queries made to the oracles. The algorithm is also adapted to the class of Horn expressions with inequalities on all syntactically distinct terms where further improvement in the number of queries is obtained.
2000 by The University of Edinburgh. All Rights Reserved
Links To Paper
No links available
Bibtex format
author = { Marta Arias and Roni Khardon },
title = {A New Algorithm for Learning Range Restricted Horn Expressions},
year = 2000,
month = {Mar},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh