The Automation Of Reasoning With Incomplete Information

Author : Torsten Schaub
Publisher : Springer Science & Business Media
Page : 180 pages
File Size : 48,7 Mb
Release : 1997
Category : Computers
ISBN : 3540645152

Get Book

The Automation of Reasoning with Incomplete Information by Torsten Schaub Pdf

Reasoning with incomplete information constitutes a major challenge for any intelligent system. In fact, we expect such systems not to become paralyzed by missing information but rather to arrive at plausible results by bridging the gaps in the information available. A versatile way of reasoning in the absence of information is to reason by default. This book aims at providing formal and practical means for automating reasoning with incomplete information by starting from the approach taken by the framework of default logic. For this endeavor, a bridge is spanned between formal semantics, over systems for default reasoning, to efficient implementation.

Author : Torsten Schaub
Publisher : Unknown
Page : 180 pages
File Size : 55,6 Mb
Release : 2014-01-15
Category : Electronic
ISBN : 366217300X

Get Book

The Automation of Reasoning with Incomplete Information by Torsten Schaub Pdf

Author : David W. Etherington
Publisher : Pitman Publishing
Page : 254 pages
File Size : 52,6 Mb
Release : 1988
Category : Artificial intelligence
ISBN : UCAL:B4495251

Get Book

Reasoning with Incomplete Information by David W. Etherington Pdf

Author : Léa Sombé
Publisher : Unknown
Page : 168 pages
File Size : 54,5 Mb
Release : 1990-09-10
Category : Computers
ISBN : UVA:X001859008

Get Book

Reasoning Under Incomplete Information In Artificial Intelligence by Léa Sombé Pdf

The formalization of ``revisable reasoning'' has been the object of numerous works, developed independently and using many diverse approaches--approaches that are purely symbolic, use numbers to quantify uncertainty, are close to formal logic or less formalized; some deal with exceptions, and a smaller number consider the problem of knowledge bases of revision. This work presents and compares several of these revisable (incomplete) reasoning methods for use in AI. Each method is systematically evaluated with a single example to give the reader an appreciation of the rationale and use of each formulation. The logics considered include: default logic, non-monotonic modal logics, the supposition-based logic, the conditional logics, and the logics of uncertainty. The book also discusses the contribution of works on truth maintenance and logic of action.

Author : Claude Kirchner,Helene Kirchner
Publisher : Springer Science & Business Media
Page : 468 pages
File Size : 47,9 Mb
Release : 1998-06-24
Category : Computers
ISBN : 3540646752

Get Book

Automated Deduction - CADE-15 by Claude Kirchner,Helene Kirchner Pdf

This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998. The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.

Author : Colin Boyd
Publisher : Springer Science & Business Media
Page : 444 pages
File Size : 46,7 Mb
Release : 1998-07
Category : Business & Economics
ISBN : 3540647325

Get Book

Information Security and Privacy by Colin Boyd Pdf

This book constitutes the refereed proceedings of the Second Australasian Conference on Information Security and Privacy, ACISP'97, held in Sydney, NSW, Australia, in July 1997. The 20 revised full papers presented were carefully selected for inclusion in the proceedings. The book is divided into sections on security models and access control, network security, secure hardware and implementation issues, cryptographic functions and ciphers, authentication codes and secret sharing systems, cryptanalysis, key escrow, security protocols and key management, and applications.

Author : Jack Minker
Publisher : Springer Science & Business Media
Page : 640 pages
File Size : 40,7 Mb
Release : 2000-12-31
Category : Computers
ISBN : 0792372247

Get Book

Logic-Based Artificial Intelligence by Jack Minker Pdf

The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of papers in the 1960's he expanded upon these ideas and continues to do so to this date. It is now 41 years since the idea of using a formal mechanism for AI arose. It is therefore appropriate to consider some of the research, applications and implementations that have resulted from this idea. In early 1995 John McCarthy suggested to me that we have a workshop on Logic-Based Artificial Intelligence (LBAI). In June 1999, the Workshop on Logic-Based Artificial Intelligence was held as a consequence of McCarthy's suggestion. The workshop came about with the support of Ephraim Glinert of the National Science Foundation (IIS-9S2013S), the American Association for Artificial Intelligence who provided support for graduate students to attend, and Joseph JaJa, Director of the University of Maryland Institute for Advanced Computer Studies who provided both manpower and financial support, and the Department of Computer Science. We are grateful for their support. This book consists of refereed papers based on presentations made at the Workshop. Not all of the Workshop participants were able to contribute papers for the book. The common theme of papers at the workshop and in this book is the use of logic as a formalism to solve problems in AI.

Author : Sahin Albayrak,Francisco J. Garijo
Publisher : Springer Science & Business Media
Page : 278 pages
File Size : 50,6 Mb
Release : 1998-06-24
Category : Computers
ISBN : 3540647201

Get Book

