Commonsense Reasoning Using Answer Set Programming
Abstract
Answer set programming is an approach to knowledge representation and reasoning. Knowledge is represented as answer set programs, and reasoning is performed by answer set solvers. Answer set programming enables default reasoning, which is required in commonsense reasoning. It supports event calculus reasoning and handles some types of event calculus formulas whose circumscription cannot be computed using predicate completion, including effect constraints, disjunctive event axioms, and definitions of compound events. We discuss the use of answer set programming for commonsense reasoning. We first describe the syntax and semantics of answer set programs. We then present the ...
Get Commonsense Reasoning, 2nd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
