Logical Formalizations of Commonsense Reasoning: A Survey
Abstract
Commonsense reasoning is in principle a central problem in artificial intelligence, but it is a very difficult one. One approach that has been pursued since the earliest days of the field has been to encode commonsense knowledge as statements in a logic-based representation language and to implement commonsense reasoning as some form of logical inference. This paper surveys the use of logic-based representations of commonsense knowledge in artificial intelligence research.
Cite
Text
Davis. "Logical Formalizations of Commonsense Reasoning: A Survey." Journal of Artificial Intelligence Research, 2017. doi:10.1613/JAIR.5339Markdown
[Davis. "Logical Formalizations of Commonsense Reasoning: A Survey." Journal of Artificial Intelligence Research, 2017.](https://mlanthology.org/jair/2017/davis2017jair-logical/) doi:10.1613/JAIR.5339BibTeX
@article{davis2017jair-logical,
title = {{Logical Formalizations of Commonsense Reasoning: A Survey}},
author = {Davis, Ernest},
journal = {Journal of Artificial Intelligence Research},
year = {2017},
pages = {651-723},
doi = {10.1613/JAIR.5339},
volume = {59},
url = {https://mlanthology.org/jair/2017/davis2017jair-logical/}
}