Книга "Проблемы удовлетворения ограничений" ("Constraint Satisfaction Problems") состоит из набора переменных, области значений для каждой переменной и набора ограничений. Цель заключается в том, чтобы назначить значение для каждой переменной таким образом, чтобы все ограничения были удовлетворены. Проблемы удовлетворения ограничений продолжают привлекать внимание из-за своей высокой сложности и своего всеприсутствия в академических, промышленных и даже реальных проблемах. Именно поэтому они являются объектом интенсивных исследований как в области искусственного интеллекта, так и в области операционного исследования. Эта книга знакомит читателя с классической проблемой удовлетворения ограничений и подробно описывает несколько расширений/улучшений формализма и техник, чтобы решать широкий спектр проблем. Рассматриваются иллюстрируемые примерами проблемы устойчивости, гибкости, динамического, распределенного и обучающегося подходов, таких как проблема n-ферзей. Содержание книги включает в себя: 1. Основы проблемы удовлетворения ограничений. 2. Техники усиления согласованности. 3. Алгоритмы решения проблемы удовлетворения ограничений. 4. Эвристики поиска. 5. Техники обучения. 6. Проблемы максимального удовлетворения ограничений. 7. Проблемы удовлетворения ограничений и оптимизации. 8. Распределенные проблемы удовлетворения ограничений. Авторы книги: Халед Гедира - генеральный директор Тунисского городского научного центра, профессор Университета Туниса, основатель Тунисской ассоциации искусственного интеллекта и первый директор научно-исследовательской лаборатории SOIE. Его научные интересы включают множество областей, таких как мультиагентные системы, проблемы удовлетворения ограничений, транспорт и производственная логистика, метаэвристики и безопасность в электронном правительстве. Он руководил несколькими национальными и международными научными проектами, наставлял 30 докторантов и более 50 магистрантов, соавторствовал более чем в 300 научных статей, написал две учебника по метаэвристикам и производственной логистике и соавторствовал в трех других.
Книга "Constraint Satisfaction Problems" (Проблемы удовлетворения ограничений) представляет собой введение в классические проблемы удовлетворения ограничений (CSP) и описывает несколько расширений и усовершенствований формализма и техник, которые позволяют решать широкий спектр задач. CSP продолжают привлекать все большее внимание из-за их высокой сложности и широкого применения в академической, промышленной и даже реальной жизни. Именно поэтому они являются предметом интенсивных исследований в области искусственного интеллекта и операционного исследования. В книге рассматриваются такие аспекты, как согласованность, гибкость, динамическое программирование, распределенные алгоритмы и методы обучения на простых примерах, таких как проблема n-ферзей.
Содержание книги:
- Основы CSP.
- Техники усиления согласованности.
- Алгоритмы решения CSP.
- Эвристики поиска.
- Техники обучения.
- Проблемы максимального удовлетворения ограничений.
- Проблемы удовлетворения и оптимизации ограничений.
- Распределенные проблемы удовлетворения ограничений.
Об авторах:
Халед Гедира - генеральный директор Тунисского научного города, профессор Университета Туниса, основатель Ассоциации искусственного интеллекта Туниса и руководитель исследовательской лаборатории SOIE. Его научные интересы включают мультиагентные системы, CSP, логистику транспорта и производства, метаэвристики и безопасность в электронном правительстве. Он руководил несколькими национальными и международными научно-исследовательскими проектами, руководил работой над 30 докторскими диссертациями и более чем 50 магистерскими диссертациями, соавторствовал около 300 научных статей в журналах, конференциях и книгах, написал две учебника по метаэвристике и логистике производства, а также соавторствовал в трех других книгах.
Электронная Книга «Constraint Satisfaction Problems» написана автором Khaled Ghedira в году.
Минимальный возраст читателя: 0
Язык: Английский
ISBN: 9781118574577
Описание книги от Khaled Ghedira
A Constraint Satisfaction Problem (CSP) consists of a set of variables, a domain of values for each variable and a set of constraints. The objective is to assign a value for each variable such that all constraints are satisfied. CSPs continue to receive increased attention because of both their high complexity and their omnipresence in academic, industrial and even real-life problems. This is why they are the subject of intense research in both artificial intelligence and operations research. This book introduces the classic CSP and details several extensions/improvements of both formalisms and techniques in order to tackle a large variety of problems. Consistency, flexible, dynamic, distributed and learning aspects are discussed and illustrated using simple examples such as the n-queen problem. Contents 1. Foundations of CSP. 2. Consistency Reinforcement Techniques. 3. CSP Solving Algorithms. 4. Search Heuristics. 5. Learning Techniques. 6. Maximal Constraint Satisfaction Problems. 7. Constraint Satisfaction and Optimization Problems. 8. Distibuted Constraint Satisfaction Problems. About the Authors Khaled Ghedira is the general managing director of the Tunis Science City in Tunisia, Professor at the University of Tunis, as well as the founding president of the Tunisian Association of Artificial Intelligence and the founding director of the SOIE research laboratory. His research areas include MAS, CSP, transport and production logistics, metaheuristics and security in M/E-government. He has led several national and international research projects, supervised 30 PhD theses and more than 50 Master’s theses, co-authored about 300 journal, conference and book research papers, written two text books on metaheuristics and production logistics and co-authored three others.
