Logic, Action, and Information
Author : André Fuhrmann
Publisher : Walter de Gruyter
Page : 492 pages
File Size : 14,57 MB
Release : 1996
Category : Computers
ISBN : 9783110139945
Author : André Fuhrmann
Publisher : Walter de Gruyter
Page : 492 pages
File Size : 14,57 MB
Release : 1996
Category : Computers
ISBN : 9783110139945
Author : Andrei Voronkov
Publisher : Springer Science & Business Media
Page : 408 pages
File Size : 22,60 MB
Release : 1993-06-29
Category : Computers
ISBN : 9783540569442
LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science".
Author : S. Akama
Publisher : Springer Science & Business Media
Page : 256 pages
File Size : 31,90 MB
Release : 2012-12-06
Category : Philosophy
ISBN : 9401156387
The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language and Computation. One very striking feature of the application of logic to language and to computation is that it requires the combination, the integration and the use of many diverse systems and methodologies - all in the same single application. The papers in this volume will give the reader a glimpse into the problems of this active frontier of logic. The Editors CONTENTS Preface IX 1. S. AKAMA Recent Issues in Logic, Language and Computation 1 2. M. J. CRESSWELL Restricted Quantification 27 3. B. H. SLATER The Epsilon Calculus' Problematic 39 4. K. VON HEUSINGER Definite Descriptions and Choice Functions 61 5. N. ASHER Spatio-Temporal Structure in Text 93 6. Y. NAKAYAMA DRT and Many-Valued Logics 131 7. S. AKAMA On Constructive Modality 143 8. H. W ANSING Displaying as Temporalizing: Sequent Systems for Subintuitionistic Logics 159 9. L. FARINAS DEL CERRO AND V. LUGARDON 179 Quantification and Dependence Logics 10. R. SYLVAN Relevant Conditionals, and Relevant Application Thereof 191 Index 245 Preface This is a collection of papers by distinguished researchers on Logic, Lin guistics, Philosophy and Computer Science. The aim of this book is to address a broad picture of the recent research on related areas. In particular, the contributions focus on natural language semantics and non-classical logics from different viewpoints.
Author : John Lloyd
Publisher : MIT Press
Page : 676 pages
File Size : 19,20 MB
Release : 1995
Category : Computers
ISBN : 9780262620994
The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. Both conferences are held annually. The theme for the 1995 conference was "Declarative Systems", particularly the integration of the logic programming, functional programming, and object-oriented programming paradigms.
Author : Walter Dittrich
Publisher : Springer Science & Business Media
Page : 800 pages
File Size : 13,45 MB
Release : 2001-06-18
Category : Science
ISBN : 9783540420668
Physics students who want to become familiar with advanced computational strategies in classical and quantum dynamics will find here a detailed treatment many worked examples. This new edition has been revised and enlarged with chapters on the action principle in classical electrodynamics, on the functional derivative approach, and on computing traces.
Author : Craig MacNish
Publisher : Springer Science & Business Media
Page : 436 pages
File Size : 50,20 MB
Release : 1994-08-10
Category : Computers
ISBN : 9783540583325
This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held at York, UK in September 1994. The 24 papers presented were selected from a total of 79 submissions; in addition there are two abstracts of invited talks and one full paper of the invited presentation by Georg Gottlob. The papers point out that, with the depth and maturity of formalisms and methodologies available in AI today, logics provide a formal basis for the study of the whole field of AI. The volume offers sections on nonmonotonic reasoning, automated reasoning, logic programming, knowledge representation, and belief revision.
Author : Ronald J. Brachman
Publisher : MIT Press
Page : 319 pages
File Size : 30,11 MB
Release : 2023-10-17
Category : Computers
ISBN : 0262547325
How we can create artificial intelligence with broad, robust common sense rather than narrow, specialized expertise. It’s sometime in the not-so-distant future, and you send your fully autonomous self-driving car to the store to pick up your grocery order. The car is endowed with as much capability as an artificial intelligence agent can have, programmed to drive better than you do. But when the car encounters a traffic light stuck on red, it just sits there—indefinitely. Its obstacle-avoidance, lane-following, and route-calculation capacities are all irrelevant; it fails to act because it lacks the common sense of a human driver, who would quickly figure out what’s happening and find a workaround. In Machines like Us, Ron Brachman and Hector Levesque—both leading experts in AI—consider what it would take to create machines with common sense rather than just the specialized expertise of today’s AI systems. Using the stuck traffic light and other relatable examples, Brachman and Levesque offer an accessible account of how common sense might be built into a machine. They analyze common sense in humans, explain how AI over the years has focused mainly on expertise, and suggest ways to endow an AI system with both common sense and effective reasoning. Finally, they consider the critical issue of how we can trust an autonomous machine to make decisions, identifying two fundamental requirements for trustworthy autonomous AI systems: having reasons for doing what they do, and being able to accept advice. Both in the end are dependent on having common sense.
Author : Roy Dyckhoff
Publisher : Springer Science & Business Media
Page : 376 pages
File Size : 24,24 MB
Release : 1994-05-20
Category : Computers
ISBN : 9783540580256
The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks.
Author : Bruno Apolloni
Publisher : Springer Science & Business Media
Page : 1410 pages
File Size : 36,24 MB
Release : 2007-08-30
Category : Business & Economics
ISBN : 3540748261
havefromthesevolumesanalmostexhaustiveoverviewofresearcher sandprac- tioner scurrentworkinthe'eldofinformationextractionandintelligentsystems."
Author : Jan Kłos
Publisher : BRILL
Page : 228 pages
File Size : 40,39 MB
Release : 2021-08-09
Category : Philosophy
ISBN : 9004466223
Both Newman and Stein present a mature response to the challenges of their eras. In like manner they reflect splendid examples of genuine persons in the grip of disrupting cultural trends. They show the primacy of individual conscience and the importance of individual integrity even at the expense of social ostracism and extermination. Newman and Stein are outstanding witnesses of individual freedom vis-à-vis social and political systems. This book uniquely combines the biographies of these two figures in order to show that no matter what kind of circumstances we may live in, loyalty to one’s own self is the most significant part of life. "In a penetrating account of Newman and Edith Stein, Jan Kłos explores the spirituality of two saints, each of them 'speaking to our time'. By explorations of their life and work, the author provides a wealth of insights for the twenty-first century. At once sensitive and learned, Jan Kłos's Heart Speaks unto Heart is a volume to be treasured and read again." - Prof. Andrew Breeze, Universidad de Navarra, Spain "In this profound and stimulating study, Kłos invites the reader to think, not so much about Newman and Stein as with them, and thus join them in their unique but mutually illuminating efforts to make sense of their faith, their times (still very much our times), themselves, and, ultimately, the mystery of the truth in whose grasp they both lived and died. In translating Newman’s work, Stein discovered herself in communion with him. Heart Speaks unto Heart beautifully explores this communion, and in doing so shows us why it matters." - Prof. Paul Wojda, University of St. Thomas, U.S.A.