Dynamic Worlds, Remo Pareschi; Bertram Fronh?fer

Автор: John-Jules Ch. Meyer; Jan Treur
Название: Agent-Based Defeasible Control in Dynamic Environments
ISBN: 9048161096 ISBN-13(EAN): 9789048161096
Издательство: Springer
Рейтинг:
Цена: 35218.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume, the 7th volume in the DRUMS Handbook series, is part of the aftermath of the successful ESPRIT project DRUMS (Defeasible Reasoning and Uncertainty Management Systems) which took place in two stages from 1989- 1996. In the second stage (1993-1996) a work package was introduced devoted to the topics Reasoning and Dynamics, covering both the topics of "Dynamics of Reasoning," where reasoning is viewed as a process, and "Reasoning about Dynamics," which must be understood as pertaining to how both designers of and agents within dynamic systems may reason about these systems. The present volume presents work done in this context extended with some work done by outstanding researchers outside the project on related issues. While the previous volume in this series had its focus on the dynamics of reasoning pro- cesses, the present volume is more focused on "reasoning about dynamics', viz. how (human and artificial) agents reason about (systems in) dynamic environments in order to control them. In particular we consider modelling frameworks and generic agent models for modelling these dynamic systems and formal approaches to these systems such as logics for agents and formal means to reason about agent- based and compositional systems, and action & change more in general. We take this opportunity to mention that we have very pleasant recollections of the project, with its lively workshops and other meetings, with the many sites and researchers involved, both within and outside our own work package.

Автор: Divers, John
Название: Possible worlds
ISBN: 0415155568 ISBN-13(EAN): 9780415155564
Издательство: Taylor&Francis
Рейтинг:
Цена: 7654.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The first up-to-date and comprehensive examination of all issues pertaining to realism about possible worlds. An invaluable introduction to the topic, it includes many original developments and insights.

Автор: Patrick Girard; Olivier Roy; Mathieu Marion
Название: Dynamic Formal Epistemology
ISBN: 9400734913 ISBN-13(EAN): 9789400734913
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Highlighting the coherence of, and connections between, current themes in the subject, this volume collates original contributions from key researchers into a new trend in the contemporary theory of knowledge and belief known as `dynamic epistemology`.

Автор: McClennen
Название: Rationality and Dynamic Choice
ISBN: 0521063914 ISBN-13(EAN): 9780521063913
Издательство: Cambridge Academ
Рейтинг:
Цена: 6018.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is a major contribution to the theory of rational choice which will be of particular interest to philosophers and economists. The author sets out the foundations of rational choice, and then sketches a dynamic choice framework in which principles of ordering and independence follow from a number of apparently plausible conditions.

Автор: Fred Wilson
Название: Laws and other Worlds
ISBN: 9401085676 ISBN-13(EAN): 9789401085670
Издательство: Springer
Рейтинг:
Цена: 27944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Remo Pareschi; Bertram Fronh?fer
Название: Dynamic Worlds
ISBN: 9048151597 ISBN-13(EAN): 9789048151592
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, human/computer interfaces, programming environments, etc.

Автор: Hans van Ditmarsch; Wiebe van der Hoek; Barteld Ko
Название: Dynamic Epistemic Logic
ISBN: 1402069081 ISBN-13(EAN): 9781402069086
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included.

Автор: J. Peregrin
Название: Doing Worlds with Words
ISBN: 0792337425 ISBN-13(EAN): 9780792337423
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Doing Worlds with Words throws light on the problem of meaning as the meeting point of linguistics, logic and philosophy, and critically assesses the possibilities and limitations of elucidating the nature of meaning by means of formal logic, model theory and model-theoretical semantics.