- 1.A.R. Anderson and N. D. Belnap Jr.' Entailment: The Logic of Relevance and Necessity, Vol. 1, Princeton University Press, 1975.Google Scholar
- 2.R.J. Brachman and H. J. Levesque (eds.)' Readings in Knowledge Representation, Morgan Kaufmann Publishers, 1985. Google ScholarDigital Library
- 3.J. Cheng: Relevance Logic and Entailment Logic: A Comparative Study of Paradox- Free Logics, Memoirs of the Faculty of Engineering, Kyushu University, Vol. 50, No. 2, pp. 57-73, 1990.Google Scholar
- 4.J. Cheng: Entailment Lattices as Algebraic Models of Entailment Logic, Proc. of International Conference on Information Technology Harmonizing with Society, Part 2, pp. 17-24, Tokyo, japan, 1990.Google Scholar
- 5.J. Cheng: C- A Propositional Logic for Conditionals, IEICE Technical Report, Vol. 90, No. 259, AI90-59, pp. 1-6, 1990.Google Scholar
- 6.J. Cheng' An Algebraic Semantics of Notional Entailment Logic Cn, Information Processing Letters, Vol. 36, North-Holland, 1990. Google ScholarDigital Library
- 7.J. Cheng and K. Ushijima: Nonmonotonic Reasoning Based on Entailment Logic, Proc. of the 4th International Symposium on Knowledge Engineering, Barcelona, Spain, 1.990.Google Scholar
- 8.J.M. Dunn' Relevance Logic and Entailment, in D. Gabbay and F. Guenthner (eds.)' Handbook of Philosophical Logic, Vol. III, D. Reidel, pp. 117-224, 1986.Google ScholarCross Ref
- 9.M.L. Ginsberg (ed.)' Readings in Nonmonotonic Reasoning, Morgan Kaufmann Publishers, 1987. Google ScholarDigital Library
- 10.G. E Hughes. and M. J. Cresswell' An Introduction to Modal Logic, Hethuen and Co., Ltd. London, 1972.Google Scholar
- 11.D. Israel' A Short Companion to the Naive Physics Manifesto, in j. R. Hobbs and R. C. Moore (eds.), Formal Theories of the Commonsense World, pp. 427-447, 1985.Google Scholar
- 12.G. Kolata: How Can Computers Get Common Sense? - Two of the founders of the field of artificial intelligence disagree on how to make a th~nking machine, Science, Vol. 217, pp. 1237-1238, 1982.Google ScholarCross Ref
- 13.H.J. Levesque: Knowledge Representation and Reasoning, Annual Review of Computer Science, Vol. 1, pp. 225-287, 1986. Google ScholarDigital Library
- 14.B. Lin' Entailment Logic - The Combination of Traditional Logic and Modern Logic, Guizhou, 1985 (in Chinese).Google Scholar
- 15.B. Lin: Entailment System - Propositional Calculus System Cm and Notional Calculus System Cn (appendix in B. Lin: Entailment Logic- The Combination of Traditional Logic and Modern Logic), Guizhou, 1985 (in English).Google Scholar
- 16.B. Lin: The Motivation of Constructing Entailment Logic, Proc. of the 8th International Congress of Logic, Methodology and Philosophy of Science, Vol. 5, Moscow, 1987.Google Scholar
- 17.R.C. Moore: The Role of Logic in Knowledge Representation and Commonsense Reasoning, Proc. of AAAi- 82, pp. 428-433, 1982.Google Scholar
- 18.D. Nute: Topics in Conditional Logic, D. Reidel, 1980.Google ScholarCross Ref
- 19.D. Nute: Conditional Logic, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. II, pp. 387-439, D. Reidel, 1984.Google ScholarCross Ref
- 20.R. Reiter: Nonmonotonic Reasoning, Annual Review of Computer Science, Vol. 2, pp. 147-186, 1987.Google ScholarCross Ref
- 21.R. Routley, V. Plumwood, R. K. Meyer, and R. T. Brady' Relevant Logics and Their Rivals, Part I: The Basic Philosophical and Semantical Theory, Ridgeview, Atascadero, California, 1982.Google Scholar
- 22.H. Wang: Popular Lectures on Mathematical Logic, Van Nostrand Reinhold, 1981.Google Scholar
- Logical tool of knowledge engineering: using entailment logic rather than mathematical logic
Recommendations
Knowledge, Time, and the Problem of Logical Omniscience
Logic, Language, Information and ComputationIt is well known that Modal Epistemic logic (MEL) suffers from the problem of logical omniscience. In this paper, we will argue that in order to solve the problem, the temporal dimension of knowledge has to be revealed and following this analysis, we ...
Towards logical frameworks in the heterogeneous tool set hets
WADT'10: Proceedings of the 20th international conference on Recent Trends in Algebraic Development TechniquesLF is a meta-logical framework that has become a standard tool for representing logics and studying their properties. Its focus is proof theoretic, employing the Curry-Howard isomorphism: propositions are represented as types, and proofs as terms.
Hets ...
Comments