Advertisement

Contexts: A formal definition of worlds of assertions

  • Guy W. Mineau
  • Olivier Gerbé
Knowledge Representation
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1257)

Abstract

For many years now on-going discussions, not to say endless discussions, about the intrinsic definition of contexts have been at the center stage of every single meeting of the conceptual graph community. It is our opinion that this lack of consensus about contexts is in direct relation to its lack of a formal definition. As a matter of fact, no formal definition of contexts was given up to this moment, not even in John Sowa's original book. Being a vital issue in conceptual graph theory, this paper addresses the problem of providing formal semantics to the definition of contexts, when used for information packaging. It proposes a definitional framework for contexts, based on formal concept analysis [17], bridging these two research areas. It also presents how querying a knowledge base structured as a lattice of contexts can be done.

Keywords

contexts conceptual graph theory semantics concept formation knowledge representation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. 1.
    Dick, J. P. Using Contexts to Represent Text. In W.M. Tepfenhart, J.P. Dick & J.F. Sowa (Eds.), Conceptual Structures: Current Practices, (pp. 196–213). Springer-Verlag, 1994.Google Scholar
  2. 2.
    Esch, J. Contexts and Concepts, Abstraction Duals. In W.M. Tepfenhart, J.P. Dick & J.F. Sowa (Eds.), Conceptual Structures: Current Practices, (pp. 175–184). Springer-Verlag, 1994.Google Scholar
  3. 3.
    Esch, J. Contexts, Canons and Coreferent Types. In W.M. Tepfenhart, J.P. Dick & J.F. Sowa (Eds.), Conceptual Structures: Current Practices, (pp. 185–195). Springer-Verlag, 1994.Google Scholar
  4. 4.
    Esch, J. W. Contexts as white box concepts. In Proceedings of the 1st Int. Conf. on Conceptual Structures, G.W. Mineau, B. Moulin & J.F. Sowa (Ed.), Université Laval, pp. 17–29, 1993.Google Scholar
  5. 5.
    Godin, R., Mineau, G., Missaoui, R. & Mili, H. Méthodes de classification conceptuelle basées sur le treillis de Galois et applications. Revue d'Intelligence Artificielle, 9(2), 105–137, 1995.Google Scholar
  6. 6.
    Godin, R., Mineau, G. W. & Missaoui, R. Incremental Structuring of Knowledge Bases. In Proceedings of the 1st Int. Symposium on Knowledge Retrieval, Use, and Storage for Efficiency (KRUSE), G. Ellis, R. Levinson, A. Fall & V. Dahl (Ed.), Santa Cruz, CA.: Dept. of Computer Science, UCSC, CA., pp. 179–193, 1995.Google Scholar
  7. 7.
    Lenat, D. B. & Guha, R. V. Building Large Knowledge-Based Systems, Representation and Inference in the Cyc Project. Addison-Wesley, 1990.Google Scholar
  8. 8.
    Mineau, G. W. & Godin, R. Automatic Structuring of Knowledge Bases by Conceptual Clustering. IEEE Transaction on Knowledge and Data Engineering, 7(5), 824–829, 1995.Google Scholar
  9. 9.
    Moulin, B. The representation of linguistic information in an approach used for modeling temporal knowledge in discourses. In G.W. Mineau, B. Moulin & J.F. Sowa (Eds.), Conceptual Graphs for Knowledge Representation, (pp. 182–204). Springer-Verlag, 1993.Google Scholar
  10. 10.
    Moulin, B. Discourse Spaces: A Pragmatic Interpretation of Contexts. In G. Ellis, R. Levinson, W. Rich & J.F. Sowa (Eds.), Conceptual Structures: Applications, Implementation and Theory, (pp. 89–104). Springer-Verlag, 1995.Google Scholar
  11. 11.
    Moulin, B. A Pragmatic Representational Approach of Context and Reference in Discourses. In G. Ellis, R. Levinson, W. Rich & J.F. Sowa (Eds.), Conceptual Structures: Applications, Implementation and Theory, (pp. 105–114). Springer-Verlag, 1995.Google Scholar
  12. 12.
    Moulin, B. & Dumas, S. The Temporal Structure of a Discourse and Verb Tense Determination. In W. M. Tepfenhart.J. P. Dick, & J. F. Sowa (Eds.), Conceptual Structures: Current Practices, (pp. 45–68). Springer-Verlag, 1994.Google Scholar
  13. 13.
    Moulin, B. & Mineau, G. W. Factoring Knowledge into Worlds. In Proceedings of the 7th Ann. Workshop on Conceptual Graphs, H. Pfeiffer (Ed.), New Mexico State University, Las Cruces, New Mexico: pp. 119–128, 1992.Google Scholar
  14. 14.
    Sowa, J. F. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, 1984.Google Scholar
  15. 15.
    Sowa, J. F. Syntax, Semantics and Pragmatics of Contexts. In G. Ellis, R. Levinson, W. Rich & J.F. Sowa (Eds.), Conceptual Structures: Applications, Implementation and Theory, (pp. 1–15). Springer-Verlag, 1995.Google Scholar
  16. 16.
    Sowa, J. F. Processes and Participants. In P.W. Eklund, G. Ellis & G. Mann (Eds.), Conceptual Structures: Knowledge Representation as Interlingua, (pp. 1–22). Springer-Verlag, 1996.Google Scholar
  17. 17.
    Wille, R. Restructuring Lattice Theory: an Approach Based on Hierarchies of Concepts. In I. Rival (Eds.), Ordered Sets, (pp. 445–470). Dordrecht-Boston: Reidel, 1982.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Guy W. Mineau
    • 1
  • Olivier Gerbé
    • 2
  1. 1.Department of Computer ScienceUniversité LavalQuebec CityCanada
  2. 2.Groupe DMR Inc.MontrealCanada

Personalised recommendations