| 000 | 00000nam u2200205 a 4500 | |
| 001 | 000046061507 | |
| 005 | 20201228112132 | |
| 008 | 201222s2020 sz b 101 0 eng d | |
| 020 | ▼a 9783030414245 | |
| 040 | ▼a 211009 ▼c 211009 ▼d 211009 | |
| 082 | 0 4 | ▼a 006.3 ▼2 23 |
| 084 | ▼a 006.3 ▼2 DDCK | |
| 090 | ▼a 006.3 ▼b A2882 | |
| 245 | 0 0 | ▼a AI aspects in reasoning, languages, and computation / ▼c Adam Grabowski, Roussanka Loukanova, Christoph Schwarzweller, editors. |
| 260 | ▼a Cham, Switzerland : ▼b Springer, ▼c 2020. | |
| 300 | ▼a viii, 105 p. ; ▼c 25 cm. | |
| 490 | 1 | ▼a Studies in computational intelligence, ▼x 1860-949X ; ▼v volume 889 |
| 504 | ▼a Includes bibliographical references and index. | |
| 700 | 1 | ▼a Grabowski, Adam. |
| 700 | 1 | ▼a Loukanova, Roussanka. |
| 700 | 1 | ▼a Schwarzweller, Christoph. |
| 711 | 2 | ▼a Advances in artificial intelligence and applications (Symposium) ▼n (14th : ▼d 2019 : ▼c Leipzig, Germany). |
| 830 | 0 | ▼a Studies in computational intelligence ; ▼v volume 889. |
| 945 | ▼a KLPA |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 중앙도서관/서고6층/ | 청구기호 006.3 A2882 | 등록번호 111840672 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
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.
New feature
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.
정보제공 :
목차
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.