New Foundations for Automation of Default Reasoning
Author : Thomas Linke
Publisher : IOS Press
Page : 208 pages
File Size : 34,35 MB
Release : 2000
Category : Computers
ISBN : 9781586031275
Logic Programming and Nonmonotonic Reasoning
Author : Michael Gelfond
Publisher : Springer Science & Business Media
Page : 401 pages
File Size : 19,49 MB
Release : 1999-11-11
Category : Computers
ISBN : 3540667490
Book Description
This book constitutes the refereed proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '99, held in El Paso, Texas, USA, in December 1999. The volume presents 26 contributed papers and four invited talks, three appearing as extended abstracts and one as a full paper. Topics covered include logic programming, non-monotonic reasoning, knowledge representation, semantics, complexity, expressive power, and implementation and applicatons.
Machine Learning Methods for Commonsense Reasoning Processes: Interactive Models
Author : Naidenova, Xenia
Publisher : IGI Global
Page : 424 pages
File Size : 43,98 MB
Release : 2009-10-31
Category : Computers
ISBN : 1605668117
Book Description
This book suggests that classification is a key to human commonsense reasoning and transforms traditional considerations of data and knowledge communications, presenting an effective classification of logical rules used in the modeling of commonsense reasoning.
Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Author : Anthony Hunter
Publisher : Springer
Page : 407 pages
File Size : 35,16 MB
Release : 2003-05-15
Category : Computers
ISBN : 3540487476
Book Description
This book constitutes the refereed proceedings of the 1999 European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty, ECSQARU'99, held in London, UK, in July 1999. The 35 revised full papers presented were carefully reviewed and selected for inclusion in the book by the program committee. The volume covers theoretical as well as application-oriented aspects of various formalisms for reasoning under uncertainty. Among the issues addressed are default reasoning, nonmonotonic reasoning, fuzzy logic, Bayesian theory, probabilistic reasoning, inductive learning, rough knowledge discovery, Dempster-Shafer theory, qualitative decision making, belief functions, and evidence theory.
Action Based Collaboration Analysis for Group Learning
Author : Martin Mühlenbrock
Publisher : IOS Press
Page : 212 pages
File Size : 21,96 MB
Release : 2001
Category : Computers
ISBN : 9781586031756
Book Description
Shared-workspace systems with structured graphical representations allow for the free user interaction and the joint construction of problem solutions for potentially open-ended tasks. However, group modelling in shared workspaces has to take on a process-orientated perspective due to the reduced system control in shared workspaces. This text is defined as the monitoring of user actions and the abstraction and interpretation of the raw data in the context of the group interaction and the problem representation. Formally based on plan recognition and the situation calculus, an approach has been developed that incorporates an operational hierarchy for generally modelling activities. The system performs an automatic inline analysis of group interactions and the results are visualized in different forms to give feedback and stimulating self-reflection.
Learning Search Control Knowledge for Equational Deduction
Author : S. A. Schulz
Publisher : IOS Press
Page : 204 pages
File Size : 50,5 MB
Release : 2000
Category : Computers
ISBN : 9781586031503
Book Description
This thesis presents an approach to learning good search guiding heuristics for the supposition-based theorom prover E in equational deductions. Search decisions from successful proof searches are represented as sets annotated clause patterns. Term Space Mapping, an alternative learning method for recursive structures is used to learn heuristic evaluation functions for the evaluation of potential new consequences. Experimental results with extended system E/TSM show the success of the approach. Additional contributions of the thesis are an extended superposition calculus and a description of both the proof procedure and the implementation of a state-of-the-art equational theorem prover.
The Automation of Reasoning with Incomplete Information
Author : Torsten Schaub
Publisher : Springer Science & Business Media
Page : 180 pages
File Size : 43,21 MB
Release : 1997
Category : Computers
ISBN : 9783540645153
Book Description
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.
Automated Practical Reasoning
Author : Jochen Pfalzgraf
Publisher : Springer Science & Business Media
Page : 233 pages
File Size : 37,11 MB
Release : 2012-12-06
Category : Computers
ISBN : 3709166047
Book Description
This book is a collection of selected papers written by researchers qf our "RISC" institute (Research Institute for Symbolic Computation) along with the ESPRIT MEDLAR Project (Mechanizing Deduction in the Logics of Practical Reason ing). Naturally, the MEDLAR Project was and is the focal point for our institute whose main objective is the combination of foundational research in the area of symbolic computation and possible applications thereof for high-tech industrial projects. I am grateful to the director of the MEDLAR project, Jim Cunningham, for his enthusiasm, profound expertise, and continuous effort to manage a fruitful cooperation between various European working groups in the area of the project and for giving us the opportunity to be part of this challenging endeavor. I also acknowledge and feel indebted to Jochen Pfalzgraf for managing the RISC part of the MEDLAR project and to both him and Dongming Wang for editing this volume and organizing the refereeing process.
Logic Programming and Non-monotonic Reasoning
Author :
Publisher :
Page : 476 pages
File Size : 32,49 MB
Release : 2001
Category : Logic programming
ISBN :
Book Description
Foundations of Intelligent Systems
Author : Zbigniew W. Ras
Publisher : Springer Science & Business Media
Page : 684 pages
File Size : 23,41 MB
Release : 1996-05-15
Category : Computers
ISBN : 9783540612865
Book Description
This book constitutes the refereed proceedings of the 9th International Symposium on Methodologies for Intelligent Systems, ISMIS '96, held in Zakopane, Poland, in June 1996. The 53 revised full papers presented were selected from a total of 124 submissions; also included are 10 invited papers by leading experts surveying the state of the art in the area. The volume covers the following areas: approximate reasoning, evolutionary computation, intelligent information systems, knowledge representation and integration, learning and knowledge discovery, and AI logics.
