Loughborough University
Browse
Thesis-1987-Hamdan.pdf (7.61 MB)

Fault detection and rectification algorithms in a question-answering system

Download (7.61 MB)
thesis
posted on 2018-07-05, 11:11 authored by Abdul R. Hamdan
A Malay proverb "jika sesat di hujung jalan, baleklah kepangkal jalan" roughly means "if you get lost at the end of the road, go back to the beginning". In going back to the beginning of the road, we learn our mistakes and hopefully will not repeat the same mistake again. Thus, this work investigates the use of formal logic as a practical tool for reasoning why we could not infer or deduce a correct answer from a question posed to a database. An extension of the Prolog interpreter is written to mechanise a theorem-proving system based on Horn clauses. This extension procedure will form the basis of the question-answering system. Both input into and output from this system is in the form of predicate calculus. This system can answer all four classes of questions as classified by Chang and Lee (1973). [Continues.]

Funding

Universiti Kebangsaan Malaysia (Bangi, Malaysia). Malaysia, Public Service Department (JPA).

History

School

  • Science

Department

  • Computer Science

Publisher

© Abdul Razak Hamdan

Publisher statement

This work is made available according to the conditions of the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) licence. Full details of this licence are available at: https://creativecommons.org/licenses/by-nc-nd/4.0/

Publication date

1987

Notes

A Doctoral Thesis. Submitted in partial fulfilment of the requirements for the award of Doctor of Philosophy at Loughborough University.

Language

  • en

Usage metrics

    Computer Science Theses

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC