Nonstandard Queries and Nonstandard Answers
Seiten
1994
Clarendon Press (Verlag)
978-0-19-853852-3 (ISBN)
Clarendon Press (Verlag)
978-0-19-853852-3 (ISBN)
BL A fundamental review of logic theory for database and knowledge systems
This 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.
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 consideration user'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 definitions for 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 and abductive reasoning (chapters 5 to 7), and, finally, hypothetical and subjunctive reasoning (last three chapters).
This 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.
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 consideration user'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 definitions for 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 and abductive reasoning (chapters 5 to 7), and, finally, hypothetical and subjunctive reasoning (last three chapters).
An overview of cooperative answering ; Cobase: a cooperative database system ; Exploiting user models to avoid misconstruals ; Modal logics for practical reasoning ; Deriving answers to safety queries ; Abductive reasoning in three-valued logic for knowledge bases ; Labelled abduction and relevance reasoning ; Hypothetical reasoning with intuitionistic logic ; A modal analysis for subjunctive queries ; Updates and subjunctive queries
| Erscheint lt. Verlag | 27.10.1994 |
|---|---|
| Reihe/Serie | Studies in Logic and Computation ; 3 |
| Zusatzinfo | line drawings |
| Verlagsort | Oxford |
| Sprache | englisch |
| Maße | 162 x 241 mm |
| Gewicht | 615 g |
| Themenwelt | Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 0-19-853852-9 / 0198538529 |
| ISBN-13 | 978-0-19-853852-3 / 9780198538523 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2024)
REDLINE (Verlag)
CHF 27,95
Eine kurze Geschichte der Informationsnetzwerke von der Steinzeit bis …
Buch | Hardcover (2024)
Penguin (Verlag)
CHF 39,20
