Matching Items (15)
Filtering by
- Member of: ASU Electronic Theses and Dissertations
Description
Answer Set Programming (ASP) is one of the most prominent and successful knowledge representation paradigms. The success of ASP is due to its expressive non-monotonic modeling language and its efficient computational methods originating from building propositional satisfiability solvers. The wide adoption of ASP has motivated several extensions to its modeling language in order to enhance expressivity, such as incorporating aggregates and interfaces with ontologies. Also, in order to overcome the grounding bottleneck of computation in ASP, there are increasing interests in integrating ASP with other computing paradigms, such as Constraint Programming (CP) and Satisfiability Modulo Theories (SMT). Due to the non-monotonic nature of the ASP semantics, such enhancements turned out to be non-trivial and the existing extensions are not fully satisfactory. We observe that one main reason for the difficulties rooted in the propositional semantics of ASP, which is limited in handling first-order constructs (such as aggregates and ontologies) and functions (such as constraint variables in CP and SMT) in natural ways. This dissertation presents a unifying view on these extensions by viewing them as instances of formulas with generalized quantifiers and intensional functions. We extend the first-order stable model semantics by by Ferraris, Lee, and Lifschitz to allow generalized quantifiers, which cover aggregate, DL-atoms, constraints and SMT theory atoms as special cases. Using this unifying framework, we study and relate different extensions of ASP. We also present a tight integration of ASP with SMT, based on which we enhance action language C+ to handle reasoning about continuous changes. Our framework yields a systematic approach to study and extend non-monotonic languages.
ContributorsMeng, Yunsong (Author) / Lee, Joohyung (Thesis advisor) / Ahn, Gail-Joon (Committee member) / Baral, Chitta (Committee member) / Fainekos, Georgios (Committee member) / Lifschitz, Vladimir (Committee member) / Arizona State University (Publisher)
Created2013
Description
In order to cope with the decreasing availability of symphony jobs and collegiate faculty positions, many musicians are starting to pursue less traditional career paths. Also, to combat declining audiences, musicians are exploring ways to cultivate new and enthusiastic listeners through relevant and engaging performances. Due to these challenges, many community-based chamber music ensembles have been formed throughout the United States. These groups not only focus on performing classical music, but serve the needs of their communities as well. The problem, however, is that many musicians have not learned the business skills necessary to create these career opportunities. In this document I discuss the steps ensembles must take to develop sustainable careers. I first analyze how groups build a strong foundation through getting to know their communities and creating core values. I then discuss branding and marketing so ensembles can develop a public image and learn how to publicize themselves. This is followed by an investigation of how ensembles make and organize their money. I then examine the ways groups ensure long-lasting relationships with their communities and within the ensemble. I end by presenting three case studies of professional ensembles to show how groups create and maintain successful careers. Ensembles must develop entrepreneurship skills in addition to cultivating their artistry. These business concepts are crucial to the longevity of chamber groups. Through interviews of successful ensemble members and my own personal experiences in the Tetra String Quartet, I provide a guide for musicians to use when creating a community-based ensemble.
ContributorsDalbey, Jenna (Author) / Landschoot, Thomas (Thesis advisor) / McLin, Katherine (Committee member) / Ryan, Russell (Committee member) / Solis, Theodore (Committee member) / Spring, Robert (Committee member) / Arizona State University (Publisher)
Created2013
Description
American Primitive is a composition written for wind ensemble with an instrumentation of flute, oboe, clarinet, bass clarinet, alto, tenor, and baritone saxophones, trumpet, horn, trombone, euphonium, tuba, piano, and percussion. The piece is approximately twelve minutes in duration and was written September - December 2013. American Primitive is absolute music (i.e. it does not follow a specific narrative) comprising blocks of distinct, contrasting gestures which bookend a central region of delicate textural layering and minimal gestural contrast. Though three gestures (a descending interval followed by a smaller ascending interval, a dynamic swell, and a chordal "chop") were consciously employed throughout, it is the first gesture of the three that creates a sense of unification and overall coherence to the work. Additionally, the work challenges listeners' expectations of traditional wind ensemble music by featuring the trumpet as a quasi-soloist whose material is predominately inspired by transcriptions of jazz solos. This jazz-inspired material is at times mimicked and further developed by the ensemble, also often in a soloistic manner while the trumpet maintains its role throughout. This interplay of dialogue between the "soloists" and the "ensemble" further skews listeners' conceptions of traditional wind ensemble music by featuring almost every instrument in the ensemble. Though the term "American Primitive" is usually associated with the "naïve art" movement, it bears no association to the music presented in this work. Instead, the term refers to the author's own compositional attitudes, education, and aesthetic interests.
ContributorsJandreau, Joshua (Composer) / Rockmaker, Jody D (Thesis advisor) / Rogers, Rodney I (Committee member) / Demars, James R (Committee member) / Arizona State University (Publisher)
Created2014
Description
This project is a practical annotated bibliography of original works for oboe trio with the specific instrumentation of two oboes and English horn. Presenting descriptions of 116 readily available oboe trios, this project is intended to promote awareness, accessibility, and performance of compositions within this genre.
The annotated bibliography focuses exclusively on original, published works for two oboes and English horn. Unpublished works, arrangements, works that are out of print and not available through interlibrary loan, or works that feature slightly altered instrumentation are not included.
Entries in this annotated bibliography are listed alphabetically by the last name of the composer. Each entry includes the dates of the composer and a brief biography, followed by the title of the work, composition date, commission, and dedication of the piece. Also included are the names of publishers, the length of the entire piece in minutes and seconds, and an incipit of the first one to eight measures for each movement of the work.
In addition to providing a comprehensive and detailed bibliography of oboe trios, this document traces the history of the oboe trio and includes biographical sketches of each composer cited, allowing readers to place the genre of oboe trios and each individual composition into its historical context. Four appendices at the end include a list of trios arranged alphabetically by composer's last name, chronologically by the date of composition, and by country of origin and a list of publications of Ludwig van Beethoven's oboe trios from the 1940s and earlier.
The annotated bibliography focuses exclusively on original, published works for two oboes and English horn. Unpublished works, arrangements, works that are out of print and not available through interlibrary loan, or works that feature slightly altered instrumentation are not included.
Entries in this annotated bibliography are listed alphabetically by the last name of the composer. Each entry includes the dates of the composer and a brief biography, followed by the title of the work, composition date, commission, and dedication of the piece. Also included are the names of publishers, the length of the entire piece in minutes and seconds, and an incipit of the first one to eight measures for each movement of the work.
In addition to providing a comprehensive and detailed bibliography of oboe trios, this document traces the history of the oboe trio and includes biographical sketches of each composer cited, allowing readers to place the genre of oboe trios and each individual composition into its historical context. Four appendices at the end include a list of trios arranged alphabetically by composer's last name, chronologically by the date of composition, and by country of origin and a list of publications of Ludwig van Beethoven's oboe trios from the 1940s and earlier.
ContributorsSassaman, Melissa Ann (Author) / Schuring, Martin (Thesis advisor) / Buck, Elizabeth (Committee member) / Holbrook, Amy (Committee member) / Hill, Gary (Committee member) / Arizona State University (Publisher)
Created2014
Description
Different logic-based knowledge representation formalisms have different limitations either with respect to expressivity or with respect to computational efficiency. First-order logic, which is the basis of Description Logics (DLs), is not suitable for defeasible reasoning due to its monotonic nature. The nonmonotonic formalisms that extend first-order logic, such as circumscription and default logic, are expressive but lack efficient implementations. The nonmonotonic formalisms that are based on the declarative logic programming approach, such as Answer Set Programming (ASP), have efficient implementations but are not expressive enough for representing and reasoning with open domains. This dissertation uses the first-order stable model semantics, which extends both first-order logic and ASP, to relate circumscription to ASP, and to integrate DLs and ASP, thereby partially overcoming the limitations of the formalisms. By exploiting the relationship between circumscription and ASP, well-known action formalisms, such as the situation calculus, the event calculus, and Temporal Action Logics, are reformulated in ASP. The advantages of these reformulations are shown with respect to the generality of the reasoning tasks that can be handled and with respect to the computational efficiency. The integration of DLs and ASP presented in this dissertation provides a framework for integrating rules and ontologies for the semantic web. This framework enables us to perform nonmonotonic reasoning with DL knowledge bases. Observing the need to integrate action theories and ontologies, the above results are used to reformulate the problem of integrating action theories and ontologies as a problem of integrating rules and ontologies, thus enabling us to use the computational tools developed in the context of the latter for the former.
ContributorsPalla, Ravi (Author) / Lee, Joohyung (Thesis advisor) / Baral, Chitta (Committee member) / Kambhampati, Subbarao (Committee member) / Lifschitz, Vladimir (Committee member) / Arizona State University (Publisher)
Created2012
Description
Knowledge representation and reasoning is a prominent subject of study within the field of artificial intelligence that is concerned with the symbolic representation of knowledge in such a way to facilitate automated reasoning about this knowledge. Often in real-world domains, it is necessary to perform defeasible reasoning when representing default behaviors of systems. Answer Set Programming is a widely-used knowledge representation framework that is well-suited for such reasoning tasks and has been successfully applied to practical domains due to efficient computation through grounding--a process that replaces variables with variable-free terms--and propositional solvers similar to SAT solvers. However, some domains provide a challenge for grounding-based methods such as domains requiring reasoning about continuous time or resources.
To address these domains, there have been several proposals to achieve efficiency through loose integrations with efficient declarative solvers such as constraint solvers or satisfiability modulo theories solvers. While these approaches successfully avoid substantial grounding, due to the loose integration, they are not suitable for performing defeasible reasoning on functions. As a result, this expressive reasoning on functions must either be performed using predicates to simulate the functions or in a way that is not elaboration tolerant. Neither compromise is reasonable; the former suffers from the grounding bottleneck when domains are large as is often the case in real-world domains while the latter necessitates encodings to be non-trivially modified for elaborations.
This dissertation presents a novel framework called Answer Set Programming Modulo Theories (ASPMT) that is a tight integration of the stable model semantics and satisfiability modulo theories. This framework both supports defeasible reasoning about functions and alleviates the grounding bottleneck. Combining the strengths of Answer Set Programming and satisfiability modulo theories enables efficient continuous reasoning while still supporting rich reasoning features such as reasoning about defaults and reasoning in domains with incomplete knowledge. This framework is realized in two prototype implementations called MVSM and ASPMT2SMT, and the latter was recently incorporated into a non-monotonic spatial reasoning system. To define the semantics of this framework, we extend the first-order stable model semantics by Ferraris, Lee and Lifschitz to allow "intensional functions" and provide analyses of the theoretical properties of this new formalism and on the relationships between this and existing approaches.
To address these domains, there have been several proposals to achieve efficiency through loose integrations with efficient declarative solvers such as constraint solvers or satisfiability modulo theories solvers. While these approaches successfully avoid substantial grounding, due to the loose integration, they are not suitable for performing defeasible reasoning on functions. As a result, this expressive reasoning on functions must either be performed using predicates to simulate the functions or in a way that is not elaboration tolerant. Neither compromise is reasonable; the former suffers from the grounding bottleneck when domains are large as is often the case in real-world domains while the latter necessitates encodings to be non-trivially modified for elaborations.
This dissertation presents a novel framework called Answer Set Programming Modulo Theories (ASPMT) that is a tight integration of the stable model semantics and satisfiability modulo theories. This framework both supports defeasible reasoning about functions and alleviates the grounding bottleneck. Combining the strengths of Answer Set Programming and satisfiability modulo theories enables efficient continuous reasoning while still supporting rich reasoning features such as reasoning about defaults and reasoning in domains with incomplete knowledge. This framework is realized in two prototype implementations called MVSM and ASPMT2SMT, and the latter was recently incorporated into a non-monotonic spatial reasoning system. To define the semantics of this framework, we extend the first-order stable model semantics by Ferraris, Lee and Lifschitz to allow "intensional functions" and provide analyses of the theoretical properties of this new formalism and on the relationships between this and existing approaches.
ContributorsBartholomew, Michael James (Author) / Lee, Joohyung (Thesis advisor) / Bazzi, Rida (Committee member) / Colbourn, Charles (Committee member) / Fainekos, Georgios (Committee member) / Lifschitz, Vladimir (Committee member) / Arizona State University (Publisher)
Created2016
Description
The repertoire for guitar and piano duo is small in comparison with other chamber music instrumentation; therefore, it is important to broaden this repertoire. In addition to creating original compositions, arrangements of existing works contribute to this expansion.
This project focuses on an arrangement of Bachianas Brasileiras No. 1 by Brazilian composer Heitor Villa-Lobos (1887-1959), a work originally conceived for cello ensemble with a minimum of eight cellos. In order to contextualize the proposed arrangement, this study contains a brief historical listing of the repertoire for guitar and piano duo and of the guitar works by Villa-Lobos. Also, it includes a description of the Bachianas Brasileiras series and a discussion of the arranging methodology that shows how the original musical ideas of the composer were adapted using techniques that are idiomatic to the guitar and piano. The full arrangement is included in Appendix A.
This project focuses on an arrangement of Bachianas Brasileiras No. 1 by Brazilian composer Heitor Villa-Lobos (1887-1959), a work originally conceived for cello ensemble with a minimum of eight cellos. In order to contextualize the proposed arrangement, this study contains a brief historical listing of the repertoire for guitar and piano duo and of the guitar works by Villa-Lobos. Also, it includes a description of the Bachianas Brasileiras series and a discussion of the arranging methodology that shows how the original musical ideas of the composer were adapted using techniques that are idiomatic to the guitar and piano. The full arrangement is included in Appendix A.
ContributorsFigueiredo Bartoloni, Fabio (Author) / Koonce, Frank (Thesis advisor) / Suzuki, Kotoka (Committee member) / Landschoot, Thomas (Committee member) / Arizona State University (Publisher)
Created2016
Description
Phantom Sun is a ten-minute piece in three sections, and is composed for flute, clarinet in b-flat, violin, cello, and percussion. The three-part structure for this work is a representation of the atmospheric phenomenon after which the composition is named. A phantom sun, also called a parhelion or sundog, is a weather-related phenomenon caused by the horizontal refraction of sunlight in the upper atmosphere. This refraction creates the illusion of three suns above the horizon, and is often accompanied by a bright halo called the circumzenithal arc. The halo is caused by light bending at 22° as it passes through hexagonal ice crystals. Consequently, the numbers six and 22 are important figures, and have been encoded into this piece in various ways.
The first section, marked “With concentrated intensity,” is characterized by the juxtaposition of tonal ambiguity and tonal affirmation, as well as the use of polymetric counterpoint (often 7/8 against 4/4 or 7/8 against 3/4). The middle section, marked “Crystalline,” provides contrast in its use of unmetered sections and independent tempos. The refraction of light is represented in this movement by a 22-note row based on a hexachord (B-flat, F, C, G, A, E) introduced in measure 164 of the first section. The third section, marked “With frenetic energy,” begins without pause on an arresting entrance of the drums playing an additive rhythmic pattern. This pattern (5+7+9+1) amounts to 22 eighth-note pulses and informs much of the motivic and structural considerations for the remainder of the piece.
The first section, marked “With concentrated intensity,” is characterized by the juxtaposition of tonal ambiguity and tonal affirmation, as well as the use of polymetric counterpoint (often 7/8 against 4/4 or 7/8 against 3/4). The middle section, marked “Crystalline,” provides contrast in its use of unmetered sections and independent tempos. The refraction of light is represented in this movement by a 22-note row based on a hexachord (B-flat, F, C, G, A, E) introduced in measure 164 of the first section. The third section, marked “With frenetic energy,” begins without pause on an arresting entrance of the drums playing an additive rhythmic pattern. This pattern (5+7+9+1) amounts to 22 eighth-note pulses and informs much of the motivic and structural considerations for the remainder of the piece.
ContributorsMitton, Stephen LeRoy (Author) / DeMars, James (Thesis advisor) / Norton, Kay (Committee member) / Rogers, Rodney (Committee member) / Arizona State University (Publisher)
Created2017
Description
Goal specification is an important aspect of designing autonomous agents. A goal does not only refer to the set of states for the agent to reach. A goal also defines restrictions on the paths the agent should follow. Temporal logics are widely used in goal specification. However, they lack the ability to represent goals in a non-deterministic domain, goals that change non-monotonically, and goals with preferences. This dissertation defines new goal specification languages by extending temporal logics to address these issues. First considered is the goal specification in non-deterministic domains, in which an agent following a policy leads to a set of paths. A logic is proposed to distinguish paths of the agent from all paths in the domain. In addition, to address the need of comparing policies for finding the best ones, a language capable of quantifying over policies is proposed. As policy structures of agents play an important role in goal specification, languages are also defined by considering different policy structures. Besides, after an agent is given an initial goal, the agent may change its expectations or the domain may change, thus goals that are previously specified may need to be further updated, revised, partially retracted, or even completely changed. Non-monotonic goal specification languages that can make these changes in an elaboration tolerant manner are needed. Two languages that rely on labeling sub-formulas and connecting multiple rules are developed to address non-monotonicity in goal specification. Also, agents may have preferential relations among sub-goals, and the preferential relations may change as agents achieve other sub-goals. By nesting a comparison operator with other temporal operators, a language with dynamic preferences is proposed. Various goals that cannot be expressed in other languages are expressed in the proposed languages. Finally, plans are given for some goals specified in the proposed languages.
ContributorsZhao, Jicheng (Author) / Baral, Chitta (Thesis advisor) / Kambhampati, Subbarao (Committee member) / Lee, Joohyung (Committee member) / Lifschitz, Vladimir (Committee member) / Liu, Huan (Committee member) / Arizona State University (Publisher)
Created2010
Description
Arnold Schoenberg’s Pierrot Lunaire, written in 1912 for an ensemble of flute, clarinet, piano, violin, cello, and voice
arrator (with certain instrumental doublings), has, since its premiere, greatly influenced composers writing chamber music. In fact, this particular instrumentation has become known as the “Pierrot Ensemble,” with variations on Schoenberg’s creation used by Igor Stravinsky, Luciano Berio, and many other composers.
There are many resources devoted to music for chamber winds composed during the twentieth century, including those inspired by Schoenberg’s configuration. Additionally, many sources have comprehensively covered known chamber music composed before 1900. However, there is very little research dedicated to chamber wind music composed since 2000.
The purpose of this study is to contribute to the body of research about the music by: 1) creating an annotated bibliography of 21st century wind chamber music.; and 2) thereby catalyzing the discovery of recently composed wind chamber music. Moreover, I hope to address and encourage diversity through my research. To that end, the Composer’s Diversity Database was used as a primary resource for discovering compositions written since 2000 for wind/percussion-based ensembles comprising six to thirteen players.
arrator (with certain instrumental doublings), has, since its premiere, greatly influenced composers writing chamber music. In fact, this particular instrumentation has become known as the “Pierrot Ensemble,” with variations on Schoenberg’s creation used by Igor Stravinsky, Luciano Berio, and many other composers.
There are many resources devoted to music for chamber winds composed during the twentieth century, including those inspired by Schoenberg’s configuration. Additionally, many sources have comprehensively covered known chamber music composed before 1900. However, there is very little research dedicated to chamber wind music composed since 2000.
The purpose of this study is to contribute to the body of research about the music by: 1) creating an annotated bibliography of 21st century wind chamber music.; and 2) thereby catalyzing the discovery of recently composed wind chamber music. Moreover, I hope to address and encourage diversity through my research. To that end, the Composer’s Diversity Database was used as a primary resource for discovering compositions written since 2000 for wind/percussion-based ensembles comprising six to thirteen players.
ContributorsBrown, Jr., Fredrick Marcell (Author) / Hill, Gary W. (Thesis advisor) / Caslor, Jason (Committee member) / Schmelz, Peter (Committee member) / Stover, Christopher (Committee member) / Arizona State University (Publisher)
Created2019