We discuss epistemological and methodological aspects of the Bayesian approach in astrophysics and cosmology. The introduction to the Bayesian framework is given for a further discussion concerning the Bayesian inference in physics. The interplay between the modern cosmology, Bayesian statistics, and philosophy of science is presented. We consider paradoxes of confi rmation, like Goodman’s paradox, appearing in the Bayesian theory of confirmation. As in Goodman’s paradox the Bayesian inference is susceptible to some epistemic limitations in the logic of induction. However, Goodman’s paradox applied to cosmological hypotheses seems to be resolved due to the evolutionary character of cosmology and the accumulation of new empirical evidence. We argue that the Bayesian framework is useful in the context of falsifiability of quantum cosmological models, as well as contemporary dark energy and dark matter problem.

This paper presents novel approach to the Huffman’s asynchronous sequential circuit two valued Boolean switching system design. The algorithm is implemented as software using distributed, service oriented application model with means of the web service component design. It considers method implementation challenges, both towards Moore and Mealy structures with particular respect to the estimation of the Huffman’s minimization algorithm computational complexity. The paper provides implementation details, theoretical model estimation and experimental results that acknowledge the theoretical approach in practice. This paper also examine the multistep design process implementation and its problems inherent in web service based environment both for development and educational purposes.

The article introduces a new proposal of a defuzzification method, which can be implemented in fuzzy controllers. The first chapter refers to the origin of fuzzy sets. Next, a modern development based on this theory is presented in the form of ordered fuzzy numbers (OFN). The most important characteristics of ordered fuzzy numbers are also presented. In the following chapter, details about the defuzzification process are given as part of the fuzzy controller model. Then a new method of defuzzification is presented. The method is named center of circles intersection (CCI). The authors compare this method with a similar geometric solution: triangular expanding (TE) and geometric mean (GM). Also, the results are compared with other methods such as center of gravity (COG), first of maxima (FOM) and last of maxima (LOM). The analysis shows that the proposed solution works correctly and provides results for traditional fuzzy numbers as well as directed fuzzy numbers. The last chapter contains a summary, in which more detailed conclusions are provided and further directions of research are indicated.

A novel dual mode logic (DML) model has a superior energy-performance compare to CMOS logic. The DML model has unique feature that allows switching between both modes of operation as per the real-time system requirements. The DML functions in two dissimilar modes (static and dynamic) of operation with its specific features, to selectively obtain either low-energy or high-performance. The sub-threshold region DML achieves minimum-energy. However, sub-threshold region consequence in performance is enormous. In this paper, the working of DML model in the moderate inversion region has been explored. The near-threshold region holds much of the energy saving of subthreshold designs, along with improved performance. Furthermore, robustness to supply voltage and sensitivity to the process temperature variations are presented. Monte carol analysis shows that the projected near-threshold region has minimum energy along with the moderate performance.

Selected scientific contacts of Jacek Hawranek and Jan Zygmunt with Professor Bogusław Wolniewicz in the period from the end of the 1980s to the beginning of the 21st century are presented in this essay. They concerned the algebraic aspects of the ontology of situations and from one moment – one only question that was posed by Wolniewicz in his note A question about join-semilattices (Bulletin of the Section of Logic, 19/3, 1990, pp. 108–108), and resulted in the Hawranek & Zygmunt paper Wokół pewnego zagadnienia z dziedziny półkrat górnych z jednością (“Some comments on a question about semilattices with unit”) (Acta Universitatis Wratislaviensis 1445, Logika 15 (1993), pp. 59–68) containing an answer to Wolniewicz’s question. The Hawranek & Zygmunt paper is reprinted below, and the essay might be also treated as a kind of an analytical and historical introduction to it. The story of contacts Wolniewicz – Hawranek & Zygmunt has been told with the help of the preserved correspondence between the three persons. In his letters Professor Wolniewicz appears as a passionate researcher, open to discussion, ready to share his research successes and difficulties with others.

The operational mineral deposit reconnaissance tends to evaluate its parameters to conduct safe and profitable production. Particular deposit parameters, important from the point of mineral deposit management, are estimated on the basis of observations carried out by mining geological surveys. These observations usually involve sampling, drilling, laboratory analyses and others. The use of fuzzy description to assess the parameters of the mineral deposit was proposed in the paper. In the fuzzy characteristics, an imprecise descriptive description appeared in place of a particular numerical quantity. This approach was used to description of the ore deposit features (metal content, volume, and metal yield) by assigning them specific characteristic functions, whose distributions were based on basic statistical quantities. Characteristic functions can be used to prepare operational strategies for any configuration of required deposit parameters resulting from the production management needs. For this purpose, selected logical operators of fuzzy sets were used. In the next approach to fuzzy modeling, an opportunity to characterize the deposit in a subjective approach was indicated, where the assessment of the deposit parameters is based on rough, in some way, discretionary observation and evaluation. Such model construction enabled the overall assessment of the deposit from the point of view of any parameters. Through the implementation of appropriate inference rules, adequate fuzzy control planes were obtained, which may also be useful in the context of operational mine strategy planning.

