Эта книга представляет собой строгое алгебраическое исследование наиболее популярных формализмов вывода, с особым акцентом на их широкую область применения, показывая, что все эти задачи могут быть выполнены с помощью одного универсального алгоритма вывода. Написанная ведущим международным экспертом в этой области, она включает алгебраическую перспективу (исследование рамок алгебры оценки), алгоритмическую перспективу (исследование универсальных схем вывода) и «практическую» перспективу (формализмы и приложения). Исследователи в ряде областей, включая искусственный интеллект, операционные исследования, базы данных и другие области информатики, аспиранты и профессиональные программисты методов вывода извлекут пользу из этой работы.
Электронная Книга «Generic Inference. A Unifying Theory for Automated Reasoning» написана автором Kohlas Juerg в году.
Минимальный возраст читателя: 0
Язык: Английский
ISBN: 9781118010846
Описание книги от Kohlas Juerg
This book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area, showing that all these tasks can be performed by a single generic inference algorithm. Written by the leading international authority on the topic, it includes an algebraic perspective (study of the valuation algebra framework), an algorithmic perspective (study of the generic inference schemes) and a «practical» perspective (formalisms and applications). Researchers in a number of fields including artificial intelligence, operational research, databases and other areas of computer science; graduate students; and professional programmers of inference methods will benefit from this work.
