Nonstandard Queries and Nonstandard Answers

Edited by R. Demolombe and T. Imielinski

Clarendon Press

Studies in Logic and Computation

A fundamental review of logic theory for database and knowledge systems

Nonstandard Queries and Nonstandard Answers

Edited by R. Demolombe and T. Imielinski

Clarendon Press

Studies in Logic and Computation

Description

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).

Nonstandard Queries and Nonstandard Answers

Edited by R. Demolombe and T. Imielinski

Clarendon Press

Studies in Logic and Computation

An overview of cooperative answering, T. Gaasterland, P. Godfrey, J. Minker
Cobase: a cooperative database system, W. Chu, Q. Chen, M. Merzbacher
Exploiting user models to avoid misconstruals, A. Hemerly, M. Casanova, A. Furtado
Modal logics for practical reasoning, R. Nossum
Deriving answers to safety queries, R. Demolombe, A. Jones
Abductive reasoning in three-valued logic for knowledge bases, P. Mathieu, J-P. Delahaye
Labelled abduction and relevance reasoning, D. Gabbay, J. Pitt, R. Kempson
Hypothetical reasoning with intuitionistic logic, A. Bonner
A modal analysis for subjunctive queries, C. Boutilier
Updates and subjunctive queries, G. Grahne, A. Mendelzon

Nonstandard Queries and Nonstandard Answers

Edited by R. Demolombe and T. Imielinski

Clarendon Press

Studies in Logic and Computation

Author Information

Edited by R. Demolombe, Professor, Centre d'Études et de Recherches de Toulouse, and T. Imielinski, Professor, Department of Computer Science, Rutgers University, New Jersey, USA

Contributors:

Anthony Bonner, University of Toronto, Canada; Craig Boutilier, University of British Colombia, Canada; Marco A Casanova, Centro Cientifico Rio IBM Brasil, Rio de Janeiro, Brazil; Quiming Chen, University of California, Los Angeles, USA; Wesley W Chu, University of California, Los Angeles, USA; Robert Demolombe, ONERA-CERT, Toulouse, France; Jean-Paul Delahaye, Laboratoire d'Informatique Fondamentale de Lille, France; Antonio L Furtado, Departmento de Informatica PUC-RJ, Rio de Janeiro, Brazil; Terry Gaasterland, Argone National Laboratory MCS Division, USA; Dov Gabbay, Imperial College, London, UK; Parke Godfrey, University of Maryland, USA; Gosta Grahne, University of Helsinki, Finland; Andrea Hemerly, Centro Cientifico Rio IBM, Rio de Janeiro, Brazil; Tomasz Imielinski, IBM Research Center, San Jose, USA; Andrew Jones, University of Oslo, Norway; Ruth Kempson, School of Oriental and African Studies, London, UK; Philippe Mathieu, Laboratoire d'Informatique Fondamentale de Lille, France; Alberto O. Mendelzon, University of Toronto, Canada; Matthew Merzbacher, Williamstown, USA; Jack Minker, University of Maryland, USA; Rolph Nossum, Agder College, Norway; Jeremy Pitt, Imperial College, London, UK