Publication year: 2006
ISBN: 978-3-540-32446-1
Internet Resource: Please Login to download book
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 verification.
Subject: Engineering, Prolog, Rule-Based Systems, artificial intelligence, calculus, computational intelligence, control, intelligence, knowledge, knowledge representation, logic programming, programming, verification