There is, I think, something ethereal about i —the square root of minus one. I remember first hearing about it at school. It seemed an odd beast at that time—an intruder hovering on the edge of reality.

Usually familiarity dulls this sense of the bizarre, but in the case of i it was the reverse: over the years the sense of its surreal nature intensified. It seemed that it was impossible to write mathematics that described the real world in …

I and i

The concept of an agent has become important in both Artificial Intelligence (AI) and mainstream computer science. Our aim in this paper is to point the reader at what we perceive to be the most important theoretical and practical issues associated with the design and construction of intelligent agents. For convenience, we divide these issues into three areas (though as the reader will see, the divisions are at times somewhat arbitrary). Agent theory is concerned with the question of what an agent is, and the use of mathematical formalisms for representing and reasoning about the properties of agents. Agent architectures can be thought of as software engineering models of agents;researchers in this area are primarily concerned with the problem of designing software or hardware systems that will satisfy the properties specified by agent theorists. Finally, agent languages are software systems for programming and experimenting with agents; these languages may embody principles proposed by theorists. The paper is not intended to serve as a tutorial introduction to all the issues mentioned; we hope instead simply to identify the most important issues, and point to work that elaborates on them. The article includes a short review of current and potential applications of agent technology.

/pdf/intelligent-agents-theory-and-practice-5dchj7p8pc.pdf

Intelligent Agents: Theory and Practice

From the Publisher: 
A Question of Identity 
Life on the Screen is a fascinating and wide-ranging investigation of the impact of computers and networking on society, peoples' perceptions of themselves, and the individual's relationship to machines. Sherry Turkle, a Professor of the Sociology of Science at MIT and a licensed psychologist, uses Internet MUDs (multi-user domains, or in older gaming parlance multi-user dungeons) as a launching pad for explorations of software design, user interfaces, simulation, artificial intelligence, artificial life, agents, "bots," virtual reality, and "the on-line way of life." 
Turkle's discussion of postmodernism is particularly enlightening. She shows how postmodern concepts in art, architecture, and ethics are related to concrete topics much closer to home, for example AI research (Minsky's "Society of Mind") and even MUDs (exemplified by students with X-window terminals who are doing homework in one window and simultaneously playing out several different roles in the same MUD in other windows). Those of you who have (like me) been turned off by the shallow, pretentious, meaningless paintings and sculptures that litter our museums of modern art may have a different perspective after hearing what Turkle has to say. 
This is a psychoanalytical book, not a technical one. However, software developers and engineers will find it highly accessible because of the depth of the author's technical understanding and credibility. Unlike most other authors in this genre, Turkle does not constantly jar the technically-literate reader with blatant errors or bogus assertions about how things work. Although I personally don't have time or patience for MUDs,view most of AI as snake-oil, and abhor postmodern architecture, I thought the time spent reading this book was an extremely good investment.

스크린 위의 삶 = Life on the screen : identity in the age of the internet

From the Publisher:
The old opposition of matter versus mind stubbornly persists in the way we study mind and brain. In treating cognition as problem solving, Andy Clark suggests, we may often abstract too far from the very body and world in which our brains evolved to guide us. Whereas the mental has been treated as a realm that is distinct from the body and the world, Clark forcefully attests that a key to understanding brains is to see them as controllers of embodied activity. From this paradigm shift he advances the construction of a cognitive science of the embodied mind.

/pdf/being-there-putting-brain-body-and-world-together-again-31tt4y51ml.pdf

Being There: Putting Brain, Body, and World Together Again

This paper is intended to serve as a comprehensive introduction to the emerging field concerned with the design and use of ontologies. We observe that disparate backgrounds, languages, tools and techniques are a major barrier to effective communication among people, organisations and/or software understanding (i.e. an “ontology”) in a given subject area, can improve such communication, which in turn, can give rise to greater reuse and sharing, inter-operability, and more reliable software. After motivating their need, we clarify just what ontologies are and what purpose they serve. We outline a methodology for developing and evaluating ontologies, first discussing informal techniques, concerning such issues as scoping, handling ambiguity, reaching agreement and producing definitions. We then consider the benefits and describe, a more formal approach. We re-visit the scoping phase, and discuss the role of formal languages and techniques in the specification, implementation and evalution of ontologies. Finally, we review the state of the art and practice in this emerging field, considering various case studies, software tools for ontology development, key research issues and future prospects.

