From Modal Logic to Deductive Data Bases
Andre Thayse(Author)
Wiley (Publisher)
Published on 28. June 1989
Book
Paperback/Softback
402 pages
978-0-471-92345-9 (ISBN)
Description
This volume is an invaluable learning and reference source for students and researchers of computer science and artificial intelligence. It advances the study of the concepts and methods of artificial intelligence taking logic as a guideline. A knowledge of standard logic is required for an understanding of this book but this comprehensive approach to logic used in computer science is complemented by a companion volume, "From Standard Logic to Logic Programming". In this, the more elementary aspects of using logic for artificial intelligence are introduced.
More details
Language
English
Place of publication
Chichester
United Kingdom
Publishing group
John Wiley and Sons Ltd
Target group
College/higher education
Professional and scholarly
Illustrations
illustrations, tables, index
Dimensions
Height: 68 mm
Width: 45 mm
Weight
700 gr
ISBN-13
978-0-471-92345-9 (9780471923459)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Knowledge representation; natural and formal languages; modal logic; intensional logic and Montague's semantics; temporal logic and specification of concurrent programs; revisable reasoning; theory of relational and deductive databases; representation of incomplete information in databases.