Reasoning about Actions with Slg

  • Hudson TurnerDepartment
  • Published 1993

Abstract

We show how some forms of reasoning about the eeects of actions can be automated using SLG, a logic programming interpreter developed by Chen and Warren. SLG is turned into an interpreter for \extended" logic programs, in which both negation as failure and classical negation can be used. A new translation from a high-level action language into extended… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.