Use this URL to cite or link to this record in EThOS: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.446080
Title: JMorven : a framework for parallel non-constructive qualitative reasoning and fuzzy interval simulation
Author: Bruce, Allan M.
Awarding Body: University of Aberdeen
Current Institution: University of Aberdeen
Date of Award: 2007
Availability of Full Text:
Access from EThOS:
Abstract:
The work defended in this thesis introduces a novel approach to constraint-centred qualitative reasoning in a non-constructive manner.  This new approach combines reasoning on the spectrum from fully qualitative to fully quantitative. In addition to this, all underlying algorithms have been implemented in parallel to decrease execution times. Previous work into parallel qualitative reasoning showed that execution time decreased over sequential implementations however the work had two main disadvantages.  First, not all stages of execution were implemented in parallel therefore the design was not optimal and secondly, the implementation was presented in the form of a dedicated hardware architecture. Several methods exist to reason with intervals or fuzzy numbers however no non-constructive approach offers results which are sound and complete.  A new qualitative reasoner, named JMorven, was implemented completely from scratch to overcome the limitations described above. JMorven is the successor to Morven but presents a novel set of algorithms working non-constructively and has an abstract parallel architecture which allows it to execute faster when run in distributed computing environments.  The novel work presented and tested in this thesis consists of: 1. A novel portable parallel architecture allowing speed-up of every stage of execution; 2.  The use of authority variable in a non-construction environment; 3. More accurate simulation using n-th order Taylor Series; 4.  Incorporating several non-constructive fuzzy interval simulation techniques; 5. A method of simulating fuzzy intervals non-constructively which is asymptotically sound and complete; 6. Offering the ability to carry out numerical simulations non-constructively from a qualitative model description; and 7. A single non-constructive simulation engine which is capable of reasoning on the spectrum from fully qualitative to fully quantitative.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.446080  DOI: Not available
Share: