Based on the Competition Model, the current study investigated how cue availability and cue reliability as two important input factors influenced second language (L2) learners' cue learning of the English article construction. Written corpus data of university-level Chinese-L1 learners of English were sampled for a comparison of English majors and non-English majors who demonstrated two levels of L2 competence in English article usage. The path model analysis in structural equation modeling was utilized to investigate the relationship between the input (...) factors and L2 usage (frequency and accuracy of article cue production). The findings contribute novel and scarce empirical evidence that confirms a central claim of the Competition Model, i.e., the changing importance of cue availability and cue reliability in the frequency and accuracy of production. Cue availability was found to determine L2 production frequency regardless of level of L2 competence. Cue reliability was the input factor that differentiated competence levels. When learners stayed at a relatively lower L2 proficiency, cue reliability played an important role in influencing L2 frequency of usage rather than accuracy of usage. When learners developed increased exposure to and stronger competence in the target language, cue reliability played a significant role in determining learners' success of cue learning. The study is methodologically innovative and expands the empirical applicability of the Competition Model to the domain of second language production and construction learning. (shrink)

Real-world economies are open-ended dynamic systems consisting of heterogeneous interacting participants. Human participants are decision-makers who strategically take into account the past actions and potential future actions of other participants. All participants are forced to be locally constructive, meaning their actions at any given time must be based on their local states; and participant actions at any given time affect future local states. Taken together, these essential properties imply real-world economies are locally-constructive sequential games. This paper discusses a (...) modeling approach, Agent-based Computational Economics, that permits researchers to study economic systems from this point of view. ACE modeling principles and objectives are first concisely presented and explained. The remainder of the paper then highlights challenging issues and edgier explorations that ACE researchers are currently pursuing. (shrink)

Evolutionary anthropologists and archaeologists have been considerably successful in modelling the cumulative evolution of culture, of technological skills and knowledge in particular. Recently, one of these models has been introduced in the philosophy of science by De Cruz and De Smedt (Philos Stud 157:411–429, 2012), in an attempt to demonstrate that scientists may collectively come to hold more truth-approximating beliefs, despite the cognitive biases which they individually are known to be subject to. Here we identify a major shortcoming in that (...) attempt: De Cruz & De Smedt’s mathematical model makes one particularly strong tractability assumption that causes the model to largely miss its target (namely, truth accumulation in science), and that moreover conflicts with empirical observations. The second, more constructive part of the paper presents an alternative, agent-based model, which allows one to much better examine the conditions for scientific progress and decline. (shrink)

The first, critical part of the paper summarizes J. R. Brown’s Platonic view of thought experiments (TEs) and raises several questions. One of them concerns the initial, particular judgments in a TE. Since they seem to precede the general insight, Brown’s Platonic intuition, and not to derive from it, the question arises as to the nature of the initial particular judgment. The other question concerns the explanatory status of Brown’s epistemic Platonism. The second, constructive descriptive-explanatory part argues for an (...) alternative, i.e. the view of TE as reasoning in, or with help of, mental models which can accommodate all the relevant data within a non-aprioristic framework (or, at worst, within a minimally “aprioristic”, nativist one). The last part turns to issues of justification and argues that the mental model proposal can account for justification of intuitional judgments and can also support the view of properly functioning intuition as an epistemic virtue, all within a more naturalist framework than the one endorsed by Brown. (shrink)

The effectiveness of a compliance management framework can be guaranteed only if the framework is based on sound conceptual and formal foundations. In particular, the formal language used in the CMF is able to expressively represent the specifications of normative requirements that impose constraints on various activities of a business process. However, if the language used lacks expressiveness and the modelling constructs proposed in the CMF are not able to properly represent different types of norms, it can significantly impede the (...) reliability of the compliance results produced by the CMF. This paper investigates whether existing CMFs are able to provide reasoning and modeling support for various types of normative requirements by evaluating the conceptual foundations of the modeling constructs that existing CMFs use to represent a specific type of norm. The evaluation results portray somewhat a bleak picture of the state-of-the-affairs when it comes to represent norms as none of the existing CMFs is able to provide a comprehensive reasoning and modeling support. Also, it points to the shortcomings of the CMFs and emphasises exigent need of new modeling languages with sound theoretical and formal foundations for representing legal norms. (shrink)

The notion of exploratory modeling constitutes a powerful heuristic tool for historical-epistemological analysis and especially for studying concept formation. I will show this by means of a case study from the history of particle physics: the formation of the concept of “strangeness” in the early 1950s at the interface of theory and experiment. Strangeness emerged from a broad space of possibilities opened up by exploratory modeling by authors working in communication and competition, and constructing both new questions and (...) new answers. A systematic focus on exploratory modeling also helps compensate a bias towards the “right” developments still often present in historical investigations of theoretical work. (shrink)

Commentary on our target article centers around six main topics: (1) strategies in modeling the neurobehavioral foundation of human behavioral traits; (2) clarification of the construct of affiliation; (3) developmental aspects of affiliative bonding; (4) modeling disorders of affiliative reward; (5) serotonin and affiliative behavior; and (6) neural considerations. After an initial important research update in section R1, our Response is organized around these topics in the following six sections, R2 to R7.

