The role of normal logical form in decision-making and knowledge management
Journal Title: Operations Research and Decisions - Year 2014, Vol 24, Issue 2
Abstract
The normal form in logic has been considered. Any propositional function, i.e. any finite logical expression can be written in such a form. This indicates the possibility of an unequivocal logical representation of many different objects investigated in science and everyday life. The properties of the normal form give a new dimension to the management of processes examined in science. Understanding of the laws of logic and its calculus allows us to obtain this form in a finite number of logical transformations. In addition, this form indicates the cognitive essence and pragmatic dimension of logic. The paper considers axiomatization, and then optimization. Both of these formulations of logic reflect its essence. Shannon’s theorem gives us only a modest signpost that reality has a complex nature, which is confirmed by the richness of logic in the form of its equivalent propositional functions. Knowledge about the behavior of these structures is ambiguous in terms of the complexity of the corresponding logical expressions, that is, two different or identical logical functions may be related to identical (similar) or quite different behaviors in relation to the processes or objects represented by these functions.
Authors and Affiliations
Tadeusz Galanc, Wiktor Kołwzan, Jerzy Pieronek
Valuing managerial flexibility: An application of real-option theory to steel industry investments
In the steel industry which is subject to significant volatility in its output prices and market demands for different ranges of products the diversification of production can generate important value for switch real opt...
Solving some deterministic finite horizon inventory models
Two single-item, deterministic, continuous, finite horizon inventory models having no shortage have been considered. A demand rate function, which is relatively general, for the item has been assumed. In the first model,...
Application of a single sampling plan minimizing the sum of risks in an EOQ model with trade credit
Acceptance sampling by attributes is a universally used statistical tool for quality control. It is a technique that deals with the decision to accept or reject a batch of goods using defined procedures. An attribute sin...
Perturbation algorithm for a minimax regret minimum spanning tree problem
The problem of finding a robust spanning tree has been analysed. The problem consists of determining a minimum spanning tree of a graph with uncertain edge costs. We should determine a spanning tree that minimizes the di...
Energy prosumers: profiling the energy microgeneration market in Lower Silesia, Poland
Microgeneration of energy has the potential to become an important component of the energy policy of many governments, because it may substantially lower carbon emissions and reduce the need for new infrastructure. Never...