FUZZY QUALITATIVE REASONING ABOUT DYNAMIC SYSTEMS CONTAINING TRIGONOMETRIC RELATIONSHIPS

Abstract

In this paper we present a system which incorporates the features of Fuzzy Qualitative Trigonometry (FQT) with those of the Fuzzy Qualitative Reasoning system, Morven. FQT is designed for modeling and reasoning about robot kinematic systems whereas Morven was designed for simulation and envisionment of straightforward dynamic systems. It has been the case that thus far QR systems have not been designed to reason about the behaviour of dynamic system containing fuzzy trigonometric relations. The resulting tool described in this paper goes some way to addressing this deficit.