More Web Proxy on the site http://driver.im/

Article

Nonmonotonic databases and epistemic queries

Author:

Vladimir LifschitzAuthors Info & Claims

IJCAI'91: Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

Pages 381 - 386

Published: 24 August 1991 Publication History

Abstract

The approach to database query evaluation developed by Levesque and Reiter treats databases as first order theories, and queries as formulas of the language which includes, in addition to the language of the database, an epistemic modal operator. In this epistemic query language, one can express questions not only about the external world described by the database, but also about the database itself-- about what the database knows. On the other hand, epistemic formulas are used in knowledge representation for the purpose of expressing defaults. Autoepistemic logic is the best known epistemic nonmonotonic formalism; the logic of grounded knowledge, proposed recently by Lin and Shoham, is another such system. This paper brings these two directions of research together. We describe a new version of the Lin/Shoham logic, similar in spirit to the Levesque/Reiter theory of epistemic queries. Using this formalism, we can give meaning to epistemic queries in the context of nonmonotonic databases, including logic programs with negation as failure.

References

[1]

[Clark, 1978] Keith Clark. Negation as failure. In Herve Gallaire and Jack Minker, editors, Logic and Data Bases, pages 293-322. Plenum Press, New York, 1978.

[2]

[Emden and Kowalski, 1976] Maarten van Emden and Robert Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23(4)733-742, 1976.

[3]

[Gelfond and Lifschitz, 1988] Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. In Robert Kowalski and Kenneth Bowen, editors, Logic Programming: Proc. of the Fifth Int. Conf and Symp., pages 1070-1080, 1988.

[4]

[Gelfond and Lifschitz, 1990] Michael Gelfond and Vladimir Lifschitz. Logic programs with classical negation. In David Warren and Peter Szeredi, editors, Logic Programming: Proc. of the Seventh Int'I Conf, pages 579-597, 1990,

[5]

[Gelfond and Lifschitz, 1991] Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 1991. To apppear.

[6]

[Gelfond, 1987] Michael Gelfond. On stratified autoepistemic theories. In Proc. AAAI-87, pages 207-211, 1987.

[7]

[Gelfond, 1991] Michael Gelfond. Strong introspection. In Proc. AAAI-91, 1991. To appear.

[8]

[Halpern and Moses, 1984] Joseph Halpern and Yoram Moses. Towards a theory of knowledge and ignorance: preliminary report. Technical Report RJ 4448 (48136), IBM, 1984.

[9]

[Konolige, 1982] Kurt Konolige. Circumscriptive ignorance. In Proc. of AAAI-82, pages 202-204, 1982.

[10]

[Levesque, 1984] Hector Levesque. Foundations of a functional approach to knowledge representation. Artificial Intelligence, 23(2): 155-212, 1984.

Digital Library

[11]

[Levesque, 1990] Hector Levesque. All I know; a study in autoepistemic logic. Artificial Intelligence, 42(2,3):263-310, 1990.

[12]

[Lifschitz, 1990] Vladimir Lifschitz. On open defaults. In John Lloyd, editor, Computational Logic: Symposium Proceedings, pages 80-95. Springer, 1990.

[13]

[Lin and Shoham, 1990] Fangzhen Lin and Yoav Shoham. Epistemic semantics for fixed-points nonmonotonic logics. In Rohit Parikh, editor. Theoretical Aspects of Reasoning about Knowledge: Proc. of the Third Conf, pages 111-120, 1990.

[14]

[Lin, 1988] Fangzhen Lin. Circumscription in a modal logic. In Moshe Vardi, editor, Theoretical Aspects of Reasoning about Knowledge: Proc. of the Second Conf, pages 113-127, 1988.

[15]

[Marek and Truszczyriski, 1989] Wiktor Marek and Miroslaw Truszczynski. Relating autoepistemic and default logic. In Ronald Brachman, Hector Levesque, and Raymond Reiter, editors, Proc. of the First Int 7 Conf on Principles of Knowledge Representation and Reasoning, pages 276-288, 1989.

[16]

[McCarthy, 1986] John McCarthy. Applications of circumscription to formalizing common sense knowledge. Artificial Intelligence, 26(3):89-116, 1986.

Digital Library

[17]

[Moore, 1985] Robert Moore. Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25(1):75-94, 1985.

Digital Library

[18]

[Przymusinski, 1989] Teodor Przymusinski. On the declarative and procedural semantics of logic programs. Journal of Automated Reasoning, 5:167-205, 1989.

Digital Library

[19]

[Reiter, 1980] Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13(1.2):81-132, 1980.

[20]

[Reiter, 1988] Raymond Reiter, On integrity constraints. In Moshe Vardi, editor, Theoretical Aspects of Reasoning about Knowledge: Proc. of the Second Conf., pages 97-111, 1988.

[21]

[Reiter, 1990] Raymond Reiter, On asking what a database knows. In John Lloyd, editor, Computational Logic: Symposium Proceedings, pages 96-113. Springer, 1990.

[22]

[Shoham, 1986] Yoav Shoham, Chronological ignorance: Time, nonmonotonicity, necessity and causal theories. In Proc. of AAAI-86, pages 389-393, 1986.

[23]

[Siegel, 1990] Pierre Siegel. A modal language for non-monotonic logic. Presented at the DRUMS/CEE Workshop, Marseille, 1990.

