Logical Foundations for Rule-Based Systems

• Main Author: Ligêza, Antoni (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Edition: Second Edition.
• Series: Studies in Computational Intelligence, 11
• Subjects: Engineering.; Artificial intelligence.; Applied mathematics.; Engineering mathematics.; Appl.Mathematics/Computational Methods of Engineering.; Artificial Intelligence (incl. Robotics).

The book presents logical foundations for rule-based systems, as seen by the Author. 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 verifica...