Predicate logic involving data structure as a knowledge representation language

Authors:
Setsuo Ohsuga
Affiliations:
Faculty of Engineering, Institute of Interdisciplinary Research, The University of Tokyo, Tokyo, Japan
Venue:
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Year:
1983

Citing 2
Cited 1

HISDL—a structure description language

Communications of the ACM
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

Brief paper: Knowledge-based man-machine systems

Automatica (Journal of IFAC)

Quantified Score

Hi-index	0.00

Visualization

Abstract

A modification of predicate logic, called multilayered logic, is discussed. It is designed as the knowledge representation language for describing the systems that uses engineering knowledge to support the system analysis and design. A multi level data structure is used to represent the complex systems in which an abstract entity at a level of abstraction is formed as the collection of the entities at the next lower level. Multi layered logic adapts to this structure of the system and meets the conditions for supporting analysis and design of complex systems.