Abstract
Every communication has syntax, semantics, and pragmatics. For computer communications, software designers have addressed syntax explicitly while leaving semantics and pragmatics implicit in their programs. But as software becomes more complex, the range of meanings (semantics) and purposes (pragmatics) grows without bounds. The failure to address purpose and meaning explicitly has led to different languages and GUIs for every conceivable purpose. By making meaning and purpose explicit, the designers can relate the bewildering variety of notations to a single semantic form: logic. Internal representations for logic can be any notation that is convenient for computer processing. External representations can be any form that people find convenient: graphics tailored for the applications, controlled versions of whatever natural languages the users speak, or any programming notations the developers happen to prefer. The unifying principle is the common logical form for both internal and external communications. To show how this principle can be implemented, this paper addresses the graphic and language interfaces for the Flexible Modular Framework (FMF) and their use in a semantically integrated development environment.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Austin, J.L.: How to do Things with Words (1962); Urmson, J.O., Sbisá, M.: How to do Things with Words, 2nd edn., Harvard University Press, Cambrige, MA (1975)
Coyne, Bob, Sproat, R.: WordsEye: An automatic text-to-scene conversion system. In: Proc. SIGGRAPH 2001, Los Angeles (2001)
Cyre, W.R., Balachandar, S., Thakar, A.: Knowledge visualization from conceptual structures. In: Tepfenhart, W.M., Dick, J.P., Sowa, J.F., et al. (eds.) ICCS 1994. LNCS, vol. 835, pp. 275–292. Springer, Heidelberg (1994)
Cyre, W.R.: Capture, integration, and analysis of digital system requirements with conceptual graphs. IEEE Trans. Knowledge and Data Engineering 9(1), 8–23 (1997)
Cyre, W.R., Victor, P.: An intelligent interface for model documentation with controlled english. In: Proc. IASTED 2001, Pittsburgh (2001)
Fuchs, N. E., Schwertel, U., Schwitter, R.: Attempto Controlled English (ACE), Language Manual, Technical Report ifi-99.03, University of Zurich (1999). For further detail, see http://www.ifi.unizh.ch/attempto/
Gerbé, O., Keller, R.K., Mineau, G.W.: Conceptual graphs for representing business processes in corporate memories. In: Mugnier, M.-L., Chein, M. (eds.) ICCS 1998. LNCS (LNAI), vol. 1453, pp. 401–415. Springer, Heidelberg (1998)
Gerbé, O.: Un Modèle uniforme pour la Modélisation et la Métamodélisation d’une Mémoire d’Entreprise, PhD Dissertation, Département d’informatique et de recherche opérationelle, Université de Montréal (2000)
Halliday, M.A.K., Hasan, R.: Cohesion in English. Longman, London (1976)
Harris, R.: Language, Saussure, and Wittgenstein: How to Play Games with Words, Routledge, London (1988)
Mann, W.C., Thompson, S.A.: Relational Propositions in Discourse. Discourse Processes 9:1, 57–90 (1987)
Martin, P.: Knowledge representation in CGLF, CGIF, KIF, Frame-CG and Formalized-English (2002)
Martin, P.:Translations between UML, OWL, KIF, and the WebKB-2 languages (For-Taxonomy, Frame-CG, Formalized English) (2003), http://meganesia.int.gu.edu.au/~phmartin/WebKB/doc/model/comparisons.html
McCarthy,J.: Elephant 2000: A programming language based on speech acts (1989), http://www-formal.stanford.edu/jmc/elephant.html
Nubiola, J.: Scholarship on the relations between Ludwig Wittgenstein and Charles S. Peirce. In: Angelelli, I., Cerezo, M. (eds.) Proceedings of the III Symposium on the History of Logic, Gruyter, Berlin (1996)
Peter of Spain or Petrus Hispanus (circa 1239) Summulae Logicales, edited by, I.M., Bochenski, Marietti, Turin (1947)
Schwitter, R.: Kontrolliertes Englisch fúr Anforderungsspezifikationen, Studentdruckerei, Zurich (1998). For further references, see http://www.ics.mq.edu.au/~rolfs/controlled-natural-languages/
Skuce, D.: Integrating web-based documents, shared knowledge bases, and information retrieval for user help. Computational Intelligence 16:1 (2000)
Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks/Cole, Pacific Grove, CA (2000)
Sowa, J.F.: Architectures for Intelligent Systems. IBM Systems Journal 41:3, 331–349 (2002)
Sowa, J.F.: Laws, facts, and contexts: Foundations for multimodal reasoning. In: Hendricks, V.F., et al. (eds.) Knowledge Contributors, pp. 145–184. Kluwer, Dordrecht (2003)
Sowa, J. F., Majumdar, A.K.: Analogical reasoning. In: de Moor, A., Lex, W., Ganter, B. (eds.) ICCS 2003. LNCS (LNAI), vol. 2746, pp. 16–36. Springer-Verlag, Berlin (2003)
Sowa, J. F.: Common Logic Controlled English Specifications (2004), http://www.jfsowa.com/clce/specs.htm
Wittgenstein, L.: Philosophical Investigations, Basil Blackwell, Oxford (1953)
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sowa, J.F. (2004). Graphics and Languages for the Flexible Modular Framework. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds) Conceptual Structures at Work. ICCS 2004. Lecture Notes in Computer Science(), vol 3127. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27769-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-27769-9_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22392-4
Online ISBN: 978-3-540-27769-9
eBook Packages: Springer Book Archive