Book review of Danks, D. (2014) Unifying the Mind: Cognitive Representations as Graphical Models.

An important method for finding the optimal solution for linear and nonlinear models is the graphical method, which is used if the linear or nonlinear mathematical model contains one, two, or three variables. The models that contain only two variables are among the most models for which the optimal solution has been obtained graphically, whether these models are linear or non-linear in references and research that are concerned with the science of operations research, when the (...) data of the issue under study is classical data. In this research, we will present a study through, which we present the graphical method for solving Neutrosophical nonlinear models in the following case: A nonlinear programming issue, the objective function is a nonlinear function, and the constraints are linear functions. Note that we can use the same method if (i) the objective function follower is a linear follower and the constraints are nonlinear; (ii) the objective function is a non-linear follower and the constraints are non-linear. In the three cases, the nonlinear models are neutrosophic, and as we know, the mathematical model is a nonlinear model if any of the components of the objective function or the constraints are nonlinear expressions, and the nonlinear expressions may be in both. At the left end of the constraints are neutrosophic values, at least one or all of them. Then, the possible solutions to the neutrosophic nonlinear programming problem are the set of rays that fulfills all the constraints. As for the region of possible solutions, it is the region that contains all the rays that fulfill the constraints. The optimal solution is the beam that fulfills all constraints and at which the function reaches a maximum or minimum value, depending on the nature of the issue under study (noting that it is not necessary to be alone). (shrink)

The linear programming method is one of the important methods of operations research that has been used to address many practical issues and provided optimal solutions for many institutions and companies, which helped decision makers make ideal decisions through which companies and institutions achieved maximum profit, but these solutions remain ideal and appropriate in If the conditions surrounding the work environment are stable, because any change in the data provided will affect the optimal solution and to avoid losses and achieve (...) maximum profit, we have, in previous research, reformulated the linear models using the concepts of neutrosophic science, the science that takes into account the instability of conditions and fluctuations in the work environment and leaves nothing to chance. While taking data, neutrosophic values carry some indeterminacy, giving a margin of freedom to decision makers. In another research, we reformulated one of the most important methods used to solve linear models, which is the simplex method, using the concepts of this science, and as a continuation of what we did in the previous two researches, we will reformulate in this research. The graphical method for solving linear models using the concepts of neutrosophics. We will also shed light on a case that is rarely mentioned in most operations research references, which is that when the difference between the number of unknowns and the number of constraints is equal to one, two, or three, we can also find the optimal solution graphically for some linear models. This is done by taking advantage of the conditions of non-negativity that linear models have, and we will explain this through an example in which the difference is equal to two. Also, through examples, we will explain the difference between using classical values and neutrosophic values and the extent of this’s impact on the optimal solution. (shrink)

Robustness has long been recognized as an important parameter for evaluating game-theoretic results, but talk of ‘robustness’ generally remains vague. What we offer here is a graphic measure for a particular kind of robustness (‘matrix robustness’), using a three-dimensional display of the universe of 2 × 2 game theory. In such a measure specific games appear as specific volumes (Prisoner’s Dilemma, Stag Hunt, etc.), allowing a graphic image of the extent of particular game-theoretic effects in terms of those games. The (...) measure also allows for an easy comparison between different effects in terms of matrix robustness. Here we use the measure to compare the robustness of Tit for Tat’s well-known success in spatialized games (Axelrod, R. (1984). The evolution of cooperation . New York: Basic Books; Grim, P. et al. (1998). The philosophical computer: Exploratory essays in philosophical computer modeling . Cambridge, Mass: MIT Press) with the robustness of a recent game-theoretic model of the contact hypothesis regarding prejudice reduction (Grim et al. 2005. Public Affairs Quarterly, 19 , 95–125). (shrink)

It has been stated that the notion of cause and effect is one object of study that sciences and engineering revolve around. Lately, in software engineering, diagrammatic causal inference methods (e.g., Pearl’s model) have gained popularity (e.g., analyzing causes and effects of change in software requirement development). This paper concerns diagrammatical (graphic) models of causal relationships. Specifically, we experiment with using the conceptual language of thinging machines (TMs) as a tool in this context. This would benefit works on causal (...) relationships in requirements engineering, enhance our understanding of the TM modeling, and contribute to the study of the philosophical notion of causality. To specify the causality in a system’s description is to constrain the system’s behavior and thus exclude some possible chronologies of events. The notion of causality has been studied based on tools to express causal questions in diagrammatic and algebraic forms. Causal models deploy diagrammatic models, structural equations, and counterfactual and interventional logic. Diagrammatic models serve as a language for representing what we know about the world. The research methodology in the paper focuses on converting causal graphs into TM models and contrasts the two types of representation. The results show that the TM depiction of causality is more complete and therefore can provide a foundation for causal graphs. (shrink)

Conditional independence tests have received special attention lately in machine learning and computational intelligence related literature as an important indicator of the relationship among the variables used by their models. In the field of probabilistic graphical models, which includes Bayesian network models, conditional independence tests are especially important for the task of learning the probabilistic graphical model structure from data. In this paper, we propose the full Bayesian significance test for tests of conditional independence for (...) discrete datasets. The full Bayesian significance test is a powerful Bayesian test for precise hypothesis, as an alternative to the frequentist’s significance tests (characterized by the calculation of the p-value). (shrink)

Talk of ‘robustness’ remains vague, despite the fact that it is clearly an important parameter in evaluating models in general and game-theoretic results in particular. Here we want to make it a bit less vague by offering a graphic measure for a particular kind of robustness— ‘matrix robustness’— using a three dimensional display of the universe of 2 x 2 game theory. In a display of this form, familiar games such as the Prisoner’s Dilemma, Stag Hunt, Chicken and Deadlock (...) appear as volumes, making comparison easy regarding the extent of different game-theoretic effects. We illustrate such a comparison in robustness between the triumph of Tit for Tat in a spatialized environment (Grim 1995, Grim, Mar, and St. Denis 1998) and a spatialized modeling of the Contact Hypothesis regarding prejudice reduction (Grim, et. al 2005a, 2005b). The geometrical representation of relative robustness also offers a possibility for links between geometrical theorems and results regarding robustness in game theory. (shrink)

This study examines problems related to the representation of music. It constructs the sender/message/perceiver/result model, a prototype broad enough to incorporate a large variety of music and other notation systems, including those having to do with computers. The work defines music notation itself, describes various models for studying the subject--including the binary types prescriptive/descriptive, and symbolic/iconic--and assesses music notation as a contemporary practice. It encompasses a review of the actions and intentions of composers, performers, and audiences, and a consideration (...) of the message and how it is affected by media , reference systems , and meanings. Finally, through an examination of the possibilities of the self acting as a notation system within models posited by feminist and queer theory, I attempt to demonstrate the power of notation to affect other systems and worlds, including the worlds of music, art, and politics. ;The consideration of these topics draws on theories from linguistics, semiotics, structuralism, post-structuralism, cybernetics, and music, as well as the philosophies of John Cage, Jean-Jacques Nattiez, Nelson Goodman, and others. The work examines various languages and applications used to program computers for musical purposes, though this examination does not incorporate programs dedicated exclusively to printing music. Nor does the study focus on non-Western notations, suggestions for reforms of notation, or encyclopedic lists of notation devices. ;The expository writing is augmented by excerpts from material I gathered in numerous interviews. There are separate sections containing interviews of Leonard Meyer, Allan Kaprow, John Cage, Earle Brown, Roger Reynolds, and Heidi von Gunden. There is also a large, partially-annotated bibliography. ;My hope is that an inclusive, interdisciplinary exploration of music notation will be useful in broadening the theoretical and creative boundaries of the field, as well as bridging gaps among musicians using various music technologies, and artists and theorists from diverse fields and perspectives. (shrink)

The two volumes of _Maus_ composed by Art Spiegelman were the first graphic novels to be awarded the Pulitzer Prize. These volumes introduced a new genre of graphic novel in the form of comics. The present study examines the hierarchical content and subtexts of Maus and the unique presentation methods of comics. The researcher employed the concepts of “Threefold mimesis” proposed by the French philosopher Paul Ricoeur, to see how Maus interpretate the Jewish history of suffering in Holocaust and the (...) postmemory. Spiegelman is the icon of the graphic novel world, however, so far research on his work still seems to be rare in Taiwan. This study starts from Ricoeur’s Hermeneutics, hope to elucidate how the new model of contemporary autobiographical comic was created. (shrink)

Science is the basis for managing the affairs of life and human activities, and living without knowledge is a form of wandering and a kind of loss. Using scientific methods helps us understand the foundations of choice, decision-making, and adopting the right solutions when solutions abound and options are numerous. Operational research is considered the best that scientific development has provided because its methods depend on the application of scientific methods in solving complex issues and the optimal use of available (...) resources in various fields, private and governmental work in peace and war, in politics and economics, in planning and implementation, and in various aspects of life. Its basic essence is to use the data provided for the issue under study to build a mathematical model that is the optimal solution. It is the basis on which decision makers rely in managing institutions and companies, and when operations research methods meet with the neutrosophic teacher, we get ideal solutions that take into account all the circumstances and fluctuations that may occur in the work environment over time. One of the most important operations research methods is the linear programming method. Which prompted us to reformulate the linear models, the graphical method, and the simplex method, which are used to obtain the optimal solution for linear models using the concepts of neutrosophic science. In this research, and as a continuation of what we presented previously, we will reformulate the modified simplex algorithm that was presented to address the difficulty that we were facing when applying the direct simplex algorithm. It is the large number of calculations required to be performed in each step of the solution, which requires a lot of time and effort. (shrink)

Computer simulations constitute a significant scientific tool for promoting scientific understanding of natural phenomena and dynamic processes. Substantial leaps in computational force and software engineering methodologies now allow the design and development of large-scale biological models, which – when combined with advanced graphics tools – may produce realistic biological scenarios, that reveal new scientific explanations and knowledge about real life phenomena. A state-of-the-art simulation system termed Reactive Animation (RA) will serve as a study case to examine the contemporary philosophical (...) debate on the scientific value of simulations, as we demonstrate its ability to form a scientific explanation of natural phenomena and to generate new emergent behaviors, making possible a prediction or hypothesis about the equivalent real-life phenomena. (shrink)

This chapter presents a typology of the different kinds of inductive inferences we can draw from our evidence, based on the explanatory relationship between evidence and conclusion. Drawing on the literature on graphical models of explanation, I divide inductive inferences into (a) downwards inferences, which proceed from cause to effect, (b) upwards inferences, which proceed from effect to cause, and (c) sideways inferences, which proceed first from effect to cause and then from that cause to an additional effect. (...) I further distinguish between direct and indirect forms of downwards and upwards inferences. I then show how we can subsume canonical forms of inductive inference mentioned in the literature, such as inference to the best explanation, enumerative induction, and analogical inference, under this typology. Along the way, I explore connections with probability and confirmation, epistemic defeat, the relation between abduction and enumerative induction, the compatibility of IBE and Bayesianism, and theories of epistemic justification. (shrink)

This article presents the first results of a research on visual models for the classifications of semiotic processes. The main issue discussed is how a graphic design methodology, associated with computer graphics resources, may contribute to the construction of interactive models, that can be used as tools for the investigation of C. S. Peirce theory of signs. Two models are presented: the first is an interactive 3-D model of Peirce's 3-trichotomic classification; the second is a computer program (...) that builds diagrams for any n-trichotomic classification of signs, and facilitates the analysis and comparison of different hypothesis regarding their structures. (shrink)

An antinaturalist defense of causality of mental states. The argument is based on the properties of causal models in cognitive research. Bibliografia prac przywołanych w tekście -/- Damasio A., 1994/1999, Błąd Kartezjusza. Emocje, rozum i ludzki mózg, tłum. M. Karpiński, Poznań: Rebis. Davidson D., 1963/2001, „Actions, reasons, and causes”, w: (Davidson 2001), s. 3-19. Davidson D., 1967/2001, „Causal relations”, w: (Davidson 2001), s. 149-62. Davidson D., 1970/2001, „Mental events”, w: (Davidson 2001), s. 207-25. Davidson D., 1976/2001, „Hempel on explaining (...) action”, w: (Davidson 2001), s. 261-75. Davidson D., 2001, Essays on actions and events, Oxford: Clarendon. Farmer A., McGuffin P., Williams J., 2002, Measuring psychopathology, Oxford: Oxford University Press. Freedman D. A., Petitti D. B., 2002, „Salt, blood pressure, and public policy”, International Journal of Epidemiology, t. 31, s. 319–320. Greyson B., 2000, „Near-death experiences”, w: Varieties of anomalous experience. Examining the scientific evidence, red. E. Cardeña, S. J. Lynn i S. Krippner, Washington, DC: American Psychological Association, s. 315-52. Judycki S., 1995, Umysł i synteza, Lublin: RW KUL. Judycki S., 2000, „Transkauzalność a determinizm”, Kognitywistyka i media w edukacji, t. 3, s. 73-86. Kawalec P. 2005, „Understanding science of the new millennium”, http://philsci archive.pitt.edu/archive/00002558/ Kawalec P., 2006, Jak odkryć przyczynę? Studium z ogólnej metodologii i filozofii nauki, Lublin 2006, w przygotowaniu. Kim J., 1998/2002, Umysł w świecie fizycznym, tłum. R. Poczobut, Warszawa: IFiS PAN. Lauritzen S., 1996, Graphical models, Oxford: Clarendon. Menzies P., 2003, „The causal efficacy of mental states”, w: Physicalism and mental causation. The metaphysics of mind and action, red. S. Walter i H.-D. Heckmann, w druku. Pearl J., 2000, Causality. Models, reasoning, and inference, Cambridge: Cambridge University Press. Piłat R., 1999, Umysł jako model świata, Warszawa: IFiS PAN. Rosenbaum P., 2002, Observational studies, Nowy Jork: Springer. Sabom M., 1998, Life and death. One doctors’s fascinating account of near-death experiences, Grand Rapids: Zondervan. Spirtes P., Glymour C., Scheines R., 2000, Causation, prediction, and search, Cambridge, MA.: MIT. van Fraassen B., 1980, The scientific image, Oxford: Clarendon. van Fraassen B., 2002, The empirical stance, New Haven: Yale University Press. Woodward J., 2003, Making things happen: a theory of causal explanation, Nowy Jork: Oxford University Press. Żegleń U., 2003, Filozofia umysłu, Toruń: A. Marszałek. (shrink)

Humans often attribute the things that happen to one or another actual cause. In this chapter, we survey some recent philosophical and psychological research on causal attribution. We pay special attention to the relation between graphical causal modeling and theories of causal attribution. We think that the study of causal attribution is one place where formal and experimental techniques nicely complement one another.

Within the causal modeling literature, debates about the Causal Faithfulness Condition have concerned whether it is probable that the parameters in causal models will have values such that distinct causal paths will cancel. As the parameters in a model are fixed by the probability distribution over its variables, it is initially puzzling what it means to assign probabilities to these parameters. I propose that to assign a probability to a parameter in a model is to treat that parameter as (...) a function of a variable in an augmented model. By combining this proposal with widely adopted principles regarding which variables must be included in a model, I argue that the various proposed counterexamples to CFC involving coordinated parameters are not genuine counterexamples. I then consider the cases in which CFC fails due not to coordination, but by coincidence, and propose explanatory and predictive bases for ruling out such coincidences without presuming that they are improbable. The aim of the proposed defenses is not to show that CFC never fails, but rather to argue that its use in a particular context may be defended using general modeling assumptions rather than by relying on claims about how often it fails. (shrink)

FROM THE HISTORY OF PHYSICS TO THE DISCOVERY OF THE FOUNDATIONS OF PHYSICS By Antonino Drago, formerly at Naples University “Federico II”, Italy – drago@unina,.it (Size : 391.800 bytes 75,400 words) The book summarizes a half a century author’s work on the foundations of physics. For the forst time is established a level of discourse on theoretical physics which at the same time is philosophical in nature (kinds of infinity, kinds of organization) and formal (kinds of mathematics, kinds of logic). (...) This double side of the two dichotomies assures a deep comprehension of theoretical physics by avoiding both a purely philosophical analysis and a purely formal analysis, each manifestly insufficient for representing all the aspects of theoretical physics. Among the many formulations of a physical theory, e.g. Mechanics, also Mach(1) recognized technical differences only, Instead my suggestion is to consider their differences as revealing the characteristic features of their foundations. No more radical differences may exist than those concerning both their kinds of Mathematics and their kinds of Logic. As a fact, after the 20th Century within each of these sciences there exist two antagonist foundations, within Mathematics either the classical one or the constructive one(2); within Mathematical Logic either the classical logic or the intuitionist one(3). Let us take Mechanics as an instance. Being the choices of the Newton’s formulation respectively the actual infinity of the differential equations relying on the infinitesimals and the classical logic, a formulation based on the alternative choices is Lazare Carnot’s,(4) whose mathematics is no more than algebraic-trigonometric and the logic is the intuitionist one, because this formulation makes use of doubly negated propositions, whose corresponding affirmative propositions are idealistic or false; i.e. in these cases the law of double negation fails, as in intuitionist logic occurs. By considering these two dichotomies as the foundations of the physical theories, each couple of choices upon them fashions one out four models of scientific theory, which are baptized through the authors of their most representative theories: Newtonian, Carnotian, Lagrangian, Descartesian. In correspondence four versions of the principle of inertia are recognized, as suggested by respectively: Descartes. Lazare Carnot, Enriques and Cavalieri.(5) All that suggests that the four models of scientific theory may be graphically represented as a compass orientating our minds amid the so numerous physical theories. By taking these dichotomies as interpretative categories, a new interpretative history of Physics including both classical and modern physics results according to a quadrilinear development. The birth of modern physics is characterized by the two theories - Einstein’s paper on special relativity and Einstein’s first paper on quanta - whose choices are the alternative ones to those of the previously dominant physical theory, Newtonian mechanics: in the latter paper Einstein i) declares the dichotomy on the kinds of mathematics (“Introduction”) and then he chooses the discrete mathematics; ii) by using doubly negated propositions he organizes his theory in an alternative way to the deductive-axiomatic one.(6) Moreover, a new history of Philosophy of knowledge results. Kant’s first two a priori transcendental categories represent the physical interpretation of the two choices out of the four pairs of choices on the two dichotomies, i.e. the choices of the dominant theory of mechanics, Newton’s. Hegel’s dialectic was a misleading attempt of anticipating the subsequent intuitionist logic. The book starts by a comparison of different formulations of thermodynamics in order to recognize the first dichotomy on the kind of organization. In chapter 2 the dichotomy on the kind of infinity is recognized through a comparison of Newrton’s mechanics and Lazare Carnot’s. A quickly history of the other classical physical theories is illustrated in chapter 3; it results a foundational conflict between the last two theories, and hence a conflict between their opposite couples of choices. The two main theories of modern physics, special realtivity and quantum mechanics confirm the foundational role played by the two dichotomies which gives reason for the radical change in the history of theoretical physics. Indeed, the opposition of the two main pairs of choices gives reason of the crisis in theoretical physics in the early 1900s. As a global result, the book represents the first interpretation of the entire history of Physics, both classical and modern; This fact proves that the four models of scientific theories can works as a compass (that of the front cover) suggesting a direction among the many physical theories. This new history of physics leads to re-visit both Koyré’s and Kuhn’s historiographies. Their interpretative categories are interpreted and explained through the two dichotomies so that it is possible to suggest à la Koyré categories based on the alternative choices theories to Newton’s as the suitable categories for interpreting the alternative theories to Newton’s mechanics. All that suggests a new interpretation of the crucial step in the history of Western philosophy of knowledge, i.e. the passage from Leibniz to Kant: Leibniz’s suggestion of the two labyrinths of human minds may be seen as a close anticipation of the two above dichotomies. Kant applied them in order to construct the well-known four cosmological proofs, which however he misinterpreted as leading to contradictions, instead to tow different methods of investigation corresponding to the two different kinds of logic.(7) Bibliography 1. Mach E. (1883), Die Mechanik, Leipzig: Brockhaus, Chap. IV, Sect. III. 2. Bishop E. (1967), Constructive Analysis, New York: Mc Graw-Hill. 3. Heyting A. (1962), Intuitionism. An Introduction, Amsterdam: North-Holland. 4. L. Carnot (1783), Essai on the Machines en général, Defay, Dijion (Enlish translation: Springer, Berlin, 2020). Drago A. (2004), “A new appraisal of old formulations of mechanics”, Am. J. Phys., 72(3), pp. 407-9. 5. Vella M.R. (2007), “Le quattro versioni del principio di inerzia”, in M. Leone et al. (eds.), L’eredità di Fermi, Majorana e altri Temi. Napoli: ESI, pp. 147-151. 6. Drago A. (2014), “The emergence of two options from Einstein°s first paper on Quanta”, in Pisano R., Capecchi D., Lukesova A. (eds.), Physics, Astronomy and Engineering. Critical Problems in the History of Science and Society, Scientia Socialis P., Siauliai, 2013, pp. 227-234. 7. This and all in the above points are illustrated by the book Drago A. (2017), Dalla Storia della Fisica ai Fondamenti della Scienza, Roma: Aracne. (shrink)

In the last two decades, software process modeling has been an area of interest within both academia and industry. Software process modeling aims at defining and representing software processes in the form of models. A software process model represents the medium that allows better understanding, management and control of the software process. Software process metamodeling rather, provides standard metamodels which enable the defining of customized software process models for a specific project in hand by instantiation. Several software process (...) modeling/meta-modeling languages have been introduced to formalize software process models. Nonetheless, none of them has managed to introduce a compatible yet precise language to include all necessary concepts and information for software process modeling. This paper presents Software Process Meta-Modeling and Notation (SP2MN); a meta-modeling language that provides simple and expressive graphical notations for the aim of software process modeling. SP2MN has been evaluated based upon the well-known ISPW-6 process example, a standard benchmark problem for software process modeling. SP2MN has proved that it presents a valid and expressive software process modeling language. (shrink)

Existing research suggests that people's judgments of actual causation can be influenced by the degree to which they regard certain events as normal. We develop an explanation for this phenomenon that draws on standard tools from the literature on graphical causal models and, in particular, on the idea of probabilistic sampling. Using these tools, we propose a new measure of actual causal strength. This measure accurately captures three effects of normality on causal judgment that have been observed in (...) existing studies. More importantly, the measure predicts a new effect ("abnormal deflation"). Two studies show that people's judgments do, in fact, show this new effect. Taken together, the patterns of people's causal judgments thereby provide support for the proposed explanation. (shrink)

‘‘Theoretical biology’’ is a surprisingly heter- ogeneous field, partly because it encompasses ‘‘doing the- ory’’ across disciplines as diverse as molecular biology, systematics, ecology, and evolutionary biology. Moreover, it is done in a stunning variety of different ways, using anything from formal analytical models to computer sim- ulations, from graphic representations to verbal arguments. In this essay I survey a number of aspects of what it means to do theoretical biology, and how they compare with the allegedly much more (...) restricted sense of theory in the physical sciences. I also tackle a recent trend toward the presentation of all-encompassing theories in the biological sciences, from general theories of ecology to a recent attempt to provide a conceptual framework for the entire set of biological disciplines. Finally, I discuss the roles played by philosophers of science in criticizing and shap- ing biological theorizing. (shrink)

The development of the use of computers and software in art from the Fifties to the present is explained. As general aspects of the history of computer art an interface model and three dominant modes to use computational processes (generative, modular, hypertextual) are presented. The "History of Computer Art" features examples of early developments in media like cybernetic sculptures, computer graphics and animation (including music videos and demos), video and computer games, reactive installations, virtual reality, evolutionary art and net art. (...) The functions of relevant art works are explained more detailed than usual in such histories. The second edition for the Book on Demand (Lulu Press, 2020) includes an update of chapter II.1.1 (first edition 2014). (shrink)

This article presents some results of a research on computational strategies for the visualization of sign classification structures and sign processes. The focus of this research is the various classifications of signs described by Peirce. Two models are presented. One of them concerns specifically the 10-fold classification as described in the 1903 Syllabus (MS 540, EP 2: 289–299), while the other deals with the deep structure of Peirce’s various trichotomic classifications. The first is 10cubes, an interactive 3-D model of (...) Peirce’s 10-fold classification, as described in the Syllabus. The second is 3N3, a computer program that builds equivalent diagrams for any n-trichotomic classification of signs. We are specially interested in how a graphic design methodology, associated with computer graphic resources and techniques, can contribute to the construction of interactive models that serve as tools for the investigation of C. S. Peirce’s theory of signs. (shrink)

