---
title: "Theoretical Basis for a Knowledge Representation System"
authors:
  - "Setsuo Ohsuga"
doi: ""
url: "https://ijcai.org/proceedings/1979/148"
pdf: "https://ijcai.org/proceedings/1979/0148.pdf"
venue: "Proceedings of the Sixth International Joint Conference on Artificial Intelligence"
year: 1979
pages: ""
track: ""
keywords:
---

# Theoretical Basis for a Knowledge Representation System

Setsuo Ohsuga

*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.