Wyniki wyszukiwania:

The volume analyses and develops David Makinson's efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson's work and chapters that develop themes emerging from his contributions. These are grouped into major areas to which Makinsons has made highly influential contributions and the volume in its entirety is divided into four sections, each devoted to a particular area of logic: belief change, uncertain reasoning, normative systems and the resources of classical logic.

Among the...

This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change. In particular the use of possible worlds and infinite remainders as objects of choice is critically examined.

Descriptors are introduced as a versatile tool for expressing the success conditions of belief change, addressing both local and global descriptor revision. The book presents dynamic descriptors such as Ramsey descriptors that convey how an agent's beliefs tend to be changed in response to different inputs. It also explores sentential...

This edited volume explores the interplay between philosophies in a wide-ranging analysis of how technological applications in science inform our systems of thought. Beginning with a historical background, the volume moves on to explore a host of topics, such as the uses of technology in scientific observations and experiments, the salient relationship between technology and mechanistic notions in scienceand the ways in which today s vast and increasing computing power helps scientists achieve results that were previously unattainable.

Technology allows today s researchers to gather,...

The volume analyses and develops David Makinson's efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson's work and chapters that develop themes emerging from his contributions. These are grouped into major areas to which Makinsons has made highly influential contributions and the volume in its entirety is divided into four sections, each devoted to a particular area of logic: belief change, uncertain reasoning, normative systems and the resources of classical logic.

Among the...

This book describes argumentative tools and strategies that can be used to guide policy decisions under conditions of great uncertainty. Contributing authors explore methods from philosophical analysis and in particular argumentation analysis, showing how it can be used to systematize discussions about policy issues involving great uncertainty.

The first part of the work explores how to deal in a systematic way with decision-making when there may be plural perspectives on the decision problem, along with unknown consequences of what we do. Readers will see how argumentation tools...