I explore heterogeneous constructionism, my term for the perspective that science in the making is a process of agents building by combining a diversity of components. Issues addressed include causality and explanation; transcending both realism and relativism; scientists as acting, intervening, and imaginative agents; explanations that span many levels of social practice; counterfactuals in the analysis of causal claims; and practical reflexivity. An analogy from research on the social origins of depression and a sketch from my own experience in socioeconomic (...) modeling are used to motivate and render more concrete the form of heterogeneous constructionism I am advocating. (shrink)

This ambitious book looks 'behind the model' to reveal how economists use formal models to generate insights into the economy. Drawing on recent work in the philosophy of science and economic methodology, the book presents a novel framework for understanding the logic of economic modeling. It also reveals the ways in which economic models can mislead rather than illuminate. Importantly, the book goes beyond purely negative critique, proposing a concrete program of methodological reform to better equip economists to detect (...) potential mismatches between their models and the targets of their inquiry. Ranging across economics, philosophy, and social science methods, and drawing on a variety of examples, including the recent financial crisis, Behind the Model will be of interest to anyone who has wondered how economics works - and why it sometimes fails so spectacularly. (shrink)

Several congregations in the workspace of the Netherdutch Reformed Church of Africa are losing viability and sustainability. This can be attributed to various factors, the most prominent being isolation. Isolation is defined here as the inability of some congregations to move away from maintenance and an inward focus towards making necessary adjustments on the way to a dimension of missional focus. While commitment and enthusiasm are present in the work of all congregations, some find it difficult to adapt their established (...) ideas and in some cases obsolete customs and traditions. Other congregations have made the necessary adjustments by defining themselves as missional. In congregations where constructive change occurs, the focus moves to undertake congregational ministries. The congregation not only gains insight into their own situation but also becomes aware of God’s calling for that specific congregation within a specific context. The focus shifts from their own situation and needs to the needs and challenges of the context surrounding the specific congregation. A consequence of this change in focus is that the whole ministry of the congregation adjusts accordingly. These congregations discover their own unique spirituality and begin to ask: For whom do we exist? The article is based on a PhD thesis, where Osmer’s four questions of practical theology were brought into the conversation with the modelling process of neuro-linguistic programming, in an attempt to sojourn with congregations towards a contextual missional focus. This research was undertaken to expand Osmer’s four questions of practical theology by using the modelling process of neuro-linguistic programming so that congregations may succeed in making the necessary adjustments. (shrink)

Name der Zeitschrift: Semiotica Jahrgang: 2016 Heft: 210 Seiten: 151-166.

Algorithmic software for mathematical modeling of structural stability is considered, which is reduced to solving a partial generalized eigenvalues problem of sparse matrices, with automatic parallelization of calculations on modern parallel computers with graphics processors. Peculiarities of realization of parallel algorithms for different structures of sparse matrices are presented. The times of solving the problem of stability of composite materialsusing a three-dimensional model of "finite size fibers" on computers of different architectures are given. In mathematical modeling of physical (...) and technical processes in many cases there is a need to solve problems of algebraic problem of eigenvalues with sparse matrices of large volumes. In particular, such problems arise in the analysis of the strength of structures in civil and industrial construction, aircraft construction, electric welding, etc. The solving to these problems is to determine the eigenvalues and eigenvectors of sparse matrices of different structure. The efficiency of solving these problems largely depends on the effectiveness of mathematical modeling of the problem as a whole. Continuous growth of task parameters, calculation of more complete models of objects and processes on computers require an increase in computer productivity. High-performance computing requirements are far ahead of traditional parallel computing, even with multicore processors. High-performance computing requirements are far ahead of traditional parallel computing, even with multicore processors. Today, this problem is solved by using powerful supercomputers of hybrid architecture, such as computers with multicore processors and graphics processors, which combine MIMD and SIMD architectures. But the potential of high-performance computers can be used to the fullest only with algorithmic software that takes into account both the properties of the task and the features of the hybrid architecture. Complicating the architecture of modern high-performance supercomputers of hybrid architecture, which are actively used for mathematical modeling means a significant complication of efficient use of these resources in creating parallel algorithms and programs. here are problems with the creation of algorithmic software with automatic execution of stages of work, which are associated with the efficient use of computing resources, ways to store and process sparse matrices, analysis of the reliability of computer results. This makes it possible to significantly increase the efficiency of mathematical modeling of practical problems on modern high-performance computers, as well as free users from the problems of parallelization of complex problems. he developed algorithmic software automatically implements all stages of parallel computing and processing of sparse matrices on a hybrid computer. It was used at the Institute of Mechanics named after S.P. Tymoshenko NAS of Ukraine in modeling the strength problems of composite material. A significant improvement in the time characteristics of mathematical modeling was obtained. Problems of mathematical modeling of the properties of composite materials has an important role in designing the processes of deformation and destruction of products in various subject areas. Algorithmic software for mathematical modeling of structural stability is considered, which is reduced to solving a partial generalized problem of eigen values of sparse matrices of different structure of large orders, with automatic parallelization of calculations on modern parallel computers with graphics processors. The main methodological principles and features of implementation of parallel algorithms for different structures of sparse matrices are presented, which ensure effective implementation of multilevel parallelism of a hybrid system and reduce data exchange time during the computational process. As an example of these approaches, a hybrid algorithm of the iteration method in subspace for tape and block-diagonal matrices with a frame for computers of hybrid architecture is given. Peculiarities of data decomposition for matrices of profile structure at realization of parallel algorithms are considered. The proposed approach provides automatic determination of the required topology of the hybrid computer and the optimal amount of resources for the organization of an efficient computational process. The results of testing the developed algorithmic software for problems from the collection of the University of Florida, as well as the times of solving the problem of stability of composite materials using a three-dimensional model of "finite size fibers" on computers of different architectures. The results show a significant improvement in the time characteristics of solving problems. (shrink)

