Knowledge Representation, Reasoning and Declarative Problem Solving (Google eBook)

Front Cover
Cambridge University Press, Jan 9, 2003 - Computers
0 Reviews
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.
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

introduction and preliminaries
1
Chapter 2 Simple modules for declarative programming with answer sets
46
Chapter 3 Principles and properties of declarative programming with answer sets
83
Chapter 4 Declarative problem solving and reasoning in AnsProlog
170
Chapter 5 Reasoning about actions and planning in AnsProlog
199
Chapter 6 Complexity expressiveness and other properties of AnsProlog programs
278
Chapter 7 Answer set computing algorithms
345
Chapter 8 Query answering and answer set computing systems
382
Chapter 9 Further extensions of and alternatives to AnsProlog
458
Ordinals lattices and fixpoint theory
494
Turing machines
496
Bibliography
498
Index of notation
519
Index of terms
522
Copyright

Common terms and phrases

Bibliographic information