Commonsense Reasoning Using Answer Set Programming
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 O’Reilly online learning.
O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.