O'Reilly logo

Commonsense Reasoning, 2nd Edition by Erik T. Mueller

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter 15

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 ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required