Matching Items (402)
Filtering by
Description
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 exceptions which occur during execution, such as unexpected events or unintended consequences to actions which have been performed. In order to address these challenges, a theoretical framework is created which focuses on improving the feasibility of applying KR techniques to such problems. The framework is centered on the action language BC+, which integrates many of the strengths of existing KR formalisms, and provides the ability to perform efficient reasoning in an incremental fashion while handling exceptions which occur during execution. The result is a developer friendly formalism suitable for performing reasoning in an online environment. Finally, the newly enhanced Cplus2ASP 2 is introduced, which provides a number of improvements over the original version. These improvements include implementing BC+ among several additional languages, providing enhanced developer support, and exhibiting a significant performance increase over its predecessors and similar systems.
ContributorsBabb, Joseph (Author) / Lee, Joohyung (Thesis advisor) / Lee, Yann-Hang (Committee member) / Baral, Chitta (Committee member) / Arizona State University (Publisher)
Created2014
ContributorsEvans, Bartlett R. (Conductor) / Schildkret, David (Conductor) / Glenn, Erica (Conductor) / Concert Choir (Performer) / Chamber Singers (Performer) / ASU Library. Music Library (Publisher)
Created2018-03-16
ContributorsOwen, Ken (Conductor) / McDevitt, Mandy L. M. (Performer) / Larson, Brook (Conductor) / Wang, Lin-Yu (Performer) / Jacobs, Todd (Performer) / Morehouse, Daniel (Performer) / Magers, Kristen (Performer) / DeGrow, Gary (Performer) / DeGrow, Richard (Performer) / Women's Chorus (Performer) / Sun Devil Singers (Performer) / ASU Library. Music Library (Publisher)
Created2004-03-24
ContributorsMetz, John (Performer) / Sowers, Richard (Performer) / Collegium Musicum (Performer) / ASU Library. Music Library (Publisher)
Created1983-01-29
ContributorsEvans, Bartlett R. (Conductor) / Glenn, Erica (Conductor) / Steiner, Kieran (Conductor) / Thompson, Jason D. (Conductor) / Arizona Statesmen (Performer) / Women's Chorus (Performer) / Concert Choir (Performer) / Gospel Choir (Conductor) / ASU Library. Music Library (Publisher)
Created2019-03-15
ContributorsKillian, George W. (Performer) / Killian, Joni (Performer) / Vocal Jazz Ensemble (Performer) / ASU Library. Music Library (Publisher)
Created1992-11-05
ContributorsButler, Robb (Conductor) / McCreary, Kimilee (Conductor) / Bakko, Nicki L. (Conductor) / Schreuder, Joel (Conductor) / Larson, Matthew (Performer) / Ortman, Mory (Performer) / Graduate Chorale I (Performer) / Graduate Chorale II (Performer) / ASU Library. Music Library (Publisher)
Created1999-12-02
ContributorsGarrett, Jennifer (Conductor) / FitzPatrick, Carole (Performer) / Aspnes, Lynne (Performer) / Campbell, Andrew (Pianist) (Performer) / Ryan, Russell (Performer) / Rockmaker, Jody (Performer) / Kocour, Mike (Performer) / McLin, Katherine (Performer) / Larson, Brook Carter (Conductor) / Women's Chorus (Performer) / Men's Chorus (Performer) / ASU Library. Music Library (Publisher)
Created2009-05-04
ContributorsLarson, Brook Carter (Conductor) / Gentry, Gregory R. (Conductor) / Garrison, Ryan D. (Conductor) / Schildkret, David (Conductor) / Men's Chorus (Performer) / Symphonic Chorale (Performer) / Women's Chorus (Performer) / Chamber Singers (Performer) / Choral Union (Performer) / ASU Library. Music Library (Publisher)
Created2007-12-03
ContributorsHerberger Singers (Performer) / Sun Devil Singers (Performer) / ASU Library. Music Library (Publisher)
Created2004-10-24