Nonstandard Queries and Nonstandard Answers - Workshop : Papers

Klappentext 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. Itshows 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 abductivereasoning, and hypothetical and subjunctive reasoning. Students and researchers in database computing and artificial intelligence will want to read this book. Zusammenfassung 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. Inhaltsverzeichnis 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

Détails du produit

• Auteurs: Imielinski Demolombe, R. Demolombe, R. (Professor Demolombe, R. Imielinski Demolombe, T. Imielinski, Tomasz Imielinski
• Collaboration: R. Demolombe (Editeur), Demolombe R. (Editeur), T. Imielinski (Editeur)
• Edition: Oxford University Press
• Langues: Anglais
• Format d'édition: Livre Relié
• Sortie: 27.10.1994
• EAN: 9780198538523
• ISBN: 978-0-19-853852-3
• Pages: 292
• Thèmes: Studies in Logic and Computation; Studies in Logic and Computation; Studies in Logic and Computati
• Catégories: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Applications, programmes; Artificial Intelligence, MATHEMATICS / Logic, COMPUTERS / Logic Design, COMPUTERS / Machine Theory, Artificial Intelligence (AI), Mathematical theory of computation, Mathematical logic, Computer architecture & logic design, COMPUTERS / Computer Architecture, Computer architecture and logic design, COMPUTERS / Artificial Intelligence / General