Skip to main content

Synergy : A Conceptual Graph Activation-Based Language

  • Conference paper

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

Abstract

This paper presents the core of Synergy; an implemented visual multi-paradigm programming language based on executable Conceptual Graph (CG). Execution is based on a CG-activation mechanism for which concept lifecycle, relation propagation rules and referent instantiation constitute the key elements. In this paper we define the activation mechanism and the CG structure (concept, relation, context, co-reference) used in Synergy as well as the concept type definition, the encapsulation mechanism and the knowledge base of Synergy. Examples are given to illustrate some aspects of the language. Hybrid object-oriented and concurrent object-oriented use of Synergy are presented in other papers [9, 10].

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

Buying options

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. Bos C, B. Botella, and P. Vanheeghe, Modeling and Simulating Human Behaviors with Conceptual Graphs, in Proc. Of the Fifth International Conference on Conceptual Structures, ICCS’97, Springer (1997)

    Google Scholar 

  2. Brauer W., W. Reisig and G. Rozenberg (eds.), Petri Nets: Applications and Relationships to Other Models of Concurrency, Springer-Verlag (1986)

    Google Scholar 

  3. Cyre W. R., Executing Conceptual Graphs, in Proc. Of the 6th International Conference on Conceptual Structures, ICCS’98, Springer (1998)

    Google Scholar 

  4. Ellis G., Object-Oriented Conceptual Graphs, in Proc. of the Third Intern. Conf. on Conceptual Structures, ICCS’95, Santa Cruz, CA, USA (1995)

    Google Scholar 

  5. Esch I, Contexts, Canons and Coreferent Types, Proc. Second International Conference on Conceptual Structures, ICCS’94, College Park, Maryland (1994)

    Google Scholar 

  6. Hee K. M, P. M. P. Rambags and P. A. C. Verkoulen, Specification and Simulation with ExSpect, in Lauer (Ed), Functional Programming, Concurrency, Simulation and Automated Reasoning, Springer-Verlag (1993)

    Google Scholar 

  7. Kabbaj A. and C. Frasson, Dynamic CG: Toward a General Model of Computation, Proc. Third International Conference on Conceptual Structures, ICCS’95, Santa Cruz, CA (1995)

    Google Scholar 

  8. Kabbaj A., Un système multi-paradigme pour la manipulation des connaissances utilisant la théorie des graphes conceptuels, Ph.D Thesis, DIRO, Université de Montréal, June (1996)

    Google Scholar 

  9. Kabbaj A., Rouane K. and Frasson C, The use of a semantic network activation language in an ITS project, Third International Conference on Intelligent Tutoring Systems, ITS’96, Springer-Verlag (1996)

    Google Scholar 

  10. Kabbaj A., Synergy as an Hybrid Object-Oriented Conceptual Graph Language, Seventh International Conference on Conceptual Structures, ICCS’99 this volume.

    Google Scholar 

  11. Lakos C, From Coloured Petri Nets to Object Petri Nets, in Michelis G. and M. Diaz (Eds.), Application and Theory of Petri Nets, Springer (1995)

    Google Scholar 

  12. Liddle S. W., D. W. Embley and S. N. Woodfield, A Seamless Model for Object-Oriented System development, Bertino E. and S. Urban (Eds.), Object-Oriented Methodologies and Systems, Springer-Verlag (1994)

    Google Scholar 

  13. Lukose D., Executable conceptual structures, Proc. First International Conference on Conceptual Structures, ICCS’93, Quebec City, Canada (1993)

    Google Scholar 

  14. Lukose D., Complex Modelling Constructs in MODEL-ECS, in Proc. Of the Fifth International Conference on Conceptual Structures, ICCS’97, Springer (1997)

    Google Scholar 

  15. Mineau G. W., From Actors to Processes: The Representation of Dynamic Knowledge Using Conceptual Graphs, in Proc. Of the 6th International Conference on Conceptual Structures, ICCS’98, Springer (1998)

    Google Scholar 

  16. Raban and Delugach, Animating Conceptual Graphs, in Proc. Of the Fifth International Conference on Conceptual Structures, ICCS’97, Springer (1997)

    Google Scholar 

  17. Shlaer S. and S. J. Mellor, Object Lifecycles-Modeling the World in States, Prentice-Hall (1992)

    Google Scholar 

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

    Google Scholar 

  19. Sowa J. F., Relating Diagrams to Logic, Proc. First International Conference on Conceptual Structures, ICCS’93, Quebec City, Canada(1993a)

    Google Scholar 

  20. Sowa J. F., Logical foundations for representing object-oriented systems, J. of Experimental and Theoretical AI, 5 (1993b)

    Google Scholar 

  21. Sowa J. F., Conceptual Graph Standard and Extensions, in Proc. Of the 6th International Conference on Conceptual Structures, ICCS’98, Springer (1998)

    Google Scholar 

  22. Spinner M. P., Improving Project Management Skills and Techniques, Prentice-Hall (1989)

    Google Scholar 

  23. Thakkar S. S. (ed.), Selected Reprints on Dataflow and Reduction Architectures, IEEE Computer Society Press (1987)

    Google Scholar 

  24. Torn A., Systems Modelling and Analysis Using Simulation Nets, in C. A. Kulikowski and al. (eds.), AI and ES Languages in Modelling and Simulation, North-Holland (1988)

    Google Scholar 

  25. Zouaq A., Modélisation en Synergy d’un système multi-agents, Mémoire de fin d’étude, INSEA, Rabat, Morocco (1998)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kabbaj, A. (1999). Synergy : A Conceptual Graph Activation-Based Language. 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_13

Download citation

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

  • 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