Fuzzy unification and resolution proof procedure for fuzzy conceptual graph programs

Fuzzy conceptual graph programs are order-sorted fuzzy logic programs based on fuzzy conceptual graphs (FCGs). In this paper, we develop fuzzy unification and resolution proof procedure, taking into account fuzziness of FCGs and properties of fuzzy reasoning, for FCG programs. General issues of both...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Cao, Tru H., Creasy, Peter N., Wuwongse, Vilas
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Artificial intelligence Computer science control theory systems Conceptual Graph Exact sciences and technology Fuzzy Reasoning Learning and adaptive systems Logic Program Modus Ponens Type Hierarchy
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!