Skip to main content

2017 | OriginalPaper | Buchkapitel

Unified Logical Analysis in Robots’ CNS Based on N-Tuple Algebra

verfasst von : Boris A. Kulik, Alexander Ya. Fridman

Erschienen in: Smart Electromechanical Systems: The Central Nervous System

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Objective A robot’s behavior in a complex environment is largely determined by the ability to perform complex logical analysis of the current situation. Such analysis uses both deductive and non-deductive methods (defeasible reasoning, hypothesis, abductive conclusion, and so on). The aim of this publication is to describe approaches to mathematical modeling of the unified logical analysis within the central nervous system of a robot taking into account peculiarities of human reasoning where imaginative schemas play a significant role. Results A mathematical model is proposed for a generalized logical analysis on the basis of n-tuple algebra. This model is distinguished with representation of inference as a cognitive image-schematic structure “container”, which mathematically corresponds to the inclusion relation between structures of n-tuple algebra involved in reasoning. Practical significance The proposed methods and algorithms of generalized logical analysis can be used for formation of intelligent robot control systems.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Literatur
1.
Zurück zum Zitat Vagin, V.N., Golovina, E.Y., Zagoryanskaya, A.A., Fomina, M.V.: Exact and Plausible Reasoning in Intelligent Systems. Fizmatlit, Moscow (2008). (in Russian) Vagin, V.N., Golovina, E.Y., Zagoryanskaya, A.A., Fomina, M.V.: Exact and Plausible Reasoning in Intelligent Systems. Fizmatlit, Moscow (2008). (in Russian)
2.
Zurück zum Zitat Russel, S., Norvig, P.: Artificial intelligence: a modern approach, 2nd edn. Prentice Hall, Englewood Cliffs NJ (2003) Russel, S., Norvig, P.: Artificial intelligence: a modern approach, 2nd edn. Prentice Hall, Englewood Cliffs NJ (2003)
3.
Zurück zum Zitat Thayse A., Gribomont P., Hulin G. et al.: Approche Logique de l’Intelligence Artificielle, vol. 2: De la Logique Modale à la Logique des Bases de Données. Paris: Dunod (1989) Thayse A., Gribomont P., Hulin G. et al.: Approche Logique de l’Intelligence Artificielle, vol. 2: De la Logique Modale à la Logique des Bases de Données. Paris: Dunod (1989)
4.
5.
Zurück zum Zitat Lakoff, J.: Women, fire, and dangerous things: what categories reveal about the mind. University of Chicago Press, Chicago (1987)CrossRef Lakoff, J.: Women, fire, and dangerous things: what categories reveal about the mind. University of Chicago Press, Chicago (1987)CrossRef
6.
Zurück zum Zitat Sowa, J.F.: Conceptual structures—information processing in mind and machines. Addison-Wesley Publ. Comp, Reading, MA (1984)MATH Sowa, J.F.: Conceptual structures—information processing in mind and machines. Addison-Wesley Publ. Comp, Reading, MA (1984)MATH
7.
Zurück zum Zitat Kuznetsov, O.P.: Cognitive semantics and artificial intelligence. Sci. Tech. Info. Process. 40(5), 269–276 (2013)CrossRef Kuznetsov, O.P.: Cognitive semantics and artificial intelligence. Sci. Tech. Info. Process. 40(5), 269–276 (2013)CrossRef
8.
Zurück zum Zitat Kulik, B.: Logic of Natural Reasoning. Nevsky Dialekt, Saint Petersburg (2001). (in Russian) Kulik, B.: Logic of Natural Reasoning. Nevsky Dialekt, Saint Petersburg (2001). (in Russian)
9.
Zurück zum Zitat Pospelov, D.A.: Modeling of reasoning. Experience in analysis of intelligent acts. Radio i Svyaz’ Publ, Moscow (1989). (in Russian) Pospelov, D.A.: Modeling of reasoning. Experience in analysis of intelligent acts. Radio i Svyaz’ Publ, Moscow (1989). (in Russian)
10.
Zurück zum Zitat Kuzichev, A.S.: Venn diagrams. Nauka Publ, Moscow (1968). (in Russian) Kuzichev, A.S.: Venn diagrams. Nauka Publ, Moscow (1968). (in Russian)
11.
Zurück zum Zitat Kulik, B.A., Zuenko, A.A., Friedman, A.Y.: Deductive and defeasible reasoning on the basis of a unified algebraic approach. Sci. Tech. Info. Process. 42(6), 402–410 (2015)CrossRef Kulik, B.A., Zuenko, A.A., Friedman, A.Y.: Deductive and defeasible reasoning on the basis of a unified algebraic approach. Sci. Tech. Info. Process. 42(6), 402–410 (2015)CrossRef
12.
Zurück zum Zitat Gorodetsky A.E., Kurbanov V.G., Tarasova I. L.: Challenges related to development of central nervous system of a robot on the bases of SEMS modules. (in this collection) Gorodetsky A.E., Kurbanov V.G., Tarasova I. L.: Challenges related to development of central nervous system of a robot on the bases of SEMS modules. (in this collection)
13.
Zurück zum Zitat Kulik, B., Fridman, A., Zuenko, A.: Algebraic approach to logical inference implementation. Comput. Info. 31(6), 1295–1328 (2013)MathSciNet Kulik, B., Fridman, A., Zuenko, A.: Algebraic approach to logical inference implementation. Comput. Info. 31(6), 1295–1328 (2013)MathSciNet
14.
Zurück zum Zitat Kapitan, T.: Peirce and the structure of abductive inference. In: Houser, D., Roberts, D., Van Evra, J. (eds.) Studies in the logic of Charles Sanders Peirce, Nathan, pp. 477–496. Indiana University Press, Bloomington (1997) Kapitan, T.: Peirce and the structure of abductive inference. In: Houser, D., Roberts, D., Van Evra, J. (eds.) Studies in the logic of Charles Sanders Peirce, Nathan, pp. 477–496. Indiana University Press, Bloomington (1997)
Metadaten
Titel
Unified Logical Analysis in Robots’ CNS Based on N-Tuple Algebra
verfasst von
Boris A. Kulik
Alexander Ya. Fridman
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-53327-8_2

Neuer Inhalt