Use this URL to cite or link to this record in EThOS:
Title: Directed Schema-based Reasoning
Author: Clarke, Jonathan M.
Awarding Body: Birmingham City University
Current Institution: Birmingham City University
Date of Award: 2006
Availability of Full Text:
Access from EThOS:
This work examines Schema-based Reasoning (SBR) (Turner 1994), a general-purpose problem solver that provides context-centric mediation ofsolutions in open domains~ This thesis will argue that Turner's SBR requires augmentation in commercial and critical applications, in order to obtain a principled adherence to domain-specific, behavioural constraints. An approach is required that balances the preservation ofdomain-specific solution trajectories and context-mediated, opportunistic problem solving found within Turner's SBR. The Directed-SBR model is proposed as the augmentation ofTurner's SBR, with principled extensions that enforce an adherence to such behavioural constraints. The principles augment Turner's SBR by enforcing a further mediation ofthe context-centric p~blem solving, drawing upon a problem domain's viability constraints during solution selection. Furthermore, a problem domain's behavioural constraints are brought into focus as a central consideration during knowledge engineering. This provides focus upon specific domain states, the extraction ofappropriate information from domain ~esources, and at the most appropriate times. The resultant Directed-SBR model establishes a balance between the selection ofthe most appropriate solutions, given the nte~tions ofthe problem solving, while preserving the tasks already unde$ken. be investigation into the adequacies ofTurner's SBRmodel adopts combinatorial pproaches ofquantitative and qualitative research methods. It demonstrates that 'irected-SBR enables the academic and commercial domains examined to be reinforced ith solution mediation that considers domain integrity, in combination with mtext-mediation. Significantly, Directed-SBR has been tested and evaluated in a large ale, distributed, commercial domain, and is operational in a production environment, :ling problem diagnosis, system testing and autonomous support tasks.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available