Skip to main content
SpringerLink
Log in
Book cover

International Conference on Conceptual Structures

ICCS 1999: Conceptual Structures: Standards and Practices pp 494–507Cite as

Dynamic Semantics for Conceptual Graphs

  • Conference paper

  • 312 Accesses

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

Abstract

Dynamisation in Conceptual Graph Theory has been stimulated by mostly two trends: one inspired by computer science notions of actors and agents and the other one by computational semantics; we focus on the later, following John Sowa’s parallel between Existential Graphs and Discourse Representation Theory or more generally Dynamic Semantics. CGs are usually interpreted by mean of a translation into FOL or directly but with a similar static impact, by mean of classical set-theoretic extensional semantics. This classical view in which meaning equals truth conditions does not capture contextual information. We propose to adopt the Dynamic Semantics shift in which the meaning of a graph is characterized by the change of information brought in an information state when it is updated with the graph.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Fausto Giunchiglia and Paolo Bouquet. Introduction to Contextual Reasoning. An Artificial Intelligence Perpective. Technical Report 970519, IRST, 1997.

    Google Scholar 

  2. John McCarthy. Generality in Artificial Intelligence. In ACM Turing Award Lectures. The First Twenty Years. ACM Press, 1987.

    Google Scholar 

  3. John McCarthy and Saša Buvač. Formalizing Context (Expanded Notes). In A. Aliseda, R., van Glabbeek, and D. Westerståhl, editors, Computing Natural Language, volume 81 of CSLI Lecture Notes, pages 13–50. Center for the Study of Language and Information, Stanford University, 1997.

    Google Scholar 

  4. Hans Kamp. A theory of truth and semantic representation. In Jeroen Groenendijk, Theo Janssen, and Martin Stokhof, editors, Formal Methods in the Study of Language. Mathematical Centre, Amsterdam, 1981.

    Google Scholar 

  5. Hans Kamp and Uwe R.eyle. From Discourse to Logic. Kluwer, Dordrecht, 1993.

    Google Scholar 

  6. Jeroen Groenendijk and Martin Stokhof. Dynamic Predicate Logic. Linguistics and Philosophy, 14:39–100, 1991.

    Article  MATH  Google Scholar 

  7. John F. Sowa. Peircean Foundations for a Theory of Context. In Harry Delugach, Mary Keeler, Leroy Searle, and John F. Sowa, editors. Conceptual Structures: Fulfilling Peirce’s Dream (Proceedings of ICCS’97. Seattle, USA), volume 1257 of LNAI. Springer-Verlag, 1997 Lukose et al. [15], pages 41–64.

    Google Scholar 

  8. Eric Salvat and Marie-Laure Mugnier. Sound and Complete Forward and Backward Chaining of Graph Rules. In P.W. Eklund, G. Ellis, and G. Mann, editors, Conceptual Structures: Knowledge Representation as Interlingua (Proceedings of ICCS’96. Sydney. Australia), volume 1115 of LNAI, pages 248–262. Springer-Verlag, 1996.

    Google Scholar 

  9. John F. Sowa. Conceptual Structures, Information Processing in Mind and Machine. Addison Wesley, 1984.

    Google Scholar 

  10. Marie-Laure Mugnier and Michel Chein. Représenter des connaissances et raisonner avec des graphes. RIA, 10.1:7–56, 1996.

    MATH  Google Scholar 

  11. Gwen Kerdiles and Eric Salvat. A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux. In Harry Delugach, Mary Keeler, Leroy Searle, and John F. Sowa, editors. Conceptual Structures: Fulfilling Peirce’s Dream (Proceedings of ICCS’97. Seattle, USA), volume 1257 of LNAI. Springer-Verlag, 1997 Lukose et al. [15], pages 371–385.

    Google Scholar 

  12. Susanne Prediger. Simple Concept Graphs: A Logic Approach. In Marie-Laure Mugnier and Michel Chein, editors, Conceptual Structures: Theory. Tools and Applications (Proceedings of ICCS’98. Montpellier, France), volume 1453 of LNAI, pages 225–239. Springer-Verlag, 1998.

    Google Scholar 

  13. Saša Buvač. Quantificational logic of context. In proceedings of the Thirteenth National Conference on Artificial Intelligence, 1996.

    Google Scholar 

  14. Gwen Kerdiles. Graph matching in contextual reasoning. Technical R.eport 99034, LIRMM, 1999.

    Google Scholar 

  15. Dikson Lukose, Harry Delugach, Mary Keeler, Leroy Searle, and John F. Sowa, editors. Conceptual Structures: Fulfilling Peirce’s Dream (Proceedings of ICCS’97. Seattle, USA), volume 1257 of LNAI. Springer-Verlag, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIRMM, University of Montpellier, Montpellier

    Gwen Kerdiles

  2. ILLC, University of Amsterdam, Amsterdam

    Gwen Kerdiles

  3. Fac. der Geesteswetenschappen, University of Amsterdam, Nieuwe Doelenstraat 15, 1012CP, Amsterdam, The Netherlands

    Gwen Kerdiles

Authors
  1. Gwen Kerdiles
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Software Engineering Department, Monmouth University, West Long Branch, NJ, 07764-1898, USA

    William M. Tepfenhart

  2. The Bradley Department of Electrical and Computer Engineering, Virginia Tech, Automatic Design Research Group, Blacksburg, VA, 24061, USA

    Walling Cyre

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kerdiles, G. (1999). Dynamic Semantics for Conceptual Graphs. In: Tepfenhart, W.M., Cyre, W. (eds) Conceptual Structures: Standards and Practices. ICCS 1999. Lecture Notes in Computer Science(), vol 1640. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48659-3_32

Download citation

  • DOI: https://doi.org/10.1007/3-540-48659-3_32

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66223-5

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation