The problems related to construction production are multi-faceted and complex. This has promoted the search for different methods/approaches for analizing the data which supports the decision-making process in the construction industry. In the article the authors focus their attention on well-known methods and tools, and on some new approaches to solving decision-making problems. The aim of the article is to analyze the methods used to analyse data in a construction company, convey their advantages and disadvantages, and specify the degree of efficiency in the discussed area.
The article presents the use of the Mamdani fuzzy reasoning model to develop a proposal of a system controlling partnering relations in construction projects. The system input variables include: current assessments of particular partnering relation parameters, the weights of these parameters’ impact on time, cost, quality and safety of implementation of construction projects, as well as the importance of these project assessment criteria for its manager. For each of the partnering relation parameters, the project’s manager will receive controlrecommendations. Moreover, the parameter to be improved first will be indicated. The article contains a calculation example of the system’s operations.
In order to explore creativity in design, a computational model based on Case-Based Reasoning (CBR) (an approach to employing old experiences to solve new problems) and other soft computing techniques from machine learning, is proposed in this paper. The new model is able to address the four challenging issues: generation of a design prototype from incomplete requirements, judgment and improvement of system performance given a sparse initial case base library, extraction of critical features from a given feature space, adaptation of retrieved previous solutions to similar problems for deriving a solution to a given design task. The core principle within this model is that different knowledge from various level cases can be explicitly explored and integrated into a practical design process. In order to demonstrate the practical significance of our presented computational model, a case-based design system for EM devices, which is capable of deriving a new design prototype from a real-world device case base with high dimensionality, has been developed.
The ability of case-based reasoning systems to solve new problems mainly depends on their case adaptation knowledge and adaptation strategies. In order to carry out a successful case adaptation in our case-based reasoning system for a low frequency electromagnetic device design, we make use of semantic networks to organize related domain knowledge, and then construct a rule-based inference system which is based on the network. Furthermore, based on the inference system, a novel adaptation algorithm is proposed to derive a new device case from a real-world induction motor case-base with high dimensionality.
Reasoning with limited computational resources (such as time or memory) is an important problem, in particular in knowledge-intensive embedded systems. Classical logic is usually considered inappropriate for this purpose as no guarantees regarding deadlines can be made. One of the more interesting approaches to address this problem is built around the concept of
active logics. Although a step in the right direction, active logics are just a preliminary attempt towards finding an acceptable solution. Our work is based on the assumption that labelled deductive systems (LDSs) offer appropriate metamathematical methodology to study the problem. As a first step, we have reformulated a pair of active logics systems, namely the memory model and its formalized simplification, the step logic, as LDSs. This paper presents our motivation behind this project, followed by an overview of the investigations on meta-reasoning relevant to this work, and introduces in some reasonable detail the MM system.
The authors developed the definition of construction defect and fault and construction defect management based on Polish and foreign publications. In order to assist identification of faults and their analysis in the process of home collection, the authors applied the Case Based Reasoning (CBR) method. In the paper, the authors used Case Based Reasoning (CBR) to support acceptance of apartments. The CBR method allows to determine the magnitude of global similarity for the problem under consideration between the new and old case from the Case Base, using weighted sums of local similarities using criteria weights as coefficients. As a result of CBR-based solutions, an Employer’s representative receives information about the type of construction defects that can be expected, their location and significance, occurrence frequency, and estimated repair cost.
This article presents a computer system for the identification of casting defects using the methodology of Case-Based Reasoning. The
system is a decision support tool in the diagnosis of defects in castings and is designed for small and medium-sized plants, where it is not
possible to take advantage of multi-criteria data. Without access to complete process data, the diagnosis of casting defects requires the use
of methods which process the information based on the experience and observations of a technologist responsible for the inspection of
ready castings. The problem, known and studied for a long time, was decided to be solved with a computer system using a CBR (CaseBased
Reasoning) methodology. The CBR methodology not only allows using expert knowledge accumulated in the implementation
phase, but also provides the system with an opportunity to "learn" by collecting new cases solved earlier by this system. The authors
present a solution to the system of inference based on the accumulated cases, in which the main principle of operation is searching for
similarities between the cases observed and cases stored in the knowledge base.
The main scope of the article is the development of a computer system, which should give advices at problem of cooper alloys
manufacturing. This problem relates with choosing of an appropriate type of bronze (e.g. the BA 1044 bronze) with possible modification
(e.g. calcium carbide modifications: Ca + C or CaC2) and possible heat treatment operations (quenching, tempering) in order to obtain
desired mechanical properties of manufactured material described by tensile strength - Rm, yield strength - Rp0.2 and elongation - A5. By
construction of the computer system being the goal of presented here work Case-based Reasoning is proposed to be used. Case-based
Reasoning is the methodology within Artificial Intelligence techniques, which enables solving new problems basing on experiences that
are solutions obtained in the past. Case-based Reasoning also enables incremental learning, because every new experience is retained each
time in order to be available for future processes of problem solving. Proposed by the developed system solution can be used by
a technologist as a rough solution for cooper alloys manufacturing problem, which requires further tests in order to confirm it correctness.
The main goal of this article is to characterise and compare some aspects of Hilary Putnam’s referential theory of meaning and Robert B. Brandom’s inferential theory of meaning. I will do it to indicate some similarities and differences in these theories. It will provide an opportunity for a deeper understanding of these theories and for a more adequate evaluation of how they describe and explain the process of meaning acquisition of linguistic expressions.
In his theory of meaning Putnam emphasises the importance of reference understood as a relationship which connects linguistic expressions and extra-linguistic (empirical) reality. Brandom acknowledges inference as a main category useful in characterising the meaning of expressions used in premises and a conclusion of inference. But his theory of meaning is criticised for minimalising the role of an empirical component (demonstratives etc.). He tries to defend his standpoint in the anaphoric theory of reference.
Putnam like Brandom claimed that we – as cognitive subjects – are not in a situation in which we learn about the extra-linguistic reality in a direct way. It is the reality itself as well as our cognitive apparatus that play a role in a cognitive process.
In the author’s opinion the traditional image of a human is incorrect: it is not the rational soul that directs people’s behaviour, but a set of programs (neural applications) recorded in the brain. The ego (sense, awareness, will) is able to block their action as long as the upbringing of the person in question has created the right habits and thus initiated proper programs in the brain. Human (as well as animals) turns out to be a combination of the matter (‘body’), spirit (‘ego’) and abstracts (neural applications). The difference between humans and animals is the complexity of human’s neural software and the ability to pursue the non-utilitarian purposes.
Akratic actions are usually defined as intentional actions which conflict with the agent’s best judgement. As both irrational and conscious, actions of that type stand in need of an explanation. In this paper I reconstruct and criticize Donald Davidson’s classical standpoint on the problem of akrasia. I show the disadvantages of Davidsonian conception of practical reasoning and I defend the conception of syllogistic reasoning. I also criticize the theory of intention as unconditional normative judgement. Against Davidson’s view, I argue for the theory of intention as an act of will (not a judgement). According to this theory of intention and practical reasoning, akratic actions should be explained as actions caused by an act of will which conflicts with the best judgement. I propose to interpret the inclination of will to conflict or to follow the best judgement by the theory of habitus.
The article The Influence of the Bible on Civilization (The Bible and Natural Sciences) shows us the importance of the Holy Bible in relation to the forming of Western civilization. The Bible is at the foundation of the heritage of European civilization. Written down during the period of almost 1500 years, it contains truths that concern all fields of life, both on the individual and the social level. As a work of literature it had its role, together with the civilization of Ancient Greece, in the origins of sciences. Science and religion are two very important elements of human culture. All reflections on the subject of the genesis of the world have their roots in these two basic aspects of seeing reality. Everything that exists needs an explanation of its origin. Thus the basic question that gave the beginning to philosophy was the question of the human being about himself and about the Universe. The relation of the science of creation, originating from the biblical description showing God as giving existence to everything, came into conflict with the empirical description of the beginning of the Universe and man in it. The questions that Latin civilization took from Greek philosophy and Christianity, based on biblical foundations, were transformed during the course of history to a conflict between science and faith, which began with the Copernican revolution and the Galileo issue. It had its greatest inflammation in the 19th century, as the result of the discoveries in the field of bio- logy, mainly connected with the theory of evolution of C. Darwin. One of the basic aspects of this conflict is the question of the origin of the world, which issue is, so to say, a natural place of meeting of theology with natural sciences. This conflict began as a result of trying to discover the essence of God's message contained in the Bible, by natural sciences. This discovering was an interpretation of the inspired text in relation to the eternal truth and to cultural variables, and also to civilization frames.
Joseph Ratzinger binds together the triptych “theology – the university – science” by the common issue of a search for the truth and the service to the truth. Theology is being done “in the Church and with the Church”, it belongs to the Church and depends upon her. Thus, theology is ecclesial in its essence, it teaches not in its own name but on behalf of the Church.
The ethos of the university – particularly of a Catholic university – consists in the common witness to the truth and in forming the transcendent dimension of man. Thus, the service to the human person is expressed by the university in developing “a new humanism” as a response to cultural and spiritual desires of the humankind. The mission of the university is not only its service to knowledge but also to the education, which means bearing witness to the truth that has been found.
According to Benedict XVI both theology and the university with science should know how to unite the two ways of knowing – faith and reason into one common tone, with its unique enhancing of reason. In a characteristic way Ratzinger gives special attention to rationality which leads to the ultimate Truth.
There are different meanings and functions of what is called a “general principle of law.” This article seeks to address their importance as the basis for the systemic integration of the international legal order. When international law is considered as a legal system, its normative unity and completeness seems essential. This article argues that general principles of law are a necessary, although less visible, element of international legal practice and reasoning, which secure the systemic integration and long-lasting underpinnings of international law. In this sense they may be seen as the gentle guardians of international law as a legal system.
Science means here mathematics and those empirical disciplines which avail themselves of mathematical models. The pragmatic approach is conceived in Karl R. Popper’s The Logic of Scientific Discovery (p. 276) sense: a logical appraisal of the success of a theory amounts to the appraisal of its corroboration. This kind of appraisal is exemplified in section 6 by a case study—on how Isaac Newton justified his theory of gravitation. The computational approach in problem-solving processes consists in considering them in terms of computability: either as being performed according to a model of computation in a narrower sense, e.g., the Turing machine, or in a wider perspective—of machines associated with a non-mechanical device called “oracle” by Alan Turing (1939). Oracle can be interpreted as computer theoretic representation of intuition or invention. Computational approach in another sense means considering problem-solving processes in terms of logical gates, supposed to be a physical basis for solving problems with a reasoning.
Pragmatic rationalism about science, seen at the background of classical rationalism (Descartes, Gottfried Leibniz etc.), claims that any scientific idea, either in empirical theories or in mathematics, should be checked through applications to problem-solving processes. Both the versions claim the existence of abstract objects, available to intellectual intuition. The difference concerns the dynamics of science: (i) the classical rationalism regards science as a stationary system that does not need improvements after having reached an optimal state, while (ii) the pragmatical version conceives science as evolving dynamically due to fertile interactions between creative intuitions, or inventions, with mechanical procedures.
The dynamics of science is featured with various models, like Derek J. de Solla Price’s exponential and Thomas Kuhn’s paradigm model (the most familiar instances). This essay suggests considering Turing’s idea of oracle as a complementary model to explain most adequately, in terms of exceptional inventiveness, the dynamics of mathematics and mathematizable empirical sciences.
The purpose of this article is to determine the relationship between the principles of subsidiarity and effectiveness and an effective remedy for the excessive length of proceedings within the legal order of the European Convention on Human Rights. The article assumes that these key principles of the ECHR’s legal order have an impact on such a remedy, both in the normative and practical dimensions. This assumption has helped explain many aspects of the Strasbourg case law regarding this remedy. Concerning the relationship of this remedy with the principle of subsidiarity, it raises issues such as: the “reinforcing” of Art. 6 § 1; the “close affinity” of Arts. 13 and 35 § 1; and the arguability test. In turn, through the prism of the principle of effectiveness, the reasonableness criterion and the requirement of diligence in the proceedings are presented, followed by the obligations of States to prevent lengthiness of proceedings and the obligations concerning adequate and sufficient redress for such an excessive length of proceedings. The analysis shows that an effective remedy with respect to the excessive length of proceedings is not a definitive normative item, as the Court consistently adds new elements to its complex structure, taking into account complaints regarding the law and practice of States Parties in the prevention of and compensation for proceedings of an excessive length.