{"product_id":"logical-foundations-for-rule-based-systems-9783642067099","title":"Logical Foundations for Rule-Based Systems","description":"\u003cp\u003e • Author(s): Antoni Ligeza\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Applied\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eFrom the Back Cover\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eThe 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. The ultimate goal was to provide a deeper theoretical insight into the nature of rule-based systems and put together the most complete presentation including details so frequently skipped in typical textbooks. The main parts present material on: - logical foundations of rule-based systems (Part I); - principles of rule-based systems structures, knowledge representation languages, inference and inference control (Part II); - verification of formal properties of rule-based systems (Part III); - design methodology for efficient development of such systems (Part IV).\u003c\/p\u003e \u003cp\u003eThe book may be useful to potentially wide audience, but it is aimed at providing specific knowledge for graduate, post-graduate and Ph.D. students, as well as knowledge engineers and research workers involved in the domain of AI. It also constitutes a summary of the Author's research and experience gathered through several years of his research work.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45275082424471,"sku":"9783642067099","price":10900.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783642067099.webp?v=1769281842","url":"https:\/\/atlanticbooks.com\/products\/logical-foundations-for-rule-based-systems-9783642067099","provider":"Atlantic Books","version":"1.0","type":"link"}