Skip to main content
SpringerLink
Log in

Another Reason Why Conceptual Graphs Need Actors

  • Conference paper
Conceptual Structures: Leveraging Semantic Technologies (ICCS 2009)

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

Included in the following conference series:

Abstract

Conceptual graphs (CGs) are a knowledge representation formalism that models monotonic first-order logic. However, in the case of an active knowledge base and in other cases, it is necessary to modify a CG dynamically, rendering the preceding static first-order CG possibly inconsistent and in need of further analysis. In order to extend monotonic first-order logic to non-monotonic second-order computation, and therefore achieve all of the power of a modern computer, CGs need to use atomic actors to represent change. To illustrate the power of actors, we represent the well-defined Turing machine; this has the added effect of showing that CGs can represent any of the power of a modern computer. This addition to the CG theory will have other similar practical effects.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

    MATH  Google Scholar 

  2. Turing, A.M.: Proposal for Development in the Mathematics Division of an Automatic Computing Engine (ACE). Teddington, UK (1945)

    Google Scholar 

  3. Smith, B.J., Delugach, H.S.: A Framework for Analyzing and Testing Requirements with Actors in Conceptual Graphs. In: Schärfe, H., Hitzler, P., Øhrstrøm, P. (eds.) ICCS 2006. LNCS, vol. 4068, pp. 401–412. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  4. Tucker, A., Noonan, R.: Programming Languages, 2nd edn. McGraw-Hill, New York (2007)

    Google Scholar 

  5. Delugach, H.S.: CharGer Conceptual Graph Editor. version 3.6, http://sourceforge.net/projects/charger/ (accessed, August 2008)

  6. Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, Englewood Cliffs (1976)

    MATH  Google Scholar 

  7. Mineau, G.W.: From Actors to Processes: The Representation of Dynamic Knowledge Using Conceptual Graphs. In: Mugnier, M.-L., Chein, M. (eds.) ICCS 1998. LNCS, vol. 1453, pp. 65–79. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  8. Lukose, D., Mineau, G.W.: A Comparative Study of Dynamic Conceptual Graphs. In: 11th Workshop on Knowledge Acquisition, Modeling and Management, Albert, Canada (1998)

    Google Scholar 

  9. Nagle, T.E.: Conceptual Graphs in an Active Agent Paradigm. In: Proceedings of the IBM Workshop on Conceptual Graphs, Thornwood, USA (1986)

    Google Scholar 

  10. Hartley, R.H.: The Foundation of Conceptual Programming. In: Proceedings of the First Annual Rockey Mountain Conference on Artificial Intelligence, Boulder, Colorado, USA (1986)

    Google Scholar 

  11. Delugach, H.S.: Specifying Multiple-Viewed Software Requirements With Conceptual Graphs. Journal Systems and Software 19, 207–224 (1992)

    Article  Google Scholar 

  12. Mineau, G.W.: Constraints on Processes: Essential Elements for the Validation and Execution of Processes. In: Mugnier, M.-L., Chein, M. (eds.) ICCS 1998. LNCS, vol. 1453, pp. 66–82. Springer, Heidelberg (1998)

    Google Scholar 

  13. Kabbaj, A., Frasson, C.: Dynamic CG: toward a general model of computation. In: Ellis, G., Rich, W., Levinson, R., Sowa, J.F. (eds.) ICCS 1995. LNCS, vol. 954, pp. 46–60. Springer, Heidelberg (1995)

    Google Scholar 

  14. Bos, C., Botella, B., Vanheeghe, P.: Modeling and Simulating Human Behaviours with Conceptual Graphs. In: Delugach, H.S., Keeler, M.A., Searle, L., Lukose, D., Sowa, J.F. (eds.) ICCS 1997. LNCS, vol. 1257, pp. 275–299. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  15. Raban, R., Delugach, H.S.: Animating Conceptual Graphs. In: Delugach, H.S., Keeler, M.A., Searle, L., Lukose, D., Sowa, J.F. (eds.) ICCS 1997. LNCS, vol. 1257, pp. 431–445. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  16. Kabbaj, A.: Synergy as an Hybrid Object-Oriented Conceptual Graph Language. In: Tepfenhart, W.M. (ed.) ICCS 1999. LNCS, vol. 1640, pp. 198–213. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  17. Optimizing your LabVIEW FPGA VIs: Parallel Execution and Pipelining, http://zone.ni.com/devzone/cda/tut/p/id/3749#toc1 (accessed March, 2009)

  18. Rausch, M.: AgentSheets – Programming above C-Level. Computer Graphik Topics 10, 10–12 (1998)

    Google Scholar 

  19. Cooper, S., Dann, W., Pausch, R.: ALICE: A 3-D Tool for Introductory Programming Concepts. In: CCSCNE, Ramapo, NJ (April 2000)

    Google Scholar 

  20. Chein, M., Mugnier, M.-L.: Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs. Springer, Heidelberg (2008)

    MATH  Google Scholar 

  21. Huth, M., Ryan, M.: Logic in Computer Science: Modeling and Reasoning about Systems, 2nd edn. Cambridge University Press, Cambridge (2004)

    Book  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of Alabama in Huntsville, Huntsville, AL, 35899

    B. J. Smith & Harry Delugach

Authors
  1. B. J. Smith
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Harry Delugach
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut AIFB, Universität Karlsruhe (TH), 76128, Karlsruhe, Germany

    Sebastian Rudolph

  2. SAP Research Center CEC Dresden, Chemnitzer Strasse 48, 01187, Dresden, Germany

    Frithjof Dau

  3. Higher School of Economics, Department of Applied Mathematics and Information Science, State University, Kirpichnaya 33/5, 105679, Moscow, Russia

    Sergei O. Kuznetsov

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Smith, B.J., Delugach, H. (2009). Another Reason Why Conceptual Graphs Need Actors. In: Rudolph, S., Dau, F., Kuznetsov, S.O. (eds) Conceptual Structures: Leveraging Semantic Technologies. ICCS 2009. Lecture Notes in Computer Science(), vol 5662. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03079-6_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-03079-6_23

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-03078-9

  • Online ISBN: 978-3-642-03079-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation