| Author | Cao Hoang Tru |
| Call Number | AIT Thesis no.CS-95-14 |
| Subject(s) | Fuzzy systems
|
| Note | A thesis submitted in partial fulfillment of the requirement for the degree of Master of Engineering |
| Publisher | Asian Institute of Technology |
| Abstract | First-order predicate logic and conceptual graphs have been employed as programming
languages, so the theory of fuzzy conceptual graphs needs to be supplemented with a definition
of fuzzy conceptual graph programs.
This study proposes two postulates to direct an approach to fuzzy reasoning, and extends
Magrez&Smets' model of fuzzy modus ponens to a more general one that is applicable to fuzzy
conceptual graph programs. One postulate is about the nature of fuzzy reasoning and the other is
about the information in fuzzy implication. In the extended model of fuzzy modus ponens, the
consequence of a fuzzy rule can be a conjunction of fuzzy literals, and fuzzy rules are associated
with weights to take into account their dependence on contexts.
A new approach is proposed to fuzzify conceptual graphs, formulate fuzzy conceptual
graphs, and define operations on fuzzy conceptual graphs. Fuzzy set values are used for
compatibility degrees of fuzzy entity concepts and fuzzy conceptual relations, and for measures
of fuzzy attribute concepts. The definitions of fuzzy projection and fuzzy unification are
declarative, rather than procedural, and rely on logical structure, rather than physical structure, of
fuzzy conceptual graphs.
This study then defines a syntax, a declarative semantics and a sound resolution procedure
for fuzzy conceptual graph programs. |
| Year | 1995 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Vilas Wuwongse; |
| Examination Committee(s) | Huynh, Ngoc Phien;Yulu, Qi; |
| Scholarship Donor(s) | DAAD - The German Academic Exchange Service; |
| Degree | Thesis (M.Eng.) - Asian Institute of Technology, 1995 |