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
