SIDUR--a formalism for structuring knowledge bases Public Deposited

http://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/08612s95z

Descriptions

Attribute NameValues
Creator
Abstract or Summary
  • 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 Copyright
Date Issued
Degree Level
Degree Name
Degree Field
Degree Grantor
Commencement Year
Advisor
Academic Affiliation
Non-Academic Affiliation
Subject
Rights Statement
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
Additional Information
  • description.provenance : Approved for entry into archive by Patricia Black(patricia.black@oregonstate.edu) on 2013-07-15T15:53:39Z (GMT) No. of bitstreams: 1 KoganDanD1985.pdf: 709519 bytes, checksum: a69da446c89eaf75ff7f0c65bd1aba40 (MD5)
  • description.provenance : Approved for entry into archive by Patricia Black(patricia.black@oregonstate.edu) on 2013-07-10T16:11:46Z (GMT) No. of bitstreams: 1 KoganDanD1985.pdf: 709519 bytes, checksum: a69da446c89eaf75ff7f0c65bd1aba40 (MD5)
  • description.provenance : Made available in DSpace on 2013-07-15T15:53:39Z (GMT). No. of bitstreams: 1 KoganDanD1985.pdf: 709519 bytes, checksum: a69da446c89eaf75ff7f0c65bd1aba40 (MD5) Previous issue date: 1984-06-04
  • description.provenance : Submitted by Katy Davis (kdscannerosu@gmail.com) on 2013-07-08T18:14:08Z No. of bitstreams: 1 KoganDanD1985.pdf: 709519 bytes, checksum: a69da446c89eaf75ff7f0c65bd1aba40 (MD5)

Relationships

Parents:

This work has no parents.

Last modified

Downloadable Content

Download PDF

Items