Описание: Reasoning under uncertainty is always based on a specified language or for- malism, including its particular syntax and semantics, but also on its associated inference mechanism. This is even to some degree reflected in the two first chapters, which treat fundamental, general methods of computation in systems designed to represent uncertainty.
Автор: Donald Nute Название: Defeasible Deontic Logic ISBN: 904814874X ISBN-13(EAN): 9789048148745 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Relevant to philosophy, law, management, and artificial intelligence, these papers explore the applicability of nonmonotonic or defeasible logic to normative reasoning. The resulting systems purport to solve well-known deontic paradoxes and to provide a better treatment than classical deontic logic does of prima facie obligation, conditional obligation, and priorities of normative principles.
Автор: Christian Stra?er Название: Adaptive Logics for Defeasible Reasoning ISBN: 3319343882 ISBN-13(EAN): 9783319343884 Издательство: Springer Рейтинг: Цена: 21661.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents adaptive logics (ALs) as an intuitive and powerful framework to model defeasible reasoning. It offers case studies stemming from various contexts of defeasible reasoning, such as default reasoning, argumentation, and normative reasoning.
Автор: Christian Stra?er Название: Adaptive Logics for Defeasible Reasoning ISBN: 3319007912 ISBN-13(EAN): 9783319007915 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents adaptive logics (ALs) as an intuitive and powerful framework to model defeasible reasoning. It offers case studies stemming from various contexts of defeasible reasoning, such as default reasoning, argumentation, and normative reasoning.
Автор: Henry E. Kyburg Jr.; R.P. Loui; G.N. Carlson Название: Knowledge Representation and Defeasible Reasoning ISBN: 9401067368 ISBN-13(EAN): 9789401067362 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These difficulties fall into four principal areas: defeasible reasoning (including the frame problem as apart), ordinary language (and the representation prob- lems that it generates), the revision of beliefs (and its rules of inference), and knowledge representation (and the logical problems that are encountered there).
Автор: 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.
Автор: L.L. Royakkers Название: Extending Deontic Logic for the Formalisation of Legal Rules ISBN: 9048150086 ISBN-13(EAN): 9789048150083 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: R. Hilpinen Название: Deontic Logic: Introductory and Systematic Readings ISBN: 9027713022 ISBN-13(EAN): 9789027713025 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: x I wish to express my thanks to all contributors to this volume for their collaboration, and especially to Professor laakko Hintikka, Editor of Synthese Library, for his help in editing this book. THE EDITOR INTRODUCTION TO THE SECOND IMPRESSION The articles included in this collection represent what may be called the standard modal approach to deontic logic (the logic of normative concepts), in which deontic logic is treated as a branch of modal logic, and the normative concepts of obligation, permission (permissibility) and prohibi- tion are regarded as analogous to the 'alethic' modalities necessity, possi- bility and impossibility. In his recent paper 16] Simo Knuuttila has shown that this approach can be traced back to late medieval philosophy. Several 14th century philosophers observed the analogies between deontic and alethic modalities and 4iscussed the deontic interpretations of various laws of modal logic. A relatively simple deontic system of this kind (called the system D or K D; cf. Lemmon and Scott 17], pp. 50-51, Chellas 10], p. 131) is obtained by adding to propositional logic two deontic axioms (or axiom schemata), (K) O(A::: J B)::: J (OA::: J OB) and (D) OA::: J 0 A, where '0' is the obligation operator, and the deontic variant of the 'rule of necessitation' (0) From A, to infer A.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
