Qualitative models are better able than traditional models to express states of incomplete knowledge about continuous mechanisms. Qualitative simulation guarantees to find all possible behaviors consistent with the knowledge in the model. This expressive power and coverage is important in problem solving for diagnosis, design, monitoring, explanation, and other applications of artificial intelligence.

The book provides a survey about the field of Qualitative Reasoning, it contrasts and classifies its approaches and puts them into a common framework. Qualitative Reasoning represents an approach of Artificial Intelligence to model dynamic systems, about which little information is available, and to derive statements about the potential behavior of these systems, putting emphasis on a causal explanation of the behavior. Both variables and relationships between variables are described by means of qualitative terms such as small and large or positive and negative. Since this approach also takes into consideration the way how humans reason about physical systems, it can be stated that Qualitative Reasoning participates in the creation of a cognitive theory of non-numerical process descriptions which can be mapped onto a digital computer. This approach can be used for simulation, diagnosis, design, structure identification and interpretation. Areas of application are physics, medicine, the field of ecology, process control, etc. In addition to the classification of existing methods, the book presents a new approach based on fuzzy sets. And the work relates Qualitative Reasoning with such fields of Expert Systems, System Theory and Cognitive Science.

The ability to reason qualitatively about physical systems is important to understanding and interacting with the world for both humans and intelligent machines. Accordingly, this study has become an important subject of research in the artificial intelligence and cognitive science communities. The goal of "qualitative physics," as the field is sometimes known, is to capture both the commonsense knowledge of the person on the street and the tacit knowledge underlying the quantitative knowledge used by engineers and scientists. "Readings in Qualitative Reasoning About Physical Systems" is an introduction and source book for this dynamic area, presenting reprints of key papers chosen by the editors and a group of expert referees. The editors present introductions discussing the context and significance of each group of articles as well as providing pointers to the rest of the literature. In addition, the volume includes several original papers that are not available elsewhere.

To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level reference on logic-based commonsense reasoning. It uses the event calculus, a highly powerful and usable tool for commonsense reasoning, which Erik T. Mueller demonstrates as the most effective tool for the broadest range of applications. He provides an up-to-date work promoting the use of the event calculus for commonsense reasoning, and bringing into one place information scattered across many books and papers. Mueller shares the knowledge gained in using the event calculus and extends the literature with detailed event calculus solutions to problems that span many areas of the commonsense world. Covers key areas of commonsense reasoning including action, change, defaults, space, and mental states. The first full book on commonsense reasoning to use the event calculus. Contextualizes the event calculus within the framework of commonsense reasoning, introducing the event calculus as the best method overall. Focuses on how to use the event calculus formalism to perform commonsense reasoning, while existing papers and books examine the formalisms themselves. Includes fully worked out proofs and circumscriptions for every example.

This book contains twenty-eight papers by participants in the NATO Advanced Study Institute (ASI) on "Cognitive and Linguistic Aspects of Geographic Space," held in Las Navas del Maxques, Spain, July 8-20, 1990. The NATO ASI marked a stage in a two-year research project at the U. S. National Center for Geographic Infonnation and Analysis (NCOIA). In 1987, the U. S. National Science Foundation issued a solicitation for proposals to establish the NCGIA-and one element of that solicitation was a call for research on a "fundamental theory of spatial relations". We felt that such a fundamental theory could be searched for in mathematics (geometry, topology) or in cognitive science, but that a simultaneous search in these two seemingly disparate research areas might produce novel results. Thus, as part of the NCGIA proposal from a consortium consisting of the University of California at Santa Barbara, the State University of New York at Buffalo, and the University of Maine, we proposed that the second major Research Initiative (two year, multidisciplinary research project) of the NCOIA would address these issues, and would be called "Languages of Spatial Relations" The grant to establish the NCOIA was awarded to our consortium late in 1988.

This book is a collection of some of the papers that were presented during a NATO Advanced Research Workshop (ARW) on "Intelligent Systems: Safety, Reliability and Maintainability Issues" that was held in Kusadasi, Turkey during August 24- 28, 1992. Attendance at this workshop was mainly by invitation only, drawing people internationally representing industry, government and the academic community. Many of the participants were internationally recognized leaders in the topic of the workshop. The purpose of the ARW was to bring together a highly distinguished group of people with the express purpose of debating where the issues of safety, reliability and maintainability place direct and tangible constraints on the development of intelligent systems. As a consequence, one of the major debating points in the ARW was the definition of intelligence, intelligent behaviour and their relation to complex dynamic systems. Two major conclusions evolved from the ARW are: 1. A continued need exists to develop formal, theoretical frameworks for the architecture of such systems, together with a reflection on the concept of intelligence. 2. There is a need to focus greater attention to the role that the human play in controlling intelligent systems. The workshop began by considering the typical features of an intelligent system. The complexity associated with multi-resolutional architectures was then discussed, leading to the identification of a necessity for the use of a combinatorial synthesis/approach. This was followed by a session on human interface issues.

To what extent is the language of judicial opinions responsive to the political and social context in which constitutional courts operate? Courts are reason-giving institutions, with argumentation playing a central role in constitutional adjudication. However, a cursory look at just a handful of constitutional systems suggests important differences in the practices of constitutional judges, whether in matters of form, style, or language. Focusing on independently-verified leading cases globally, a combination of qualitative and quantitative analysis offers the most comprehensive and systematic account of constitutional reasoning to date. This analysis is supported by the examination of eighteen legal systems around the world including the European Court of Human Rights and the European Court of Justice. Universally common aspects of constitutional reasoning are identified in this book, and contributors also examine whether common law countries differ to civil law countries in this respect.