Experimental activity is traditionally identified with testing the empirical implications or numerical simulations of models against data. In critical reaction to the ‘tribunal view’ on experiments, this essay will show the constructive contribution of experimental activity to the processes of modeling and simulating. Based on the analysis of a case in fluid mechanics, it will focus specifically on two aspects. The first is the controversial specification of the conditions in which the data are to be obtained. The second (...) is conceptual clarification, with a redefinition of concepts central to the understanding of the phenomenon and the conditions of its occurrence. (shrink)

Modeling a complex phenomena such as the mind presents tremendous computational complexity challenges. Modeling field theory (MFT) addresses these challenges in a non-traditional way. The main idea behind MFT is to match levels of uncertainty of the model (also, a problem or some theory) with levels of uncertainty of the evaluation criterion used to identify that model. When a model becomes more certain, then the evaluation criterion is adjusted dynamically to match that change to the model. This process (...) is called the Dynamic Logic of Phenomena (DLP) for model construction and it mimics processes of the mind and natural evolution. This paper provides a formal description of DLP by specifying its syntax, semantics, and reasoning system. We also outline links between DLP and other logical approaches. Computational complexity issues that motivate this work are presented using an example of polynomial models. (shrink)

We develop a general covariant categorical modeling theory of natural systems’ behavior based on the fundamental functorial processes of representation and localization-globalization. In the first part of this study we analyze the process of representation. Representation constitutes a categorical modeling relation that signifies the semantic bidirectional process of correspondence between natural systems and formal symbolic systems. The notion of formal systems is substantiated by algebraic rings of observable attributes of natural systems. In this perspective, the distinction between simple (...) and complex systems is reflected in the appropriate qualification of their corresponding rings of observables. The crucial distinguishing requirement with respect to the coordinatizing rings of observables has to do with the property of global commutativity. The global information structure representing the behavior of a complex system is modeled functorially in terms of its Spectrum functor. Due to the fact that, the fundamental process of representation is bidirectional by construction, it admits a precise categorical formulation in terms of the syntactic language of adjoint functors, constituting thus, a categorical adjunction. The left adjoint functor of this adjunction signifies the process of encoding the information related with phenomena of natural systems in terms of coordinatizing rings of observables, whereas, the right adjoint functor signifies the inverse process of information decoding, which, can be used for making predictions about the behavior of natural systems. (shrink)

The study considers the development of methods for detecting anomalous network connections based on hybridization of computational intelligence methods. An analysis of approaches to detecting anomalies and abuses in computer networks. In the framework of this analysis, a classification of methods for detecting network attacks is proposed. The main results are reduced to the construction of multi-class models that increase the efficiency of the attack detection system, and can be used to build systems for classifying network parameters during the attack. (...) A model of an artificial immune system based on an evolutionary approach, an algorithm for genetic-competitive learning of the Kohonen network and a method of hierarchical hybridization of binary classifiers with the addition to the detection of anomalous network connections have been developed. The architecture of the network distributed attack detection system has been developed. The architecture of the attack detection system is two-tier: the first level provides the primary analysis of individual packets and network connections using signature analysis, the second level processes the processing of aggregate network data streams using adaptive classifiers. A signature analysis was performed to study network performance based on the Aho-Korasik and Boyer-Moore algorithms and their improved analogues were implemented using OpenMP and CUDA technologies. The architecture is presented and the main points of operation of the network attack generator are shown. A system for generating network attacks has been developed. This system consists of two components: an asynchronous transparent proxy server for TCP sessions and a frontend interface for a network attack generator. The results of the experiments confirmed that the functional and non-functional requirements, as well as the requirements for computing intelligent systems, are met for the developed attack detection system. (shrink)

Information modeling (also known as conceptual modeling or semantic data modeling) may be characterized as the formulation of a model in which information aspects of objective and subjective reality are presented (the application), independent of datasets and processes by which they may be realized (the system).A methodology for information modeling should incorporate a number of concepts which have appeared in the literature, but should also be formulated in terms of constructs which are understandable to and expressible (...) by the system user as well as the system developer. This is particularly desirable in connection with certain intimate relationships, such as being the same as or being a part of. (shrink)

