A New Perspective on Nonmonotonic Logics, Dov M. Gabbay; Karl Schlechta
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Описание: 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.
Описание: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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
