Matching Items (210)
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
Zwischen in the German language means `between,' and over the past century, as operatic voices have evolved in both range and size, the voice classification of Zwischenfach has become much more relevant - particularly to the female voice. Identifying whether nineteenth century composers recognized the growing opportunities for vocal drama, size, and range in singers and therefore wrote roles for `between' singers; or conversely whether, singers began to challenge and develop their voices to sing the new influx of romantic, verismo and grand repertoire is difficult to determine. Whichever the case, teachers and students should not be surprised about the existence of this nebulous Fach. A clear and concise definition of the word Fach for the purpose of this paper is as follows: a specific voice classification. Zwischenfach is an important topic because young singers are often confused and over-eager to self-label due to the discipline's excessive labeling of Fachs. Rushing to categorize a young voice ultimately leads to misperceptions. To address some of the confusion, this paper briefly explores surveys of the pedagogy and history of the Fach system. To gain insights into the relevance of Zwischenfach in today's marketplace, I developed with my advisors, colleagues and students a set of subjects willing to fill out questionnaires. This paper incorporates current interviews from two casting directors of national and international opera houses, an emerging American mezzo-soprano, a mid-career working European mezzo-soprano, an operatic stage director, an education director for opera houses and a composer. These interviews, along with modern examples of zwischenfach voices are analyzed and discussed.
ContributorsAllen, Jennifer, D.M.A (Author) / Norton, Kay (Thesis advisor) / FitzPatrick, Carole (Thesis advisor) / Dreyfoos, Dale (Committee member) / Ryan, Russell (Committee member) / Barefield, Robert (Committee member) / Arizona State University (Publisher)
Created2012
Description
Musical Impressionism has been most significantly reflected through the works of Claude Debussy (1862-1918) and Maurice Ravel (1875-1937). These two key figures exhibit the essence of this art and their piano music remains substantial, influential, and frequently assigned and played today. Nevertheless, from a pedagogical perspective, important factors required in achieving a successful performance of Debussy and Ravel's piano music--delicate tone production, independent voicing, complicated rhythm, sensitive pedaling, and a knowledgeable view of Impressionism--are musically and technically beyond the limit of early advanced students. This study provides a collection of short piano pieces by nine lesser-known European and American composers--Edward MacDowell (1861-1908), Charles Griffes (1884-1920), Marion Bauer (1887-1955), Cyril Scott (1879-1970), Arnold Bax (1883-1953), Selim Palmgren (1878-1951), Ottorino Respighi (1879-1936), Jacques Ibert (1890-1962) and Federico Mompou (1893-1987). They were influenced by impressionistic aesthetics or composed at one time in an impressionistic manner over a span of their lifetimes and their music provides a bridge to the more advanced impressionistic pieces of Debussy and Ravel for early advanced students. These composers' selected short piano pieces display richly colored sonority through the use of impressionistic techniques such as non-functional harmony (parallel chords and free modulation), exotic setting (e.g. modality, pentatonic and whole-tone scales), ostinato figures, bell-sound imitation, and extended texture. Moreover, personal interpretive elements, such as poetic and folklore references, were incorporated in some piano works of MacDowell, Griffes, Bauer, Scott, and Bax; among them MacDowell and Bax were particularly inspired by Celtic and Nordic materials. Mompou infused Spanish folklores in his individual naïve style. Most importantly, these selected short piano pieces are approachable and attractive to early advanced pianists. These works, as well as other largely undiscovered impressionistic piano character pieces, ought to be a great source of preliminary repertoire as preparation for the music of Debussy and Ravel.
ContributorsChien, Chieh Jenny (Author) / Thompson, Janice Meyer (Thesis advisor) / Hamilton, Robert (Committee member) / Humphreys, Jere (Committee member) / Norton, Kay (Committee member) / Pagano, Caio (Committee member) / Arizona State University (Publisher)
Created2011
Description
Ultra-concealable multi-threat body armor used by law-enforcement is a multi-purpose armor that protects against attacks from knife, spikes, and small caliber rounds. The design of this type of armor involves fiber-resin composite materials that are flexible, light, are not unduly affected by environmental conditions, and perform as required. The National Institute of Justice (NIJ) characterizes this type of armor as low-level protection armor. NIJ also specifies the geometry of the knife and spike as well as the strike energy levels required for this level of protection. The biggest challenges are to design a thin, lightweight and ultra-concealable armor that can be worn under street clothes. In this study, several fundamental tasks involved in the design of such armor are addressed. First, the roles of design of experiments and regression analysis in experimental testing and finite element analysis are presented. Second, off-the-shelf materials available from international material manufacturers are characterized via laboratory experiments. Third, the calibration process required for a constitutive model is explained through the use of experimental data and computer software. Various material models in LS-DYNA for use in the finite element model are discussed. Numerical results are generated via finite element simulations and are compared against experimental data thus establishing the foundation for optimizing the design.
ContributorsVokshi, Erblina (Author) / Rajan, Subramaniam D. (Thesis advisor) / Neithalath, Narayanan (Committee member) / Mobasher, Barzin (Committee member) / Arizona State University (Publisher)
Created2012
Description
The current method of measuring thermal conductivity requires flat plates. For most common civil engineering materials, creating or extracting such samples is difficult. A prototype thermal conductivity experiment had been developed at Arizona State University (ASU) to test cylindrical specimens but proved difficult for repeated testing. In this study, enhancements to both testing methods were made. Additionally, test results of cylindrical testing were correlated with the results from identical materials tested by the Guarded Hot&ndashPlate; method, which uses flat plate specimens. In validating the enhancements made to the Guarded Hot&ndashPlate; and Cylindrical Specimen methods, 23 tests were ran on five different materials. The percent difference shown for the Guarded Hot&ndashPlate; method was less than 1%. This gives strong evidence that the enhanced Guarded Hot-Plate apparatus in itself is now more accurate for measuring thermal conductivity. The correlation between the thermal conductivity values of the Guarded Hot&ndashPlate; to those of the enhanced Cylindrical Specimen method was excellent. The conventional concrete mixture, due to much higher thermal conductivity values compared to the other mixtures, yielded a P&ndashvalue; of 0.600 which provided confidence in the performance of the enhanced Cylindrical Specimen Apparatus. Several recommendations were made for the future implementation of both test methods. The work in this study fulfills the research community and industry desire for a more streamlined, cost effective, and inexpensive means to determine the thermal conductivity of various civil engineering materials.
ContributorsMorris, Derek (Author) / Kaloush, Kamil (Thesis advisor) / Mobasher, Barzin (Committee member) / Phelan, Patrick E (Committee member) / Arizona State University (Publisher)
Created2011
Description
Automated planning problems classically involve finding a sequence of actions that transform an initial state to some state satisfying a conjunctive set of goals with no temporal constraints. But in many real-world problems, the best plan may involve satisfying only a subset of goals or missing defined goal deadlines. For example, this may be required when goals are logically conflicting, or when there are time or cost constraints such that achieving all goals on time may be too expensive. In this case, goals and deadlines must be declared as soft. I call these partial satisfaction planning (PSP) problems. In this work, I focus on particular types of PSP problems, where goals are given a quantitative value based on whether (or when) they are achieved. The objective is to find a plan with the best quality. A first challenge is in finding adequate goal representations that capture common types of goal achievement rewards and costs. One popular representation is to give a single reward on each goal of a planning problem. I further expand on this approach by allowing users to directly introduce utility dependencies, providing for changes of goal achievement reward directly based on the goals a plan achieves. After, I introduce time-dependent goal costs, where a plan incurs penalty if it will achieve a goal past a specified deadline. To solve PSP problems with goal utility dependencies, I look at using state-of-the-art methodologies currently employed for classical planning problems involving heuristic search. In doing so, one faces the challenge of simultaneously determining the best set of goals and plan to achieve them. This is complicated by utility dependencies defined by a user and cost dependencies within the plan. To address this, I introduce a set of heuristics based on combinations using relaxed plans and integer programming formulations. Further, I explore an approach to improve search through learning techniques by using automatically generated state features to find new states from which to search. Finally, the investigation into handling time-dependent goal costs leads us to an improved search technique derived from observations based on solving discretized approximations of cost functions.
ContributorsBenton, J (Author) / Kambhampati, Subbarao (Thesis advisor) / Baral, Chitta (Committee member) / Do, Minh B. (Committee member) / Smith, David E. (Committee member) / Langley, Pat (Committee member) / Arizona State University (Publisher)
Created2012
Description
Ranking is of definitive importance to both usability and profitability of web information systems. While ranking of results is crucial for the accessibility of information to the user, the ranking of online ads increases the profitability of the search provider. The scope of my thesis includes both search and ad ranking. I consider the emerging problem of ranking the deep web data considering trustworthiness and relevance. I address the end-to-end deep web ranking by focusing on: (i) ranking and selection of the deep web databases (ii) topic sensitive ranking of the sources (iii) ranking the result tuples from the selected databases. Especially, assessing the trustworthiness and relevances of results for ranking is hard since the currently used link analysis is inapplicable (since deep web records do not have links). I formulated a method---namely SourceRank---to assess the trustworthiness and relevance of the sources based on the inter-source agreement. Secondly, I extend the SourceRank to consider the topic of the agreeing sources in multi-topic environments. Further, I formulate a ranking sensitive to trustworthiness and relevance for the individual results returned by the selected sources. For ad ranking, I formulate a generalized ranking function---namely Click Efficiency (CE)---based on a realistic user click model of ads and documents. The CE ranking considers hitherto ignored parameters of perceived relevance and user dissatisfaction. CE ranking guaranteeing optimal utilities for the click model. Interestingly, I show that the existing ad and document ranking functions are reduced forms of the CE ranking under restrictive assumptions. Subsequently, I extend the CE ranking to include a pricing mechanism, designing a complete auction mechanism. My analysis proves several desirable properties including revenue dominance over popular Vickery-Clarke-Groves (VCG) auctions for the same bid vector and existence of a Nash equilibrium in pure strategies. The equilibrium is socially optimal, and revenue equivalent to the truthful VCG equilibrium. Further, I relax the independence assumption in CE ranking and analyze the diversity ranking problem. I show that optimal diversity ranking is NP-Hard in general, and that a constant time approximation algorithm is not likely.
ContributorsBalakrishnan, Nagraj (Author) / Kambhampati, Subbarao (Thesis advisor) / Chen, Yi (Committee member) / Doan, AnHai (Committee member) / Liu, Huan (Committee member) / Arizona State University (Publisher)
Created2012
Description
The craft of improvisation at the organ has survived a long period of dormancy and is experiencing a strong resurgence in the twenty-first century. This project seeks to establish a precedence for the value of notated music as a resource in learning improvisation, and then, through music analysis, provide examples of how that process can develop. The result of the ideas presented here is a pathway whereby any disciplined organist can learn to imitate composed music, assimilate the musical ideas, and innovate through the act of spontaneous improvisation.
ContributorsHoward, Devon (Author) / Marshall, Kimberly (Thesis advisor) / Ryan, Russell (Committee member) / Kocour, Michael (Committee member) / Norton, Kay (Committee member) / Rockmaker, Jody (Committee member) / Arizona State University (Publisher)
Created2012
Description
Calcium hydroxide carbonation processes were studied to investigate the potential for abiotic soil improvement. Different mixtures of common soil constituents such as sand, clay, and granite were mixed with a calcium hydroxide slurry and carbonated at approximately 860 psi. While the carbonation was successful and calcite formation was strong on sample exteriors, a 4 mm passivating boundary layer effect was observed, impeding the carbonation process at the center. XRD analysis was used to characterize the extent of carbonation, indicating extremely poor carbonation and therefore CO2 penetration inside the visible boundary. The depth of the passivating layer was found to be independent of both time and choice of aggregate. Less than adequate strength was developed in carbonated trials due to formation of small, weakly-connected crystals, shown with SEM analysis. Additional research, especially in situ analysis with thermogravimetric analysis would be useful to determine the causation of poor carbonation performance. This technology has great potential to substitute for certain Portland cement applications if these issues can be addressed.
ContributorsHermens, Stephen Edward (Author) / Bearat, Hamdallah (Thesis director) / Dai, Lenore (Committee member) / Mobasher, Barzin (Committee member) / Barrett, The Honors College (Contributor) / Chemical Engineering Program (Contributor)
Created2015-05
Description
For the ancient Greeks, music not only was esteemed for its social and entertaining value, but also because it reflected the beauty of the gods and their creations. Music furthermore “embodied larger universal principles and served as a vehicle for higher understanding.” According to Lippmann, the ancients believed that the universe “contains a harmony that controls both spatial and temporal phenomena” and “we can come to know the divine order of harmony more readily in ourselves than in the external world.” Gaining self-knowledge and awareness of one’s place in the world are significant and music is a means of gaining this consciousness. Ancient Greeks believed that music was inspired by the Greek goddesses known as the Muses. In this paper, I argue that, by gifting humans with divinely inspired music, the Muses help humans achieve this mindfulness of one‟s place in the world and attain immortality.
ContributorsSanders, Lauren (Author) / Norton, Kay (Thesis director) / Arena, Paul (Committee member) / Bruhn, Karen (Committee member) / Barrett, The Honors College (Contributor) / Herberger Institute for Design and the Arts (Contributor)
Created2012-12