This paper describes the processes of cognitive modeling and representation of human expertise for developing an ontology and knowledge base of an expert system. An ontology is an organization and classification of knowledge. Ontological engineering in artificial intelligence has the practical goal of constructing frameworks for knowledge that allow computational systems to tackle knowledge-intensive problems and supports knowledge sharing and reuse. Ontological engineering is also a process that facilitates construction of the knowledge base of an intelligent system, which can (...) be defined as a computer program that can duplicate problem-solving capabilities of human experts in specific areas. This paper presents the processes of knowledge acquisition, analysis, and representation, which laid the basis for ontology construction. In this case, the processes are applied in ontological engineering for construction of an expert system in the domain of monitoring of a petroleum production and separation facility. The acquired knowledge was also formally represented in two knowledge acquisition tools. (shrink)

The Tarskian notion of truth-in-a-model is the paradigm formal capture of our pre-theoretical notion of truth for semantic purposes. But what exactly makes Tarski’s construction so well suited for semantics is seldom discussed. In my Semantics, Metasemantics, Aboutness (OUP 2017) I articulate a certain requirement on the successful formal modeling of truth for semantics – “locality-per-reference” – against a background discussion of metasemantics and its relation to truth-conditional semantics. It is a requirement on any formal capture of sentential truth (...) vis-à-vis the interpretation of singular terms and it is clearly met by the Tarskian notion. In this paper another such requirement is articulated – “locality-per-application” – which is an additional requirement on the formal capture of sentential truth, this time vis-à-vis the interpretation of predicates. This second requirement is also clearly met by the Tarskian notion. The two requirements taken together offer a fuller answer than has been hitherto available to the question what makes Tarski's notion of truth-in-a-model especially well suited for semantics. (shrink)

Biologists and economists use models to study complex systems. This similarity between these disciplines has led to an interesting development: the borrowing of various components of model-based theorizing between the two domains. A major recent example of this strategy is economists’ utilization of the resources of evolutionary biology in order to construct models of economic systems. This general strategy has come to be called evolutionary economics and has been a source of much debate among economists. Although philosophers have developed literatures (...) on the nature of models and modeling, the unique issues surrounding this kind of interdisciplinary model building have yet to be independently investigated. In this paper, we utilize evolutionary economics as a case study in the investigation of more general issues concerning interdisciplinary modeling. We begin by critiquing the distinctions currently used within the evolutionary economics literature and propose an alternative carving of the conceptual terrain. We then argue that the three types of evolutionary economics we distinguish capture distinctions that will be important whenever resources of model-based theorizing are borrowed across distinct scientific domains. Our analysis of these model-building strategies identifies several of the unique methodological and philosophical issues that confront interdisciplinary modeling. (shrink)

Alchourrón, Gärdenfors and Makinson have developed and investigated a set of rationality postulates which appear to capture much of what is required of any rational system of theory revision. This set of postulates describes a class of revision functions, however it does not provide a constructive way of defining such a function. There are two principal constructions of revision functions, namely an epistemic entrenchment and a system of spheres. We refer to their approach as the AGM paradigm. We provide (...) a new constructive modeling for a revision function based on a nice preorder on models, and furthermore we give explicit conditions under which a nice preorder on models, an epistemic entrenchment, and a system of spheres yield the same revision function. Moreover, we provide an identity which captures the relationship between revision functions and update operators (as defined by Katsuno and Mendelzon). (shrink)

Cancer is a paradigmatic case of a complex causal process; causes of cancer operate at a variety of temporal and spatial scales, and the respects in which these causes act and interact are diverse. There are, for instance, temporal order effects, organizational effects, structural effects, and dynamic relationships between causes operating at different temporal and spatial scales. Because of this complexity, models of cancer initiation and progression often involve deliberate choices to focus on one time scale, one causal pathway, or (...) one aspect of cancer’s dynamics. As in most of biology, modeling cancer involves simplification and idealization. At the same time, theoretical perspectives inform the construction of these models. Such perspectives might involve viewing cancer ‘as’ a genetic disease, metabolic disease, stem cell disease, an infectious disease, or a disease of tissue disorganization. This paper will argue that purportedly competing theoretical views of cancer are not at odds, but can be viewed as mutually informative. Models are most often developed in the service of asking very specific questions, and this requires limiting our view of the phenomena to a specific temporal or spatial scale, a particular cause, or a particular outcome, dynamic, or pattern. Thus, while some models may seem at odds, often they are simply concerned with different questions, or, they are complementary and mutually informative. I hope to bring this case to bear on debates among philosophers of science over perspectivism and realism, as well pluralism about the aims and scope of scientific theory. (shrink)

