Reformulation of explanation by linear logic toward logic for explanation

  • Jun Arima
  • Hajime Sawamura
Selected Papers Inductive Logic and Inference
Part of the Lecture Notes in Computer Science book series (LNCS, volume 744)


The use of the concept of “explanation” spreads extensively over fields of Artificial Intelligence: EBG, analogy, abduction, natural language understanding, diagnosis, etc. Their formalisms, however, suffer inconveniences from the nature of the logic underlying them — classical logic. This paper explores one of the crucial inconveniences stemming from classical logic and attempts newly to construct an adequate logic for “explanation” based on linear logic.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Arima, J.: A logical analysis of relevance in analogy, in Proc. of Workshop on Algorithmic Learning Theory (ALT'91), Japanese Society for Artificial Intelligence, 255–265 (1991).Google Scholar
  2. 2.
    Cox P.T. and Pietrzykowski T.: Causes for events: their computation and applications, in: Proc. of Eighth International Conference on Automated Deduction, Lecture Notes in Computer Science 230 (Springer-Verlag, Berlin, 1986) pp. 608–621.Google Scholar
  3. 3.
    Girard,J-Y: Linear Logic, Theoretical Computer Science 50, North-Holland, pp. 1–102, (1987).Google Scholar
  4. 4.
    Hobbs, J.R., Stickel,M.E., Martin, P., & Edwards, D.: Interpretation as abduction, In Proc. of the 26th Annual Meeting of the Association for Computational Linguistics, Philadelphia, PA, pp. 32–37, (1986).Google Scholar
  5. 5.
    Kedar-Cabelli,S.: Purpose-directed analogy, in the 7th Annual Conference of the Cognitive Science Society, Hillsdale, N J: Lawrence Erlbaum Associates, pp.150–159 (1985).Google Scholar
  6. 6.
    Mitchell, T., Keller, R. & Kedar-Cabelli,S.: Explanation-Based Generalization: A Unifying View, in Machine Learning 1, Kluwer Academic Publishers, Boston, pp.47–80 (1986).Google Scholar
  7. 7.
    Ng,H.T. & Mooney, R.J.: On the Role of Coherence in Abductive Explanation, in Proc. of the 8th National Conference on A I (AAAI-90), pp. 337–342 (1990).Google Scholar
  8. 8.
    Pearl,J.: Embracing causality in default reasoning, Artificial Intelligence 35, pp.259–271 (1988).CrossRefGoogle Scholar
  9. 9.
    Poole D., Goebel R. and Aleliunas R.: Theorist: a logical reasoning system for defaults and diagnosis, in: N. Cercone and G. McCalla (eds.), The Knowledge Frontier: Essays in the Representation of Knowledge (Springer-Verlag, New York, 1987) 331–352.Google Scholar
  10. 10.
    Poole, D.: A logical framework for default reasoning, Artificial Intelligence 36, pp.27–47 (1988).MathSciNetGoogle Scholar
  11. 11.
    Stickel M.E.: Rationale and methods for abductive reasoning in natural-language interpretation, in: R. Studer (ed.), Natural Language and Logic, Proceedings of the International Scientific Symposium, Hamburg, Germany, Lecture Notes in Artificial Intelligence 459 (Springer-Verlag, Berlin, 1990) 233–252.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Jun Arima
    • 1
  • Hajime Sawamura
    • 1
  1. 1.FUJITSU Labs. LTD.ShizuokaJapan

Personalised recommendations