The exponential growth of social data both in volume and complexity has increasingly exposed many of the shortcomings of the conventional frequentist approach to statistics. The scientific community has called for careful usage of the approach and its inference. Meanwhile, the alternative method, Bayesian statistics, still faces considerable barriers toward a more widespread application. The bayesvl R package is an open program, designed for implementing Bayesian modeling and analysis using the Stan language’s no-U-turn (NUTS) sampler. The package combines the ability (...) to construct Bayesian network models using directed acyclic graphs (DAGs), the Markov chain Monte Carlo (MCMC) simulation technique, and the graphic capability of the ggplot2 package. As a result, it can improve the user experience and intuitive understanding when constructing and analyzing Bayesian network models. A case example is offered to illustrate the usefulness of the package for Big Data analytics and cognitive computing. (shrink)

The paper proposes to grasp handwritten signature as a metaphysical invention of the so-called “Western” civilization, where the signature is supposed to make possible juridical identification of the person who wrote it. However, despite this expectation of reliability, the Western handwritten signature is an aporetic sign, which is considered to be authentic (unrepeatable) and conventional (repeatable) at the same time. Because the signature is a sign of juridical identification and its authenticity can always be forged, Jacques Derrida tries to deconstruct (...) the contradictory functioning of Western metaphysics, which leads to confusion in our expectations of authenticity and identity in our uses of signatures. By proposing a new reading of Derridean texts concerning writing, the paper focuses on the pragmatical paradox that grounds our contradictory legal politics of signing: because the exact manual reproduction of a line is impossible, no one can satisfy the legislative obligation to sign conformably to the model signature. That’s the aporia of trace’s recognition, which establishes the signature as a sign: on the one hand, the signature is supposed to represent the juridical identity of the person who traced it; on the other hand, the signature, which constantly changes its graphical form, makes every certain identification impossible. In order to question the juridical identity traditionally guaranteed by the signature, this paper invites to grasp the legal practice of signing as a subversive performativity, which is produced during the passage between recognition of juridical identity requested by the law and its simultaneous and inevitable transgression. Finally, the paper proposes a new approach to the signature as a visual performance of the self, based on a reevaluation of the altercation between Jacques Derrida and John Searle concerning the iterative character of traces and performatives. (shrink)

Purpose – to differency in the franchise model implementation by tour operators in the European and Ukrainian markets. Design/Method/Approach. A theoretical approach is based on generalization, system and comparative analysis, content analysis, statistical, and graphical and tabular methods. Findings. The research characterized business franchising models of the largest multidisciplinary tour operators of mass tourism in Ukraine. The general conditions of performing tourist activity on the principles of business franchising for travel agencies are determined. The authors clarified the differences (...) between business franchising models in the European and Ukrainian markets. The mechanism of business multiplication and cooperation of opportunities aimed at promoting a tourist product on the target market defines the franchising. Originality/Value. The scientific novelty is to clarify the tourism activities conditions on a franchise basis in Europe and, in particular, in Ukraine, highlighting the franchise model features of the European business that are in a clearly defined vertically integrated management structure, strong national marketing management, corporate business support, longterm franchise agreements, and effective franchise system. Practical implications. The research practical results significance lies in travel agencies' possible application in deciding to join the franchise network and tour operators in addressing projected business risks diversification. Research limitattions / Future research. Due to the economic crisis in the tourism business, further research promising area is to find ways to stabilize the network business in tourism. The change in the financial condition of travel agencies after franchisee status obtain or termination is of interest. Paper type – theoretical. (shrink)

This article defends the thesis that there are multiple points of exchange between the categories of “word” and “image” in Walter Benjamin’s Arcades Project. Benjamin describes the truth of the articulate wish of the past as “graphically perceptible” and the image as “readable.” In this respect the vocabulary of “word” and “image” that Benjamin’s early work had opposed are not just deployed in concert, but specific features of the vocabulary of “word” and “image” become exchangeable. The distinctive features of this (...) exchange can be used to expound on Benjamin’s peculiar understanding of revolutionary experience and the significance of the break that it marks with his early way of opposing the word and the image. In particular, the exchange of features between word and image can explain the mechanics and intended effect of his idea that the meaning of history can be perceived in an image. The study of this exchange also shows that although the framework of “graphic perception” entails an experience of motivating meaning that is epistemologically grounded, the citation model of history is unable to secure the extension of the sought after legibility of the nineteenth century to a recipient. (shrink)

Taking as starting point Kuhn’s analysis of science textbooks and its application to Sinnott and Dunn’s (1925), it will be discussed the problem of the existence of laws in biology. In particular, it will be showed, in accordance with the proposals of Darden (1991) and Schaffner (1980, 1986, 1993), the relevance of the exemplars, diagrammatically or graphically represented, in the way in which is carried out the teaching and learning process of classical genetics, inasmuch as the information contained in them, (...) indispensable for the right development of that process, exceeds the information contained in the “laws” linguistically articulated and presented in the textbooks. However, it will be maintained that the information is implicit in the law that according to the structuralist concept of fundamental law and the reconstruction of genetics presented by Balzer & Dawe (1990), and later developed by Balzer & Lorenzano (1997) and Lorenzano (1995, 2000, 2002a) could be considered the fundamental law of classical genetics,the law of matching, clearly identified in this paper. (shrink)