Much of biological and economic theorizing takes place by modeling, the indirect study of real-world phenomena by the construction and examination of models. Books and articles about biological and economic theory are often books and articles about models, many of which are highly idealized and chosen for their explanatory power and analytical convenience rather than for their fit with known data sets. Philosophers of science have recognized these facts and have developed literatures about the nature of models, modeling, (...) idealization, as well as testing of models and explanation by models, for both biology and economics. The impetus for this special issue came from our recognition that there is remarkably little overlap between the “modeling in biology” and “modeling in economics” literatures, despite many of the same themes appearing in these literatures. (shrink)

The book contains thirty original articles dealing with important aspects of theoretical as well as applied economic theory. While the principal focus is on: the computational and algorithmic nature of economic dynamics; individual as well as collective decision process and rational behavior, some contributions emphasize also the importance of classical recursion theory and constructive mathematics for dynamical systems, business cycles theories, growth theories, and others are in the area of history of thought, methodology and behavioural economics. The contributors range (...) from Nobel Laureates to the promising new generation of innovative thinkers. This volume is also a Festschrift in honour of Professor Kumaraswamy Vela Velupillai, the founder of Computable Economics, a growing field of research where important results stemming from classical recursion theory and constructive mathematics are applied to economic theory. The aim and hope is to provide new tools for economic modelling. This book will be of particular appeal to postgraduate students and scholars in one or more of the following fields: computable economics, business cycles, macroeconomics, growth theories, methodology, behavioural economics, financial economics, experimental and agent based economics. It might be also of importance to those interested on the general theme of algorithmic foundations for social sciences. (shrink)

Biological modalities, i.e., biologically possible, impossible, or necessary states of affairs have not received much attention from philosophers. Yet, it is widely agreed that there are biological constraints on physically possible states of affairs, such that not everything that is physically possible is also biologically possible, even if everything that is biologically possible is also physically possible. Furthermore, biologists use concepts that appear to be modal in nature, such as the concept of evolvability in evolutionary developmental biology, or “evo-devo.” The (...) present chapter investigates what kind of modality underlies the concept of evolvability. This concept tries to capture the capacity of an organism or a lineage to sustain genetic changes that enable it to evolve or to evolve adaptively. The basic idea of the proposed approach is to construe evolvability as a kind of accessibility in a modal space. The difficult part is to specify this modal space and the relevant accessibility relation. While there may not be a general way of defining such a relation, there exist model systems for which it is possible, e.g., evolving small RNAs. The modal space in such cases turns out to be quite distinct from those constructed by philosophers, e.g., David Lewis’s similarity metric for possible worlds. Even though the biological case examined here is quite special, attending to the way in which biological possibilities are modeled in this case harbors some general lessons about biological modalities, in particular their dependence on the explanatory goals of the models modeling modality. (shrink)

Two widely accepted assumptions within cognitive science are that (1) the goal is to understand the mechanisms responsible for cognitive performances and (2) computational modeling is a major tool for understanding these mechanisms. The particular approaches to computational modeling adopted in cognitive science, moreover, have significantly affected the way in which cognitive mechanisms are understood. Unable to employ some of the more common methods for conducting research on mechanisms, cognitive scientists’ guiding ideas about mechanism have developed in conjunction (...) with their styles of modeling. In particular, mental operations often are conceptualized as comparable to the processes employed in classical symbolic AI or neural network models. These models, in turn, have been interpreted by some as themselves intelligent systems since they employ the same type of operations as does the mind. For this paper, what is significant about these approaches to modeling is that they are constructed specifically to account for behavior and are evaluated by how well they do so—not by independent evidence that they describe actual operations in mental mechanisms. (shrink)

This study provides a basic introduction to agent-based modeling (ABM) as a powerful blend of classical and constructive mathematics, with a primary focus on its applicability for social science research. The typical goals of ABM social science researchers are discussed along with the culture-dish nature of their computer experiments. The applicability of ABM for science more generally is also considered, with special attention to physics. Finally, two distinct types of ABM applications are summarized in order to illustrate concretely (...) the duality of ABM: Real-world systems can not only be simulated with verisimilitude using ABM; they can also be efficiently and robustly designed and constructed on the basis of ABM principles. (shrink)

Resumen En el texto se expone un proceso de modelación basado en dos consideraciones (Sec. 2): que los modelos son autónomos y que sus metas directas son al menos tres: estar bien construidos, adecuarse al mundo empírico y ser capaces de realizar tareas subrogatorias. Para ello, se esbozan varios ingredientes fundamentales de la tarea modeladora en la lingüística basada en evidencias, así como los de un marco formal elegido para representar aquellos. La tercera sección está dedicada a aplicar el presente (...) análisis al caso de las redes complejas con el fin de que conceptos clave como la validez, la fiabilidad y la replicabilidad de la modelación, así como el concepto de diseño experimental en RC, se puedan observar desde un prisma representacional. La sección cuarta refleja las capacidades aplicativas de (RC), especialmente en el caso del aprendizaje del lenguaje en casos atípicos y a menudo socialmente marginados. A modo de cierre, la conclusión resume la puesta en práctica de la herramienta RC. Abstract A modeling process is initially outlined based on two considerations (Sec. 2), namely that models themselves are autonomous and that their direct goals are at least threefold: to be well constructed, to fit the empirical world, and to be able to perform subrogative tasks. This section outlines the fundamental elements of the modeling task in evidence-based linguistics, as well as those of a formal framework chosen to represent the former. The third section is devoted to applying the present theoretical analysis to the case of complex networks (CN), so that key concepts such as validity, reliability and replicability of modeling, as well as the concept of experimental design in complex networks, can be viewed from a representational perspective. The fourth section reflects the application capabilities of CN, especially in the case of language learning in atypical and often socially marginalized cases. Finally, the conclusion summarizes the implementation of the CN-tool. (shrink)

