Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Cертификаты | Хиты | | |
 

A New Perspective on Nonmonotonic Logics, Dov M. Gabbay; Karl Schlechta



Варианты приобретения
Цена: 12704р.
Кол-во:
 о цене
Наличие: Отсутствует. Возможна поставка под заказ.

При оформлении заказа до: 19 июл 2022
Ориентировочная дата поставки: Август
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Dov M. Gabbay; Karl Schlechta
Название:  A New Perspective on Nonmonotonic Logics
ISBN: 9783319468150
Издательство: Springer
Классификация:
ISBN-10: 3319468154
Обложка/Формат: Hardback
Страницы: 365
Вес: 0.725 кг.
Дата издания: 2016
Серия: Computer Science
Язык: English
Иллюстрации: 80 black & white illustrations, biography
Размер: 234 x 156 x 22
Читательская аудитория: Professional & vocational
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Дополнительное описание: Part I - Introduction.- Part II - Background Material.- Basic Algebraic and Logical Definitions.- Defeasible Inheritance.- Reiter Defaults and Autoepistemic Logic.- Preferential Structures and Related Concepts.- Deontic Logic, Contrary-to-Duty Obligations




Nonmonotonic Reasoning

Автор: Brewka
Название: Nonmonotonic Reasoning
ISBN: 0521181305 ISBN-13(EAN): 9780521181303
Издательство: Cambridge Academ
Рейтинг:
Цена: 4792 р.
Наличие на складе: Нет в наличии.

Описание: In this 1991 book the author gives a broad overview of different areas of research in nonmonotonic reasoning, and presents some results and ideas based on his research. The guiding principles are: clarification of the different research activities in the area, which have sometimes been undertaken independently of each other, and appreciation of the fact that these research activities often represent different means to the same ends, namely sound theoretical foundations and efficient computation. The book begins with a discussion of the various types of nonmonotonic reasoning, their applications and their logics. Theorem proving techniques for these logics are also described. There then follow chapters dealing with formulations of nonmonotonic inheritance, and nonmonotonic reasoning based on nonmonotonic rules. The final chapter discusses the achievements in the field in the light of the famous Yale shooting example. The book will be welcomed by researchers in theoretical computer science and artificial intelligence.

Logic Programming and Nonmonotonic Reasoning

Автор: Esra Erdem; Fangzhen Lin; Torsten Schaub
Название: Logic Programming and Nonmonotonic Reasoning
ISBN: 3642042376 ISBN-13(EAN): 9783642042379
Издательство: Springer
Рейтинг:
Цена: 13859 р.
Наличие на складе: Поставка под заказ.

Описание: This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), held during September 14-18, 2009 in Potsdam, Germany.

Nonmonotonic Reasoning

Автор: Brewka
Название: Nonmonotonic Reasoning
ISBN: 0521383943 ISBN-13(EAN): 9780521383943
Издательство: Cambridge Academ
Рейтинг:
Цена: 8353 р.
Наличие на складе: Нет в наличии.

Описание: In this 1991 book the author gives a broad overview of different areas of research in nonmonotonic reasoning, and presents some results and ideas based on his research. The guiding principles are: clarification of the different research activities in the area, which have sometimes been undertaken independently of each other, and appreciation of the fact that these research activities often represent different means to the same ends, namely sound theoretical foundations and efficient computation. The book begins with a discussion of the various types of nonmonotonic reasoning, their applications and their logics. Theorem proving techniques for these logics are also described. There then follow chapters dealing with formulations of nonmonotonic inheritance, and nonmonotonic reasoning based on nonmonotonic rules. The final chapter discusses the achievements in the field in the light of the famous Yale shooting example. The book will be welcomed by researchers in theoretical computer science and artificial intelligence.

Proof Theory for Fuzzy Logics

Автор: George Metcalfe; Nicola Olivetti; Dov Gabbay
Название: Proof Theory for Fuzzy Logics
ISBN: 1402094086 ISBN-13(EAN): 9781402094088
Издательство: Springer
Рейтинг:
Цена: 16169 р.
Наличие на складе: Поставка под заказ.

Описание: Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. This book focuses on the development and applications of `proof-theoretic` presentations of fuzzy logics.

