Fuzzy qualitative reasoning about dynamic systems containing trigonometric relations

George M. Coghill, Honghai Liu, Alan Bruce, Carol Wisley

Research output: Contribution to journalArticle

3 Citations (Scopus)

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.
Original languageEnglish
Pages (from-to)477-498
Number of pages22
JournalInternational Journal of Uncertainty, Fuzziness & Knowledge Based Systems
Volume19
Issue number3
DOIs
Publication statusPublished - Jun 2011

Fingerprint

Dynamical systems
Kinematics
Robots

Keywords

  • qualitative reasoning
  • fuzzy qualitative reasoning
  • fuzzy qualitative trigonometry
  • model-based systems
  • GR/S10773/01
  • EPSRC

Cite this

Fuzzy qualitative reasoning about dynamic systems containing trigonometric relations. / Coghill, George M.; Liu, Honghai; Bruce, Alan; Wisley, Carol .

In: International Journal of Uncertainty, Fuzziness & Knowledge Based Systems, Vol. 19, No. 3, 06.2011, p. 477-498.

Research output: Contribution to journalArticle

@article{8bef4621e8d54a71bd5963311e404b38,
title = "Fuzzy qualitative reasoning about dynamic systems containing trigonometric relations",
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.",
keywords = "qualitative reasoning, fuzzy qualitative reasoning, fuzzy qualitative trigonometry, model-based systems, GR/S10773/01, EPSRC",
author = "Coghill, {George M.} and Honghai Liu and Alan Bruce and Carol Wisley",
note = "On personal website or institutional repository Publisher's version/PDF cannot be used Set statement to accompany preprint and postprint - see policy",
year = "2011",
month = "6",
doi = "10.1142/S021848851100709X",
language = "English",
volume = "19",
pages = "477--498",
journal = "International Journal of Uncertainty, Fuzziness & Knowledge Based Systems",
issn = "0218-4885",
publisher = "World Scientific Publishing Co. Pte Ltd",
number = "3",

}

TY - JOUR

T1 - Fuzzy qualitative reasoning about dynamic systems containing trigonometric relations

AU - Coghill, George M.

AU - Liu, Honghai

AU - Bruce, Alan

AU - Wisley, Carol

N1 - On personal website or institutional repository Publisher's version/PDF cannot be used Set statement to accompany preprint and postprint - see policy

PY - 2011/6

Y1 - 2011/6

N2 - 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.

AB - 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.

KW - qualitative reasoning

KW - fuzzy qualitative reasoning

KW - fuzzy qualitative trigonometry

KW - model-based systems

KW - GR/S10773/01

KW - EPSRC

U2 - 10.1142/S021848851100709X

DO - 10.1142/S021848851100709X

M3 - Article

VL - 19

SP - 477

EP - 498

JO - International Journal of Uncertainty, Fuzziness & Knowledge Based Systems

JF - International Journal of Uncertainty, Fuzziness & Knowledge Based Systems

SN - 0218-4885

IS - 3

ER -