Reformulation of explanation by linear logic toward logic for explanation
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.
- 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.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.Girard,J-Y: Linear Logic, Theoretical Computer Science 50, North-Holland, pp. 1–102, (1987).Google Scholar
- 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.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.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.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
- 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
- 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