Use this URL to cite or link to this record in EThOS: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.238591
Title: A model for error detection and correction
Author: Brazdil, Pavel B.
ISNI:       0000 0001 3478 0584
Awarding Body: University of Edinburgh
Current Institution: University of Edinburgh
Date of Award: 1981
Availability of Full Text:
Access from EThOS:
Full text unavailable from EThOS. Please try the link below.
Access from Institution:
Abstract:
The aim of our work is to investigate how a relatively small set of clauses can be transformed into a running program capable of solving a number of problems. The problems are chosen from the domain of simple arithmetic, algebra and letter series completion. We describe how the problems are solved, how errors are detected and corrected by modification of the existing clauses. Various techniques useful in the process of error detection and correction are described in detail. Two types of errors are dealt with: selection errors arising due to incorrect selection of clauses, and instantiation errors arising when the partial results (subgoals) are not specific enough. The system described was implemented in Prolog.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.238591  DOI: Not available
Keywords: Electronics and electrical engineering
Share: