Show simple item record

dc.contributor.authorBrazdil, Pavel B.en
dc.date.accessioned2018-05-22T12:42:57Z
dc.date.available2018-05-22T12:42:57Z
dc.date.issued1981
dc.identifier.urihttp://hdl.handle.net/1842/30304
dc.description.abstracten
dc.description.abstractThe 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.en
dc.description.abstractVarious 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.en
dc.description.abstractThe system described was implemented in Prolog.en
dc.publisherThe University of Edinburghen
dc.relation.ispartofAnnexe Thesis Digitisation Project 2018 Block 19en
dc.relation.isreferencedbyAlready catalogueden
dc.titleA model for error detection and correctionen
dc.typeThesis or Dissertationen
dc.type.qualificationlevelDoctoralen
dc.type.qualificationnamePhD Doctor of Philosophyen


Files in this item

This item appears in the following Collection(s)

Show simple item record