Logical Foundations for Rule-Based Systems
- Author
- Antoni Ligêza
- Publication Year
- 2006
- Publisher
- Springer
- Language
- English
- Document Type
- Book
- Faculty / Subject Heading
- Engineering
- Download Book Read 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.
Keywords: Engineering / Prolog / Rule-Based Systems / Artificial intelligence / Calculus / Computational intelligence / Control / Intelligence / Knowledge / Knowledge representation / Logic programming / Programming / Verification
