Theoretical Basis for a Knowledge Representation System

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 intelligent 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 system are : (1) high processing efficiency, (2) high expressive power so that user can represent any knowledge he wishes and (3) easy access to databases.

Cite

Text

Ohsuga. "Theoretical Basis for a Knowledge Representation System." International Joint Conference on Artificial Intelligence, 1979.

Markdown

[Ohsuga. "Theoretical Basis for a Knowledge Representation System." International Joint Conference on Artificial Intelligence, 1979.](https://mlanthology.org/ijcai/1979/ohsuga1979ijcai-theoretical/)

BibTeX

@inproceedings{ohsuga1979ijcai-theoretical,
  title     = {{Theoretical Basis for a Knowledge Representation System}},
  author    = {Ohsuga, Setsuo},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1979},
  pages     = {676-683},
  url       = {https://mlanthology.org/ijcai/1979/ohsuga1979ijcai-theoretical/}
}