Полное описание
> Ertel, W. Introduction to Artificial Intelligence : монография / by Wolfgang Ertel. - London : Springer, 2011. - on-line. - (Undergraduate Topics in Computer Science). - URL: http://dx.doi.org/10.1007/978-0-85729-299-5. - Загл. с экрана. - ISBN 978-0-85729-299-5. - Текст : электронный.
Содержание: >
Introduction -- 1: Propositional Logic -- 2: First-order Predicate Logic -- 3: Limitations of Logic -- 4: Logic Programming with PROLOG -- 5: Search, Games and Problem Solving -- 6: Reasoning with Uncertainty -- 7: Machine Learning and Data Mining -- 8: Neural Networks -- 9: Reinforcement Learning -- 10: Solutions for the Exercises.
| ГРНТИ | УДК | |
| 20 | 004.8 | |
| 50 |
Рубрики:
computer science
artificial intelligence
computer Science
artificial Intelligence (incl Robotics)
Аннотация: The ultimate aim of artificial intelligence (A.I.) is to understand intelligence and to build intelligent software and robots that come close to the performance of humans. On their way towards this goal, A.I. researchers have developed a number of quite different subdisciplines. This concise and accessible Introduction to Artificial Intelligence supports a foundation or module course on A.I., covering a broad selection of the subdisciplines within this field. The textbook presents concrete algorithms and applications in the areas of agents, logic, search, reasoning under uncertainty, machine learning, neural networks and reinforcement learning. Topics and features: Presents an application-focused and hands-on approach to learning the subject Provides study exercises of varying degrees of difficulty at the end of each chapter, with solutions given at the end of the book Supports the text with highlighted examples, definitions, theorems, and illustrative cartoons Includes chapters on predicate logic, PROLOG, heuristic search, probabilistic reasoning, machine learning and data mining, neural networks and reinforcement learning Contains an extensive bibliography for deeper reading on further topics Supplies additional teaching resources, including lecture slides and training data for learning algorithms, at the website http://www.hs-weingarten.de/~ertel/aibook Students of computer science and other technical natural sciences will find this easy-to-read textbook excellent for self-study, a high-school level of knowledge of mathematics being the only prerequisite to understanding the material. With its extensive tools and bibliography, it is an ideal, quick resource on A.I. Dr. Wolfgang Ertel is a professor at the Collaborative Center for Applied Research on Service Robotics at the Ravensburg-Weingarten University of Applied Sciences, Germany.
http://dx.doi.org/10.1007/978-0-85729-299-5
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): -881936939)>
Шифр в сводном ЭК: 33e2929a9d6e782cc812364ee5b08d2f
Hazzan O. Agile software engineering / O. Hazzan, Y. Dubinsky, 2008 r=on-line. - Текст : электронный.Gabbrielli M. Programming languages: principles and paradigms / M. Gabbrielli, S. Martini, 2010 r=on-line. - Текст : электронный.Burger W. Principles of digital image processing : fundamental techniques / W. Burger, M. J. Burge, 2009 r=on-line.Rigorous Software Development : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa., 2011 r=on-line (Введено оглавление). - Текст : электронный.Dowek G. Proofs and Algorithms : An Introduction to Logic and Computability / by Gilles Dowek., 2011 r=on-line. - Текст : электронный.Mirkin B. Core Concepts in Data Analysis: Summarization, Correlation and Visualization : монография / by Boris Mirkin., 2011 r=on-line. - Текст : электронный.Ertel W. Introduction to Artificial Intelligence : монография / by Wolfgang Ertel., 2011 r=on-line (Введено оглавление). - Текст : электронный.Oberguggenberger M. Analysis for Computer Scientists : Foundations, Methods, and Algorithms / by Michael Oberguggenberger, Alexander Ostermann., 2011 r=on-line (Введено оглавление). - Текст : электронный.Murty M.N. Pattern Recognition : An Algorithmic Approach / by M. Narasimha Murty, V. Susheela Devi., 2011 r=on-line (Введено оглавление). - Текст : электронный.Mogensen T.E. Introduction to Compiler Design : монография / by Torben Egidius Mogensen., 2011 r=on-line. - Текст : электронный.Chalmers D. Sensing and Systems in Pervasive Computing : Engineering Context Aware Systems / by Dan Chalmers., 2011 r=on-line. - Текст : электронный.Dowek G. Principles of programming languages / G. Dowek, 2009 r=on-line. - Текст : электронный.Nielsen F. A concise and practical introduction to programming algorithms in Java / F. Nielsen, 2009 r=on-line. - Текст : электронный.Models of computation : an introduction to computability theory / M. Fernandez, 2009 r=on-line. - Текст : электронный.Jalote P. A concise introduction to software engineering / P. Jalote, 2008 r=on-line. - Текст : электронный.Vince J.A. Mathematics for computer graphics / J. A. Vince, 2010 r=on-line. - Текст : электронный.Salomon D. Elements of computer security / D. Salomon, 2010 r=on-line. - Текст : электронный.Nielson H. Semantics with applications: an appetizer / H. Nielson, F. Nielson, 2007 r=on-line. - Текст : электронный.Kifer M. Introduction to operating system design and implementation : the OSP 2 Approach / M. Kifer, S. Smolka, 2007 r=on-lineCraig I. Object-oriented programming languages: interpretation / I. Craig, 2007 r=on-line
Показать все результатыМартин Д. Организация баз данных в вычислительных системах : монография / Д. Мартин, 1980. - 662 с. - Текст : непосредственный.Дроздов Е.А. Электронные вычислительные машины единой системы / Е. А. Дроздов, В. А. Комарницкий, А. П. Пятибратов, 1976. - 672 с. - Текст : непосредственный.Алгулиев Р. Информационное общество: интересные хронологические факты / Р. Алгулиев, П. Салманова, 2014. - 168 с. - Текст : непосредственный.Новый русско-английский, англо-русский словарь : словарь / Г. В. Бочарова, И. И. Воронцова, Ю. В. Момджи, 2000. - 807 с. - Текст : непосредственный.Баженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный.BASIC, 1992. - 97 с. - Текст : непосредственный.Ройтенберг Я.Н. Автоматическое управление / Я. Н. Ройтенберг, 1992. - 576 с. - Текст : непосредственный.Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный.Семененко В.А. Справочник по электронной вычислительной технике / В. А. Семененко, Ю. В. Ступин, 1993. - 222 с. - Текст : непосредственный.Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный.Электронные устройства для "Sinclair ZX Spectrum" : монография, 1992. - 80 с. - Текст : непосредственный.Юшин А.М. Цифровые микросхемы для электронных устройств / А. М. Юшин, 1993. - 176 c. - Текст : непосредственный.Гордеев А.А. Анализ цифровых приборных и следящих систем на фазовой плоскости / А. А. Гордеев, Л. В. Симонова, 1993. - 47 с. - Текст : непосредственный.Бейсик ZX SPECTRUM / "ВА Принт", фирма (Москва), 1993. - 96 с. - Текст : непосредственный.Эпштейн М.С. Программирование на языке С : учебное пособие / М. С. Эпштейн, 2011. - 335 с. - Текст : непосредственный.Гливенко Е.В. Параллельный процессор первичной обработки информации / Е. В. Гливенко, 1992. - 105 с. - Текст : непосредственный.Проблемы создания автоматизированных систем и современных технологий обработки информации : сборник научных трудов / Казахский НИИ науч.-технической и конъюнктурно-коммерческой информации (Алма-Ата), Вычислительный центр, 1992. - 154 с. - Текст : непосредственный.Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Обслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный.Разу М.Л. Анализ и выработка критериев для формирования новых компьютерных программ по оценке эффективности проектов / М. Л. Разу, З. М. Гальперина, А. А. Ищенко, 1997. - 43 с. - Текст : непосредственный.
Показать все результатыOn the construction of artificial brains / SpringerLink (Online service), 2010. - VIII, 359 p. - Текст : непосредственный.Ханжин А. Г. Формирование знания о рефератах и методах реферирования / А. Г. Ханжин, А. А. Кожокару, 2010 r=on-line. - Текст : непосредственный // Научно-техническая информация. Сер.1, Организация и методика информационной работы : Ежемес.науч.-техн.сб. / ВИНИТИ. - М. - 2011. - N 8. - с. 1-8Ganter B. Formal concept analysis / B. Ganter, G. Stumme, R. Wille ; ed. B. Ganter, 2005 r=on-line. - Текст : электронный.Faas R.J. Life system modeling and intelligent computing / R. J. Faas, K. Li ; ed. X. Li, 2010 r=on-line. - Текст : электронный.Sande S. Taking your ipad to the max / S. Sande, M. Grothaus, E. Sadun, 2010 r=on-line. - Текст : электронный.Pilgrim M. Dive into python 3 / M. Pilgrim, 2009 r=on-line. - Текст : электронный.Redkar T. Windows azure platform / T. Redkar, 2009 r=on-line. - Текст : электронный.Powers D. Getting startED with CSS / D. Powers, 2009 r=on-line. - Текст : электронный.Peutz M. Introducing aviary / M. Peutz, 2009 r=on-line. - Текст : электронный.Aitchison A. Expert SQL server 2008 development / A. Aitchison, A. Machanic, 2009 r=on-line. - Текст : электронный.Ganz C. Pro dynamic .net 4.0 applications / C. Ganz, 2010 r=on-line. - Текст : электронный.Nash T. Accelerated C# 2010 / T. Nash, 2010 r=on-line. - Текст : электронный.Expert oracle practices / M. Caffrey, J. Senegacnik, T. Gorman [et al.], 2010 r=on-line. - Текст : электронный.McGaw J. Beginning django e-commerce / J. McGaw, 2009 r=on-line. - Текст : электронный.Zammetti F.W. Practical palm pre webOS projects / F. W. Zammetti, 2009 r=on-line. - Текст : электронный.Nutting J. Learn cocoa on the mac / J. Nutting, D. Mark, J. LaMarche, 2010 r=on-line. - Текст : электронный.Murphy M.L. Beginning android 2 / M. L. Murphy, 2010 r=on-line. - Текст : электронный.Lee J. Beginning perl / J. Lee, 2010 r=on-line. - Текст : электронный.Kelly J.F. Getting started with windows live movie maker / J. F. Kelly, 2010 r=on-line. - Текст : электронный.MacDonald M. Pro WPF in VB 2010 / M. MacDonald, 2010 r=on-line. - Текст : электронный.
Показать все результатыВенда В.Ф. Системы гибридного интеллекта : Эволюция, психология, информатика / В.Ф.Венда, 1990. - 447 c. - Текст : непосредственный.Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный.Expert system as a maze / O. A. Khrustalev, P. K. Silaev, O. D. Timofeevskaya, E. N. Tyurin, 1990. - 10 p. - Текст : непосредственный.Потапова О.Ф. Создание экспертных систем на базе ПЭВМ ЕС1840. Операторы языка пролог / О. Ф. Потапова, И. М. Птаховская, 1990. - 20 с. - Текст : непосредственный.Храмцов С.В. Система автоматизированного синтеза тестов для генератора экспертных систем СИНАП / С. В. Храмцов, 1990. - 28 с. - Текст : непосредственный.Innovative applications of artificial intelligence 3 : материалы временных коллективов / Ed.: R. G. Smith, A. C. Scott, 1991. - 362 p. - Текст : непосредственный.Янаева М.В. Разработка и исследование кластерных экспертных систем : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / М. В. Янаева, 2006. - 24 с. - Текст : непосредственный.Толковый словарь по искусственному интеллекту / Ред. А. Н. Аверкин, 1992. - 255 с. - Текст : непосредственный.Bellifemine F. Developing multi-agent systems with JADE / F. Bellifemine, G. Caire, D. Greenwood, 2007 r=on-line. - Текст : электронный.Дулин С.К. Моделирования сходства элементов базы знаний / С. К. Дулин, И. А. Киселев, 1994. - 23 c. - Текст : непосредственный.Frederichs G. Kunstliche Intelligenz im Hartetest der kommerziellen Praxis / G. Frederichs, M. Rader, 1993. - 108 S. - Текст : непосредственный.Advances in artificial intelligence- IBERAMIA 2008 / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Semantics in data and knowledge bases / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Abe S. Support vector machines for pattern classification / S. Abe, 2005 r=on-line. - Текст : электронный.Aarts E. True visions / E. Aarts, J. Encarnacao ; ed. E. Aarts, 2006 r=on-line.Ладенко И.С. Интеллектуальные системы и информатика / И. С. Ладенко, В. Г. Поляков, 1991. - 44 с. - Текст : непосредственный.Вихтенко Э.М. Элементы теории искусственного интеллекта / Э. М. Вихтенко, 2006. - 94 с. - Текст : непосредственный.Брейн М. Великие изобретения : монография / М. Брейн ; Пер. О. С. Лобачева, 2017. - 534 с. - Текст : непосредственный.Аншаков О.М. Логико-математические основания ДСМ-метода автоматического порождения гипотез : специальность 05.13.17 "Теоретические основы информатики" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / О. М. Аншаков, 2000. - 48 с. - Текст : непосредственный.Труды Международной конференции по логике, информатике, науковедению : (г. Ульяновск, 17-18 мая 2007 г.). Т. 2 : Информационные и интеллектуальные технологии, 2007. - 115 с. - Текст : непосредственный.
Показать все результатыПросмотр издания