Introduction to substructural logics

Автор: Restall, Greg
Название: Introduction to substructural logics
ISBN: 041521534X ISBN-13(EAN): 9780415215343
Издательство: Taylor&Francis
Рейтинг:
Цена: 4536 р.
Наличие на складе: Нет в наличии.

Описание: An introduction to an important group of logics that have come to be known under the umbrella term susbstructural. Substructural logics have independently led to significant developments in philosophy, computing and linguistics.

Logics in Artificial Intelligence

Автор: Fisher
Название: Logics in Artificial Intelligence
ISBN: 354039625X ISBN-13(EAN): 9783540396253
Издательство: Springer
Рейтинг:
Цена: 11549 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA 2006, held in Liverpool, UK in September 2006. The 34 revised full papers and 12 revised tool description papers presented together with 3 invited talks were carefully reviewed and selected from 96 submissions. The papers cover a range of topics within the remit of the Conference, such as logic programming, description logics, non-monotonic reasoning, agent theories, automated reasoning, and machine learning.

A Logical Theory of Nonmonotonic Inference and Belief Change

Автор: Bochman Alexander
Название: A Logical Theory of Nonmonotonic Inference and Belief Change
ISBN: 3540417664 ISBN-13(EAN): 9783540417668
Издательство: Springer
Рейтинг:
Цена: 17901 р.
Наличие на складе: Поставка под заказ.

Описание: This monograph provides logical foundations and a uniform description for nonmonotonic reasoning and belief change. The approach to both these subjects is based on a powerful notion of an epistemic state that subsumes both existing models for nonmonotonic inference and current models for belief change. Many results and constructions in the book are completely new and have not appeared earlier in the literature.The book is primarily intended for experts in Artificial Intelligence and Knowledge Representation who are interested in tools for describing commonsense reasoning tasks as well as in representation capabilities of such tools. It is also of interest to general logicians.

Inference on the Low Level / An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition

Автор: Leitgeb Hannes
Название: Inference on the Low Level / An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition
ISBN: 1402024924 ISBN-13(EAN): 9781402024924
Издательство: Springer
Рейтинг:
Цена: 22521 р.
Наличие на складе: Поставка под заказ.

Описание: This monograph provides a new account of justified inference as a cognitive process. In contrast to the prevailing tradition in epistemology, the focus is on low-level inferences, i.e., those inferences that we are usually not consciously aware of and that we share with the cat nearby which infers that the bird which she sees picking grains from the dirt, is able to fly. Presumably, such inferences are not generated by explicit logical reasoning, but logical methods can be used to describe and analyze such inferences. Part 1 gives a purely system-theoretic explication of belief and inference. Part 2 adds a reliabilist theory of justification for inference, with a qualitative notion of reliability being employed. Part 3 recalls and extends various systems of deductive and nonmonotonic logic and thereby explains the semantics of absolute and high reliability. In Part 4 it is proven that qualitative neural networks are able to draw justified deductive and nonmonotonic inferences on the basis of distributed representations. This is derived from a soundness/completeness theorem with regard to cognitive semantics of nonmonotonic reasoning. The appendix extends the theory both logically and ontologically, and relates it to A. Goldman's reliability account of justified belief.

Nonmonotonic Logic

Автор: Marek
Название: Nonmonotonic Logic
ISBN: 3540564489 ISBN-13(EAN): 9783540564485
Издательство: Springer
Рейтинг:
Цена: 19056 р.
Наличие на складе: Поставка под заказ.

Описание: This monograph provides a thorough analysis of two importantformalisms for nonmonotonic reasoning: default logic andmodal nonmonotonic logics. It is also shown how they arerelated to each other and how they provide the formalfoundations for logic programming. The discussion isrigorous, and all main results are formally proved.

Many ofthe results are deep and surprising, some of them previouslyunpublished. The book has three parts, on default logic, modalnonmonotonic logics, and connections and complexity issues,respectively. The study of general default logic is followedby a discussion of normal default logic and its connectionsto the closed world assumption, and also a presentation ofrelated aspects of logic programming.

