Vai al contenuto principale della pagina
Titolo: | AI Aspects in Reasoning, Languages, and Computation / / edited by Adam Grabowski, Roussanka Loukanova, Christoph Schwarzweller |
Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Edizione: | 1st ed. 2020. |
Descrizione fisica: | 1 online resource (viii, 105 pages) : illustrations |
Disciplina: | 006.3 |
Soggetto topico: | Computational intelligence |
Artificial intelligence | |
Computational linguistics | |
Computational Intelligence | |
Artificial Intelligence | |
Computational Linguistics | |
Persona (resp. second.): | GrabowskiAdam |
LoukanovaRoussanka | |
SchwarzwellerChristoph | |
Nota di contenuto: | Type-Theory of Acyclic Algorithms for Models of Consecutive Binding of Functional Neuro-Receptors -- Refining Algebraic Hierarchy in Mathematical Repository of Mizar -- Extending Formal Topology in Mizar by Uniform Spaces. . |
Sommario/riassunto: | 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 on new approaches to intelligent computational systems. |
Titolo autorizzato: | AI Aspects in Reasoning, Languages, and Computation |
ISBN: | 3-030-41425-6 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910484545103321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |