Nonmonotonic default modal logics

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Nonmonotonic default modal logics

Full text

Pdf (1.47 MB)

Source

Journal of the ACM (JACM) archive
Volume 38 , Issue 4 (October 1991) table of contents

Pages: 963 - 984

Year of Publication: 1991

ISSN:0004-5411

Authors

Michael Tiomkin	IBM Science and Technology, Haifa, Israel
Michael Kaminski	Technion, Haifa, Israel

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 40, Citation Count: 0

Additional Information:

references index terms review collaborative colleagues peer to peer

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/115234.115350 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	CLARKE, M. R. B., AND GABBAY, D.M. An intuitionistic basis for non-monotonic reasoning. In P. Smets, E. H. Mamduni, D. Dubois, and H. Prade, eds. Non-Standard Logics for Automated Reasoning. Academic Press, San Diego, Calif., 1988, pp. 163-178.
	2	Dov M. Gabbay, Intuitonistic Basis for Non-Monotonic Logic, Proceedings of the 6th Conference on Automated Deduction, p.260-273, June 07-09, 1982
	3	D. Gabbay, Theoretical foundations for non-monotonic reasoning in expert systems, Logics and models of concurrent systems, Springer-Verlag New York, Inc., New York, NY, 1989
	4	HUGHES, G. E., AND CRESSWELL, M.J. An Introduction to Modal Logic. Methuen and Co., London, England, 1972.
	5	Michael Kaminski, Embedding a default system into nonmonotonic logics, Fundamenta Informaticae, v.14 n.3, p.345-353, Mar. 1991
	6	K Konolige, On the relation between default and autoepistemic logic, Readings in nonmonotonic reasoning, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1987
	7	Kurt Konolige, On the relation between default and autoepistemic logic, Artificial Intelligence, v.35 n.3, p.343-382, July 1988 [doi>10.1016/0004-3702(88)90021-5 ]
	8	KRWK~, S. A A completeness theorem in modal logic, J. Symb Logic 24 (1959), 1-14.
	9	KRIPKE, S.A.Semantical analysis of modal logic. I. Normal proposmonal calcuh. Z Math. Logik Grund.Math. 9 (1963), 67-96.
	10	KRIPKE, S.A. Necessity and identity. In S. P Schwartz, ed. Naming, Necessity, and Natural Kinds. Cornell Umverslty Press, Ithaca, N.Y., 1977, pp. 66-10I.
	11	KRIPKE, S, A. Naming and Necessity. Harvard University Press, Cambridge, Mass., 1980.
	12	LEHMANN, D Preferential models and cumulaUve logic. In E. Shapiro, ed. Proceedings of the 5th Israeli Symposium on Artificial Intelligence. Information Processing Association of Israel, Tel Avav, 1988, pp 365-381.
	13	D. Makinson, General theory of cumulative inference, Proceedings of the 2nd international workshop on Non-monotonic reasoning, p.1-18, May 1989, Grassau, Germany
	14	MCCARTHY, J. Circumscription--A form of non-monotonic reasoning. Artif Int. 13 (1980), 27-39.
	15	MCDERMOTT, D., AND DOYLE, J. Non-monotonic logic I. Arnf. Int. 13 (1980), 41-72.
	16	Drew McDermott, Nonmonotonic Logic II: Nonmonotonic Modal Theories, Journal of the ACM (JACM), v.29 n.1, p.33-57, Jan. 1982 [doi>10.1145/322290.322293]
	17	Elliott Mendelson, Introduction to mathematical logic (3rd ed.), Wadsworth Publ. Co., Belmont, CA, 1987
	18	Robert C. Moore, Semantical considerations on nonmonotonic logic, Artificial Intelligence, v.25 n.1, p.75-94, Jan. 1985 [doi>10.1016/0004-3702(85)90042-6 ]
	19	R. Moore, Possible-world semantics for autoepistemic logic, Readings in nonmonotonic reasoning, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1987
	20	RE~TER, R, A logic for default reasoning. Artif. Int 13 (1980), 81-132
	21	ZARNECKA-BIaLY, E. A. note on deduction theorem for G6del's propositional calculus G4 Stud. Log. XXIII (I968), 35-40.
	22	Aidong Zhang , Wiktor Marek, On the classification and existence of structures in default logic, Fundamenta Informaticae, v.13 n.4, p.485-499, Dec. 1990

INDEX TERMS

Primary Classification:
I. Computing Methodologies
I.2 ARTIFICIAL INTELLIGENCE
I.2.3 Deduction and Theorem Proving
Subjects: Nonmonotonic reasoning and belief revision

Additional Classification:
F. Theory of Computation
F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES

I. Computing Methodologies
I.2 ARTIFICIAL INTELLIGENCE

General Terms:
Theory

Keywords:
deduction theorem for modal logic, modal logic

REVIEW

"Doris C. Appleby : Reviewer"

The authors deal with logical extensions to the predicate calculus (PC), the modal system first formalized in 1932 by C. I. Lewis [1]. They consider McDermott logics [2], but the notions go back to Aristotle, who used four modal operators: nec more...

Collaborative Colleagues:

Michael Tiomkin: colleagues

Michael Kaminski: colleagues

Peer to Peer - Readers of this Article have also read:

Data structures for quadtree approximation and compression Communications of the ACM 28, 9
Hanan Samet
A hierarchical single-key-lock access control using the Chinese remainder theorem Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
Kim S. Lee , Huizhu Lu , D. D. Fisher
The GemStone object database management system Communications of the ACM 34, 10
Paul Butterworth , Allen Otis , Jacob Stein
Putting innovation to work: adoption strategies for multimedia communication systems Communications of the ACM 34, 12
Ellen Francik , Susan Ehrlich Rudman , Donna Cooper , Stephen Levine
An intelligent component database for behavioral synthesis Proceedings of the 27th ACM/IEEE conference on Design automation
Gwo-Dong Chen , Daniel D. Gajski

Adobe Acrobat

QuickTime

Windows Media Player

Real Player