Logical Foundations for Rule-Based Systems

• Κύριος συγγραφέας: Ligêza, Antoni (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Έκδοση: Second Edition.
• Σειρά: Studies in Computational Intelligence, 11
• Θέματα: 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...