A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base
Proceedings of the Second International Joint Conference on Artificial Intelligence. Pages 159-165.
Abstract
This paper describ es a USP program, called PCDE, for storage and retrieval in a data base of £redicate £alculus (PC) formulas. The PCDB package uses standardized representations of PC formulas, where ground unit clauses are stored efficiently , e.g. on the property-lists of their argJrnents, and other clauses have other representation. The major part of the PCJE package is a function generator, which acceDts declarations of PC relations and func~ions, a::d l.tlich also acce pts "rules" ( = non-gro~~d axior.s intended for use in deduction) Declarations and ~les are used to generate efficient code for storage and retrieval of "facts" (usually = ground unit clauses) in and fron t~e data base . This generation process ma y be c.'larac:erized as a "cx:pi l ation" of the r.rles (fron pred i cate calc•.rl·.rs to LISP).
@inproceedings{ijcai1971p17,
title = {A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base},
author = {Sandewall, Erik},
booktitle = {Proceedings of the Second International Joint Conference on
Artificial Intelligence, {IJCAI-71}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {D.C. Cooper},
pages = {159--165},
year = {1971},
url = {https://ijcai.org/proceedings/1971/17},
}
TY - CPAPER TI - A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base AU - Sandewall, Erik T2 - Proceedings of the Second International Joint Conference on Artificial Intelligence, IJCAI-71 PB - International Joint Conferences on Artificial Intelligence PY - 1971 SP - 159 EP - 165 UR - https://ijcai.org/proceedings/1971/17 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