The general theory ofthe family of modal nonmonotonic logics introduced byMcDermott and Doyle is followed by studies of autoepistemiclogic, the logic of reflexive knowledge, and the logic ofpure necessitation, and also a short discussion ofalgorithms for computin knowledge and belief sets. Thethird part explores connections between default logic andmodal nonmonotonic logics and contains results on thecomplexity of nonmonotonic reasoning. The ideas are presented with an elegance and unity ofperspective that set a new standard of scholarship for booksin this area, and the work indicates that the field hasreached a very high level of maturity and sophistication.

The book is intended as a reference on default logic,nonmonotonic logics, and related computational issues, andis addressed to researchers, programmers, and graduatestudents in the Artificial Intelligence community.

The Many Valued and Nonmonotonic Turn in Logic,8

Автор: Dov M. Gabbay
Название: The Many Valued and Nonmonotonic Turn in Logic,8
ISBN: 0444516239 ISBN-13(EAN): 9780444516237
Издательство: Elsevier Science
Рейтинг:
Цена: 26565 р.
Наличие на складе: Нет в наличии.

Описание: The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic. These are many-valuedness and non-monotonicity. On the one approach, in deference to vagueness, temporal or quantum indeterminacy or reference-failure, sentences that are classically non-bivalent are allowed as inputs and outputs to consequence relations. Many-valued, dialetheic, fuzzy and quantum logics are, among other things, principled attempts to regulate the flow-through of sentences that are neither true nor false. On the second, or non-monotonic, approach, constraints are placed on inputs (and sometimes on outputs) of a classical consequence relation, with a view to producing a notion of consequence that serves in a more realistic way the requirements of real-life inference. Many-valued logics produce an interesting problem. Non-bivalent inputs produce classically valid consequence statements, for any choice of outputs. A major task of many-valued logics of all stripes is to fashion an appropriately non-classical relation of consequence.The chief preoccupation of non-monotonic (and default) logicians is how to constrain inputs and outputs of the consequence relation. In what is called “left non-monotonicity”, it is forbidden to add new sentences to the inputs of true consequence-statements. The restriction takes notice of the fact that new information will sometimes override an antecedently (and reasonably) derived consequence. In what is called “right non-monotonicity”, limitations are imposed on outputs of the consequence relation. Most notably, perhaps, is the requirement that the rule of or-introduction not be given free sway on outputs. Also prominent is the effort of paraconsistent logicians, both preservationist and dialetheic, to limit the outputs of inconsistent inputs, which in classical contexts are wholly unconstrained.

Logic Programming and Nonmonotonic Reasoning

Автор: Delgrande
Название: Logic Programming and Nonmonotonic Reasoning
ISBN: 3642208940 ISBN-13(EAN): 9783642208942
Издательство: Springer
Рейтинг:
Цена: 9239 р.
Наличие на складе: Поставка под заказ.

Описание: This volume contains the refereed proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011, held in May 2011 in Vancouver, Canada. The 16 revised full papers (13 technical papers, 1 application description, and 2 system descriptions) and 26 short papers (16 technical papers, 3 application description, and 7 system descriptions) which were carefully reviewed and selected from numerous submissions, are presented together with 3 invited talks. Being a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation, the conference aims to facilitate interactions between those researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those who work in the area of knowledge representation and nonmonotonic reasoning.

Probabilistic Logics and Probabilistic Networks

Автор: Haenni
Название: Probabilistic Logics and Probabilistic Networks
ISBN: 9400700075 ISBN-13(EAN): 9789400700079
Издательство: Springer
Рейтинг:
Цена: 12704 р.
Наличие на складе: Поставка под заказ.

Описание: While probabilistic logics in principle might be applied to solve a range of problems, in practice they are rarely applied - perhaps because they seem disparate, complicated, and computationally intractable. This programmatic book argues that several approaches to probabilistic logic fit into a simple unifying framework in which logically complex evidence is used to associate probability intervals or probabilities with sentences. Specifically, Part I shows that there is a natural way to present a question posed in probabilistic logic, and that various inferential procedures provide semantics for that question, while Part II shows that there is the potential to develop computationally feasible methods to mesh with this framework. The book is intended for researchers in philosophy, logic, computer science and statistics. A familiarity with mathematical concepts and notation is presumed, but no advanced knowledge of logic or probability theory is required.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия