Use this URL to cite or link to this record in EThOS:
Title: Logic and lattices for a statistics advisor
Author: O'Keefe, Richard A.
ISNI:       0000 0001 3453 1801
Awarding Body: University of Edinburgh
Current Institution: University of Edinburgh
Date of Award: 1987
Availability of Full Text:
Access from EThOS:
Full text unavailable from EThOS. Please try the link below.
Access from Institution:
The work partially reported here concerned the development ot a prototype Expert System for giving advice about Statistics experiments, called ASA, and an inference engine to support ASA, called ABASE. This involved discovering what knowledge was necessary for performing the task at a satis? factory level of competence, working out how to represent this knowledge in a computer, and how to process the representations efficiently. Two areas of Statistical knowledge are described in detail: the classification of measure? ments and statistical variables, and the structure of elementary statistical experiments. A knowledge representation system based on lattices is proposed, and it is shown that such representations are learnable by computer programs, and lend themselves to particularly efficient implementation. ABASE was influenced by MBASE, the inference engine of MECHO [Bundy et al 79a]. Both are theorem provers working on typed function-free Horn clauses, with controlled creation of new entities. Their type systems and proof procedures are radically different, though, and ABASE is "conversational" while MBASE is not.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: Mathematics for statisticians