Nonstandard Queries and Nonstandard Answers (Hardcover)

R. Demolombe

ISBN 10: 0198538529 / ISBN 13: 9780198538523

Published by Oxford University Press, Oxford, 1994

About this Item

Hardcover. Future Data and Knowledge Base Systems will require new functionalities: richer data modelling capabilities, more powerful query languages, and new concepts of query answers. Future query languages will include functionalities such as hypothetical reasoning, abductive reasoning, modal reasoning, and metareasoning, involving knowledge and belief. Intentional answers will lead to cooperative query answering in which the answer to a query takes into considerationuser's expectations.Non-classical logic plays an important role in this book for the formalization of new queries and new answers. It is shown how logic permits precise definitionsfor concepts like cooperative answers, subjective queries, or reliable sources of information, and gives a precise framework for reasoning about these complex concepts. It is worth noting that advances in knowledge management are not just an application domain for existing results in logic, but also require new developments in logic.The book is organized into 10 chapters which cover the areas of cooperative query answering (in the first three chapters), metareasoning andabductive reasoning (chapters 5 to 7), and, finally, hypothetical and subjunctive reasoning (last three chapters). BL A fundamental review of logic theory for database and knowledge systemsThis book, from the Studies in Logic and Computer Science series, uses non-classical logics inorder to formalize new queries and new answers. Topics covered include cooperative query answering, metareasoning and abductive reasoning, and also hypothetical and subjunctive reasoning. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Seller Inventory # 9780198538523

Bibliographic Details

• Title: Nonstandard Queries and Nonstandard Answers (Hardcover)
• Publisher: Oxford University Press, Oxford
• Publication Date: 1994
• Language: English
• ISBN 10: 0198538529
• ISBN 13: 9780198538523
• Binding: Hardcover
• Condition: new

About this title

Synopsis

Future data and knowledge base systems will require new and improved functions such as richer data modeling capabilities, more powerful query languages, and new conceptions of query answers. Future query languages will need to include hypothetical, abductive, meta-, and modal reasoning, involving both knowledge and belief. And intentional answers will ultimately lead to cooperative query answering which takes into consideration a user's expectations. This book explores the formalization of new queries and answers, and emphasizes the important role of non-classical logic. It shows how logic permits precise definitions for concepts like cooperative answers, subjective queries, and reliable sources of information. The work also gives a precise framework for reasoning about such complex concepts. Topics include cooperative query answering, metareasoning and abductive reasoning, and hypothetical and subjunctive reasoning. Students and researchers in database computing and artificial intelligence will want to read this book.

About the Author

R. Demolombe is at Centre d'Études et de Recherches de Toulouse. T. Imielinski is at Rutgers University, New Jersey.