Theoretical Basis for a Knowledge Representation System
Proceedings of the Sixth International Joint Conference on Artificial Intelligence. .
Abstract
Theoretical basis for a system named the SBDS (Structure Based Deduction System) including a formalism for representation of knowledge and an inferential algorithm is presented. This system is designed as a part of an intelligen t interactive system to support man carrying out such the intelligent activities as engineering design, decision making, scientific research and so forth. The major emphases on the s y stem are : (1) high processing efficiency, (2) high expressive power so that user can repres e nt any knowledge he wishes and (3) easy access to databases.
@inproceedings{ijcai1979p148,
title = {Theoretical Basis for a Knowledge Representation System},
author = {Ohsuga, Setsuo},
booktitle = {Proceedings of the Sixth International Joint Conference on
Artificial Intelligence, {IJCAI-79}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Bruce G. Buchanan},
year = {1979},
month = {8},
url = {https://ijcai.org/proceedings/1979/148},
}
TY - CPAPER TI - Theoretical Basis for a Knowledge Representation System AU - Ohsuga, Setsuo T2 - Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79 PB - International Joint Conferences on Artificial Intelligence PY - 1979 UR - https://ijcai.org/proceedings/1979/148 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