Intelligent Agents for Telecommunication Applications by Sahin Albayrak,Francisco J. Garijo Pdf

This book constitutes the refereed proceedings of the Second International Workshop on Intelligent Agents for Telecommunication Applications, IATA'98, held in Paris, France, in July 1998, in conjunction with the 1998 Agents World Conference. The book presents 17 revised full papers carefully selected for inclusion in the volume. The book is divided into topical sections on network architecture, network configuration and planning, network optimization, network management, agent-based architectures for service applications.

Author : David Page
Publisher : Springer Science & Business Media
Page : 316 pages
File Size : 41,8 Mb
Release : 1998-07-08
Category : Computers
ISBN : 3540647384

Get Book

Inductive Logic Programming by David Page Pdf

This book constitutes the refereed proceedings of the 8th International Conference on Inductive Logic Programming, ILP-98, held in Madison, Wisconsin, USA, in July 1998. The 27 revised full papers presented together with the abstracts of three invited talks were carefully reviewed and selected for inclusion in the book. All relevant aspects of inductive logic programming are covered ranging from theory to implementations and applications.

Author : Fausto Giunchiglia
Publisher : Springer Science & Business Media
Page : 520 pages
File Size : 53,8 Mb
Release : 1998-09-02
Category : Computers
ISBN : 354064993X

Get Book

Artificial Intelligence: Methodology, Systems, and Applications by Fausto Giunchiglia Pdf

Content Description #Includes bibliographical references and index.

Author : Klaus Jansen,Jose Rolim
Publisher : Springer Science & Business Media
Page : 216 pages
File Size : 50,5 Mb
Release : 1998-07
Category : Computers
ISBN : 3540647368

Get Book

Approximation Algorithms for Combinatorial Optimization by Klaus Jansen,Jose Rolim Pdf

Computer simulation has become a basic tool in many branches of physics such as statistical physics, particle physics, or materials science. The application of efficient algorithms is at least as important as good hardware in large-scale computation. This volume contains didactic lectures on such techniques based on physical insight. The emphasis is on Monte Carlo methods (introduction, cluster algorithms, reweighting and multihistogram techniques, umbrella sampling), efficient data analysis and optimization methods, but aspects of supercomputing, the solution of stochastic differential equations, and molecular dynamics are also discussed. The book addresses graduate students and researchers in theoretical and computational physics.

Author : Hugo Krawczyk
Publisher : Springer Science & Business Media
Page : 538 pages
File Size : 41,6 Mb
Release : 1998-08-05
Category : Business & Economics
ISBN : 3540648925

Get Book

Advances in Cryptology - CRYPTO '98 by Hugo Krawczyk Pdf

This text presents the proceedings of an international conference on advances in cryptology. The papers are organized into topical sections on chosen ciphertext security, cryptanalysis of hash functions and block ciphers, distributed cryptography, zero knowledge and implementation.

Author : Chris Clack,Kevin Hammond,Tony Davie
Publisher : Springer Science & Business Media
Page : 394 pages
File Size : 45,6 Mb
Release : 1998-08-26
Category : Computers
ISBN : 3540648496

Get Book

Implementation of Functional Languages by Chris Clack,Kevin Hammond,Tony Davie Pdf

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Implementation of Functional Languages, IFL'97, held in St. Andrews, Scotland, UK, in September 1997. The 21 revised full papers presented were selected from the 34 papers accepted for presentation at the workshop during a second round of thorough a-posteriori reviewing. The book is divided in sections on compilation, types, benchmarking and profiling, parallelism, interaction, language design, and garbage collection.

Author : Xavier Leroy,Atsushi Ohori
Publisher : Springer Science & Business Media
Page : 316 pages
File Size : 40,8 Mb
Release : 1998-08-19
Category : Computers
ISBN : 3540649255

Get Book

Types in Compilation by Xavier Leroy,Atsushi Ohori Pdf

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Types in Compilation, TIC '98, held in Kyoto, Japan in March 1998. The book presents 13 revised full papers carefully selected during an iterated reviewing process together with three invited papers. The papers are organized in topical sections on typed intermediate languages, program analyses, program transformations and code generation, memory management, partial evaluation and run-time code generation, and distributed computing.

Author : Marie-Laure Mugnier,Michel Chein
Publisher : Springer Science & Business Media
Page : 460 pages
File Size : 40,5 Mb
Release : 1998-07-22
Category : Computers
ISBN : 3540647910

Get Book

Conceptual Structures: Theory, Tools and Applications by Marie-Laure Mugnier,Michel Chein Pdf

This book constitutes the refereed proceedings of the 6th International Conference on Conceptual Structures, ICCS'98, held in Montpellier, France, in August 1998. The 20 revised full papers and 10 research reports presented were carefully selected from a total of 66 submissions; also included are three invited contributions. The volume is divided in topical sections on knowledge representation and knowledge engineering, tools, conceptual graphs and other models, relationships with logics, algorithms and complexity, natural language processing, and applications.