Dynamic Epistemic Logic is claimed to be a dynamic version of epistemic logic. While this being true, there are several dynamical aspects that cannot be reasoned about in Dynamic Epistemic Logic. When a scenario is fixed and a possible world model representing the scenario is constructed, the possible future ways the system can evolve are in some sense already determined. For instance no new agents can enter the scenario and no new propositional facts can become relevant. This modeling perspective (...) is the main motivation for the partial version of Dynamic Epistemic Logic introduced in this paper, which in particular, allows for the set of agents and the set of propositional variables to change. (shrink)

Topic modeling—a text‐mining technique often used to uncover thematic structures in large collections of texts—has been increasingly frequently used in the context of the analysis of scholarly output. In this study, we construct a corpus of 19,488 texts published since 1971 in seven leading journals in the field of bioethics and philosophy of medicine, and we use a machine learning algorithm to identify almost 100 topics representing distinct themes of interest in the field. On the basis of intertopic correlations, (...) we group the content‐based topics into eight clusters, thus providing a novel, fine‐grained intellectual map of bioethics and philosophy of medicine. Moreover, we conduct a number of diachronic analyses, examining how the “prominence” of different topics has changed across time. In this way, we are able to observe the distinct patterns in which bioethics and philosophy of medicine have evolved and changed their focus over the past half a century. (shrink)

This paper analyzes three contrasting strategies for modeling intentional agency in contemporary analytic philosophy of mind and action, and draws parallels between them and similar strategies of scientific model-construction. Gricean modeling involves identifying primitive building blocks of intentional agency, and building up from such building blocks to prototypically agential behaviors. Analogical modeling is based on picking out an exemplary type of intentional agency, which is used as a model for other agential types. Theoretical modeling involves reasoning (...) about intentional agency in terms of some domain-general framework of lawlike regularities, which involves no detailed reference to particular building blocks or exemplars of intentional agency. Given the contrasting procedural approaches that they employ and the different types of knowledge that they embody, the three strategies are argued to provide mutually complementary perspectives on intentional agency. (shrink)

Enterprise Risk Management involves the process of identification, evaluation, treatment, and communication regarding risks throughout the enterprise. To support the tasks associated with this process, several frameworks and modeling languages have been proposed, such as the Risk and Security Overlay (RSO) of ArchiMate. An ontological investigation of this artifact would reveal its adequacy, capabilities, and limitations w.r.t. the domain of risk and security. Based on that, a language redesign can be proposed as a refinement. Such analysis and redesign have (...) been executed for the risk elements of the RSO grounded in the Common Ontology of Value and Risk. The next step along this line of research is to address the following research problems: What would be the outcome of an ontological analysis of security-related elements of the RSO? That is, can we identify other semantic deficiencies in the RSO through an ontological analysis? Once such an analysis is provided, can we redesign the security elements of the RSO accordingly, in order to produce an improved artifact? Here, with the aid of the Reference Ontology for Security Engineering (ROSE) and the ontological theory of prevention behind it, we address the remaining gap by proceeding with an ontological analysis of the security-related constructs of the RSO. The outcome of this assessment is an ontology-based redesign of the ArchiMate language regarding security modeling. In a nutshell, we report the following contributions: (1) an ontological analysis of the RSO that identifies six limitations concerning security modeling; (2) because of the key role of the notion of prevention in security modeling, the introduction of the ontological theory of prevention in ArchiMate; (3) a well-founded redesign of security elements of ArchiMate; and (4) ontology-based security modeling patterns that are logical consequences of our proposal of redesign due to its underlying ontology of security. As a form of evaluation, we show that our proposal can describe risk treatment options, according to ISO 31000. Finally, besides presenting multiple examples, we proceed with a real-world illustrative application taken from the cybersecurity domain. (shrink)

The modeling of black holes is an important desideratum for any quantum theory of gravity. Not only is a classical black hole metric sought, but also agreement with the laws of black hole thermodynamics. In this paper, we describe how these goals are achieved in string theory. We review black hole thermodynamics, and then explicate the general stringy derivation of classical spacetimes, the construction of a simple black hole solution, and the derivation of its entropy. With that in hand, (...) we address some important philosophical and conceptual questions: the confirmatory value of the derivation, the bearing of the model on recent discussions of the so-called ‘information paradox’, and the implications of the model for the nature of space. (shrink)

