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

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.

---

This book is based on material from current research projects and cooperations and from a recent workshop in the area of Knowledge Base Management Systems. It contains 25 revised papers and related discussions that concentrate on the integration of Database Technology (deductive databases, extended relational technology, object-oriented systems) and Artificial Intelligence (in particular logic programming and knowledge representation). The emphasis of the book is on the integration of DB/AI technology required for knowledge Base Management Systems. The book isolates major conceptual contributions, systems extensions, and reseach directions that lead towards that goal. This book is a European counterpart to another volume in the Topics in Information Systems Series, "On Knowledge Base Management Systems", resulting from a North American workshop and edited by M. Brodie and J. Mylopoulos, which concentrates on theoretical results and the more abstract levels of Knowledge Base Management.

---

This book is based on material from current research projects and cooperations and from a recent workshop in the area of Knowledge Base Management Systems. It contains 25 revised papers and related discussions that concentrate on the integration of Database Technology (deductive databases, extended relational technology, object-oriented systems) and Artificial Intelligence (in particular logic programming and knowledge representation). The emphasis of the book is on the integration of DB/AI technology required for knowledge Base Management Systems. The book isolates major conceptual contributions, systems extensions, and reseach directions that lead towards that goal. This book is a European counterpart to another volume in the Topics in Information Systems Series, "On Knowledge Base Management Systems", resulting from a North American workshop and edited by M. Brodie and J. Mylopoulos, which concentrates on theoretical results and the more abstract levels of Knowledge Base Management.
Content:
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

---

This book is based on material from current research projects and cooperations and from a recent workshop in the area of Knowledge Base Management Systems. It contains 25 revised papers and related discussions that concentrate on the integration of Database Technology (deductive databases, extended relational technology, object-oriented systems) and Artificial Intelligence (in particular logic programming and knowledge representation). The emphasis of the book is on the integration of DB/AI technology required for knowledge Base Management Systems. The book isolates major conceptual contributions, systems extensions, and reseach directions that lead towards that goal. This book is a European counterpart to another volume in the Topics in Information Systems Series, "On Knowledge Base Management Systems", resulting from a North American workshop and edited by M. Brodie and J. Mylopoulos, which concentrates on theoretical results and the more abstract levels of Knowledge Base Management.
Content:
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
....