Bioinformatics scientists often describe their own scientific activities as the practice of working with large amounts of data using computing devices. An essential part of their self-identification is also the development of ways to visually represent the results of this work. Some of these methods are aimed at building convenient representations of data and demonstrating patterns present in them (graphics, diagrams, graphs). Others are ways of visualizing objects that are not directly accessible to human perception (microphotography, X-ray). Both the construction (...) of visualizations and (especially) the creation of new computer visualization methods are considered in bioinformatics as significant scientific achievements. Representations of the three-dimensional structure of protein molecules play a special role in the inquiries of bioinformatics scientists. 3D-visualization of a macromolecule, on the one hand, is, like a graph, a representation of the results of computer processing of data arrays obtained by material methods – spatiotemporal coordinates of structural elements of the molecule. On the other hand, like microphotography, these 3D structures should serve as accurate representations of specific scientific objects. This leads to the parallel existence of two contradictory epistemic regimes: creative arbitrariness in making convenient, communicatively successful models, is combined with commitment to the object “as it really is”. The paradox is reinforced by the fact that the scientific study of objects in question (determining the properties of the structure, its functions, comparison with other structures) by means of computers does not require visualization at all. Its obviously high value for bioinformatics does not look justified if we take into account the prominent artificiality and artistry of the resulting images. However, the status of these images becomes clearer if we relate them to earlier notions of the role of the visual in scientific discovery. The highest estimation of visualization as the final result of scientific research was characteristic of Renaissance science. The artistic representation of ideal essential properties, instead of a strict correspondence to a particular biological object, is an epistemic virtue typical of the naturalists of the 17th and 18th centuries. Both suggested a close collaboration between the scientist and the artist; and standards for visualizing macromolecules in bioinformatics grow out of a similar collaboration (Geis’ drawings). The desire for maximum accuracy and detail inherits the regulation of “mechanical objectivity” (as Daston and Galison put it into words), for which it is also important to eliminate humans from the image production process (in bioinformatics, to transfer these functions to computer programs). Thus, 3D-visualization of protein structures bears traces of historically different value orientations, but the scientific practice of the 20th and 21st centuries, supplemented by computer technologies, allows them to be intertwined in particular disciplinary units. (shrink)

The purpose of this paper is to provide a detailed technical protocol analysis of chess masters' evaluative expertise, paying particular attention to the analysis of the structure of their memory process in evaluating foreseen possibilities in games of dynamic equilibrium. The paper has two purposes. First, to publish a results chapter from my DPhil thesis (in revised journal article form) attending to the measurement of foresight in chess masters' evaluation process, testing alternative theories of cognitive expertise in the domain of (...) chess; and second to provide a subset of the technical graphical analysis that corresponds to that measurement to preserve this protocol analysis for access in the academic domain for future studies of expert memory and foresight (e.g., Ericsson & Simon, 1993). The step-by-step protocol analysis consists of: (i) an introduction to foresight cognition as hypothesis testing, (ii) a theoretical review in the domain of chess masters' expertise according to the theoretical frameworks in that field purporting hypotheses relevant to chess masters' evaluative skill processes, and (iii) summary tables and non-parametric statistical analysis corroborating chunking theory frameworks of expert cognition (e.g., DeGroot, 1965; Newell & Simon, 1972; Gobet, 1998; Gobet et al., 2004), and refuting the alternative search-evaluation models (e.g., Holding & Reynolds, 1982). Moreover, the journal article espouses the preservation of the traditional protocol analysis method core to the field of expert cognition (DeGroot, 1969; Kotov, 1971). The full protocol analysis can be found in monograph form here on my SSRN profile in ‘The role of falsification in hypothesis testing’. It takes the form of a specialist population study (e.g., detailed case study work; Luria, 1987). Thus the outline consists of a short introduction, a theoretical methodological review discussing protocol analysis methods for specialist population studies in cognition (with particular attention to the preservation of protocol analysis methods for chess studies in cognition and expert memory/ with a fresh angle on the foresight process), and the full set of protocol analyses with corresponding problem behaviour graphs. A subset of the main results has been published elsewhere (e.g., Cowley & Byrne, 2004; Cowley 2006), receiving scientific and scientific journalistic acclaim (e.g., Nature Online News 2004). (shrink)

Coherence and correspondence are classical contenders as theories of truth. In this paper we examine them instead as interacting factors in the dynamics of belief across epistemic networks. We construct an agent-based model of network contact in which agents are characterized not in terms of single beliefs but in terms of internal belief suites. Individuals update elements of their belief suites on input from other agents in order both to maximize internal belief coherence and to incorporate ‘trickled in’ elements of (...) truth as correspondence. Results, though often intuitive, prove more complex than in simpler models (Hegselmann & Krause 2002, 2006; Grim, Singer, Reade & Fisher 2015). The optimistic finding is that pressures toward internal coherence can exploit and expand on small elements of truth as correspondence is introduced into epistemic networks. Less optimistic results show that pressures for coherence can also work directly against the incorporation of truth, particularly when coherence is established first and new data is introduced later. (shrink)

Growth in popularity of computer games is a noticeable change in recent years. Electronic entertainment increasingly engages the wider society and reaches to new audiences by offering them satisfy of wide variety of needs and aspirations. As a mass media games not only provide entertainment, but they are also an important source of income, knowledge and social problems. Article aims to bring closer look on the common areas of games and comics. On the one hand designers and artists working on (...) games are often inspired by comic books, as well as they create their licensed adaptations and separate „interactive issues”. On the other hand more and more often we can see comics based on popular games. Study present the areas of agreement, cooperation or dependence like: technologies used to create games and comic books, use of comic books to comment events in the gaming industry and organization of exhibitions or events popularizing the works from both fields. ** W ostatnich latach dostrzegalny jest wzrost popularności gier komputerowych. Elektroniczna rozrywka angażuje uwagȩ coraz to szerszych krȩgów społecznych i dociera do nowych grup odbiorców oferuj¸a}c im zaspokojenie najrozmaitszych potrzeb i aspiracji. Jako środek masowego przekazu gry dostarczaj¸a} nie tylko rozrywki, ale stanowi¸a} też istotne źródło dochodów, wiedzy i problemów społecznych. Celem artykułu jest przybliżenie wspólnych obszarów gier i komiksu. Z jednej strony projektanci i artyści pracuj¸a}cy nad grami czȩsto czerpi¸a} inspiracjȩ z komiksów, jak również tworz¸a} ich licencjonowane adaptacje i odrȩbne, „interaktywne numery”. Z drugiej zaś coraz czȩściej publikowane s¸a} komiksy bazuj¸a}ce na popularnych grach. Opracowanie przedstawia również takie obszary porozumienia, współpracy, b¸adź zależności jak: technologie wykorzystywane przy tworzeniu gier i komiksów, zastosowanie komiksów w komentowaniu wydarzeń branży gier oraz organizowanie wystaw i imprez popularyzuj¸acych twórczość z obu dziedzin. (shrink)

Under what conditions does machine learning (ML) model opacity inhibit the possibility of explaining and understanding phenomena? In this article, I argue that nonepistemic values give shape to the ML opacity problem even if we keep researcher interests fixed. Treating ML models as an instance of doing model-based science to explain and understand phenomena reveals that there is (i) an external opacity problem, where the presence of inductive risk imposes higher standards on externally validating models, and (ii) an (...) internal opacity problem, where greater inductive risk demands a higher level of transparency regarding the inferences the model makes. (shrink)

