Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1145/800171.809604acmconferencesArticle/Chapter ViewAbstractPublication Pagesacm-national-conferenceConference Proceedingsconference-collections
Article
Free access

Functional requirements for very large knowledge bases

Published: 01 January 1984 Publication History

Abstract

A large knowledge based system can be considered equivalent to a large data base system; but, instead of the more usual algorithmic rules, most of the rules are expressed in the form of specifications. Such a form of expression has the considerable advantage that theorem provers can be used to detect inconsistencies between the rules. The proposed general architecture can be summarized in a diagram:
(Diagram)
In this diagram, the APPLICATION involves physical variables such as time, part, distance, etc. The MODEL of the application defines a relationship between any combination of the corresponding mathematical variables. This is because the model contains general rules which relate these variables. These rules come either
•from the user, who himself has induced general rules about the data, or
•from the system's own GENERALISER, an adaptive pattern recogniser which induces rules from the data.

References

[1]
Babb, E, The logic language PROLOG-M in database technology and intelligent knowledge-based systems. ICL Technical Journal 3,3 (Nov. 1983).
[2]
Crockford, L.E. An associative data management system. ICL Technical Journal 3,1 (May 1982), 637-643.
[3]
Babb, E. Finite computation principle as an alternative method of adapting resolution for logic programming. Proc. Logic Programming Workshop 83, Nucleo de Inteligencia Artificial, Universidade Nova de Lisboa.
[4]
Maller, V.A.J. The content addressable file store—CAFS. ICL Technical Journal 1,3 (Nov. 1979).
[5]
Ullman, J. Letter about the universal relation. ACM Trans. Database Systems 8,4 (Dec. 1983) 637-643.
[6]
Babb, E. Joined normal form: a storage encoding for relational databases. ACM Trans. Database Systems 7,4 (Dec. 1982), 588-614.
[7]
Elcock, E. How complete are knowledge representation systems? Computer 16,10 (Oct. 1983), 114-118.
[8]
Quinlan, J.R. Discovering rules by induction from large collections of examples. In Expert Systems in the Micro Electronics Age, Donald Michie, Ed., Edinburgh University Press, 168-201.
[9]
Babb, E. Implementing a relational database by means of specialised hardware. ACM Trans. Database Systems 4,1 (Mar. 1979) 1-29.

Cited By

View all

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
ACM '84: Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
January 1984
336 pages
ISBN:089791144X
DOI:10.1145/800171
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 January 1984

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)46
  • Downloads (Last 6 weeks)16
Reflects downloads up to 14 Nov 2024

Other Metrics

Citations

Cited By

View all

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media