This volume focuses on the relation between theory and description by examining aspects of transitivity in different languages. Transitivity — or case grammar, to use the popular term — has always occupied a centre-stage position in linguistics, not least because of its supposedly privileged relation to states of affairs in the real world. Using a systemic functional perspective, the ten papers in this volume make a contribution to this scholarship by focusing on the transitivity patterns in language as the expression of the experiential metafunction. Through a study of different languages — English, Dutch, German, Finnish, Chinese and Pitjantjatjara — the contributors provide functional descriptions of the various categories of process, their participants and circumstances, including phenomena such as di-transitivity, causativity, the get-passive, etc. With the relation between theories and descriptions running through the ten chapters of this volume as sometimes an overt and sometimes a covert theme, the chapters point to the nature of the linguistic fact which is linked ineluctably on the one hand to the nature of the theory and on the other to the speakers' experience of the world in which they live. The majority of papers included in the volume derive from the 19th International Systemic Functional Congress at Macquarie University.

An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic and ends with detailed outlines of the proofs of the incompleteness, undecidability, and indefinability theorems, covering many related topics in between.

This volume features 16 essays on the philosophy of technology that discuss its identity, its position in philosophy in general, and the role of empirical studies in philosophical analyses of engineering ethics and engineering practices. This volume is published about fifteen years after Peter Kroes and Anthonie Meijers published a collection of papers under the title The empirical turn in the philosophy of technology, in which they called for a reorientation toward the practice of engineering, and sketched the likely benefits for philosophy of technology of pursuing its major questions in an empirically informed way. The essays in this volume fall apart in two different kinds. One kind follows up on The empirical turn discussion about what the philosophy of technology is all about. It continues the search for the identity of the philosophy of technology by asking what comes after the empirical turn. The other kind of essays follows the call for an empirical turn in the philosophy of technology by showing how it may be realized with regard to particular topics. Together these essays offer the reader an overview of the state of the art of an empirically informed philosophy of technology and of various views on the empirical turn as a stepping stone into the future of the philosophy of technology.

A complete sourcebook for philosophical discussion of the nature of function in biology.

The Handbook of Service Description introduces an in-depth overview of service description efforts. The book also highlights the recent Unified Service Description Language (USDL) in detail and discusses its methods. The Handbook of Service Description is the normative scientific reference for the upcoming standardization of the Unified Service Description Language (USDL). Complete documentation is included. The Handbook of Service Description is designed for those working in the service science industry as a reference book. Advanced-level students focused on computer science, engineering and business will also find this book a valuable asset.

One of the currently most active research areas within Artificial Intelligence is the field of Machine Learning. which involves the study and development of computational models of learning processes. A major goal of research in this field is to build computers capable of improving their performance with practice and of acquiring knowledge on their own. The intent of this book is to provide a snapshot of this field through a broad. representative set of easily assimilated short papers. As such. this book is intended to complement the two volumes of Machine Learning: An Artificial Intelligence Approach (Morgan-Kaufman Publishers). which provide a smaller number of in-depth research papers. Each of the 77 papers in the present book summarizes a current research effort. and provides references to longer expositions appearing elsewhere. These papers cover a broad range of topics. including research on analogy. conceptual clustering. explanation-based generalization. incremental learning. inductive inference. learning apprentice systems. machine discovery. theoretical models of learning. and applications of machine learning methods. A subject index IS provided to assist in locating research related to specific topics. The majority of these papers were collected from the participants at the Third International Machine Learning Workshop. held June 24-26. 1985 at Skytop Lodge. Skytop. Pennsylvania. While the list of research projects covered is not exhaustive. we believe that it provides a representative sampling of the best ongoing work in the field. and a unique perspective on where the field is and where it is headed.

Work is all around us and permeates everything we do and everyday activities. Not all work is justified, not all work is properly designed, or evaluated accurately, or integrated. A systems model will make work more achievable through better management. Work is defined as a process of performing a defined task or activity, such as research, development, operations, maintenance, repair, assembly, production, and so on. Very little is written on how to design, evaluate, justify, and integrate work. Using a comprehensive systems approach, this book facilitates a better understanding of work for the purpose of making it more effective and rewarding.