Skip to main content

Representing the Language of the Causal Calculator in Answer Set Programming

Abstract Action language C+ is a formalism for describing properties of actions, which is based on nonmonotonic causal logic. The definite fragment of C+ is implemented in the Causal Calculator (CCalc), which is based on the reduction of nonmonotonic causal logic to propositional logic. This thesis describes the language of CCalc in terms of answer set programming (ASP), based on the translation of nonmonotonic causal logic to formulas under the stable model semantics. I designed a standard library which describes the constructs of the input language of CCalc in terms of ASP, allowing a simple modular method to represent CCalc input programs in the language of ASP. Using the combination of system F2LP and answer set solvers, this method achieves... (more)
Created Date 2011
Contributor Casolary, Michael (Author) / Lee, Joohyung (Advisor) / Ahn, Gail-Joon (Committee member) / Baral, Chitta (Committee member) / Arizona State University (Publisher)
Subject Computer Science / Artificial Intelligence / answer set programming / asp / causal logic / ccalc / cplus2asp / knowledge representation
Type Masters Thesis
Extent 72 pages
Language English
Reuse Permissions All Rights Reserved
Note M.S. Computer Science 2011
Collaborating Institutions Graduate College / ASU Library
Additional Formats MODS / OAI Dublin Core / RIS

  Full Text
521.3 KB application/pdf
Download Count: 907

Description Dissertation/Thesis