Fuzzy unification and resolution proof procedure for fuzzy conceptual graph programs

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

Gespeichert in:
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!
Beschreibung
Zusammenfassung: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 CG and FCG unifications and resolution procedures are also analysed and solutions to them are proposed. The resolution procedure is proved to be sound with respect to the declarative semantics of FCG programs.
ISSN:0302-9743
1611-3349
DOI:10.1007/BFb0027885