Logical Foundations for Rule-Based Systems
المؤلف
Antoni Ligêza
سنة النشر
2006
الناشر
Springer
لغة الملف
انكليزي
نوع الوثيقة
Book
الموضوع الرئيسي / الكلية
Engineering
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.
الكلمات المفتاحية: Engineering / Prolog / Rule-Based Systems / Artificial intelligence / Calculus / Computational intelligence / Control / Intelligence / Knowledge / Knowledge representation / Logic programming / Programming / Verification
