Overview
- Presents an excellent framework for the implementation of smart systems
- Focuses on the algebraic formalization of smart systems
- Combines theory and practice
Part of the book series: Smart Innovation, Systems and Technologies (SIST, volume 91)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (10 chapters)
Keywords
About this book
This book reveals the general laws of the theory of smart systems with the help of a very powerful and expressive language of algebraic formalization. It also shows how this language can be used to substantiate practical results in the field of smart systems, which previously had only an empirical justification. Further, it proposes a translation of the theory of smart systems from verbal language to a much more expressive language of algebraic formalization, allowing the laws of the theory of smart systems to be seen in a different light.
In 1937 L. Bertalanffy proposed the concept of an algebraic system and the development of a mathematical apparatus for describing systems. In the 1970s, A.I. Mal'tsev developed a theory of algebraic systems connecting algebra and logic for studying algebraic and logical objects. In the 1990s, the concept of purities by predicates was introduced by one of the authors, and the book includes some of its applications. The concept, which is basedon the theory of algebraic systems, allows clarification of the connections between quantitative and qualitative analysis of a system.
The book is intended for readers who use elements of artificial intelligence in their work.
Authors and Affiliations
Bibliographic Information
Book Title: Algebraic Formalization of Smart Systems
Book Subtitle: Theory and Practice
Authors: Natalia Serdyukova, Vladimir Serdyukov
Series Title: Smart Innovation, Systems and Technologies
DOI: https://doi.org/10.1007/978-3-319-77051-2
Publisher: Springer Cham
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer International Publishing AG, part of Springer Nature 2018
Hardcover ISBN: 978-3-319-77050-5Published: 19 March 2018
Softcover ISBN: 978-3-030-08358-8Published: 24 January 2019
eBook ISBN: 978-3-319-77051-2Published: 08 March 2018
Series ISSN: 2190-3018
Series E-ISSN: 2190-3026
Edition Number: 1
Number of Pages: XXXVII, 189