Stanford’s argument against scientific realism focuses on theories, just as many earlier arguments from inconceivability have. However, there are possible arguments against scientific realism involving unconceived (or inconceivable) entities of different types: observations, models, predictions, explanations, methods, instruments, experiments, and values. This paper charts such arguments. In combination, they present the strongest challenge yet to scientific realism.

Analytical categories of scientific cultures have typically been used both exclusively and universally. For instance, when styles of scientific research are employed in attempts to understand and narrate science, styles alone are usually employed. This article is a thought experiment in interweaving categories. What would happen if rather than employ a single category, we instead investigated several categories simultaneously? What would we learn about the practices and theories, the agents and materials, and the political-technological impact of science if we analyzed (...) and applied styles, paradigms, and models simultaneously? I address these questions in general and for a specific case study: a brief history of systematics. (shrink)

Several philosophers of science claim that scientific toy models afford knowledge of possibility, but answers to the question of why toy models can be expected to competently play this role are scarce. The main line of reply is that toy models support possibility claims insofar as they are credible. I raise a challenge for this credibility-thesis, drawing on a familiar problem for imagination-based modal epistemologies, and argue that it remains unanswered in the current literature. The credibility-thesis has (...) a long way to go if it is to account for the epistemic merits of toy models. (shrink)

A key challenge for probabilistic causal models is to distinguish non-causal probabilistic dependencies from true causal relations. To accomplish this task, causal models are usually required to satisfy several constraints. Two prominent constraints are the causal Markov condition and the faithfulness condition. However, other constraints are also needed. One of these additional constraints is the causal sufficiency condition, which states that models must not omit any direct common causes of the variables they contain. In this paper, I (...) argue that the causal sufficiency condition is problematic: (1) it is incompatible with the requirement that the variables in a model must not stand in non-causal necessary dependence relations, such as mathematical or conceptual relations, or relations described in terms of supervenience or grounding, (2) it presupposes more causal knowledge as primitive than is actually needed to create adequate causal models, and (3) if models are only required to be causally sufficient, they cannot deal with cases where variables are probabilistically related by accident, such as Sober’s example of the relationship between bread prices in England and the sea level in Venice. I show that these problems can be avoided if causal models are required to be monotonic in the following sense: the causal relations occurring in a model M would not disappear if further variables were added to M. I give a definition of this monotonicity condition and conclude that causal models should be required to be monotonic rather than causally sufficient. (shrink)

La, V. P., & Vuong, Q. H. (2019). bayesvl: Visually learning the graphical structure of Bayesian networks and performing MCMC with ‘Stan’. The Comprehensive R Archive Network (CRAN).

This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...) participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models. (shrink)

This paper analyses the phenomenology and epistemology of chatbots such as ChatGPT and Bard. The computational architecture underpinning these chatbots are large language models (LLMs), which are generative artificial intelligence (AI) systems trained on a massive dataset of text extracted from the Web. We conceptualise these LLMs as multifunctional computational cognitive artifacts, used for various cognitive tasks such as translating, summarizing, answering questions, information-seeking, and much more. Phenomenologically, LLMs can be experienced as a “quasi-other”; when that happens, users anthropomorphise (...) them. For most users, current LLMs are black boxes, i.e., for the most part, they lack data transparency and algorithmic transparency. They can, however, be phenomenologically and informationally transparent, in which case there is an interactional flow. Anthropomorphising and interactional flow can, in some users, create an attitude of (unwarranted) trust towards the output LLMs generate. We conclude this paper by drawing on the epistemology of trust and testimony to examine the epistemic implications of these dimensions. Whilst LLMs generally generate accurate responses, we observe two epistemic pitfalls. Ideally, users should be able to match the level of trust that they place in LLMs to the degree that LLMs are trustworthy. However, both their data and algorithmic opacity and their phenomenological and informational transparency can make it difficult for users to calibrate their trust correctly. The effects of these limitations are twofold: users may adopt unwarranted attitudes of trust towards the outputs of LLMs (which is particularly problematic when LLMs hallucinate), and the trustworthiness of LLMs may be undermined. (shrink)

there is a communication gap between hearing-impaired people and those with normal hearing, sign language is the main means of communication in the hearing-impaired population. Continuous sign language recognition, which can close the communication gap, is a difficult task since the ordered annotations are weakly supervised and there is no frame-level label. To solve this issue, we compare the accuracy of each model using two deep learning models, Inception and Xception . To that end, the purpose of this paper (...) is By attempting to translate sign language using deep learning models, we focused in this paper a comparing between Inception and Xception ¬¬¬¬¬ algorithm and compared it to previous papers in which we used VGG19[1], mobileNet [2], where we get in the Inception and Xception algorithm on the degree of Accuracy 99.32%, 99,43% respectively. number of images (29000 in the dataset in size 75*75 pixel ) and the data split training data into training dataset (70%) and validation dataset(15%) and testing dataset(15%) and 20 epoch. (shrink)

Large-scale language technologies are increasingly used in various forms of communication with humans across different contexts. One particular use case for these technologies is conversational agents, which output natural language text in response to prompts and queries. This mode of engagement raises a number of social and ethical questions. For example, what does it mean to align conversational agents with human norms or values? Which norms or values should they be aligned with? And how can this be accomplished? In this (...) paper, we propose a number of steps that help answer these questions. We start by developing a philosophical analysis of the building blocks of linguistic communication between conversational agents and human interlocutors. We then use this analysis to identify and formulate ideal norms of conversation that can govern successful linguistic communication between humans and conversational agents. Furthermore, we explore how these norms can be used to align conversational agents with human values across a range of different discursive domains. We conclude by discussing the practical implications of our proposal for the design of conversational agents that are aligned with these norms and values. (shrink)

Moral circles help define the boundaries of one’s moral consideration. One’s moral circle may provide insight into how one perceives or treats other entities. A data-driven model exploration was conducted to explore predictors and prediction models. Candidate predictors were built upon past research using moral foundations and political orientation. Moreover, we also employed additional moral psychological indicators, i.e., moral reasoning, moral identity, and empathy, based on prior research in moral development and education. We used model exploration methods, i.e., Bayesian (...) model exploration, Bayesian model averaging, and elastic-net regression. The study successfully replicated past research supporting the relationship between moral foundations, political orientation, and the moral circle. Additional moral psychological constructs, such as post-conventional moral reasoning and moral identity, significantly predicted the moral circle width. The identified components of the moral circle were conceptually related to phronesis, i.e., practical wisdom. We discussed the educational implications of the findings, particularly those related to moral education focusing on phronesis cultivation, multiculturalism and global citizenship, and climate justice. (shrink)

