Conditionals and Modularity in General Logics, Gabbay
Автор: Dov M. Gabbay; Karl Schlechta Название: Conditionals and Modularity in General Logics ISBN: 3642270654 ISBN-13(EAN): 9783642270659 Издательство: Springer Рейтинг: Цена: 15014 р. Наличие на складе: Поставка под заказ.
Описание: This book covers modularity and independence in classical and nonclassical logic, including many-valued logics and structures, plus neighbourhood semantics and their connection to independence, as well as their common points and differences for various logics.
Автор: Chiba Название: Transactions on Modularity and Composition I ISBN: 3319469681 ISBN-13(EAN): 9783319469683 Издательство: Springer Рейтинг: Цена: 8894 р. Наличие на складе: Поставка под заказ.
Описание: The LNCS Transactions on Modularity and Composition are devoted to all aspects of software modularity and composition methods, tools, and techniques, covering requirement analysis, design, implementation, maintenance, and evolution. The focus of the journal also includes modelling techniques, new paradigms and languages, development tools, measurement, novel verification and testing approaches, theoretical foundations, and understanding interactions between modularity and composition.This, the first issue of the Transactions on Modularity and Composition, consists of two sections. The first one, guest edited by Patrick Eugster, Mario S?dholt, and Lukasz Ziarek, is entitled “Aspects, Events, and Modularity” and includes papers focusing on context-oriented software development, specifications for even-based systems, and development of modular software. The second section, guest edited by Gary T. Leavens, contains journal versions of selected papers from Modularity 2015, which was held in March 2015, in Fort Collins, Colorado, USA. Topics covered by the papers in this section include software unbundling, layer activation in context-oriented programming, modular reasoning in event-based languages, and dynamic dispatch for method contracts using abstract predicates.
Автор: Stirling Название: Theory of Conditional Games ISBN: 110742898X ISBN-13(EAN): 9781107428980 Издательство: Cambridge Academ Рейтинг: Цена: 5751 р. Наличие на складе: Поставка под заказ.
Описание: Game theory explains how to make good choices when different decision makers have conflicting interests. The classical approach assumes that decision makers are committed to making the best choices for themselves regardless of the effect on others, but such an approach is less appropriate when cooperation, compromise and negotiation are important. This book describes conditional games, a form of game theory that accommodates multiple stakeholder decision-making scenarios where cooperation and negotiation are significant issues and where notions of concordant group behavior are important. Using classical binary preference relations as a point of departure, the book extends the concept of a preference ordering that permits stakeholders to modulate their preferences as functions of the preferences of others. As these conditional preferences propagate through a group of decision makers, they create social bonds that lead to notions of group concordance. This book is intended for all students and researchers of decision theory and game theory.
Автор: Ribeiro Название: Belief Revision in Non-Classical Logics ISBN: 1447141857 ISBN-13(EAN): 9781447141853 Издательство: Springer Рейтинг: Цена: 4614 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of logics that include – besides most Description Logics such as the ones behind OWL – Horn Logic and Intuitionistic logic, amongst others. The author also presents algorithms for the most important constructions in belief bases. Researchers and practitioners in theoretical computing will find this an invaluable resource.
Описание: The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to call themselves `antirealists'. Others persisted with the formal background of the Frege-Tarski tradition, where Cantorian set theory is linked via model theory to classical logic. Jaakko Hintikka tried to unify both traditions by means of what is now known as `explicit epistemic logic'. Under this view, epistemic contents are introduced into the object language as operators yielding propositions from propositions, rather than as metalogical constraints on the notion of inference.The Realism-Antirealism debate has thus had three players: classical logicians, intuitionists and explicit epistemic logicians. The editors of the present volume believe that in the age of Alternative Logics, where manifold developments in logic happen at a breathtaking pace, this debate should be revisited. Contributors to this volume happily took on this challenge and responded with new approaches to the debate from both the explicit and the implicit epistemic point of view.
Автор: Janhunen Название: Logics in Artificial Intelligence ISBN: 3642156746 ISBN-13(EAN): 9783642156748 Издательство: Springer Рейтинг: Цена: 8084 р. Наличие на складе: Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 5th International Conference on E-learning and Games, Edutainment 2010, held in Changchun, China, in August 2010. This book includes 3 invited talks, 26 regular papers, and 5 system descriptions.
Автор: 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.
Автор: Lycan, William G. Название: Real conditionals ISBN: 0199285519 ISBN-13(EAN): 9780199285518 Издательство: Oxford Academ Рейтинг: Цена: 5887 р. Наличие на складе: Поставка под заказ.
Описание: Offers a fresh approach to the long-running debate among philosophers and logicians about the best way to analyse and understand conditional sentences. The author attends not just to the semantics of such sentences, but equally to their syntax, making use of insights from linguistic theory.
Автор: Edited by Ellery Eells Название: Probability and Conditionals ISBN: 0521039339 ISBN-13(EAN): 9780521039338 Издательство: Cambridge Academ Рейтинг: Цена: 4655 р. Наличие на складе: Поставка под заказ.
Описание: This collection of essays is on the relation between probabilities, especially conditional probabilities, and conditionals. It provides negative results which sharply limit the ways conditionals can be related to conditional probabilities. There are also positive ideas and results which will open up areas of research. The collection is intended to honour Ernest W. Adams, whose seminal work is largely responsible for creating this area of inquiry. As well as describing, evaluating, and applying Adams’s work the contributions extend his ideas in directions he may or may not have anticipated, but that he certainly inspired. In addition to a wide range of philosophers of science, the volume should interest computer scientists and linguists.
Автор: Jackson Название: Mind, Method and Conditionals ISBN: 0415757193 ISBN-13(EAN): 9780415757195 Издательство: Taylor&Francis Рейтинг: Цена: 6461 р. Наличие на складе: Поставка под заказ.
Описание: First Published in 2004. Routledge is an imprint of Taylor & Francis, an informa company.
Автор: Studeny Milan Название: Probabilistic Conditional Independence Structures ISBN: 1852338911 ISBN-13(EAN): 9781852338916 Издательство: Springer Рейтинг: Цена: 16169 р. Наличие на складе: Поставка под заказ.
Описание: Conditional independence is a topic that lies between statistics and artificial intelligence. This title provides the mathematical description of probabilistic conditional independence structures. It presents the methods of structural imsets and supermodular functions, and deals with independence implication and equivalence of structural imsets.
Автор: Stirling Название: Theory of Conditional Games ISBN: 1107011744 ISBN-13(EAN): 9781107011748 Издательство: Cambridge Academ Рейтинг: Цена: 14243 р. Наличие на складе: Поставка под заказ.
Описание: Game theory explains how to make good choices when different decision makers have conflicting interests. The classical approach assumes that decision makers are committed to making the best choices for themselves regardless of the effect on others, but such an approach is less appropriate when cooperation, compromise and negotiation are important. This book describes conditional games, a form of game theory that accommodates multiple stakeholder decision-making scenarios where cooperation and negotiation are significant issues and where notions of concordant group behavior are important. Using classical binary preference relations as a point of departure, the book extends the concept of a preference ordering that permits stakeholders to modulate their preferences as functions of the preferences of others. As these conditional preferences propagate through a group of decision makers, they create social bonds that lead to notions of group concordance. This book is intended for all students and researchers of decision theory and game theory.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
