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
Keywords
Related Articles
- EP ID EP165183
- DOI -
- Views 25
- Downloads 0
Power on digraphs
It is assumed that relations between n players are represented by a directed graph or digraph. Such a digraph is called invariant if there is a link (arc) between any two players between whom there is also a directed pat...
Resilience planning as an opportunity for future sustainable development in tourism
Sustainable development is a theoretical concept, but the possibility of implementing it depends on skills and practical solutions. One practical solution is interdisciplinary planning. The basic criterion for the succes...
Control design for untimed Petri nets using Markov Decision Processes
Design of control sequences for discrete event systems (DESs) has been presented modelled by untimed Petri nets (PNs). PNs are well-known athematical and graphical models that are widely used to describe distributed DESs...
Influence of intra-organizational trust on organizational outcomes
Nowadays, trust is perceived as one of the key factors that can build an organization’s competitive advantage, increase the efficiency of its functioning and ability to develop. It can be expected that shaping trust in a...
Financing university education in Nigeria. A proposal for infrastructure replenishment in universities
The subject of replenishment of infrastructure in Nigerian public universities has been of great concern to stakeholders in the educational system. How to obtain an appropriate replenishment plan that would give the desi...