Advertisement

On the Implementation of Fril++ for Object-Oriented Logic Programming with Uncertainty and Fuzziness

  • T. H. Cao
  • J. M. Rossiter
  • T. P. Martin
  • J. F. Baldwin
Part of the Studies in Fuzziness and Soft Computing book series (STUDFUZZ, volume 90)

Abstract

Uncertain and fuzzy object-oriented logic programming is a combination of logic programming, object-oriented programming, and uncertain and fuzzy logic to exploit the advantages of all three disciplines in dealing with real world problems. This paper presents our implementation of Fril++, the Frilbased uncertain and fuzzy object-oriented logic programming language. Fril++ syntax is introduced and related semantic issues, particularly, ones of uncertain multiple inheritance and uncertain membership evaluation, are discussed and solutions to them are proposed. The implemented compiler translating a Fril++ source program into a Fril target program is then presented with examples.

Keywords

Logic Program Logic Programming Message Passing Membership Degree Class Hierarchy 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Baldwin, J.F., Cao, T.H., Martin, T.P. and Rossiter, J.M. 2000. Towards soft computing object-oriented logic programming. In Proceedings of the 9th IEEE International Conference on Fuzzy Systems, pp. 768–773.Google Scholar
  2. [2]
    Baldwin, J.F., Martin, T.P. and Pilsworth, B.W. 1995. Fril - Fuzzy and Evidential Reasoning in Artificial Intelligence. Research Studies Press.Google Scholar
  3. [3]
    Baldwin, J.F., Martin, T.P. and Vargas-Vera, M. 1998. Fril++: object-based extensions to Fril. In Martin, T.P. and Fontana, F.A. (eds), Logic Programming and Soft Computing, Research Studies Press, pp. 223–238.Google Scholar
  4. [4]
    Bordogna, G., Lucarella, D. and Pasi, G. 1994. A fuzzy object oriented data model. In Proceedings of the 3rd IEEE International Conference on Fuzzy Systems, pp. 313–318.Google Scholar
  5. [5]
    Cao, T.H. 2000. Uncertain inheritance and recognition as probabilistic default reasoning. To appear in International Journal of Intelligent Systems.Google Scholar
  6. [6]
    Cao, T.H. and Creasy, P.N. 2000. Fuzzy types: a framework for handling uncertainty about types of objects. International Journal of Approximate Reasoning, 25, 217–253.MathSciNetzbMATHCrossRefGoogle Scholar
  7. [7]
    Dubitzky, W., Büchner, A.G., Hughes, J.G. and Bell, D.A. 1999. Towards concept-oriented databases. Data and Knowledge Engineering, 30, 23–55.zbMATHCrossRefGoogle Scholar
  8. [8]
    George, R., Buckles, B.P. and Petry, F.E. 1993. Modelling class hierarchies in the fuzzy object-oriented data model. International Journal for Fuzzy Sets and Systems, 60, 259–272.MathSciNetCrossRefGoogle Scholar
  9. [9]
    Itzkovich, I. and Hawkes, L.W. 1994. Fuzzy extension of inheritance hierarchies. International Journal for Fuzzy Sets and Systems, 62, 143–153.MathSciNetCrossRefGoogle Scholar
  10. [10]
    Jeffrey, R. 1965. The Logic of Decision. McGraw-Hill.Google Scholar
  11. [11]
    McCabe, F.G. 1992. Logic and Objects. Prentice Hall.zbMATHGoogle Scholar
  12. [12]
    Rossazza, J-P., Dubois, D. and Prade, H. 1997. A hierarchical model of fuzzy classes. In De Caluwe, R. (ed.), Fuzzy and Uncertain Object-Oriented Databases: Concepts and Models, World Scientific, pp. 21–61.Google Scholar
  13. [13]
    Shafer, G. 1976. A Mathematical Theory of Evidence. Princeton University Press.Google Scholar
  14. [14]
    Stroustrup, B. 1997. The C++ Programming Language (3rd edition). Addison-Wesley.Google Scholar
  15. [15]
    Van Gyseghem, N. and De Caluwe, R. 1997. The UFO database model: dealing with imperfect information. In De Caluwe, R. (ed.), Fuzzy and Uncertain Object-Oriented Databases: Concepts and Models, World Scientific, pp. 123–185.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • T. H. Cao
    • 1
  • J. M. Rossiter
    • 1
  • T. P. Martin
    • 1
  • J. F. Baldwin
    • 1
  1. 1.Artificial Intelligence Group Department of Engineering MathematicsUniversity of BristolUK

Personalised recommendations