Abstract
We present here a continuation of our work presented in [Dem97]. We recall definitions of valid subsets or complete subsets of a database, and the modal logic that is used for reasoning about assumptions on validity and completeness, in order to characterise subsets of a standard answer that are either valid or complete. We formally define several forms of answers that are either extensional or intensional. Then, we analyse which kinds of anwers are really useful for users. Finally, we present an automated deduction method to compute these answers. This method is based on SOL-deduction, which has been designed for classical logic, and we show how it can be adapted to our modal logic.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
L. Cholvy and R. Demolombe. Génération de réponses non-standard dans le contexte d'un dialogue coopératif. Phase 1.2 Définition et caractérisation des procédures élémentaires et génériques permettant de calculer les réponses coopératives. Technical Report 2, ONERA-CERT-DTIM, 1997.
L. Cholvy and R. Demolombe. Génération de réponses non-standard dans le contexte d'un dialogue coopératif. Phase 1.3 Mise en oeuvre des procédures élaborées lors de la phase 1.2. Technical Report 3, ONERA-CERT-DTIM, 1997.
L. Cholvy, R. Demolombe, and A.J.I. Jones. Reasoning about the safety of information: from logical formalization to operational definition. In Proc. of 8th International Symposium on Methodologies for Intelligent Systems, 1994.
B. F. Chellas. Modal Logic: An introduction. Cambridge University Press, 1988.
R. Demolombe. Validity Queries and Completeness Queries. In Proc. of 9th International Symposium on Methodologies for Intelligent Systems, 1996.
R. Demolombe. Answering queries about validity and completeness of data: from modal logic to relational algebra. In T. Andreasen, H. Christiansen, and H. L. Larsen, editors, Flexible Query Answering Systems. Kluwer Academic Publishers, 1997.
R. Demolombe and A.J.I. Jones. Deriving answers to safety queries. In R. Demolombe and T. Imielinski, editors, Nonstandard queries and nonstandard answers. Oxford University Press, 1994.
K. Inoue. Consequence-Finding Based on Oredered Linear Resolution. In Proc. of International Joint Conference on Artificial Intelligence, Sydney, 1991.
K. Inoue. Linear Resolution for Consequence Finding. Artificial intelligence, an International Journal, 56, 1992.
K. Inoue. Studies on Abductive and Nonmonotonic Reasoning. PhD thesis, Kyoto University, 1992.
A. Motro. Completeness information and its application to query processing. In Proc. of 12th International Conference on Very Large Data Bases, 1986.
A. Motro. Integrity = validity + completeness. ACM TODS, 14(4), 1989.
A. Motro. PANORAMA: a Database System that Annotates Its Answers to Queries with their Properties. Journal of Intelligent Information Systems, 7, 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Demolombe, R. (1998). Answers about validity and completeness of data: Formal definitions, usefulness and computation technique. In: Andreasen, T., Christiansen, H., Larsen, H.L. (eds) Flexible Query Answering Systems. FQAS 1998. Lecture Notes in Computer Science, vol 1495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055997
Download citation
DOI: https://doi.org/10.1007/BFb0055997
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65082-9
Online ISBN: 978-3-540-49655-7
eBook Packages: Springer Book Archive