A Fril++ Compiler for Soft Computing Object-Oriented Logic Programming

— Wepresentacompilerandobjectquerysystem for Fril++, an object-orientedlogic programminglanguageincorporatingfuzzy setsandsupportlogic. Basedon Fril, thefuzzy relationalinferencelanguage,Fril++ provides extensionsto supportfull object-orientedprogrammingin a soft computinglogic programmingenvironment.We present the designimplicationsof Fril++, with specialemphasison uncertaininheritanceandinferencein theclasshierarchy, and show how Fril++ canbe implementedin Fril. We describe theFril++ compilerandqueryhandlingsystem.We alsoproposesomefutureenhancements to thecompilerandthequery handlingsystem.

[1]  J. Baldwin.  Support Logic Programming , 1986 .

[2]  Francis G. McCabe,et al.  Logic and objects , 1992, Prentice Hall International Series in Computer Science.

[3]  Trevor P Martin,et al.  Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence , 1995 .

[4]  James F. Baldwin.  Fuzzy rule automation from data using mass assignment theory , 1995, Proceedings of 1995 IEEE International Conference on Fuzzy Systems..

[5]  Jf Baldwin,et al.  Efficient algorithms for semantic unification , 1996 .

[6]  Trevor P Martin,et al.  Fuzzy classes in object-oriented logic programming , 1996, Proceedings of IEEE 5th International Fuzzy Systems.

[7]  Trevor P Martin,et al.  Towards soft computing object-oriented logic programming , 2000, Ninth IEEE International Conference on Fuzzy Systems. FUZZ- IEEE 2000 (Cat. No.00CH37063).

[8]  Trevor P Martin,et al.  Implementing Fril++ for Uncertain Object-Oriented Logic Programming , 2000 .