Summary: | 碩士 === 國立交通大學 === 資訊科學學系 === 86 === In this thesis, we present an extended fuzzy Petri net model to
model fuzzy IF-THEN rules and fuzzy IF-THEN-ELSE rules of rule-
based systems. We also develop an efficient algorithm for
performing vague reasoning automatically based on the extended
fuzzy Petri net model. The proposed algorithm allows the
computers to perform reasoning in a more flexible and more
intelligent manner. Based on the proposed vague reasoning
algorithm, we have implemented a vague reasoning system on a
Pentium PC for performing vague reasoning automatically.
Furthermore, we propose a method to describe the relationships
between states and events for temporal knowledge representation
and reasoning using time Petri nets. We also propose an
algorithm to infer the consistency of the temporal knowledge
based on the time Petri nets. Based on the proposed temporal
reasoning algorithm, we have implemented a temporal reasoning
system on a Pentium PC to check the consistency of the temporal
knowledge.
|