Chemistry and physics are two sciences that are hard to connect. Yet there is significant overlap in their aims, methods, and theoretical approaches. In this book, the reduction of chemistry to physics is defended from the viewpoint of a naturalised Nagelian reduction, which is based on a close reading of Nagel's original text. This naturalised notion of reduction is capable of characterising the inter-theory relationships between theories of chemistry and theories of physics. The reconsideration of reduction also leads to a (...) new characterisation of chemical theories. This book is primarily aimed at philosophers of chemistry and chemists with an interest in philosophy, but is also of interest to the general philosopher of science. (shrink)

Kruja is a middle-range city located in the center of Albania. The city of Kruja dates back to its existence from the V-VI century and extends to the city around the VI and IX centuries. It becomes the first capital of Albania in the XI-th century, specifically in 1190. This paper is going to deal with only two groups of buildings that are an integral part of the historical city of Kruja, the historical dwellings (XVIII century) and the socialist ones (...) (1960-1985). This paper aims to analyze through linear regressions the relation between two parameters: moisture content and temperature of the indoor walls and floors of the historic and socialist buildings in the city of Kruja. Three types of historic dwelling and three types of socialist apartments have been analyzed, relatively uniformly oriented. The measurements with specific instruments are done on the same day, for three hours. The degree of reactivity is different for both groups of buildings. The historical buildings are more sensitive to temperature rise. They respond invers to it (as the temperature rise, the level of the moisture content decreases), with a higher coefficient than socialist ones, and appear to be more efficient in reducing the level of the moisture, despite the average moisture content being higher. This paper takes into consideration also the analysis of the materials of the construction for both categories. If the level of moisture is reduced, the buildings will be improved and the quality of life indicators of the inhabitance will be improved too. (shrink)

Continued urbanization, along with anthropogenic global warming, has and will increase land surface temperature and air temperature anomalies in urban areas when compared to their rural surroundings, leading to Urban Heat Islands (UHI). UHI poses environmental and health risks, affecting both psychological and physiological aspects of human health. Thus, using a deep learning approach that considers morphological variables, this study predicts UHI intensity in 69 European cities from 2007 to 2021 and projects UHI impacts for 2050 and 2080. The research (...) employs Artificial Neural Networks, Deep Neural Networks, and Gated Recurrent Units, combining high-resolution 3D urban models with environmental data to analyze UHI trends. The results indicate strong associations between urban form, weather patterns, and UHI intensity, highlighting the need for customized urban planning and policy measures to reduce UHI impacts and foster sustainable urban settings. This research enhances understanding of UHI dynamics and serves as a valuable tool for urban planners and policymakers to address the challenges of climate change, urbanization, and air pollution, ultimately aiding in the improvement of health outcomes and building energy consumption. Moreover, the methodology effectively demonstrates the ability of the GRU to link its scores with UHI projections, offering crucial insights into potential health impacts. (shrink)

The replicability and importance of the correlation between cognitive style and religious belief have been debated. Moreover, the literature has not examined distinct psychological accounts of this relationship. We tested the replicability of the correlation (N = 5284; students and broader samples of Canadians, Americans, and Indians); while testing three accounts of how cognitive style comes to be related to belief in God, karma, witchcraft, and to the belief that religion is necessary for morality. The first, the dual process model, (...) posits that analytical thinking is recruited in overriding intuitions related to supernatural beliefs. The second, the expressive rationality model, posits that analytical thinking is recruited in supporting already-held beliefs in an identity-protective manner. And the third, the counter-normativity rationality model, posits that analytical thinking is recruited to question beliefs supported by prevailing cultural norms. In Study 2, we tested the replicability of our results in a re-analysis of published data. The association between analytic thinking style and beliefs was replicated. We conclude that whereas the counter-normativity rationality model was contradicted by the data, both the dual process and expressive rationality models received varying degrees of empirical support, but neither model fully accounted for all the patterns in the data. (shrink)

Tobias-Renstrøm and Køppe (2020) show the several conceptual limits that new materialism and postmodern subject models have for psychological theory and research. The present study continues in this discussion and argues that the applicability of the ideas of quantum-inspired new materialism depends on the theoretical perspectives that we consider for analysis: be it the first-person perspective referring to the subjective experience of a human subject, or the third-person perspective, in which a human subject is observed by an external observer. (...) While the arguments of new materialism are in accordance with the analysis of the act of observation performed by an external observer, some problems arise when trying to theoretically approach the first-person subjective experience of a human subject. For example, new materialism fails to explain why human minds can maintain the awareness of a subject’s identity throughout their lives and to recall the memories about their past personal experiences. (shrink)

We introduce and discuss a knowledge-driven distillation approach to explaining black-box models by means of two kinds of interpretable models. The first is perceptron (or threshold) connectives, which enrich knowledge representation languages such as Description Logics with linear operators that serve as a bridge between statistical learning and logical reasoning. The second is Trepan Reloaded, an ap- proach that builds post-hoc explanations of black-box classifiers in the form of decision trees enhanced by domain knowledge. Our aim is, firstly, (...) to target a model-agnostic distillation approach exemplified with these two frameworks, secondly, to study how these two frameworks interact on a theoretical level, and, thirdly, to investigate use-cases in ML and AI in a comparative manner. Specifically, we envision that user-studies will help determine human understandability of explanations generated using these two frameworks. (shrink)

Product structures are represented in engineering models by depicting and linking components, features and assemblies. Their understanding requires knowledge of both design and manufacturing practices, and yet further contextual reasoning is needed to read them correctly. Since these representations are essen- tial to the engineering activities, the lack of a clear and explicit semantics of these models hampers the use of information systems for their assessment and exploita- tion. We study this problem by identifying different interpretations of structure (...) rep- resentations, and then discuss the formal properties that a suitable language needs for representing components, features and combinations of these. We show that the representation of components and features require a non-standard mereology. (shrink)