Edited by Daniel Rothbart of George Mason University in Virginia, this book is a collection of Rom Harré's work on modeling in science (particularly physics and psychology). In over 28 authored books and 240 articles and book chapters, Rom Harré of Georgetown University in Washington, DC is a towering figure in philosophy, linguistics, and social psychology. He has inspired a generation of scholars, both for the ways in which his research is carried out and his profound insights. For Harré, (...) the stunning discoveries of research demand a kind of thinking that is found in the construction and control of models. Iconic modeling is pivotal for representing real-world structures, explaining phenomena, manipulating instruments, constructing theories, and acquiring data. This volume in the new Elsevier book series Studies in Multidisciplinarity includes major topics on the structure and function of models, the debates over scientific realism, explanation through analogical modeling, a metaphysics for physics, the rationale for experimentation, and modeling in social encounters. * A multidisciplinary work of sweeping scope about the nature of science * Revolutionary interpretation that challenges conventional wisdom about the character of scientific thinking * Profound insights about fundamental challenges to contemporary physics * Brilliant discoveries into the nature of social interaction and human identity * Presents a rational conception of methods for acquiring knowledge of remote regions of the world * Written by one of the great thinkers of our time. (shrink)

Teaching in higher education is critical and fraught with potential vicissitudes, which necessitates the presence of efficient professors armed with positive attributes to perform effectively. Although it is generally accepted that emotion regulation has numerous benefits for language teachers, in particular university professors, little is known about how it interacts with two other important constructs, i.e., self-efficacy and L2 grit. Furthermore, the effect of ER on L2 teacher grit has not been sufficiently investigated. To fill this gap, the current study (...) was to test a structural model of English as a Foreign Language university professors’ ER, self-efficacy, and L2 grit. The participants were 356 Iranian EFL university professors who completed the Language Teacher Emotion Regulation Inventory, the Teacher Sense of Efficacy Scale, and the L2-Teacher Grit Scale. The results of Structural Equation Modeling revealed that ER and self-efficacy were strong predictors of L2 grit. Moreover, the significant role of self-efficacy on ER was discovered. The implications of this study may foster effective teaching in higher education, particularly during the COVID-19 pandemic and its impacts on education. (shrink)

Considering that the development of urbanization cannot be separated from the application of landscape pattern evolution, in order to improve the development level of ecocity, a modeling analysis of ecological urban landscape pattern evolution based on multisource remote sensing data is proposed. Taking ecotype city as the research object, the remote sensing images of ecological urban landscape pattern are screened by using multisource remote sensing data and nonremote sensing data as the basic data. CA-Markov model is constructed and the (...) evolution of ecological urban landscape pattern is analyzed. The experimental results show that, from 2005 to 2020, the development level of urbanization process is higher and higher and the area of building land patches is increasing, which reduces the fragmentation of building land patches. However, the landscape of cultivated land and green space is less and less, and the distribution of the patches also causes uneven phenomenon, which leads to the gradual decline of ecological urban landscape diversity. In the ecological urban landscape pattern, the degree of fragmentation and diversity of urban landscape is reduced due to the high connection and coverage of the construction land. (shrink)

A computational model of inference during story comprehension is presented, in which story situations are represented distributively as points in a high‐dimensional “situation‐state space.” This state space organizes itself on the basis of a constructed microworld description. From the same description, causal/temporal world knowledge is extracted. The distributed representation of story situations is more flexible than Golden and Rumelhart's [Discourse Proc 16 (1993) 203] localist representation.A story taking place in the microworld corresponds to a trajectory through situation‐state space. During the (...) inference process, world knowledge is applied to the story trajectory. This results in an adjusted trajectory, reflecting the inference of propositions that are likely to be the case. Although inferences do not result from a search for coherence, they do cause story coherence to increase. The results of simulations correspond to empirical data concerning inference, reading time, and depth of processing.An extension of the model for simulating story retention shows how coherence is preserved during retention without controlling the retention process. Simulation results correspond to empirical data concerning story recall and intrusion. (shrink)

The high traffic density of railway line causes ballasted track to be extremely busy, and thus it is particularly important to improve the efficiency during railway maintenance. The changing law of dynamic characteristics of ballast bed during operation for the dynamic track stabilizer is conducive to optimize simulation analysis of the vehicle-track system, so as to provide an optimized choice of operating parameters for promoting the pertinence and efficiency of dynamic track stabilizer. This paper presents the acceleration response of vehicle-track-subgrade (...) system during operation of a WD-320 dynamic track stabilizer and proposes the range of effective operating parameters. Then, the influence of operating parameters on the dynamic characteristics of the ballast bed is discussed for searching the optimal operating parameters under the single factor influence. Finally, the change laws including the support stiffness, damping, lateral resistance, and subsidence for the ballast bed are studied, and a parameterized model for dynamic characteristics of the ballast bed which can optimize the selection for operating parameters is constructed, rendering an effective reference variable for improving the simulation accuracy of the vehicle-track coupling system. (shrink)

