Graduate Thesis Or Dissertation
 

SIDUR--a formalism for structuring knowledge bases

Público Deposited

Conteúdo disponível para baixar

Baixar PDF
https://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/08612s95z

Descriptions

Attribute NameValues
Creator
Abstract
  • A new class of information intensive applications is emerging [Fuch82; Ohsu82] for which neither Artificial Intelligence (AI) nor Database technologies alone are well suited. Database systems do not provide the general inferential capabilities required for problem solving, while AI techniques have not been adapted to handle massive amounts of structured data. The work presented in this paper describes a formalism for structuring information based on a user oriented information model which unifies those two technologies to help overcome the inadequacies of each. This formalism, called SIDUR, integrates a manipulation mechanism with the representation components of the model using a declarative notation known as the sigma expression. These components can then be combined to form high-level, semantically motivated schema designs which include the specification of virtual data, the definition of transactions and maintenance of semantic integrity constraints. We argue that an information model with precisely limited (in this case non-combinatorial) inferential capabilities forms the correct level of interface between the more general deductive powers of an AI component and the back-end data storage and manipulation mechanism.
Resource Type
Date Available
Date Issued
Degree Level
Degree Name
Degree Field
Degree Grantor
Commencement Year
Advisor
Academic Affiliation
Non-Academic Affiliation
Subject
Declaração de direitos
Publisher
Peer Reviewed
Language
Digitization Specifications
  • File scanned at 300 ppi (Monochrome) using ScandAll PRO 1.8.1 on a Fi-6670 in PDF format. CVista PdfCompressor 4.0 was used for pdf compression and textual OCR.
Replaces

Relações

Parents:

This work has no parents.

Em Collection:

Itens