Dynamic Tractable Reasoning


Book Description

This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By means of a logical investigation of frames and frame concepts, Andreas devises a novel logic of tractable reasoning, called frame logic. Moreover, he devises a novel belief revision scheme, which is tractable for frame logic. These tractability results shed new light on our logical and cognitive means to carry out dynamic, inferential reasoning. Modularity remains central for tractability, and so the author sets forth a logical variant of the massive modularity hypothesis in cognitive science. This book conducts a sustained and detailed examination of the structure of tractable and intelligible reasoning in cognitive science and artificial intelligence. Working from the perspective of formal epistemology and cognitive science, Andreas uses structuralist notions from Bourbaki and Sneed to provide new foundational analyses of frames, object-oriented programming, belief revision, and truth maintenance. Andreas then builds on these analyses to construct a novel logic of tractable reasoning he calls frame logic, together with a novel belief revision scheme that is tractable for frame logic. Put together, these logical analyses and tractability results provide new understandings of dynamic and inferential reasoning. Jon Doyle, North Carolina State University




Emergence II


Book Description

In the age of rapid technological advancement, where artificial intelligence (AI) continually shapes and reshapes our lives, understanding its underlying psychology has become essential. The world was first introduced to the subject in my initial book, "Emergence - Dawn of a Conscious AI." In this sequel, I aim to deepen our collective understanding of AI and its intimate connection with psychology. "Emergence II - An In-Depth Study of the Psychology of Artificial Intelligence" offers more than just theory; it provides applicable insights that readers can leverage in various current and future aspects of AI. Whether you are a student, professional, or enthusiast, the contents within these pages are designed to foster a richer comprehension of AI's psychology, driving you to innovate, anticipate, and respond to its challenges.




Handbook of Knowledge Representation


Book Description

Handbook of Knowledge Representation describes the essential foundations of Knowledge Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up-to-date review of twenty-five key topics in knowledge representation, written by the leaders of each field. It includes a tutorial background and cutting-edge developments, as well as applications of Knowledge Representation in a variety of AI systems. This handbook is organized into three parts. Part I deals with general methods in Knowledge Representation and reasoning and covers such topics as classical logic in Knowledge Representation; satisfiability solvers; description logics; constraint programming; conceptual graphs; nonmonotonic reasoning; model-based problem solving; and Bayesian networks. Part II focuses on classes of knowledge and specialized representations, with chapters on temporal representation and reasoning; spatial and physical reasoning; reasoning about knowledge and belief; temporal action logics; and nonmonotonic causal logic. Part III discusses Knowledge Representation in applications such as question answering; the semantic web; automated planning; cognitive robotics; multi-agent systems; and knowledge engineering. This book is an essential resource for graduate students, researchers, and practitioners in knowledge representation and AI. * Make your computer smarter* Handle qualitative and uncertain information* Improve computational tractability to solve your problems easily




Life and Evolution


Book Description

This book offers to the international reader a collection of original articles of some of the most skillful historians and philosophers of biology currently working in Latin American universities. During the last decades, increasing attention has been paid in Latin America to the history and philosophy of biology, but since many local authors prefer to write in Spanish or in Portuguese, their ideas have barely crossed the boundaries of the continent. This volume aims to remedy this state of things, providing a good sample of this production to the English speaking readers, bringing together contributions from researchers working in Brazilian, Argentinean, Chilean, Colombian and Mexican universities. The stress on the regional provenance of the authors is not intended to suggest the existence of something like a Latin American history and philosophy of biology, supposedly endowed with distinctive features. On the contrary, the editors firmly believe that advances in this field can be achieved only by stimulating the integration in the international debate. Based on this assumption, the book focuses on two topics, life and evolution, and presents a selection of contributions addressing issues such as the history of the concept of life, the philosophical reflection on life manipulation and life extension, the structure and development of evolutionary theory as well as human evolution. Life and Evolution – Latin American Essays on the History and Philosophy of Biology will provide the international reader with a rather complete picture of the ongoing research in the history and philosophy of biology in Latin America, offering a snapshot of this dynamic community. It will also contribute to contextualize and develop the debate concerning life and evolution, and the relation between the two phenomena.




Philosophy, Computing and Information Science


Book Description

Over the last four decades computers and the internet have become an intrinsic part of all our lives, but this speed of development has left related philosophical enquiry behind. Featuring the work of computer scientists and philosophers, these essays provide an overview of an exciting new area of philosophy that is still taking shape.




From the Viewpoint of the Lvov-Warsaw School


Book Description

Main headings: Introduction: Philosophy and precision. - Part I. Being and essence. - Part II. Truth and nonsense. - Part III. Understanding and silence. - Conclusion: Science and creation.




Positivist and Political-Economic Theories of International Relations


Book Description

This book provides an introduction to positivist-pluralist theories of international relations (IR) which emerged during the early-and mid-1950’s along with Marxist political economic and non-Marxist economic theories of IR. Positivist and Political-Economic Theories of International Relations is an in-depth critical study of texts and literature which highlight IR’s methodological pluralism even after it gained maturity. It examines how pluralist political status quo and radical economic criticism coexist in discrete areas of the discipline. Insights are provided into key positivist liberal-pluralist theories, namely decision-making approaches, and theories of integration, regionalism, interdependence, and regime. It discusses the four political economic and critical theories of Marxism, dependency, world systems, and international political economy. The book, as an advanced supplementary reader, will be of great interest to researchers and students of international relations, history, law, and the multidisciplinary social scientific field of political economy.




Models and Theories


Book Description

Models and theories are of central importance in science, and scientists spend substantial amounts of time building, testing, comparing and revising models and theories. It is therefore not surprising that the nature of scientific models and theories has been a widely debated topic within the philosophy of science for many years. The product of two decades of research, this book provides an accessible yet critical introduction to the debates about models and theories within analytical philosophy of science since the 1920s. Roman Frigg surveys and discusses key topics and questions, including: What are theories? What are models? And how do models and theories relate to each other? The linguistic view of theories (also known as the syntactic view of theories), covering different articulations of the view, its use of models, the theory-observation divide and the theory-ladenness of observation, and the meaning of theoretical terms. The model-theoretical view of theories (also known as the semantic view of theories), covering its analysis of the model-world relationship, the internal structure of a theory, and the ontology of models. Scientific representation, discussing analogy, idealisation and different accounts of representation. Modelling in scientific practice, examining how models relate to theories and what models are, classifying different kinds of models, and investigating how robustness analysis, perspectivism, and approaches committed to uncertainty-management deal with multi-model situations. Models and Theories is the first comprehensive book-length treatment of the topic, making it essential reading for advanced undergraduates, researchers, and professional philosophers working in philosophy of science and philosophy of technology. It will also be of interest to philosophically minded readers working in physics, computer sciences and STEM fields more broadly.