Logical Formalizations of Commonsense Reasoning: A Survey | Zendy

Ernest Davis | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Logical Formalizations of Commonsense Reasoning: A Survey

Author(s) -

Ernest Davis

Publication year - 2017

Publication title -

journal of artificial intelligence research

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.79

H-Index - 123

eISSN - 1943-5037

pISSN - 1076-9757

DOI - 10.1613/jair.5339

Subject(s) - commonsense reasoning , commonsense knowledge , computer science , artificial intelligence , inference , knowledge representation and reasoning , encode , field (mathematics) , deductive reasoning , representation (politics) , logical reasoning , natural language processing , cognitive science , mathematics , psychology , biochemistry , chemistry , politics , political science , pure mathematics , law , gene

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research