An introduction to database systems (7th ed.)
An introduction to database systems (7th ed.)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
The use of theorem-proving techniques in question-answering systems
ACM '68 Proceedings of the 1968 23rd ACM national conference
Path-based and node-based inference in semantic networks
TINLAP '78 Proceedings of the 1978 workshop on Theoretical issues in natural language processing
The art of artificial intelligence: themes and case studies of knowledge engineering
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |
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.