Thesis presented to the

by data centers today. Thus, an important concern is how to efficiently manage the power-performance tradeoff in data centers. In this thesis, we propose to design and implement power-management policies for data centers that optimize the power-performance tradeoff. Specifically, we propose to address

Thisresearchwas supported bythe U.S.ArmyResearch Officegrants DAAD19-02-1-0389 andW911NF-09-1-0273 toCyLab,by

Adaptability is a key characteristic of intelligence. My research explores techniques for enabling software agents to adapt themselves as their functional requirements change incrementally. In the domain of manufacturing, for example, a software agent designed to assemble physical artifacts may be given a new goal of disassembling artifacts. As another example, in the internet domain, a software agent designed to browse some types of documents may be called upon to browse a document of another type. In particular, my research examines the use of reflection (an agent’s knowledge and reasoning about itself) to accomplish evolution (incremental adaptation of an agent’s capabilities). I have developed a language called TMKL (Task-Method-Knowledge Language) that enables modeling of an agent’s composition and functioning. A TMKL model of an agent explicitly represents the tasks the agent addresses, the methods it applies, and the knowledge it uses. TMKL models are hierarchical, i.e., they represents tasks, methods and knowledge at multiple levels of abstraction. I have also developed a reasoning shell called REM (Reflective Evolutionary Mind) which provides support for the execution and evolution of agents represented in TMKL. REM employs a variety of strategies for evolving TMKL agents. Some of these strategies are purely model-based: knowledge of composition and functioning encoded in TMKL directly enables adaptation. REM also employs two traditional artificial intelligence and machine learning techniques: generative planning and reinforcement learning. The combination of model-based adaptation, generative planning, and reinforcement learning constitutes a mechanism for reflective agent evolution which is capable of addressing a variety of problems to which none of these individual approaches alone is suited. My research demonstrates the computational feasibility of this mechanism using experiments involving a variety of intelligent software agents in a variety of domains. 1 1

the degree of Doctor of Philosophy.

Anumberofdeviantdeductivesystemshavebeenproposedwhichdiffer in some way from classical logic. An influential philosophical interpretation of plurality in logic has been developed by Quine, who introduced the meaningchange thesis, summarized in his "Change of logic, change of subject". We

The topic of this thesis is the relationship between formal and informal proofs. Chapter One opens the discussion by examining what a proof is, when two proofs are identical, what the purpose of proving is and how to distinguish the two categories of proof. Chapters Two and Three focus

In this thesis the syntax and semantics of four-valued first-order predicate logic are introduced. When we define the semantics, we use 4-cylindric set algebras. Then we define 4-cylindric algebras which are supposed to reflect the algebraic properties of this logic. We give a method

This thesis examines truth theories. First, four relevant programs in philosophy are considered. Second, four truth theories are compared according to a range of criteria. The truth theories are categorised according to Leitgeb’s eight criteria for a truth theory. The four truth theories

The purpose of this project was to trace the developments which led to the utilization of para- profes s iona1 persons as service aides in public welfare departments and to examine. in particular, the devel opments in Oregon at the state and county levels. The establishment of such programs was mandated in the Social Security Amendments of 1967. A review of the 1967 legislation showed the legislative intent to be inconsistent with the stated purposes of the program. This inconsistency. it was found. has been reflected in Oregonls aide program. The theoretical origins underlying the aide concept were also examined in order to provide a fuller understanding of the means which were finally selected in Oregon to meet the legislative require ments. The aide program which evolved in Oregon has been marked by confusion in two major areas. the establishment of goals and the