The basis for a mineral deposit delimitation is a qualitative and quantitative assessment of deposit parameters, qualifying a deposit as an economically valuable object. A conventional approach to the mineral deposit recognition and a deposit detailed parameters qualification in the initial stages of development work in the KGHM were presented in the paper. The goals of such recognition were defined, which through a gradual detailed expansion, resulting from the information inflow, allows for the construction of a more complete decision-making model. The description of the deposit parameters proposed in the article in the context of fuzzy logic, enables a presentation of imprecise statements and data, which may be a complement to a traditional description. Selected non-adjustable and adjustable s-norm and t-norm operators were demonstrated. Operators effects were tested for selected ore quality parameters (copper content and deposit thickness) by constructing adequate membership functions. In a practical application, the use of chosen fuzzy logic operators is proposed for the assessment of the qualitative parameters of copper-silver ore in the exploitation blocks for one of the mines belonging to KGHM Polish Copper S.A. The considerations have been extended by including the possibility of using compensation operators.

Hydrocarbon production under certain geological conditions of these deposits can cause surface subsidence and deformation of the terrain surface. Such deformations appear as subsidence troughs of considerable range and the magnitude of the subsidence depending on the total thickness of the reservoir, compaction properties of reservoir and on the number of other factors. In the past there have been widely recognized magnitudes of the subsidence up to 9 meters. The stress zones in the subsidence trough may affect the buildings and surface structures. However there have been well known some cases of destroyed boreholes or pipelines belonging to the gas or oil mine. Therefore there is a requirement to analyze the possibility of occurrence unfavorable phenomenon on the ground surface, to monitor surface deformations during production and to protect surface infrastructure located in the range of mining influences. In the paper the issue of surface subsidence caused by hydrocarbon production has been presented. The cause - effect relationship between the compaction of thereservoir rock and the subsidence of surface area has been assumed. The prediction model base on the influence function and on the superposition of elementary influences. For the purpose of building damage protection a new model of risk assessment has been developed. This model base on the elements of fuzzy logicallows to incorporate in the analysis the quantitative and qualitative factors that contribute to the risk of building damage. Use of the fuzzy logic made it possible to obtain one value which clearly discriminate the risk of buildings damage. However, risk analyzes of damage to the large number of buildings has been required additional tools. The spatial analysis has been made by using GIS. The subjects of the paper have been illustrated with a practical example.

In this paper the new synthesis method for reversible networks is proposed. The method is suitable to generate optimal circuits. The examples will be shown for three variables reversible functions but the method is scalable to larger number of variables. The algorithm could be easily implemented with high speed execution and without big consuming storage software. Section 1 contains general concepts about the reversible functions. In Section 2 there are presented various descriptions of reversible functions. One of them is the description using partitions. In Section 3 there are introduced the cascade of the reversible gates as the target of the synthesis algorithm. In order to achieve this target the definitions of the rest and remain functions will be helpful. Section 4 contains the proposed algorithm. There is introduced a classification of minterms distribution for a given function. To select the successive gates in the cascade the condition of the improvement the minterms distribution must be fulfilled. Section 4 describes the algorithm how to improve the minterms distributions in order to find the optimal cascade. Section 5 shows the one example of this algorithm.

Bogusław Wolniewicz created an original formal system based on his considerations on the ontology and semantics embedded in Wittgenstein’s Tractatus. His system – called by Wolniewicz ‘ontology of situations’ – can be complemented by a philosophical interpretation. In this article I identify the implicit and intuitive underpinnings of the system, its formal content and its philosophical implications. I also indicate a few applications of the system to axiology and logical hermeneutics.

Formalization of a set of beliefs expressed in one language consists in translating them into sentences of another language. The characteristic property of a good formalization is that the target language is correctly chosen and the translations precisely reflect the meaning of the original sentences. In the paper a formalization of ontology of situations (given by Professor Bogusław Wolniewicz) is discussed. I argue that this is an example of a perfect solution of the problem.

The information technologies for assessing the quality of IT-specialties graduates' training of university by means of fuzzy logic and neural networks are developed in the article. It makes possible taking into account a wide set of estimation and output parameters, influence of the external and internal factors and allows to simplify the assessing process by means of modern mathematical apparatuses of artificial intelligence.