Models and Tools of Logical Inference Systems

Abstract

This monography represents a number of theoretical results such as object algebra, object knowledge representation and its processing, object scheduling in parallel computer environment, synthesis of one class objects and design experience of expert systems, object-oriented computer architectures and their hardware-software means. The book is intended for students, postgraduates, teachers and researchers specializing in the field of information technology and intelligent systems.