Knowledge Representation, Reasoning and Declarative Problem Solving

Knowledge management and knowledge-based intelligence are areas of importance in the economy and society, and to exploit them fully and efficiently it is necessary both to represent and reason about knowledge via a declarative interface whose input language is based on logic. In this book, originall...

Full description

Saved in:
Bibliographic Details
Main Author Baral, Chitta
Format eBook Book
LanguageEnglish
Published Cambridge Cambridge University Press 09.01.2003
Edition1
Subjects
Artificial intelligence
Expert systems (Computer science)
Knowledge representation (Information theory)
Logic programming languages
Online AccessGet full text

Cover

More Information
Summary:Knowledge management and knowledge-based intelligence are areas of importance in the economy and society, and to exploit them fully and efficiently it is necessary both to represent and reason about knowledge via a declarative interface whose input language is based on logic. In this book, originally published in 2003, Chitta Baral shows exactly how to go about doing that: how to write programs that behave intelligently by giving them the ability to express knowledge and reason about it. He presents a language, AnsProlog, for both knowledge representation and reasoning, and declarative problem solving. The results have been organised here into a form that will appeal to practising and would-be knowledge engineers wishing to learn more about the subject, either in courses or through self-teaching. A comprehensive bibliography rounds off the book.
Bibliography:HTTP:URL=http://www.loc.gov/catdir/description/cam022/2002025622.html Information=Publisher description
HTTP:URL=http://www.loc.gov/catdir/toc/cam027/2002025622.html Information=Table of contents
Includes bibliographical references(p.498-518) and index
ISBN:9780521147750
0521818028
0521147751
9780521818025
DOI:10.1017/CBO9780511543357