Reformulation of Explanation by Linear Logic: Toward Logic for Explanation
Abstract
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 .
Cite
Text
Arima and Sawamura. "Reformulation of Explanation by Linear Logic: Toward Logic for Explanation." International Conference on Algorithmic Learning Theory, 1993. doi:10.1007/3-540-57370-4_36Markdown
[Arima and Sawamura. "Reformulation of Explanation by Linear Logic: Toward Logic for Explanation." International Conference on Algorithmic Learning Theory, 1993.](https://mlanthology.org/alt/1993/arima1993alt-reformulation/) doi:10.1007/3-540-57370-4_36BibTeX
@inproceedings{arima1993alt-reformulation,
title = {{Reformulation of Explanation by Linear Logic: Toward Logic for Explanation}},
author = {Arima, Jun and Sawamura, Hajime},
booktitle = {International Conference on Algorithmic Learning Theory},
year = {1993},
pages = {45-57},
doi = {10.1007/3-540-57370-4_36},
url = {https://mlanthology.org/alt/1993/arima1993alt-reformulation/}
}