Logical Foundations for Rule-Based Systems

Logical Foundations for Rule-Based Systems PDF Author: Antoni Ligeza
Publisher: Springer Science & Business Media
ISBN: 3540291172
Category : Computers
Languages : en
Pages : 312

Get Book Here

Book Description
The book presents logical foundations for rule-based systems. An attempt has been made to provide an in-depth discussion of logical and other aspects of such systems, including languages for knowledge representation, inference mechanisms, inference control, design and verification. The ultimate goal was to provide a deeper theoretical insight into the nature of rule-based systems and put together the most complete presentation including details so frequently skipped in typical textbooks. The book may be useful to potentially wide audience, but it is aimed at providing specific knowledge for graduate, post-graduate and Ph.D. students, as well as knowledge engineers and research workers involved in the domain of AI. It also constitutes a summary of the Author’s research and experience gathered through several years of his research work.