Логика и ее составляющие (пропозициональная, первопорядковая, неклассическая) играют ключевую роль в информатике и искусственном интеллекте. Хотя большое количество информации разбросано по разным источникам (книги, статьи, веб-страницы и т.д.), разрозненный характер этих источников проблематичен, и логика как тема выигрывает от единого подхода. Книга "Логика для информатики и искусственного интеллекта" использует такой формат, охватывая методы таблиц истинности, резолюций, Дэвиса и Патнэма, логическое программирование, а также, например, унификацию и субсумпцию. Для неклассических логик подробно описан метод перевода. Эта книга - результат многолетнего преподавания в гренобльском технологическом институте. Она создана для самообучения новичка с базовыми знаниями математики и информатики, но также очень подходит для традиционных курсов. Читатель ведется четко мотивированными понятиями, введениями, историческими замечаниями, заметками о связях с другими дисциплинами и многочисленными упражнениями с подробными решениями. Книга дает читателю инструменты, необходимые для естественного прихода к практическим реализациям обсуждаемых концепций и методов, позволяя проектировать алгоритмы для решения задач.
Электронная Книга «Logic for Computer Science and Artificial Intelligence» написана автором Ricardo Caferra в году.
Минимальный возраст читателя: 0
Язык: Английский
ISBN: 9781118604205
Описание книги от Ricardo Caferra
Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), the diffuse nature of these sources is problematic and logic as a topic benefits from a unified approach. Logic for Computer Science and Artificial Intelligence utilizes this format, surveying the tableaux, resolution, Davis and Putnam methods, logic programming, as well as for example unification and subsumption. For non-classical logics, the translation method is detailed. Logic for Computer Science and Artificial Intelligence is the classroom-tested result of several years of teaching at Grenoble INP (Ensimag). It is conceived to allow self-instruction for a beginner with basic knowledge in Mathematics and Computer Science, but is also highly suitable for use in traditional courses. The reader is guided by clearly motivated concepts, introductions, historical remarks, side notes concerning connections with other disciplines, and numerous exercises, complete with detailed solutions, The title provides the reader with the tools needed to arrive naturally at practical implementations of the concepts and techniques discussed, allowing for the design of algorithms to solve problems.