In the preceding article, Buchner and Wippich used a guessing-corrected, multinomial process-dissociation analysis to test whether a gender bias in fame judgments reported by Banaji and Greenwald was unconscious. In their two experiments, Buchner and Wippich found no evidence for unconscious mediation of this gender bias. Their conclusion can be questioned by noting that the gender difference in familiarity of previously seen names that Buchner and Wippich modeled was different from the gender difference in criterion for fame judgments reported by (...) Banaji and Greenwald, the assumptions of Buchner and Wippich's multinomial model excluded processes that are plausibly involved in the fame judgment task, and the constructs of Buchner and Wippich's model that corresponded most closely to Banaji and Greenwald's gender-bias interpretation were formulated so as to preclude the possibility of modeling that interpretation. Perhaps a more complex multinomial model can model the Banaji and Greenwald interpretation. (shrink)

Context: The integration of data measured in first- and third-person frameworks is a challenge that becomes more prominent as we attempt to refine the ties between the dimensions we assume to be objective and our experience itself. As a result, cognitive science has been a target for criticism from the epistemological and methodological point of view, which has resulted in the emergence of new approaches. Neurophenomenology has been proposed as a means to address these limitations. The methodological application of this (...) discipline, even in its mildest form, enriches the methodology typically used in cognitive sciences. Problem: Nowadays psychological studies are difficult to replicate. As a way to achieve replication of results published in a previous study in order to develop a methodological adaptation suitable for electroencephalographic measurements in a subsequent experiment, first-person accounts from the participants in our pilot study were included in the experiment construction. This study’s objective is to show the benefit of including a mild-neurophenomenology-inspired approach in the adaptation from an original paradigm, which requires, foremost, the ability to replicate the original results. Method: Interviews with open and semi-structured questions were carried out at the end of an Approach-Avoidance Task (AAT. The first-person reports, together with the behavioral outcomes of each pilot, were taken into account for the development of the next piloting phase until replication of the original results was achieved, and the final experimental design was elaborated. Results: A sequence of four pilots, where the integration of third- and first-person information derived from subjects’ behavior and reported experiences while carrying them out rendered the behavioral replication we sought to achieve, providing support for a first-person enriched cognitive science paradigm. Implications: Including first-person accounts systematically during the development and performance of classic cognitive paradigms ensures that those paradigms are measuring what they claim to measure. This is the next logical step to improve replication rates, to refine the explanation of the results and avoid confounding third-person data interpretation. Constructivist content: Including first-person experiences and acknowledging the active role that participants’ experiences regarding the paradigm had in the modeling of its final version is in concordance with a constructivist standing. (shrink)

In this paper we introduce the overlapping design consensus for the construction of models in design and the related value judgments. The overlapping design consensus is inspired by Rawls’ overlapping consensus. The overlapping design consensus is a well-informed, mutual agreement among all stakeholders based on fairness. Fairness is respected if all stakeholders’ interests are given due and equal attention. For reaching such fair agreement, we apply Rawls’ original position and reflective equilibrium to modeling. We argue that by striving for (...) the original position, stakeholders expel invalid arguments, hierarchies, unwarranted beliefs, and bargaining effects from influencing the consensus. The reflective equilibrium requires that stakeholders’ beliefs cohere with the final agreement and its justification. Therefore, the overlapping design consensus is not only an agreement to decisions, as most other stakeholder approaches, it is also an agreement to their justification and that this justification is consistent with each stakeholders’ beliefs. For supporting fairness, we argue that fairness qualifies as a maxim in modeling. We furthermore distinguish values embedded in a model from values that are implied by its context of application. Finally, we conclude that for reaching an overlapping design consensus communication about properties of and values related to a model is required. (shrink)

Open peer commentary on the article “Constructivism and Computation: Can Computer-Based Modeling Add to the Case for Constructivism?” by Manfred Füllsack. Upshot: The environment is not slowly constructed by the agent but is an integral part of being an agent because both, agent and environment, are part of a closed loop system. By identifying the perturbations impacting on the loops, with the help of second-order cybernetics, the agent can identify them as its environment.

Climate change presents us with a problem of intergenerational justice. While any costs associated with climate change mitigation measures will have to be borne by the world’s present generation, the main beneficiaries of mitigation measures will be future generations. This raises the question to what extent present generations have a responsibility to shoulder these costs. One influential approach for addressing this question is to appeal to neo-classical economic cost–benefit analyses and so-called economy-climate “integrated assessment models” to determine what course of (...) action a principle of intergenerational welfare maximization would require of us. I critically examine a range of problems for this approach. First, integrated assessment models face a problem of underdetermination and induction: They are very sensitive to a number of highly conjectural assumptions about economic responses to a temperature and climate regime, for which we have no empirical evidence. Second, they involve several simplifying assumptions which cannot be justified empirically. And third, some of the assumptions underlying the construction of economic models are intrinsically normative assumptions that reflect value judgments of the modeler. I conclude that, while integrated assessment models may play a useful role as “toy models,” their use as tools for policy optimization is highly problematic. (shrink)