/pdf/ontologies-principles-methods-and-applications-13omx3se4e.pdf

Ontologies: principles, methods and applications

Procedures for optimization and resource allocation in Operations Research first require a project network for the task to be specified. The specification of a project network is at present done in an intuitive way. AI work in plan formation has developed formalisms for specifying primitive activities, and recent work by Sacerdoti (1975a) has developed a planner able to generate a plan as a partially ordered network of actions. The "planning: a joint AI/OR approach" project at Edinburgh has extended such work and provided a hierarchic planner which can aid in the generation of project networks. This paper describes the planner (NONLIN) and the Task Formalism (TF) used to hierarchically specify a domain.

/pdf/generating-project-networks-m8eywb46rv.pdf

Generating project networks

In this paper we describe our experience in applying KAoS services to ensure policy compliance for Semantic Web Services workflow composition and enactment. We are developing these capabilities within the context of two applications: Coalition Search and Rescue (CoSAR-TS) and Semantic Firewall (SFW). We describe how this work has uncovered requirements for increasing the expressivity of policy beyond what can be done with description logic (e.g., role-value-maps), and how we are extending our representation and reasoning mechanisms in a carefully controlled manner to that end. Since KAoS employs OWL for policy representation, it fits naturally with the use of OWL-S workflow descriptions generated by the AIAI I-X planning system in the CoSAR-TS application. The advanced reasoning mechanisms of KAoS are based on the JTP inference engine and enable the analysis of classes and instances of processes from a policy perspective. As the result of analysis, KAoS concludes whether a particular workflow step is allowed by policy and whether the performance of this step would incur additional policy-generated obligations. Issues in the representation of processes within OWL-S are described. Besides what is done during workflow composition, aspects of policy compliance can be checked at runtime when a workflow is enacted. We illustrate these capabilities through two application examples. Finally, we outline plans for future work.

/pdf/applying-kaos-services-to-ensure-policy-compliance-for-3es1xvyg7k.pdf

Applying KAoS services to ensure policy compliance for semantic web services workflow composition and enactment

O-Plan: the open planning architecture

From the Publisher:
Although numerous review articles on planning have appeared over the years, no systematic attempt has been made to collect the major papers in this field into one volume. The goal of this book is to remedy this situation by bringing together in one place a set of readings that can be used to develop a familiarity with the planning literature, with the major AI theory underlying planning, and with the exciting directions of current research.

The first section of the book introduces the techniques and terminology of the AI planning community. The second section collects papers describing planning systems developed over the past 30 years. A third section presents research in the area of formal models of planning. Finally, a fourth section collects recent work representative of the field's current direction. The editors, three accomplished researchers, provide introductory material surveying the field of planning as well as introductions to groups of papers placing the work in perspective.

A useful reference for AI system developers and researchers, this work is also suitable for use as a text for a planning course or as a supplemental text for a more general AI course.

Readings in Planning

Web Services power through explicit representations of Web resources underlying semantics and the development of an intelligent Web infrastructure that can fully exploit them. Semantic Web languages, such as OWL, extend RDF to let users specify ontologies comprising taxonomies of classes and inference rules. Both people and software agents can effectively use Semantic Web Services.' Agents will increasingly use the combination of semantic markup languages and Semantic Web Services to understand and autonomously manipulate Web content in significant ways. Agents will discover, communicate, and cooperate with other agents and services and-as we' 11 describe -will rely on policy-based management and control mechanisms to ensure respect for human-imposed constraints on agent interaction. Policy-based controls of Semantic Web Services can also help govern interaction with traditional (nonagent) clients.

/pdf/kaos-policy-management-for-semantic-web-services-5a4d9v9tsp.pdf

Austin Tate

Papers

Generating project networks

Applying KAoS services to ensure policy compliance for semantic web services workflow composition and enactment

O-Plan: the open planning architecture

Readings in Planning

KAoS policy management for semantic Web services