Johan van Benthem on Logic and Information Dynamics, Alexandru Baltag; Sonja Smets
Автор: Benthem Johan Van Название: Logic in Games ISBN: 0262019906 ISBN-13(EAN): 9780262019903 Издательство: MIT Press Рейтинг: Цена: 10157.00 р. Наличие на складе: Нет в наличии.
Описание:
A comprehensive examination of the interfaces of logic, computer science, and game theory, drawing on twenty years of research on logic and games.
This book draws on ideas from philosophical logic, computational logic, multi-agent systems, and game theory to offer a comprehensive account of logic and games viewed in two complementary ways. It examines the logic of games: the development of sophisticated modern dynamic logics that model information flow, communication, and interactive structures in games. It also examines logic as games: the idea that logical activities of reasoning and many related tasks can be viewed in the form of games.
In doing so, the book takes up the "intelligent interaction" of agents engaging in competitive or cooperative activities and examines the patterns of strategic behavior that arise. It develops modern logical systems that can analyze information-driven changes in players' knowledge and beliefs, and introduces the "Theory of Play" that emerges from the combination of logic and game theory. This results in a new view of logic itself as an interactive rational activity based on reasoning, perception, and communication that has particular relevance for games.
Logic in Games, based on a course taught by the author at Stanford University, the University of Amsterdam, and elsewhere, can be used in advanced seminars and as a resource for researchers.
Автор: Johan van Benthem Название: The Logic of Time ISBN: 904814082X ISBN-13(EAN): 9789048140824 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In fact, perhaps the most significant sources of new activity have been the applied areas of Linguistics and Computer Science (including Artificial Intelligence), where many intriguing new ideas have appeared presenting further challenges to temporal logic.
Автор: Johan van Benthem Название: The Logic of Time ISBN: 0792310810 ISBN-13(EAN): 9780792310815 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In fact, perhaps the most significant sources of new activity have been the applied areas of Linguistics and Computer Science (including Artificial Intelligence), where many intriguing new ideas have appeared presenting further challenges to temporal logic.
Автор: Johan van Benthem Название: The Logic of Time ISBN: 9401098700 ISBN-13(EAN): 9789401098700 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make. The doctoral dissertation of Paul N eedham awaked me (as so many others) from my dogmatic slumbers concerning the latter`s mono- poly on the logical study of Time.
Автор: Johan van Benthem; Gerhard Heinzmann; Manuel Rebus Название: The Age of Alternative Logics ISBN: 9048124859 ISBN-13(EAN): 9789048124855 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In the last century, developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. This book embodies the multi-dimensional interplay between logic and science, presenting contributions from scholars on the trends and possible developments for research.
Автор: Johan van Benthem; Amitabha Gupta; Rohit Parikh Название: Proof, Computation and Agency ISBN: 9400735812 ISBN-13(EAN): 9789400735811 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This overview of modern logic and its relationship with other disciplines includes several articles that explore an inspiring new paradigm called `social software`, which studies patterns of social interaction using techniques from logic and computer science.
Автор: V??n?nen Название: Logic, Language, Information, and Computation ISBN: 3662529203 ISBN-13(EAN): 9783662529201 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016.
The 23 contributed papers, presented together with 9 invited lectures and tutorials, were carefully reviewed and selected from 33 submissions. The focus of the workshop is to provide a forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.
Описание: Fuzzy Logic and its Applications... covers a wide range of the theory and applications of fuzzy logic and related systems, including industrial applications of fuzzy technology, implementing human intelligence in machines and systems.
Автор: van Benthem, Johan F.A.K. Название: Handbook of Logic and Language ISBN: 0444602259 ISBN-13(EAN): 9780444602251 Издательство: Elsevier Science Рейтинг: Цена: 23580.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes.
Автор: Johan van Benthem; Amitabha Gupta; Eric Pacuit Название: Games, Norms and Reasons ISBN: 9400735774 ISBN-13(EAN): 9789400735774 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This exploration of modern logic theory focuses on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. It reflects new and ambitious developments in human reasoning.
Автор: Areski Nait Abdallah Название: The Logic of Partial Information ISBN: 3642781624 ISBN-13(EAN): 9783642781629 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: We show the need to go beyond the view of logic as a geometry of static truths, and to see logic, both at the proof-theoretic and at the model-theoretic level, as a dynamics of processes. We see the dynamics of logic processes bear with classical logic, the same relation as the one existing between classical mechanics and Euclidean geometry.
Автор: Baltag Alexandru Название: Johan Van Benthem on Logic and Information Dynamics ISBN: 3319060244 ISBN-13(EAN): 9783319060248 Издательство: Springer Рейтинг: Цена: 30606.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: And their interconnected themes challenge at the same time how we think of logic, philosophy and computation. Thus, very much in line with van Benthem`s work over many decades, the volume shows how all these disciplines form a natural unity in the perspective of dynamic logicians (broadly conceived) exploring their new themes today.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
