
AI Aspects in Reasoning, Languages, and Computation
Springer (Publisher)
Published on 18. March 2020
Book
Hardback
VIII, 105 pages
978-3-030-41424-5 (ISBN)
Description
This book builds on decades of research and provides contemporary theoretical foundations for practical applications to intelligent technologies and advances in artificial intelligence (AI). Reflecting the growing realization that computational models of human reasoning and interactions can be improved by integrating heterogeneous information resources and AI techniques, its ultimate goal is to promote integrated computational approaches to intelligent computerized systems. The book covers a range of interrelated topics, in particular, computational reasoning, language, syntax, semantics, memory, and context information. The respective chapters use and develop logically oriented methods and techniques, and the topics selected are from those areas of logic that contribute to AI and provide its mathematical foundations.
The intended readership includes researchers working in the areas of traditional logical foundations, and onnew approaches to intelligent computational systems.
The intended readership includes researchers working in the areas of traditional logical foundations, and onnew approaches to intelligent computational systems.
More details
Series
Edition
2020 ed.
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
9 s/w Abbildungen
VIII, 105 p. 9 illus.
Dimensions
Height: 241 mm
Width: 160 mm
Thickness: 13 mm
Weight
348 gr
ISBN-13
978-3-030-41424-5 (9783030414245)
DOI
10.1007/978-3-030-41425-2
Schweitzer Classification
Other editions
Additional editions

Adam Grabowski | Roussanka Loukanova | Christoph Schwarzweller
AI Aspects in Reasoning, Languages, and Computation
Book
03/2021
Springer
€149.79
Shipment within 7-9 days

Adam Grabowski | Roussanka Loukanova | Christoph Schwarzweller
AI Aspects in Reasoning, Languages, and Computation
E-Book
03/2020
Springer
€139.09
Available for download
Content
Type-Theory of Acyclic Algorithms for Models of Consecutive Binding of Functional Neuro-Receptors.- Re?ning Algebraic Hierarchy in Mathematical Repository of Mizar.- Extending Formal Topology in Mizar by Uniform Spaces.