An approach to human-level commonsense reasoning

DOI10.1007/978-94-007-4438-7_12MaRDI QIDQ4912992zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

active logicartificial reasoning systemscommonsense reasoningparaconsistent logic

Mathematics Subject Classification ID

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

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

Cites work

• Active logic semantics for a single agent in a static world
• How to reason defeasibly
• scientific article; zbMATH DE number 3824599 (Why is no real title available?)
• scientific article; zbMATH DE number 3742670 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Natural language processing and knowledge representation. Language for knowledge and knowledge for language
• Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae
• Prospect Theory: An Analysis of Decision under Risk
• Reasoning about truth
• The SNePS family
• The value of the four values

Cited in

(22)

• Glimpsing at guessing
• Confidences for commonsense reasoning
• A common reasoning model and its application in knowledge-based system
• Commonsense reasoning about containers using radically incomplete information
• Common-sense reasoning as proto-scientific agent activity
• Epistemic utility in commonsense reasoning
• Sources of, and exploiting, inconsistency: preliminary report
• Knowledge infusion: in pursuit of robustness in artificial intelligence
• A general approach for determining the validity of commonsense assertions using conditional logics
• scientific article; zbMATH DE number 4128428 (Why is no real title available?)
• scientific article; zbMATH DE number 568601 (Why is no real title available?)
• A logical approach to experience-based reasoning
• Automated inference in active logics
• Human and unhuman commonsense reasoning
• Modeling and reasoning in event calculus using goal-directed constraint answer set programming
• Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge
• Logical formalizations of commonsense reasoning: a survey
• scientific article; zbMATH DE number 2208071 (Why is no real title available?)
• Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
• The psychological aspects of paraconsistency
• A survey of commonsense knowledge acquisition
• An attempt to formalise a non-trivial benchmark problem in common sense reasoning

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)