An approach to human-level commonsense reasoning

DOI10.1007/978-94-007-4438-7_12zbMATH Open1261.03014OpenAlexW312259539MaRDI QIDQ4912992FDOQ4912992

Authors: Walid Gomaa, Don Perlis, Michael L. Anderson, John Grant 

Publication date: 2 April 2013

Published in: Paraconsistency: Logic and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-4438-7_12

Recommendations

• Logical formalizations of commonsense reasoning: a survey
• Publication:4207612
• scientific article; zbMATH DE number 935033
• scientific article; zbMATH DE number 4049142
• scientific article; zbMATH DE number 44622

zbMATH Keywords

paraconsistent logiccommonsense reasoningactive logicartificial reasoning systems

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Paraconsistent logics (03B53) Logic in artificial intelligence (68T27)

Cites Work

• How to reason defeasibly
• Title not available (Why is that?)
• Prospect Theory: An Analysis of Decision under Risk
• The value of the four values
• Natural language processing and knowledge representation. Language for knowledge and knowledge for language
• Reasoning about truth
• Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae
• Title not available (Why is that?)
• Title not available (Why is that?)
• The SNePS family
• Active logic semantics for a single agent in a static world

Cited In (17)

• Common-sense reasoning as proto-scientific agent activity
• The psychological aspects of paraconsistency
• Logical formalizations of commonsense reasoning: a survey
• Title not available (Why is that?)
• Human and unhuman commonsense reasoning
• Glimpsing at guessing
• A logical approach to experience-based reasoning
• Epistemic utility in commonsense reasoning
• Knowledge infusion: in pursuit of robustness in artificial intelligence
• Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge
• A general approach for determining the validity of commonsense assertions using conditional logics
• An attempt to formalise a non-trivial benchmark problem in common sense reasoning
• A survey of commonsense knowledge acquisition
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modeling and reasoning in event calculus using goal-directed constraint answer set programming
• Commonsense reasoning about containers using radically incomplete information

This page was built for publication: An approach to human-level commonsense reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4912992)