Skip to main content

Towards Efficient Online Reasoning About Actions

Abstract Modeling dynamic systems is an interesting problem in Knowledge Representation (KR) due to their usefulness in reasoning about real-world environments. In order to effectively do this, a number of different formalisms have been considered ranging from low-level languages, such as Answer Set Programming (ASP), to high-level action languages, such as C+ and BC. These languages show a lot of promise over many traditional approaches as they allow a developer to automate many tasks which require reasoning within dynamic environments in a succinct and elaboration tolerant manner. However, despite their strengths, they are still insufficient for modeling many systems, especially those of non-trivial scale or that require the ability to cope with e... (more)
Created Date 2014
Contributor Babb, Joseph Allyn (Author) / Lee, Joohyung (Advisor) / Lee, Yann-Hang (Committee member) / Baral, Chitta (Committee member) / Arizona State University (Publisher)
Subject Computer science / Action Languages / Answer Set Programming / ASP / BC+ / Knowledge Representation / Online Reasoning
Type Masters Thesis
Extent 169 pages
Language English
Reuse Permissions All Rights Reserved
Note M.S. Computer Science 2014
Collaborating Institutions Graduate College / ASU Library
Additional Formats MODS / OAI Dublin Core / RIS

  Full Text
868.6 KB application/pdf
Download Count: 352

Description Dissertation/Thesis