Skip to main content
Top
Published in: Cognitive Computation 4/2016

01-08-2016

Learning the Semantics of Notational Systems with a Semiotic Cognitive Automaton

Author: Valerio Targon

Published in: Cognitive Computation | Issue 4/2016

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Through semiotic modelling, a system can retrieve and manipulate its own representational formats to interpret a series of observations; this is in contrast to information processing approaches that require representational formats to be specified beforehand and thus limit the semantic properties that the system can experience. Our semiotic cognitive automaton is driven only by the observations it makes and therefore operates based on grounded symbols. A best-case scenario for our automaton involves observations that are univocally interpreted—i.e. distinct observation symbols—and that make reference to a reality characterised by “hard constraints”. Arithmetic offers such a scenario. The gap between syntax and semantics is also subtle in the case of calculations. Our automaton starts without any a priori knowledge of mathematical formalisms and not only learns the syntactical rules by which arithmetic operations are solved but also reveals the true meaning of numbers by means of second-order reasoning.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
I learned of this use of the extended correlation from the Italian computer scientist Piero Slocovich.
 
2
This exception is represented by the regular expressions that contain the impossible sequences “;0”, “=0” and so on, which are already known from the first iteration (see Table 2).
 
Literature
1.
go back to reference Newell A, Simon HA. Computer science as empirical inquiry: symbols and search. Commun ACM. 1976;19:113–26.CrossRef Newell A, Simon HA. Computer science as empirical inquiry: symbols and search. Commun ACM. 1976;19:113–26.CrossRef
2.
go back to reference Hofstadter D. The ineradicable Eliza effect and its dangers. In Hofstadter D, editor. Fluid concepts and creative analogies: computer models of the fundamental mechanisms of thought. New York: Basic Books; 1994. p. 155–168. Hofstadter D. The ineradicable Eliza effect and its dangers. In Hofstadter D, editor. Fluid concepts and creative analogies: computer models of the fundamental mechanisms of thought. New York: Basic Books; 1994. p. 155–168.
3.
5.
go back to reference Haikonen P. The role of the associative processing in cognitive computation. Cognit Comput. 2009;1:42–9.CrossRef Haikonen P. The role of the associative processing in cognitive computation. Cognit Comput. 2009;1:42–9.CrossRef
6.
go back to reference Wang P. Experience-grounded semantics: a theory for intelligent systems. Cogn Syst Res. 2005;6(4):282–302.CrossRef Wang P. Experience-grounded semantics: a theory for intelligent systems. Cogn Syst Res. 2005;6(4):282–302.CrossRef
7.
go back to reference Ziemke T. Rethinking grounding. In: Riegler MPA, von Stein A, editors. Understanding representation in the cognitive sciences. New York: Kluwer Academic/Plenum Publishers; 1999. p. 177–190.CrossRef Ziemke T. Rethinking grounding. In: Riegler MPA, von Stein A, editors. Understanding representation in the cognitive sciences. New York: Kluwer Academic/Plenum Publishers; 1999. p. 177–190.CrossRef
8.
go back to reference Devlin KJ. Introduction to mathematical thinking. Palo Alto: Keith Devlin; 2012. Devlin KJ. Introduction to mathematical thinking. Palo Alto: Keith Devlin; 2012.
9.
go back to reference Fetzer JH. Artificial intelligence: its scope and limits. Netherlands: Springer; 1990.CrossRef Fetzer JH. Artificial intelligence: its scope and limits. Netherlands: Springer; 1990.CrossRef
10.
go back to reference Jackson SA, Sharkey NE. Grounding computational engines. In: Kevitt PMc, editor. Integration of natural language and vision processing. Netherlands: Springer; 1996. p. 167–84.CrossRef Jackson SA, Sharkey NE. Grounding computational engines. In: Kevitt PMc, editor. Integration of natural language and vision processing. Netherlands: Springer; 1996. p. 167–84.CrossRef
11.
go back to reference Gomes A, Gudwin R, El-Hani C, Queiroz J. Towards the emergence of meaning processes in computers from Peircean semiotics. Mind Soc Cogn Stud Econ Soc Sci. 2007;6:173–87. Gomes A, Gudwin R, El-Hani C, Queiroz J. Towards the emergence of meaning processes in computers from Peircean semiotics. Mind Soc Cogn Stud Econ Soc Sci. 2007;6:173–87.
12.
go back to reference Meystel A. Multiresolutional semiotic systems. In: Proceedings of the IEEE international symposium on intelligent control/intelligent systems and semiotics; 1999. p. 198–202. Meystel A. Multiresolutional semiotic systems. In: Proceedings of the IEEE international symposium on intelligent control/intelligent systems and semiotics; 1999. p. 198–202.
13.
go back to reference Vogt P. The physical symbol grounding problem. Cogn Syst Res. 2002;3(3):429–57.CrossRef Vogt P. The physical symbol grounding problem. Cogn Syst Res. 2002;3(3):429–57.CrossRef
14.
go back to reference Rieger BB. Semiotics and computational linguistics. On semiotic cognitive information processing. In: Zadeh LA, Kacprzyk J, editors. Computing with words in information/intelligent systems. Germany: Heidelberg; 1999. p. 93–118 (Physica).CrossRef Rieger BB. Semiotics and computational linguistics. On semiotic cognitive information processing. In: Zadeh LA, Kacprzyk J, editors. Computing with words in information/intelligent systems. Germany: Heidelberg; 1999. p. 93–118 (Physica).CrossRef
15.
go back to reference Bloom B, editor. Taxonomy of educational objectives: book I, cognitive domain. New York: Longman Green; 1956. Bloom B, editor. Taxonomy of educational objectives: book I, cognitive domain. New York: Longman Green; 1956.
16.
go back to reference Franco L, Cannas SA. Solving arithmetic problems using feed-forward neural networks. Neurocomputing. 1998;18:61–79.CrossRef Franco L, Cannas SA. Solving arithmetic problems using feed-forward neural networks. Neurocomputing. 1998;18:61–79.CrossRef
17.
go back to reference Hoshen Y, Peleg S. Visual learning of arithmetic operations. CoRR, 2015; abs/1506.02264. Hoshen Y, Peleg S. Visual learning of arithmetic operations. CoRR, 2015; abs/1506.02264.
18.
go back to reference Hofstadter D. How Raymond Smullyan inspired my 1112-year-old self. In: Smullyan R, Rosenhouse J, editors. Four lives: a celebration of Raymond Smullyan. New York: Dover Publications; 2014. Hofstadter D. How Raymond Smullyan inspired my 1112-year-old self. In: Smullyan R, Rosenhouse J, editors. Four lives: a celebration of Raymond Smullyan. New York: Dover Publications; 2014.
19.
go back to reference Schweizer P. Physical instantiation and the propositional attitudes. Cogn Comput. 2012;4:226–35.CrossRef Schweizer P. Physical instantiation and the propositional attitudes. Cogn Comput. 2012;4:226–35.CrossRef
20.
21.
go back to reference Wang P. Embodiment: Does a laptop have a body? In: Proceedings of AGI conference, Arlington, Virginia, USA; p. 174–179; March 2009. Wang P. Embodiment: Does a laptop have a body? In: Proceedings of AGI conference, Arlington, Virginia, USA; p. 174–179; March 2009.
22.
go back to reference de Saussure F. Grundfragen der allgemeinen Sprachwissenschaft. Berlin: de Gruyter; 1915. Charles Bally unter Mitw. von Albert Riedlinger, editors, translator Herman Lommel (2001). de Saussure F. Grundfragen der allgemeinen Sprachwissenschaft. Berlin: de Gruyter; 1915. Charles Bally unter Mitw. von Albert Riedlinger, editors, translator Herman Lommel (2001).
23.
go back to reference Wall L. Perl language reference manual—for Perl version 5.12.1. Network Theory Ltd; 2010. Wall L. Perl language reference manual—for Perl version 5.12.1. Network Theory Ltd; 2010.
25.
go back to reference Nozawa E. Peircean semeiotic—a 21st century scientific methodology. In: Proceedings of the international symposium on collaborative technologies and systems, Orlando, FL, USA; p. 224–235, May 2007. Nozawa E. Peircean semeiotic—a 21st century scientific methodology. In: Proceedings of the international symposium on collaborative technologies and systems, Orlando, FL, USA; p. 224–235, May 2007.
26.
go back to reference Barthes R. Elements of semiology. London: Jonathan Cape, 1964. trans. Lavers A and Smith C (1967). Barthes R. Elements of semiology. London: Jonathan Cape, 1964. trans. Lavers A and Smith C (1967).
27.
go back to reference Rieger BB. Computing fuzzy semantic granules from natural language texts. A computational semiotics approach to understanding word meanings. In: Hamza M, editor. Proceedings of the IASTED international conference on artificial intelligence and soft computing, Honolulu, Hawaii, USA; p. 475–479, August 1999. Rieger BB. Computing fuzzy semantic granules from natural language texts. A computational semiotics approach to understanding word meanings. In: Hamza M, editor. Proceedings of the IASTED international conference on artificial intelligence and soft computing, Honolulu, Hawaii, USA; p. 475–479, August 1999.
28.
go back to reference Berkhin P. Survey of clustering data mining techniques. Technical report. San Jose: Accrue Software, Inc.; 2002. Berkhin P. Survey of clustering data mining techniques. Technical report. San Jose: Accrue Software, Inc.; 2002.
29.
go back to reference Ernest P. A semiotic perspective of mathematical activity: the case of number. Educ Stud Math. 2006;61:67–101.CrossRef Ernest P. A semiotic perspective of mathematical activity: the case of number. Educ Stud Math. 2006;61:67–101.CrossRef
30.
go back to reference Goguen J. An introduction to algebraic semiotics, with applications to user interface design. In: Nehaniv C, editor. Computation for metaphor, analogy and agents. New York: Springer Lecture Notes in Artificial Intelligence; 1999. p. 242–291.CrossRef Goguen J. An introduction to algebraic semiotics, with applications to user interface design. In: Nehaniv C, editor. Computation for metaphor, analogy and agents. New York: Springer Lecture Notes in Artificial Intelligence; 1999. p. 242–291.CrossRef
31.
go back to reference Lengnink K, Schlimm D. Learning and understanding numeral systems: semantic aspects of number representations from an educational perspective. In: Löwe B, Müller T, editors. Philosophy of mathematics: sociological aspects and mathematical practice. London: College Publications; 2010. p. 235–264. Lengnink K, Schlimm D. Learning and understanding numeral systems: semantic aspects of number representations from an educational perspective. In: Löwe B, Müller T, editors. Philosophy of mathematics: sociological aspects and mathematical practice. London: College Publications; 2010. p. 235–264.
32.
go back to reference Thagard P. Abductive inference: from philosophical analysis to neural mechanisms. In: Feeney A, Heit E, editors. Inductive reasoning: cognitive, mathematical, and neuroscientific approaches. Cambridge: Cambridge University Press; 2007. p. 226–247.CrossRef Thagard P. Abductive inference: from philosophical analysis to neural mechanisms. In: Feeney A, Heit E, editors. Inductive reasoning: cognitive, mathematical, and neuroscientific approaches. Cambridge: Cambridge University Press; 2007. p. 226–247.CrossRef
33.
go back to reference Russell B. The problems of philosophy. Oxford: Oxford University Press; 1959. Russell B. The problems of philosophy. Oxford: Oxford University Press; 1959.
34.
go back to reference Mitchell TM. The need for biases in learning generalizations. In: Shavlik JW, Dietterich TG, editors. Readings in machine learning. Los Altos: Morgan Kauffman; 1980. p. 184–191. Mitchell TM. The need for biases in learning generalizations. In: Shavlik JW, Dietterich TG, editors. Readings in machine learning. Los Altos: Morgan Kauffman; 1980. p. 184–191.
35.
go back to reference Nasuto SJ, Bishop JM, Roesch EB, Spencer MC. Zombie mouse in a Chinese room. Philos Technol. 2015;28:209–23.CrossRef Nasuto SJ, Bishop JM, Roesch EB, Spencer MC. Zombie mouse in a Chinese room. Philos Technol. 2015;28:209–23.CrossRef
36.
go back to reference Konderak P. On a cognitive model of semiosis. Stud Log Gramm Rhetor. 2015;40:129–44. Konderak P. On a cognitive model of semiosis. Stud Log Gramm Rhetor. 2015;40:129–44.
38.
go back to reference D’Ulizia A, Ferri F, Grifoni P. A survey of grammatical inference methods for natural language learning. Artif Intell Rev. 2011;36(1):1–27.CrossRef D’Ulizia A, Ferri F, Grifoni P. A survey of grammatical inference methods for natural language learning. Artif Intell Rev. 2011;36(1):1–27.CrossRef
40.
go back to reference Lamb SM. On the mechanization of syntactic analysis. In: 1961 Conference on machine translation of languages and applied language analysis, national physical laboratory symposium no. 13, London, Her Majesty’s Stationery Office, 1961. vol. 2, p. 674–685. Lamb SM. On the mechanization of syntactic analysis. In: 1961 Conference on machine translation of languages and applied language analysis, national physical laboratory symposium no. 13, London, Her Majesty’s Stationery Office, 1961. vol. 2, p. 674–685.
41.
42.
go back to reference Ionin T, Matushansky O. The composition of complex cardinals. J Semant. 2006;23:315–60.CrossRef Ionin T, Matushansky O. The composition of complex cardinals. J Semant. 2006;23:315–60.CrossRef
43.
go back to reference Sinatra R, Condorelli D, Latora V. Networks of motifs from sequences of symbols. Phys Rev Lett. 2010;105:178702.CrossRef Sinatra R, Condorelli D, Latora V. Networks of motifs from sequences of symbols. Phys Rev Lett. 2010;105:178702.CrossRef
Metadata
Title
Learning the Semantics of Notational Systems with a Semiotic Cognitive Automaton
Author
Valerio Targon
Publication date
01-08-2016
Publisher
Springer US
Published in
Cognitive Computation / Issue 4/2016
Print ISSN: 1866-9956
Electronic ISSN: 1866-9964
DOI
https://doi.org/10.1007/s12559-015-9378-0

Other articles of this Issue 4/2016

Cognitive Computation 4/2016 Go to the issue

Premium Partner