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.
Download count: 0
- Partial requirement for: M.S., Arizona State University, 2014Note typethesis
- Includes bibliographical references (p. 124-127)Note typebibliography
- Field of study: Computer science