TY - BOOK ID - 9957932 TI - Knowledge representation, reasoning and declarative problem solving PY - 2002 SN - 0521818028 PB - Cambridge Cambridge University press DB - UniCat KW - Artificial intelligence. KW - Expert systems (Computer science). KW - Knowledge representation (Information theory). KW - Artificial intelligence KW - Expert systems (Computer science) KW - Knowledge representation (Information theory) KW - 681.3*I24 KW - 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) KW - Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) KW - Representation of knowledge (Information theory) KW - Information theory KW - Knowledge-based systems (Computer science) KW - Systems, Expert (Computer science) KW - Computer systems KW - Soft computing KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers UR - https://www.unicat.be/uniCat?func=search&query=sysid:9957932 AB - Knowledge management and knowledge-based intelligence are areas of importance in today's 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, 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. Many of the results here have never appeared before in book form, and they have been organised here into a form that will appeal to practicing 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. ER -