Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Logical problems of systems analysis of organization-and-engineering systems and main ways to solve them
Luk’Yanova L. Cybernetics and Systems Analysis42 (3):426-432,2006.Type:Article
Date Reviewed: Jan 17 2007

Organization and engineering systems (OES) are critical to the production industry. They are capital intensive, and must deal with a high degree of uncertainty.

The objectives of OES systems can be hierarchically structured, that is, an objective on one level depends on several objectives on one or more lower levels. Changing an objective due to a logical inconsistency in such a system can be very costly.

The author analyzes the process levels and the errors that might occur in such systems by assigning a graph to objectives that represents the dependencies between the subobjectives of a system. Therefore, changing the overall objective essentially means changing objectives on the lowest levels of a system, the so-called atomic objectives (those that do not depend on subobjectives at lower levels).

The author points out that there is a need for formal models for the detection and solution of logical errors in the objectives of OES, and that current organization and engineering systems do not support such approaches. Stratifying the analysis levels into logical stratum and mathematical stratum could be especially useful for the development of logically sound analysis tools for OES.

Reviewer:  Robert Kolter Review #: CR133810
Bookmark and Share
 
Logic Programming (I.2.3 ... )
 
 
Engineering (J.2 ... )
 
 
Mathematical Logic (F.4.1 )
 
Would you recommend this review?
yes
no
Other reviews under "Logic Programming": Date
An efficient strategy for non-Horn deductive databases
Demolombe R. Theoretical Computer Science 78(1): 245-259, 1991. Type: Article
Jan 1 1992
Three-valued nonmonotonic formalisms and semantics of logic programs
Przymusinski T. Artificial Intelligence 49(1-3): 309-343, 1991. Type: Article
Dec 1 1992
A proof theory for general unification
Snyder W., Birkhäuser Boston Inc., Cambridge, MA, 1991. Type: Book (9780817635930)
Mar 1 1993
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy