Skip to main content
SpringerLink
Log in

Fuzzy order-sorted logic programming in conceptual graphs with a sound and complete proof procedure

  • Conference paper
  • First Online:
Book cover Conceptual Structures: Theory, Tools and Applications (ICCS 1998)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1453))

Included in the following conference series:

Abstract

This paper presents fuzzy conceptual graph programs (FCGPs) as a fuzzy order-sorted logic programming system based on the structure of conceptual graphs and the approximate reasoning methodology of fuzzy logic. On one hand, it refines and completes a currently developed FCGP system that extends CGPs to deal with the pervasive vagueness and imprecision reflected in natural languages of the real world. On the other hand, it overcomes the previous wide-sense fuzzy logic programming systems to deal with uncertainty about types of objects. FCGs are reformulated with the introduction of fuzzy concept and relation types. The syntax of FCGPs based on the new formulation of FCGs and their general declarative semantics based on the notion of ideal FCGs are defined. Then, an SLD-style proof procedure for FCGPs is developed and proved to be sound and complete with respect to their declarative semantics. The procedure selects reductants rather than clauses of an FCGP in resolution steps and involves lattice-based constraint solving, which supports more expressive queries than the previous FCGP proof procedure did. The results could also be applied to CGPs as special FCGPs and useful for extensions adding to CGs lattice-based annotations to enhance their knowledge representation and reasoning power.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aït-Kaci, H. & Nasr, R. (1986), Login: A Logic Programming Language with Built-in Inheritance. J. of Logic Programming, 3: 185–215.

    Article  Google Scholar 

  2. Baldwin, J.F. & Martin, T.P. & Pilsworth, B.W. (1995), Fril — Fuzzy and Evidential Reasoning in Artificial Intelligence. John Wiley & Sons, New York.

    Google Scholar 

  3. Beierle, C. & Hedtstuck, U. & Pletat, U. & Schmitt, P.H. & Siekmann, J. (1992), An Order-Sorted Logic for Knowledge Representation Systems. J. of Artificial Intelligence, 55: 149–191.

    Article  MATH  MathSciNet  Google Scholar 

  4. Cao, T.H. & Creasy, P.N. & Wuwongse, V. (1997), Fuzzy Unification and Resolution Proof Procedure for Fuzzy Conceptual Graph Programs. In Lukose, D. et al. (Eds.): Conceptual Structures — Fulfilling Peirce's Dream, LNAI No. 1257, Springer-Verlag, pp. 386–400.

    Google Scholar 

  5. Cao, T.H. & Creasy, P.N. & Wuwongse, V. (1997), Fuzzy Types and Their Lattices. In Proc. of the 6th IEEE International Conference on Fuzzy Systems, pp. 805–812.

    Google Scholar 

  6. Cao, T.H. & Creasy, P.N. (1997), Universal Marker and Functional Relation: Semantics and Operations. In Lukose, D. et al. (Eds.): Conceptual Structures — Fulfilling Peirce's Dream, LNAI No. 1257, Springer-Verlag, pp. 416–430.

    Google Scholar 

  7. Cao, T.H. (1997), Annotated Fuzzy Logic Programs. Int. J. of Fuzzy Sets and Systems. To appear.

    Google Scholar 

  8. Cao, T.H & Creasy, P.N. (1997), Fuzzy Conceptual Graph Programs and Their Fixpoint Semantics. Tech. Report No. 424, Department of CS&EE, University of Queensland.

    Google Scholar 

  9. Cao, T.H. (1998), Annotated Fuzzy Logic Programs for Soft Computing. In Proc. of the 2nd International Conference on Computational Intelligence and Multimedia Applications, World Scientific, pp. 459–464.

    Google Scholar 

  10. Carpenter, B. (1992), The Logic of Typed Feature Structures with Applications to Unification Grammars, Logic Programs and Constraint Resolution. Cambridge University Press.

    Google Scholar 

  11. Chevallet, J-P. (1992), Un Modèle Logique de Recherche d'Informations Appliqué au Formalisme des Graphes Conceptuels. Le Prototype ELEN et Son Expérimentation sur un Corpus de Composants Logiciels. PhD Thesis, Université Joseph Fourier.

    Google Scholar 

  12. Dubois, D. & Lang, J. & Prade, H., (1994) Possibilistic Logic. In Gabbay, D.M. et al. (Eds.): Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Oxford University Press, pp. 439–514.

    Google Scholar 

  13. Genest, D. & Chein, M. (1997), An Experiment in Document Retrieval Using Conceptual Graphs. In Lukose, D. et al. (Eds.): Conceptual Structures — Fulfilling Peirce's Dream, LNAI No. 1257, Springer-Verlag, pp. 489–504.

    Google Scholar 

  14. Ghosh, B.C. & Wuwongse, V. (1995), Conceptual Graph Programs and Their Declarative Semantics. IEICE Trans, on Information and Systems, Vol. E78-D, No. 9, pp. 1208–1217.

    Google Scholar 

  15. Ghosh, B.C. (1996), Conceptual Graph Language — A Language of Logic and Information in Conceptual Structures. PhD Thesis, Asian Institute of Technology.

    Google Scholar 

  16. Grätzer, G. (1978), General Lattice Theory. Academic Press, New York.

    Google Scholar 

  17. Ho, K.H.L. (1994), Learning Fuzzy Concepts By Examples with Fuzzy Conceptual Graphs. In Proc. of the 1st. Australian Conceptual Structures Workshop.

    Google Scholar 

  18. Hopcroft, J.E. & Ullman, J.D. (1979), Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Massachusetts.

    MATH  Google Scholar 

  19. Kerdiles, G. & Salvat, E. (1997), A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux. In Lukose, D. et al. (Eds.): Conceptual Structures — Fulfilling Peirce's Dream, LNAI No. 1257, Springer-Verlag, pp. 371–385.

    Google Scholar 

  20. Kifer, M. & Subrahmanian, V.S. (1992), Theory of Generalized Annotated Logic Programming and Its Applications. J. of Logic Programming, 12: 335–367.

    Article  MathSciNet  Google Scholar 

  21. Klawonn, F. (1995), Prolog Extensions to Many-Valued Logics. In Höhle, U. & Klement, E.P. (Eds.): Non-Classical Logics and Their Applications to Fuzzy Subsets, Kluwer Academic Publishers, Dordrecht, pp. 271–289.

    Google Scholar 

  22. Lloyd, J.W. (1987), Foundations of Logic Programming. Springer-Verlag, Berlin.

    MATH  Google Scholar 

  23. Magrez, P. & Smets, P. (1989), Fuzzy Modus Ponens: A New Model Suitable for Applications in Knowledge-Based Systems. Int. J. of Intelligent Systems, 4: 181–200.

    MATH  Google Scholar 

  24. Mineau, G.W. (1994), Views, Mappings and Functions: Essential Definitions to the Conceptual Graph Theory. In Tepfenhart, W.M. & Dick, J.P. & Sowa, J.F. (Eds.): Conceptual Structures — Current Practices, LNAI No. 835, Springer-Verlag, pp. 160–174.

    Google Scholar 

  25. Morton, S. (1987), Conceptual Graphs and Fuzziness in Artificial Intelligence. PhD Thesis, University of Bristol.

    Google Scholar 

  26. Mukaidono, M. & Shen, Z. & Ding, L. (1989), Fundamentals of Fuzzy Prolog. Int. J. of Approximate Reasoning, 3: 179–194.

    Article  MATH  Google Scholar 

  27. Myaeng, S.H. & Khoo, C. (1993), On Uncertainty Handling in Plausible Reasoning with Conceptual Graphs. In Pfeiffer, H.D. & Nagle, T.E. (Eds.): Conceptual Structures — Theory and Implementation, LNAI No. 754, Springer-Verlag, pp. 137–147.

    Google Scholar 

  28. Salvat, E. & Mugnier, M.L. (1996), Sound and Complete Forward and Backward Chainings of Graph Rules. In Eklund, P.W. & Ellis, G. & Mann, G. (Eds.): Conceptual Structures — Knowledge Representation as Interlingua, LNAI No. 1115, Springer-Verlag, pp. 248–262.

    Google Scholar 

  29. Sowa, J.F. (1984), Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Massachusetts.

    MATH  Google Scholar 

  30. Sowa, J.F. (1991), Towards the Expressive Power of Natural Languages. In Sowa, J.F. (Ed.): Principles of Semantic Networks — Explorations in the Representation of Knowledge, Morgan Kaufmann Publishers, San Mateo, CA, pp. 157–189.

    Google Scholar 

  31. Sowa, J.F. (1997), Matching Logical Structure to Linguistic Structure. In Houser, N. & Roberts, D.D. & Van Evra, J. (Eds.): Studies in the Logic of Charles Sanders Peirce, Indiana University Press, pp. 418–444.

    Google Scholar 

  32. Umano, M. (1987), Fuzzy Set Prolog. In Preprints of the 2nd International Fuzzy Systems Association Congress, pp. 750–753.

    Google Scholar 

  33. Wuwongse, V. & Manzano, M. (1993), Fuzzy Conceptual Graphs. In Mineau, G.W. & Moulin, B. & Sowa, J.F. (Eds.): Conceptual Graphs for Knowledge Representation, LNAI No. 699, Springer-Verlag, pp. 430–449.

    Google Scholar 

  34. Wuwongse, V. & Cao, T.H. (1996), Towards Fuzzy Conceptual Graph Programs. In Eklund, P.W. & Ellis, G. & Mann, G. (Eds.): Conceptual Structures — Knowledge Representation as Interlingua, LNAI No. 1115, Springer-Verlag, pp. 263–276.

    Google Scholar 

  35. Zadeh, L.A. (1965), Fuzzy Sets. J. of Information and Control, 8: 338–353.

    Article  MATH  MathSciNet  Google Scholar 

  36. Zadeh, L.A. (1978), PRUF—A Meaning Representation Language for Natural Languages. Int. J. of Man-Machine Studies, 10: 395–460.

    Article  MATH  MathSciNet  Google Scholar 

  37. Zadeh, L.A. (1990), The Birth and Evolution of Fuzzy Logic. Int. J. of General Systems, 17: 95–105.

    Google Scholar 

  38. Zadeh, L.A. (1996), Fuzzy Logic = Computing with Words. IEEE Trans, on Fuzzy Systems, 4: 103–111.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Electrical Engineering, University of Queensland, 4072, Australia

    Tru H. Cao & Peter N. Creasy

Authors
  1. Tru H. Cao
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter N. Creasy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Marie-Laure Mugnier Michel Chein

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cao, T.H., Creasy, P.N. (1998). Fuzzy order-sorted logic programming in conceptual graphs with a sound and complete proof procedure. In: Mugnier, ML., Chein, M. (eds) Conceptual Structures: Theory, Tools and Applications. ICCS 1998. Lecture Notes in Computer Science, vol 1453. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0054920

Download citation

  • DOI: https://doi.org/10.1007/BFb0054920

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64791-1

  • Online ISBN: 978-3-540-68673-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation