𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Foundations of Knowledge Base Management: Contributions from Logic, Databases, and Artificial Intelligence Applications

✍ Scribed by Wolfgang Bibel, Jean-Marie Nicolas (auth.), Joachim W. Schmidt, Constantino Thanos (eds.)


Publisher
Springer-Verlag Berlin Heidelberg
Year
1989
Tongue
English
Leaves
565
Series
Topics in Information Systems
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


In the past, applied artificial intelligence systems were built with particular emphasis on general reasoning methods intended to function efficiently, even when only relatively little domain-specific knowledge was available. In other words, AI technology aimed at the processing of knowledge stored under comparatively general representation schemes. Nowadays, the focus has been redirected to the role played by specific and detailed knowledge, rather than to the reasoning methods themselves. Many new application systems are centered around knowledge bases, i. e. , they are based on large collections offacts, rules, and heuristics that capΒ­ ture knowledge about a specific domain of applications. Experience has shown that when used in combination with rich knowledge bases, even simple reasoning methods can be extremely effective in a wide variety of problem domains. Knowledge base construction and management will thus become the key factor in the development of viable knowledge-based apΒ­ plications. Knowledge Base Management Systems (KBMSs) are being proposed that provide user-friendly environments for the construction, retrieval, and manipUlation of large shared knowledge bases. In addition to deductive reasoning, KBMSs require operational characteristics such as concurrent access, integrity maintenance, error recovery, security, and perhaps distribution. For the development ofKBMSs, the need to integrate concepts and technologies from different areas, such as Artificial IntelΒ­ ligence, Databases, and Logic, has been widely recognized. One of the central issues for KBMSs is the framework used for knowledge representation-semantic networks, frames, rules, and logics are proposed by the AI and logic communities.

✦ Table of Contents


Front Matter....Pages I-XIV
Front Matter....Pages 1-1
The Role of Logic for Data and Knowledge Bases: A Brief Survey....Pages 3-22
A Logic-Based Calculus of Events....Pages 23-55
Metalanguage and Databases....Pages 57-72
Efficient Representation of Incomplete Information About Structured Objects....Pages 73-89
Abstraction and Inference Mechanisms for Knowledge Representation....Pages 91-116
Front Matter....Pages 117-117
How to Look at Deductive Databases....Pages 119-130
Extending a Relational DBMS Towards a Rule-Based System: An Approach Using Predicate Transition Nets....Pages 131-152
Integrated Fact and Rule Management Based on Relational Technology....Pages 153-178
Adding a Closure Operator to the Extended Relational Algebra: A Further Step Towards the Integration of Database Techniques and Logic Programming....Pages 179-202
Front Matter....Pages 203-203
Database Management: A Survey....Pages 205-240
Towards Databases for Knowledge Representation....Pages 241-257
Large-Scale Knowledge Systems....Pages 259-281
Issues in Data Base and Knowledge Base Integration....Pages 283-291
Design of a Compiler for a Semantic Data Model....Pages 293-343
Two-Mode Evaluation for Dealing with Implicit Interactions Between Logic Programs and Relational Data Bases....Pages 345-371
Knowledge Base Management Systems: A Database View....Pages 373-378
Front Matter....Pages 379-379
KBMS Requirements of Knowledge-Based Systems....Pages 381-394
Conceptual Languages: A Comparison of ADAPLEX, Galileo and Taxis....Pages 395-409
The Software Development Environment as a Knowledge Base Management System....Pages 411-442
Retrieving Events from Geometrical Descriptions of Time-Varying Scenes....Pages 443-452
Front Matter....Pages 379-379
A Deductive Solution for Plan Generation....Pages 453-473
Front Matter....Pages 475-475
The Limitations of Logic and Its Role in Artificial Intelligence....Pages 477-493
The Need for a Knowledge Representation Framework....Pages 495-498
DB Ideas for KBMS....Pages 499-504
On Application-Oriented and Tool-Oriented Theories....Pages 505-513
Back Matter....Pages 525-579

✦ Subjects


Database Management; Models and Principles; Information Systems Applications (incl. Internet); Programming Techniques; Artificial Intelligence (incl. Robotics); Business Information Systems


πŸ“œ SIMILAR VOLUMES


On Knowledge Base Management Systems: In
✍ John Mylopoulos (auth.), Michael L. Brodie, John Mylopoulos (eds.) πŸ“‚ Library πŸ“… 1986 πŸ› Springer-Verlag New York 🌐 English

<p>Current experimental systems in industry, government, and the military take advantage of knowledge-based processing. For example, the Defense Advanced Research Projects Agency (DARPA), and the United States Geological Survey (USGS) are supporting the developΒ­ ment of information systems that cont

Logical Foundations of Artificial Intell
✍ Michael R. Genesereth, Nils J. Nilsson πŸ“‚ Library πŸ“… 1987 πŸ› Morgan Kaufmann 🌐 English

<p>Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, <i>Logical Foundations of Artificial Intelligence</i> is a lucid, rigorous, and comprehensive account of the fundamentals of artificial intelligence from the s

Logical Foundations of Artificial Intell
✍ Michael R. Genesereth and Nils J. Nilsson (Auth.) πŸ“‚ Library πŸ“… 1987 πŸ› Elsevier Inc, Morgan Kaufmann 🌐 English

<p>Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, <i>Logical Foundations of Artificial Intelligence</i> is a lucid, rigorous, and comprehensive account of the fundamentals of artificial intelligence from the s

Fuzzy Sets and Fuzzy Logic - Foundations
✍ Siegfried Gottwald πŸ“‚ Library πŸ“… 1993 πŸ› Friedrich Vieweg & Sohn Verlag 🌐 English

This volume presents and investigates fuzzy controllers - a method of rule-based rough modelling using fuzzy information - from a mathematical point of view. Since the end of the 1980s, methods from fuzzy logic have been the sources for remarkable applications of computer modelling in fields which h

Logic-based artificial intelligence
✍ Minker J. (ed.) πŸ“‚ Library πŸ“… 2000 πŸ› Kluwer 🌐 English

This landmark volume represents the culmination of over 40 years of research in the use of logic as a basis for representing and manipulating problems in the field of artificial intelligence. The use of logic as a basis for commonsense reasoning was started by John McCarthy in 1959. The collecti