[24]

[Truszczynski, 1991] Miroslaw Truszczynski. Modal interpretations of default logic. In Proc. of IJCAI-91, 1991.

Cited By

Liu FYour J(2018)Three-valued semantics for hybrid MKNF knowledge bases revisited (extended abstract)Proceedings of the 27th International Joint Conference on Artificial Intelligence10.5555/3304652.3304813(5627-5631)Online publication date: 13-Jul-2018
https://dl.acm.org/doi/10.5555/3304652.3304813
Gouveia ASilva NMartins P(2017)A rule-based DSS for transforming automatically-generated alignments into information integration alignmentsProceedings of the 19th International Conference on Information Integration and Web-based Applications & Services10.1145/3151759.3151837(181-187)Online publication date: 4-Dec-2017
https://dl.acm.org/doi/10.1145/3151759.3151837
Liu FYou J(2017)Three-valued semantics for hybrid MKNF knowledge bases revisitedArtificial Intelligence10.1016/j.artint.2017.08.003252:C(123-138)Online publication date: 1-Nov-2017
https://dl.acm.org/doi/10.1016/j.artint.2017.08.003
Show More Cited By

Nonmonotonic databases and epistemic queries

Recommendations

Towards First-Order Nonmonotonic Reasoning
LPNMR '99: Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning

We investigate the problem of reasoning in nonmonotonic extensions of first-order logic. In particular, we study reasoning in first-order MKNF, the modal logic of minimal knowledge and negation as failure introduced by Lifschitz. MKNF can be considered ...
Ground Nonmonotonic Modal Logic S5: New Results

We study logic programs under Gelfond's translation in the context of modal logic S5. We show that for arbitrary logic programs (propositional theories where logic negation is associated with default negation) ground nonmonotonic modal logics between T ...
A study of nonmonotonic reasoning

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

IJCAI'91: Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

August 1991

603 pages

ISBN:1558601600

Sponsors

The International Joint Conferences on Artificial Intelligence, Inc.

Publisher

Morgan Kaufmann Publishers Inc.

San Francisco, CA, United States

Publication History

Published: 24 August 1991

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

30
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 22 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Liu FYour J(2018)Three-valued semantics for hybrid MKNF knowledge bases revisited (extended abstract)Proceedings of the 27th International Joint Conference on Artificial Intelligence10.5555/3304652.3304813(5627-5631)Online publication date: 13-Jul-2018
https://dl.acm.org/doi/10.5555/3304652.3304813
Gouveia ASilva NMartins P(2017)A rule-based DSS for transforming automatically-generated alignments into information integration alignmentsProceedings of the 19th International Conference on Information Integration and Web-based Applications & Services10.1145/3151759.3151837(181-187)Online publication date: 4-Dec-2017
https://dl.acm.org/doi/10.1145/3151759.3151837
Liu FYou J(2017)Three-valued semantics for hybrid MKNF knowledge bases revisitedArtificial Intelligence10.1016/j.artint.2017.08.003252:C(123-138)Online publication date: 1-Nov-2017
https://dl.acm.org/doi/10.1016/j.artint.2017.08.003
Shen YEiter T(2016)Evaluating epistemic negation in answer set programmingArtificial Intelligence10.1016/j.artint.2016.04.004237:C(115-135)Online publication date: 1-Aug-2016
https://dl.acm.org/doi/10.1016/j.artint.2016.04.004
Kaminski TKnorr MLeite J(2015)Efficient paraconsistent reasoning with ontologies and rulesProceedings of the 24th International Conference on Artificial Intelligence10.5555/2832581.2832681(3098-3105)Online publication date: 25-Jul-2015
https://dl.acm.org/doi/10.5555/2832581.2832681
Slota MLeite JSwift T(2015)On updates of hybrid knowledge bases composed of ontologies and rulesArtificial Intelligence10.1016/j.artint.2015.07.008229:C(33-104)Online publication date: 1-Dec-2015
https://dl.acm.org/doi/10.1016/j.artint.2015.07.008
Huang SLi Q(2014)Reasoning with vagueness in hybrid MKNF knowledge basesJournal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology10.5555/2595223.259523826:4(1759-1770)Online publication date: 1-Jul-2014
https://dl.acm.org/doi/10.5555/2595223.2595238
Alferes JKnorr MSwift T(2013)Query-Driven Procedures for Hybrid MKNF Knowledge BasesACM Transactions on Computational Logic10.1145/2480759.248076814:2(1-43)Online publication date: 1-Jun-2013
https://dl.acm.org/doi/10.1145/2480759.2480768
Giordano LGliozzi VOlivetti NPozzato G(2013)A non-monotonic Description Logic for reasoning about typicalityArtificial Intelligence10.1016/j.artint.2012.10.004195(165-202)Online publication date: 1-Feb-2013
https://dl.acm.org/doi/10.1016/j.artint.2012.10.004
Ivanov VKnorr MLeite J(2013)A Query Tool for $\mathcal{EL}$ with Non-monotonic RulesProceedings of the 12th International Semantic Web Conference - Part I10.1007/978-3-642-41335-3_14(216-231)Online publication date: 21-Oct-2013
https://dl.acm.org/doi/10.1007/978-3-642-41335-3_14
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Table of Contents