In a new paper in recent issue of this journal (PSTJ), Prof. M. Pitkanen describes a solar system model inspired by spiral galaxies. While we appreciate his new approach, we find it lacks substantial discussion on the nature of vortices and chirality in galaxy. Therefore we submit a viewpoint that Gross-Pitaevskii model can be a more complete description of both solar system and also spiral galaxies, especially taking into account the nature of chirality and (...) vortices in galaxies. In this article, we also hope to bring out some correspondence among existing models, so we discuss shortly: the topological vortice approach, Burgers equation in the light of KAM theory, and the Cantorian Navier-Stokes approach. Of course, this short article is far from being complete. We hope further investigation can be done around this line of approach. Aim of this paper: With this article, we hope to begin a healthy dialogue with Prof. M. Pitkanen, especially on his solar system model, since we also believe that he also support “evidence-based physics.” Limitation: In this paper we only discuss Pitkanen’s solar system model, we don’t discuss his other papers in a recent issue of PSTJ. (shrink)

There are currently serious concerns that published scientific findings often fail to be reproducible, and that some solutions may be gleaned by attending the several methodological and sociological recommendations that could be found in the literature. However, researchers would also arrive at some answers by considering the advice of the philosophy of science, particularly semantics, about theses on truth related to scientific realism. Sometimes scientists understand the correspondence thesis of truth as asserting that the next unique empirical confirmation of a (...) hypothesis suffices to attribute truth to it provisionally. Such empiricist bias is not necessarily at the core of CTT, but Mario Bunge proposed the synthetic thesis of truth, based on CTT, to explicitly avoid the bias. STT requires considering a hypothesis corroborated, both by purely empirical confirmation and external consistency or compatibility with the bulk of existing background knowledge. While a capricious understanding of CTT could be rigged to recommend the “one shot game” in hypothesis testing, STT clearly demands the use of multiple approaches, empirical as well as theoretical, and it asserts that a scientific test is effective to the extent to which it is neither purely empirical, nor viewed in isolation. Pattern consistency together with an understanding of causal relations make confirmed hypotheses robust and more reliable. The militancy of the double mechanism of hypothesis control of STT can help mitigate the reproducibility crisis. Earl Werner’s research program in community ecology is an example of the use of STT criteria, which leads to the development of reliable, cross-checked, ecological results, with high predictive capacity. (shrink)

The paper brings into light and discusses a concentric solar model briefly described in Chapter 5 of Section III of ‘Abd al-Raḥmān al-Khāzinī’s On experimental astronomy, a treatise embedded in the prolegomenon of his comprehensive Mu‘tabar zīj, completed about 1121 c.e. In it, the Sun is assumed to rotate on the circumference of a circle concentric with the Earth and coplanar with the ecliptic, but the motion of the vector joining the Earth and Sun is monitored by a (...) small eccentric hypocycle. The ratio between the distance of the hypocycle’s center from the Earth and the hypocycle’s radius is equal to the solar eccentricity in the eccentric model. The model is to account for the constancy of the apparent diameter of the solar disk as held by Ptolemy. The source of the model is unknown. Since the mechanism employed in it clearly resembles the pin-and-slot device, whose use in mechanical astronomical instruments has a long history from the Antikythera Mechanism to the medieval solar, lunar, and planetary equatoria and dials, we argue that the solar model can be positioned within this long-standing tradition and considered the result of the correct understanding of some Byzantine prototype and thus a typical example of the transmission of astronomical ideas via media of the material culture. (shrink)

This paper analyses a kinematic model for the solar motion by Quṭb al-Dīn al-Shīrāzī, a thirteenth-century Iranian astronomer at the Marāgha observatory in northwestern Iran. The purpose of this model is to account for the continuous decrease of the obliquity of the ecliptic and the solar eccentricity since the time of Ptolemy. Shīrāzī puts forward different versions of the model in his three major cosmographical works. In the final version, in his Tuḥfa, the mean ecliptic (...) is defined by an eccentric of fixed mean eccentricity and a mean obliquity fixed with respect to the celestial equator, and the center of the epicycle, which is inclined to the eccentric, moves on the eccentric with an annual period. By an additional slow motion of the sun on the epicycle, the true eccentricity of the solar deferent, defined by the annual motion of the sun, and the sun’s extreme declination from the equator change, accounting for the reduction of the eccentricity and the obliquity of the ecliptic since the time of Ptolemy. (shrink)

From Antiquity through the early modern period, the apparent motion of the Sun in longitude was simulated by the eccentric model set forth in Ptolemy’s Almagest III, with the fundamental parameters including the two orbital elements, the eccentricity e and the longitude of the apogee λ A, the mean motion ω, and the radix of the mean longitude $$ \bar{\lambda }_{0} $$ λ¯0. In this article we investigate the accuracy of 11 solar theories established across the Middle East (...) from 800 to 1600 as well as Ptolemy’s and Tycho Brahe’s, with respect to the precision of the parameter values and of the solar longitudes λ that they produce. The theoretical deviation due to the mismatch between the eccentric model with uniform motion and the elliptical model with Keplerian motion is taken into account in order to determine the precision of e and λ A in the theories whose observational basis is available. The smallest errors in the eccentricity are found in these theories: the Mumtaḥan : − 0.1 × 10−4, Bīrūnī : + 0.4 × 10−4, Ulugh Beg : − 0.9 × 10−4, and Taqī al-Dīn : − 1.1 × 10−4. Except for al-Khāzinī, the errors in the medieval determinations of the solar eccentricity do not exceed 7.7 × 10−4 in absolute value, with a mean error μ = + 2.57 × 10−4 and standard deviation σ = 3.02 × 10−4. Their precision is remarkable not only in comparison with the errors of Copernicus and Tycho, but also with the seventeenth-century measurements by Cassini–Flamsteed and Riccioli. The absolute error in λ A varies from 0.1° to 1.9° with the mean absolute error MAE = 0.87°, μ = −0.71° and σ = 0.65°. The errors in λ for the 13,000-day ephemerides show MAE < 6′ and the periodic variations mostly remaining within ± 10′, closely correlated with the accuracy of e and λ A. (shrink)

Effective robots and autonomous systems must be trustworthy. This chapter examines models of trustworthiness from a philosophical and empirical perspective to inform the design and adoption of autonomous systems. Trustworthiness is a property of trusted agents or organisations that engenders trust in other agent or organisations. Trust is a complex phenomena defined differently depending on the discipline. This chapter aims to bring different approaches under a single framework for investigation with three sorts of questions: Who or what is trustworthy?–metaphysics. How (...) do we know who or what is trustworthy?–epistemology. What factors influence what or who should we trust?–normativity. A two-component model of trust is used that incorporates competence (skills, reliability and experience) and integrity (motives, honesty and character). It is supposed that human levels of competence yield the highest trust whereas trust is reduced at sub-human and super-human levels. The threshold for trustworthiness of an agent or organisation in a particular context is a function of their relationship with the truster and potential impacts of decisions. Building trustworthy autonomous systems requires obeying the norms of logic, rationality and ethics under pragmatic constraints–even though there is disagreement on these principles by experts. Autonomous systems may need sophisticated social identities including empathy and reputational concerns to build human-like trust relationships. Ultimately transdisciplinary research drawing on metaphysical, epistemological and normative human and machine theories of trust are needed to design trustworthy autonomous systems for adoption. (shrink)

In this paper two models for movement of respiratory gases in the insect trachea are presented. One model considers the tracheal system as a single flexible compartment while the other model considers the trachea as a single flexible compartment with gas exchange. This work represents an extension of Ben-Tal’s work on compartmental gas exchange in human lungs and is applied to the insect tracheal system. The purpose of the work is to study nonlinear phenomena seen in (...) the insect respiratory system. It is assumed that the flow inside the trachea is laminar, and that the air inside the chamber behaves as an ideal gas. Further, with the isothermal assumption, the expressions for the tracheal partial pressures of oxygen and carbon dioxide, rate of volume change, and the rates of change of oxygen concentration and carbon dioxide concentration are derived. The effects of some flow parameters such as diffusion capacities, reaction rates and air concentrations on net flow are studied. Numerical simulations of the tracheal flow characteristics are performed. The models developed provide a mathematical framework to further investigate gas exchange in insects. (shrink)

ArgumentIn theAlmagest, Ptolemy finds that the apogee of Mercury moves progressively at a speed equal to his value for the rate of precession, namely one degree per century, in the tropical reference system of the ecliptic coordinates. He generalizes this to the other planets, so that the motions of the apogees of all five planets are assumed to be equal, while the solar apsidal line is taken to be fixed. In medieval Islamic astronomy, one change in this general (...) proposition took place because of the discovery of the motion of the solar apogee in the ninth century, which gave rise to lengthy discussions on the speed of its motion. Initially Bīrūnī and later Ibn al-Zarqālluh assigned a proper motion to it, although at different rates. Nevertheless, appealing to the Ptolemaic generalization and interpreting it as a methodological axiom, the dominant idea became to extend it in order to include the motion of the solar apogee as well. Another change occurred after correctly making a distinction between the motion of the apogees and the rate of precession. Some Western Islamic astronomers generalized Ibn al-Zarqālluh's proper motion of the solar apogee to the apogees of the planets. Analogously, Ibn al-Shāṭir maintained that the motion of the apogees is faster than precession. Nevertheless, the Ptolemaic generalization in the case of the equality of the motions of the apogees remained untouchable, despite the notable development of planetary astronomy, in both theoretical and observational aspects, in the late Islamic period. (shrink)

The attribution of sentience or consciousness to plants is currently a topic of debate among biologists and philosophers. The claim that plants are conscious is based on three arguments: (i) plants, like all living organisms, are sentient (biopsychism); (ii) there is a strong analogy between the phloem transport system of plants and the nervous system of animals; and (iii) plants are the cognitive equals of sentient animals. On the basis of a model of consciousness that spells out (...) criteria for assigning sentience to a living organism and presents a diagnostic evolutionary marker of consciousness, we argue that these arguments are flawed and discuss some of the ethical issues they raise. (shrink)

Ibn al-Zarqālluh (al-Andalus, d. 1100) introduced a new inequality in the longitudinal motion of the Moon into Ptolemy’s lunar model with the amplitude of 24′, which periodically changes in terms of a sine function with the distance in longitude between the mean Moon and the solar apogee as the variable. It can be shown that the discovery had its roots in his examination of the discrepancies between the times of the lunar eclipses he obtained from the data of (...) his eclipse observations over a 37-year period in the latter part of the eleventh century and the predictions made on the basis of the lunar theories in the Mumta $$\textit{\d{h}}$$ an zīj (Baghdad, ca. 830) and al-Battānī’s zīj (Raqqa, d. 929), which were available to him at the time. What Ibn al-Zarqālluh found is, in fact, a special case of the annual equation of the Moon, which is applicable in the oppositions and, thus, in the lunar eclipses. The inequality was discovered independently by Tycho Brahe (d. 1601) and Johannes Kepler (d. 1630). As Ibn Yūnus (d. 1009) reports in his $$\textit{\d{H}}$$ ākimī zīj, Ibn al-Zarqālluh’s medieval Middle Eastern predecessors, the Persian astronomers Māhānī (d. ca. 880) and Nayrīzī (d. 922) as well as ‘Alī b. Amājūr (fl. ca. 920), were already acquainted with the problem of the eclipse timing errors, but it had remained unresolved until Ibn Yūnus provided a provisional, and incorrect, solution by reducing the size of the lunar epicycle. As we argue, the diverse ways to tackle the same problem stem from two different methodologies in astronomical reasoning in the traditions developed separately in the Eastern and Western regions of the medieval Islamic domain. (shrink)

We question the widespread assumption that linguistic theory should guide the formulation of mechanistic accounts of human language processing. We develop a pseudo‐linguistic theory for the domain of linguistic stress, based on observation of the learning behavior of a perceptron exposed to a variety of stress patterns. There are significant similarities between our analysis of perception stress learning and metrical phonology, the linguistic theory of human stress. Both approaches attempt to identify salient characteristics of the stress systems under examination without (...) reference to the workings of the underlying processor. Our theory and computer simulations exhibit some strikingly suggestive correspondences with metrical theory. We show, however, that our high‐level pseudo‐linguistic account bears no causal relation to processing in the perception, and provides little insight into the nature of this processing. Because of the persuasive similarities between the nature of our theory and linguistic theorizing, we suggest that linguistic theory may be in much the same position. Contrary to the usual assumption, it may not provide useful guidance in attempts to identify processing mechanisms underlying human language. (shrink)

The aim of this paper is to demonstrate that the postulation of irreducible, distributed cognitive systems is necessary for the successful explanatory practice of cognitive science and sociology. Towards this end, and with an eye specifically on the phenomenon of distributed cognition, the debate over reductionism versus emergence is examined from the perspective of Dynamical Systems Theory. The motivation for this novel approach is threefold. Firstly, DST is particularly popular amongst cognitive scientists who work on modelling collective behaviors. Secondly, DST (...) can deliver two distinct arguments in support of the claim that the presence of mutual interactions between group members necessitates the postulation of the corresponding group entity. Thirdly, DST can also provide a succinct understanding of the way group entities exert downward causation on their individual members. The outcome is a naturalist account of the emergent, and thereby irreducible, nature of distributed cognitive systems that avoids the reductionists’ threat of epiphenomenalism, while being well in line with materialism. (shrink)

The balance between births and deaths in an age-structured population is strongly influenced by the spatial distribution of sub-populations. Our aim was to describe the demographic process of a fish population in an hierarchical dendritic river network, by taking into account the possible movements of individuals. We tried also to quantify the effect of river network changes (damming or channelling) on the global fish population dynamics. The Salmo trutta life pattern was taken as an example for.We proposed a model (...) which includes the demographic and the migration processes, considering migration fast compared to demography. The population was divided into three age-classes and subdivided into fifteen spatial patches, thus having 45 state variables. Both processes were described by means of constant transfer coefficients, so we were dealing with a linear system of difference equations. The discrete case of the variable aggregation method allowed the study of the system through the dominant elements of a much simpler linear system with only three global variables: the total number of individuals in each age-class. (shrink)

This paper obtains the weak completeness and decidability results for standard systems of modal logic using models built from formulas themselves. This line of work began with Fine (Notre Dame J. Form. Log. 16:229-237, 1975). There are two ways in which our work advances on that paper: First, the definition of our models is mainly based on the relation Kozen and Parikh used in their proof of the completeness of PDL, see (Theor. Comp. Sci. 113-118, 1981). The point is to (...) develop a general model-construction method based on this definition. We do this and thereby obtain the completeness of most of the standard modal systems, and in addition apply the method to some other systems of interest. None of the results use filtration, but in our final section we explore the connection. (shrink)

Conscious events interact with memory systems in learning, rehearsal and retrieval (Ebbinghaus 1885/1964; Tulving 1985). Here we present hypotheses that arise from the IDA computional model (Franklin,Kelemen and McCauley 1998; Franklin 2001b) of global workspace theory (Baars 1988, 2002). Our primary tool for this exploration is a flexible cognitive cycle employed by the IDA computational model and hypothesized to be a basic element of human cognitive processing. Since cognitive cycles are hypothesized to occur five to tentimes a second (...) and include interaction between conscious contents and several of the memory systems, they provide the means for an exceptionally fine-grained analysis of various cognitive tasks. We apply this tool to the small effect size of subliminal learning compared to supraliminal learning, to process dissociation, to implicit learning, to recognition vs. recall, and to the availability heuristic in recall. The IDA model elucidates the role of consciousness in the updating of perceptual memory, transient episodic memory, and procedural memory. In most cases, memory is hypothesized to interact with conscious events for its normal functioning. The methodology of the paper is unusual in that the hypotheses and explanations presented are derived from an empirically based, but broad and qualitative computational model of human cognition. (shrink)

We empirically tested Hemelrijk’s agent-based model, in which dyadic agonistic interaction between primate-group subjects determines their spatial distribution and whether or not the dominant subject has a central position with respect to the other subjects. We studied a group of captive red-capped mangabeys that met the optimal conditions for testing this model. We analyzed the spatial distribution of the subjects in relation to their rank in the dominance hierarchy and the results confirmed the validity of this model. (...) In accordance with Hemelrijk’s model, the group studied showed an ambiguity-reducing strategy that led to non-central spatial positioning on the part of the dominant subject, thus confirming the model indirectly. Nevertheless, for the model to be confirmed directly, the group has to adopt a risk-sensitive strategy so that observers can study whether dominant subjects develop spatial centrality. Our study also demonstrated that agent-based models are a good tool for the study of certain complex behaviors observed in primates because these explanatory models can help formulate suggestive hypotheses for exploring new lines of research in primatology. Keywords: Dominance-hierarchy rank; spatial distribution;Cercocebus torquatus; agent-based models. (shrink)

Context: The term “second-order cybernetics” was introduced by von Foerster in 1974 as the “cybernetics of observing systems,” both the act of observing systems and systems that observe. Since then, the term has been used by many authors in articles and books and has been the subject of many conference panels and symposia. Problem: The term is still not widely known outside the fields of cybernetics and systems science and the importance and implications of the work associated with second-order cybernetics (...) is not yet widely discussed. I claim that the transition from cybernetics to second-order cybernetics is a fundamental scientific revolution that is not restricted to cybernetics or systems science. Second-order cybernetics can be regarded as a scientific revolution for the general methodology of science and for many disciplines as well. Method: I first review the history of cybernetics and second-order cybernetics. Then I analyze the major contents of von Foerster’s fundamental revolution in science and present it as a general model for an alternative methodology of science. Subsequently, I present an example of practicing second-order socio-cybernetics from within. I describe some consequences of doing science from within, and I suggest some new horizons for second-order cybernetics. Results: Second-order cybernetics leads to a new foundation for conducting science and offers important contributions for a new way of organizing science. It expands the conception of science so that it can more adequately deal with living systems. Implications: Second-order cybernetics extends the traditional scientific approach by bringing scientists within the domain of what is described and analyzed. It provides models of research processes for when the scientist is within the system being studied. In this way it offers a new foundation for research in the social sciences, in management science, and in other fields such as the environmental sciences or the life sciences. Keywords: Epistemology, general scientific methodology, cybernetics, social sciences, action research, Heinz von Foerster. (shrink)

This article addresses the use of computer-assisted career guidance systems in career interventions. Major CACGS developed in the past decades were based on the trait-factor or person-environment fit approaches in their conceptualization and design. The strengths and limitations of these CACGS in addressing the career development needs of individuals are discussed. The Career Construction Theory is a promising paradigm to guide the development of new generations of CACGS. The narrative tradition, career adaptability model, and life-design interventions of CCT offer (...) rich conceptual and practical applications that could expand the scope and breadth of career exploration and identity construction through using CACGS. A digital system developed in Hong Kong called Infinity is a case-in-point of a CACGS where users could learn about career planning, engage in self and career construction through using the quantitative and qualitative assessment applications and gamified tools, take career planning actions over time, and communicate with their social supportive systems. Initial findings suggested that users of the system reported lesser decision-making difficulties, higher levels of decision clarity, and better understanding of what is career planning than non-users. Users from high academic achievement schools reported higher levels of career adaptability than their counterparts in schools of similar academic background. Users from low achievement schools reported higher intention to pursue government-supported universities than non-users from schools of similar background. Research and practice implications in schools and organizational settings are discussed. (shrink)

DCPS is a connectionist production system interpreter that uses distributed representations. As a connectionist model it consists of many simple, richly interconnected neuron‐like computing units that cooperate to solve problems in parallel. One motivation for constructing DCPS was to demonstrate that connectionist models are capable of representing and using explicit rules. A second motivation was to show how “coarse coding” or “distributed representations” can be used to construct a working memory that requires far fewer units than the number (...) of different facts that can potentially be stored. The simulation we present is intended as a detailed demonstration of the feasibility of certain ideas and should not be viewed as a full implementation of production systems. Our current model only has a few of the many interesting emergent properties that we eventually hope to demonstrate: It is damage‐resistant, it performs matching and variable binding by massively parallel constraint satisfaction, and the capacity of its working memory is dependent on the similarity of the items being stored. (shrink)

In this paper I argue, first, that ecologists have routinely treated humans—or more specifically, anthropogenic causal factors—as disturbing conditions. I define disturbing conditions as exogenous variables, variables “outside” a model, that when present in a target system, inhibit the applicability or accuracy of the model. This treatment is surprising given that humans play a dominant role in many ecosystems and definitions of ecology contain no fundamental distinction between human and natural. Second, I argue that the treatment of (...) humans as disturbing conditions is an idealization: since it is, and has long been, known that humans are pervasive, this treatment amounts to an intentionally introduced theoretical distortion. Finally, characterizing this treatment as idealization forces us to confront the question of its justification, and so, drawing on three different kinds of idealization, I evaluate how this treatment may be justified. (shrink)

Languages with insufficient digitally available resources, such as, Indian–Indian and English–Indian language Machine Translation system developments, faces the difficulty to translate various lexical phenomena. In this paper, we present our work on a comparative study of 440 phrase-based statistical trained models for 110 language pairs across 11 Indian languages. We have developed 110 baseline statistical machine translation systems. Then, we have augmented the training corpus with Indowordnet synset word entries of lexical database and further trained 110 models on top (...) of the baseline system. We have done a detailed performance comparison using various evaluation metrics such as BLEU score, METEOR, and TER. We observed significant improvement in evaluations of translation quality across all the 440 models after using the Indowordnet. These experiments give a detailed insight in two ways: usage of lexical database with synset mapping for resource poor languages and efficient usage of Indowordnet synset mapping. Moreover, synset mapped lexical entries helped the SMT system to handle the ambiguity to a great extent during the translation. (shrink)

Context: Philosophy of science is the branch of philosophy that deals with methods, foundations, and implications of science. It is a theory of how to create scientific knowledge. Presently, there is widespread agreement on how to do science, namely conjectures, ideally in the form of a mathematical model, and refutations, testing the model using empirical evidence. Problem: Many social scientists are using a conception of science created for the physical sciences. Expanding philosophy of science so that it more (...) successfully encompasses social systems would create new avenues of inquiry. Two dimensions could be added to philosophy of science: the amount of attention paid to the observer and the amount of impact of a theory on the system described. Method: My approach is to illuminate underlying assumptions. I claim that there are at least three epistemologies and that they can be combined to form a more robust conception of knowledge and of how to do research. There are at least four models and four basic elements being used by scientists. Results: The article identifies the logical propositions underlying second-order science. It suggests strategies for developing second-order science. And it describes several methods that can be used to practice second-order science, including how past theories have not only described but also changed the phenomenon being studied. Implications: The task for members of the scientific community, particularly social scientists, is to practice second-order science and to develop further its theories and methods. A practical implication is to accept methods for acting as well as theories as a contribution to science, since methods explicitly define the role of an observer/ participant. Constructivist content: The paper is an extension of the work of Heinz von Foerster and other second-order cyberneticians. (shrink)

differential from bottom to top, depth of fluid, and the coefficients of expansion, viscosity and thermal Bénard convection, is one of the more intensely conductivity of the fluid. Even though it is a simple studied dissipative systems, both theoretically and..

I address questions about values in model-making in engineering, specifically: Might the role of values be attributable solely to interests involved in specifying and using the model? Selected examples illustrate the surprisingly wide variety of things one must take into account in the model-making itself. The notions of system, and physically similar systems are important and powerful in determining what is relevant to an engineering model. Another example illustrates how an idea to completely re-characterize, or (...) reframe, an engineering problem arose during model-making. I employ a qualitative analogue of the notion of physically similar systems. Historical cases can thus be drawn upon; I illustrate with a comparison between a geoengineering proposal to inject, or spray, sulfate aerosols, and two different historical cases involving the spraying of DDT. The current geoengineering proposal is seen to be like the disastrous and counterproductive case, and unlike the successful case, of the spraying of DDT. I conclude by explaining my view that model-making in science is analogous to moral perception in action, drawing on a view in moral theory that has come to be called moral particularism. (shrink)

BACKGROUND -/- The need for detailed description and modeling of cells drives the continuous generation of large and diverse datasets. Unfortunately, there exists no systematic and comprehensive way to organize these datasets and their information. CELDA (Cell: Expression, Localization, Development, Anatomy) is a novel ontology for the association of primary experimental data and derived knowledge to various types of cells of organisms. -/- RESULTS -/- CELDA is a structure that can help to categorize cell types based on species, anatomical localization, (...) subcellular structures, developmental stages and origin. It targets cells in vitro as well as in vivo. Instead of developing a novel ontology from scratch, we carefully designed CELDA in such a way that existing ontologies were integrated as much as possible, and only minimal extensions were performed to cover those classes and areas not present in any existing model. Currently, ten existing ontologies and models are linked to CELDA through the top-level ontology BioTop. Together with 15.439 newly created classes, CELDA contains more than 196.000 classes and 233.670 relationship axioms. CELDA is primarily used as a representational framework for modeling, analyzing and comparing cells within and across species in CellFinder, a web based data repository on cells (http://cellfinder.org). -/- CONCLUSIONS -/- CELDA can semantically link diverse types of information about cell types. It has been integrated within the research platform CellFinder, where it exemplarily relates cell types from liver and kidney during development on the one hand and anatomical locations in humans on the other, integrating information on all spatial and temporal stages. CELDA is available from the CellFinder website: http://cellfinder.org/about/ontology. (shrink)

This book presents a thorough overview of a model of human functioning based on the idea that behavior is goal-directed and regulated by feedback control processes. It describes feedback processes and their application to behavior, considers goals and the idea that goals are organized hierarchically, examines affect as deriving from a different kind of feedback process, and analyzes how success expectancies influence whether people keep trying to attain goals or disengage. Later sections consider a series of emerging themes, including (...) dynamic systems as a model for shifting among goals, catastrophe theory as a model for persistence, and the question of whether behavior is controlled or instead 'emerges'. Three chapters consider the implications of these various ideas for understanding maladaptive behavior, and the closing chapter asks whether goals are a necessity of life. Throughout, theory is presented in the context of diverse issues that link the theory to other literatures. (shrink)

Confucianism’s long historical association with despotism has cast doubts on its compatibility with democracy, and raise questions about its relevance in contemporary societies increasingly dominated by democratic aspirations. “Confucian democracy” has been described as a “contradiction in terms” and Asian politicians have appropriated Confucianism to justify resistance to liberalization and democratization. There has been a lively debate over the question of whether democracy can be found in Confucianism, from ancient texts such as the Analects and Mencius, to Confucian institutions such (...) as those recommended by Song dynasty Huang Zongxi. Philosophers have examined similarities and differences between Western ideas, such as autonomy, liberty, and rights, that are central to democratic theories on the one hand and Confucian ideas of virtue, ren, yi, li, zhi, exemplary person and authority. Scholars have studied the biographical accounts of prominent Confucians to understand the Confucian ideal person and society. Works arguing that there are elements of democracy in Confucianism, or that some Confucian ideas could provide the basis for a contemporary Confucian democracy, differ in the kind of democracy they choose as models. Liberal democracy was the model of earlier works; with increasing criticisms of liberal democracy in the past decades, a growing number of works arguing for Confucian democracy seek alternatives to liberal democracies, many proposing some kind of communitarian democracy as having affinity with the Confucian philosophical orientation. Besides conceptions of democracy that view it in terms of political systems, Dewey’s conception of democracy as the idea of community and primarily a moral ideal has also inspired attempts to reconstruct Confucian democracy. (shrink)

From the early ninth century until about eight centuries later, the Middle East witnessed a series of both simple and systematic astronomical observations for the purpose of testing contemporary astronomical tables and deriving the fundamental solar, lunar, and planetary parameters. Of them, the extensive observations of lunar eclipses available before 1000 AD for testing the ephemeredes computed from the astronomical tables are in a relatively sharp contrast to the twelve lunar observations that are pertained to the four extant accounts (...) of the measurements of the basic parameters of Ptolemaic lunar model. The last of them are Taqī al-Dīn Muḥammad b. Ma‘rūf’s trio of lunar eclipses observed from Istanbul, Cairo, and Thessalonica in 1576–1577 and documented in chapter 2 of book 5 of his famous work, Sidrat muntaha al-afkar fī malakūt al-falak al-dawwār. In this article, we provide a detailed analysis of the accuracy of his solar and lunar observations. (shrink)

Although we believe the results reported below to have direct philosophical import, we shall for the most part confine our remarks to the realm of mathematics. The reader is referred to [4] for a philosophically oriented discussion, comprehensible to mathematicians, of tense logic.The “minimal” tense logicT0is the system having connectives ∼, →,F(“at some future time”), andP(“at some past time”); the following axioms:(whereGandHabbreviate ∼F∼ and ∼P∼ respectively); and the following rules:(8) fromαandα → β, inferβ,(9) fromα, infer any substitution instance ofα,(10) (...) fromα, inferGα,(11) fromα, inferHα.A tense logic is a systemTwhose language is that ofT0and whose axioms and rules include (1)–(11). The axioms and rules ofTother than (1)–(11) are calledproperaxioms and rules.We shall investigate three systems of semantics for tense logics, i.e. three notions ofstructureand three relations ⊧ which stand between structures and formulas. One reads⊧αas “αis valid in.” A structureis amodelof a tense logicTif every formula provable inTis valid in. A semantics isadequateforTif the set of models ofTin the semantics is characteristic forT, i.e. if wheneverT ∀ αthen there is a modelofTin the semantics such that∀ α. Two structuresand, possibly from different semantics, are calledequivalent(∼) if exactly the same formulas are valid inas in. (shrink)

Available from UMI in association with The British Library. ;This thesis investigates the application of the theory of Conceptual Structures to an Experience Base model, which is a question-answering system for a knowledge base of pseudo-natural language statements of everyday experience. This thesis progresses to extend the fundamental principles carried from the experience base, to develop a framework for Reasoning by Analogy. Both methodologies are implemented, and uncertainty in the models is handled using the theory of Support Logic. (...) ;Incompleteness of information, uncertainty of data and the need for a definite structure to the way in which rules and data interact, are aspects which must be dealt with if the experience base is to succeed. One more aspect is the knowledge representation which dictates the ease with which processing may be performed upon it. Conceptual graphs are used to store information used by an Experience Base. Control of the reasoning is effected by plausible inference reinforced by the theory of Support Logic for handling uncertainty. The knowledge base is a set of initially completely disparate islands of knowledge, which the system automatically clusters into coherent groups in an associative network. ;The principles evolved from research into experience bases lead to the conception, development and implementation of a computational framework for Analogical Reasoning. The reasoning is performed between domains of knowledge rather than within a single domain as in case-based reasoning, and operates on pseudo-natural language statements as for the experience base. It relies on relation-based structure mapping and includes a sophisticated mechanism for translating between the new problem and the analogue. The strong connection between this work and metaphor interpretation is also investigated, together with ideas on how to negotiate with the apparent multitude of types of analogical reasoning. (shrink)

When people engage in conversation, they tailor their utterances to their conversational partners, whether these partners are other humans or computational systems. This tailoring, or adaptation to the partner takes place in all facets of human language use, and is based on a mental model or a user model of the conversational partner. Such adaptation has been shown to improve listeners' comprehension, their satisfaction with an interactive system, the efficiency with which they execute conversational tasks, and the (...) likelihood of achieving higher level goals such as changing the listener's beliefs and attitudes. We focus on one aspect of adaptation, namely the tailoring of the content of dialogue system utterances for the higher level processes of persuasion, argumentation and advice-giving. Our hypothesis is that algorithms that adapt content for these processes, according to a user model, will improve the usability, efficiency, and effectiveness of dialogue systems. We describe a multimodal dialogue system and algorithms for adaptive content selection based on multi-attribute decision theory. We demonstrate experimentally the improved efficacy of system responses through the use of user models to both tailor the content of system utterances and to manipulate their conciseness. (shrink)

Contemplative practices, such as meditation and yoga, are increasingly popular among the general public and as topics of research. Beneficial effects associated with these practices have been found on physical health, mental health, and cognitive performance. However, studies and theories that clarify the underlying mechanisms are lacking or scarce. This theoretical review aims to address and compensate this scarcity. We will show that various contemplative activities have in common that breathing is regulated or attentively guided. This respiratory discipline in turn (...) could parsimoniously explain the physical and mental benefits of contemplative activities through changes in autonomic balance. We propose a neurophysiological model that explains how these specific respiration styles could operate, by phasically and tonically stimulating the vagal nerve: respiratory vagal nerve stimulation. The vagal nerve, as a proponent of the parasympathetic nervous system, is the prime candidate in explaining the effects of contemplative practices on health, mental health, and cognition. We will discuss implications and limitations of our model. (shrink)

The most important property, a distinctive feature of any intelligent system, is its decision-making ability. In this case, the more complex the problem to be solved, the more and more diverse the initial data, and the more critical it is that the decision to be made was comprehensively considered and evaluated. In many cases, simultaneously arriving various initial data, if considered separately, and decisions based on such consideration lead to completely different results, often contradicting each other. Therefore, in the (...) process of development and implementation of artificial intelligence (AI), it is especially important to investigate the “mechanism” of decision-making in conditions of the inconsistency of incoming initial data and the need to establish some generalizing rule, according to which it is possible to find a harmonizing solution taking into account various influencing factors. It is evident that when establishing the rules of decision-making, it is necessary to strive for a “positive” result from the point of view of the problem being solved. This undoubtedly requires analyzing the consequences of the decision made in a set time scale, which can be provided by appropriate feedback that will allow us to make the necessary corrective actions. Artificial intelligence in modern forms of practical realization has, as a rule, a digital embodiment. It should be taken into account that the digital representation of data inevitably shows an inaccurate display of initial values when processes of a continuous nature are considered and analyzed. Since a digital model has certain limitations and characteristic properties when analyzing and processing initial data, it is logical to assume that for this reason, there can be some general approach, some general rule, according to which a decision is made in the conditions of diverse initial data and the need to take into account the relevant consequences after the decision is made. This paper attempts to find a decision-making mechanism, harmonizing it according to the incoming external and available internal input data. (shrink)

These two small works are a good supplement to Rescher’s recent trilogy. Whereas the systems-theoretic approach is employed in Methodological Pragmatism in dealing with the problem of the legitimation of claims to factual knowledge or cognitive rationality, Dialectics deals with the argumentation aspect of thesis-introduction rather than the logical aspect of thesis-derivation. Although some key notions such as the idea of burden of proof and presumption have been stated in the former work, what is offered here is a systematic discussion (...) of a disputational model of inquiry. The principal aims are "to exhibit the sociocommunal roots of the foundations of rationality, to provide an instrument for the critique of scepticism implicit in the cognitive solipsism of the Cartesian approach, and to illuminate the communal and controversy-oriented aspects of rational argumentation and inquiry—scientific inquiry in particular." Again, Rescher limits his discussion to "the probative mechanism in the factual domain." This book, if it were not for its price, should be a good supplement to a course in "informal" logic which focuses on argumentation rather than on mere evaluation of arguments. Plausible Reasoning provides the mechanism for evaluation of plausibility claims as distinct from probabilistic ones. The basic differences between these two types of claims are clearly discussed. "Plausibility is essentially a classificatory concept which ranks theses in terms of the standing and solidity of their cognitive basis. Plausibility grades theses by an external or extrinsic standard of the hierarchical nature of their supporting bases. It classifies propositions by the status of the evidential sources or validating principles that vouch for them. Probability weighs alternatives and evaluates theses by this relative contentual weight of the supporting considerations."—A.S.C. (shrink)

Context: The advent of a general artificial intelligence mechanism that learns like humans do would represent the realization of an old and major dream of science. It could be achieved by an artifact able to develop its own cognitive structures following constructivist principles. However, there is a large distance between the descriptions of the intelligence made by constructivist theories and the mechanisms that currently exist. Problem: The constructivist conception of intelligence is very powerful for explaining how cognitive development takes place. (...) However, until now, no computational model has successfully demonstrated the underlying mechanisms necessary to realize it. In other words, the artificial intelligence (AI) community has not been able to give rise to a system that convincingly implements the principles of intelligence as postulated by constructivism, and that is also capable of dealing with complex environments. Results: This paper presents the constructivist anticipatory learning mechanism (CALM), an agent learning mechanism based on the constructivist approach of AI. It is designed to deal dynamically and interactively with environments that are at the same time partially deterministic and partially observable. CALM can model the regularities experienced in the interaction with the environment, on the sensorimotor level as well, as by constructing abstract or high-level representational concepts. The created model provides the knowledge necessary to generate the agent behavior. The paper also presents the coupled agent environment system (CAES) meta-architecture, which defines a conception of an autonomous agent, situated in the environment, embodied and intrinsically motivated. Implications: The paper can be seen as a step towards a computational implementation of constructivist principles, on the one hand suggesting a further perspective of this refreshing movement on the AI field (which is still too steeped in a behaviorist influence and dominated by probabilistic models and narrow applied approaches), and on the other hand bringing some abstract descriptions of the cognitive process into a more concrete dimension, in the form of algorithms. Constructivist content: The connection of this paper with constructivism is the proposal of a computational and formally described mechanism that implements important aspects of the subjective process of knowledge construction based on key ideas proposed by constructivist theories. (shrink)

We illustrate a generalization of Bell's inequality which is not limited to spin-1/2 or photon systems and does not depend on model-dependent assumptions. We then construct a specific class of examples, in terms of the decaying state and the correlated observables to be measured on the decay products, for which this inequality is violated by quantum mechanics. Finally we discuss the basic and practical problems involved in the measurement of these correlations.

Quantum cognition is a new theoretical framework for constructing cognitive models based on the mathematical principles of quantum theory. Due to its increasing empirical success, one wonders what it tells us about the underlying process of cognition. Does it imply that we have quantum minds and there is some sort of quantum structure in the brain? In this paper, I address this important issue by using a new result in the research of quantum foundations. Based on the PBR theorem about (...) the reality of the wave function, I show, given certain assumptions, that the wave function assigned to a cognitive system such as our brain, which is used to calculate probabilities of thoughts/judgment outcomes in quantum cognition, is a real representation of the cognitive state of the system, not a mere representation of incomplete knowledge about the state of the system. This result supports a realist interpretation of quantum cognition, according to which the cognitive state of our brain and its dynamics are not classical but quantum in quantum cognition. In short, quantum cognition implies quantum minds. However, this result does not mean that we have quantum minds and our brain is a quantum computer, since quantum cognition by its standard formulation has not been fully confirmed by experiments. The hope is that more crucial experiments can be done in the near future to determine whether or not quantum cognition is real. (shrink)

This article presents a fundamental advance in the theory of mental models as an explanation of reasoning about facts, possibilities, and probabilities. It postulates that the meanings of compound assertions, such as conditionals (if) and disjunctions (or), unlike those in logic, refer to conjunctions of epistemic possibilities that hold in default of information to the contrary. Various factors such as general knowledge can modulate these interpretations. New information can always override sentential inferences; that is, reasoning in daily life is defeasible (...) (or nonmonotonic). The theory is a dual process one: It distinguishes between intuitive inferences (based on system 1) and deliberative inferences (based on system 2). The article describes a computer implementation of the theory, including its two systems of reasoning, and it shows how the program simulates crucial predictions that evidence corroborates. It concludes with a discussion of how the theory contrasts with those based on logic or on probabilities. (shrink)

The Medical Research Council Laboratory of Molecular Biology (formerly the Medical Research Council Unit for the Study of Molecular Structure of Biological Systems) in Cambridge (England) played a key role in the postwar history of molecular biology. The paper, focussing on the early history of the institution, aims to show that the creation of the laboratory and the making of molecular biology were part of a new scientific culture set in place after World War II. In five interlinked parts it (...) deals with the institutional creation of the MRC unit dedicated to the crystallographic analysis of biological molecules; the attraction of postwar biophysics, the heading under which the work of the unit initially fell; the people who joined the laboratory and their appropriation of new technologies, in particular the electronic computer for protein crystal structure determination; the cultural appeal of postwar crystallography, as exemplified in the use of crystal structure diagrams for a wide series of consumer goods at the Festival of Britain in 1951 and the display of molecular models at the Brussels World's Fair in 1958, a key site for the presentation of science and its role in the postwar world. (shrink)

Amid increasing demands from students and the public, universities have recently reinvigorated their efforts to increase the number of faculty from underrepresented populations. Although a myriad of piecemeal programs targeting individual recruitment and development have been piloted at several institutions, overall growth in faculty diversity remains almost negligible and highly localized. To bring about genuine change, we hypothesize a consortia approach that links individuals to hiring opportunities within a state university system might be more effective. Here we present a (...) case study describing the progress of the NSF-funded Alliances for Graduate Education and the Professoriate PROMISE Academy Alliance, a consortium within the University System of Maryland collaborating to develop, implement, self-study, evaluate, and disseminate a unique postdoc-to-faculty conversion model in the biomedical sciences. The initiative centers on diversifying faculty across five institutions in the USM, including teaching-focused institutions, comprehensive universities, research institutions, and professional schools. Components of this approach include enhanced recruiting and hiring practices to attract outstanding postdoctoral scholars from underrepresented backgrounds, multi-institutional networking and professional development, and facilitated processes to transition postdocs into tenure-track positions at their postdoctoral institution or another institution in the state system. This model is distinct from more deficit-based approaches because it goes beyond focusing on building the individual’s skills to enter the professoriate. This program restructures the traditionally short-term nature of postdoctoral employment and incorporates a pathway to a tenure-track professorship at the same institution or within the same statewide system where the postdoc is trained. This multi-institutional model leverages collaboration and distinct institutional strengths to create cross-institutional support, advocacy, and policy. Importantly, it uses a decentralized financial structure that makes this approach distinctly replicable. Recognizing the immediate need for more collaborative approaches to diversify faculty and a lack of literature about such approaches, this case study describes the development of, and potential benefits of, a state university system, as well as the qualitative lessons learned from self-study, internal evaluation, external evaluation, and NSF site visits. The AGEP PROMISE Academy can serve as a model for replication at other university systems hoping to diversify their faculty. (shrink)

Precision agriculture is a breakthrough in digital farming technology, which facilitates the application of precise and exact amount of input level of water and fertilizer to the crop at the required time for increasing the yield. Since agriculture relies on direct rainfall than irrigation and the prediction of rainfall date is easily available from web source, the integration of rainfall prediction with precision agriculture helps to regulate the water consumption in farms. In this work, an edge computing model is (...) developed for predicting soil moisture in real time and managing the water usage in accordance with rain prediction. A soil moisture prediction hybrid algorithm has been developed that revolves around the decision-making techniques with live environmental parameters including weather parameters for the prediction of soil moisture through the impact of precipitation. Numerous algorithms with the combination of regression + clustering are estimated, and it is inferred that XGBoost + k-means outperforms other algorithmic combinations that is deployed in edge model. This model is used as an intermediary between the end IoT devices and cloud that results in the saving of computationally intensive processing performed on cloud servers. The servers located on a local edge network perform the developed algorithmic computations. Avoiding transmission over the cloud results in significant latency, response time, and computation power savings and therefore increases the efficiency of data transfer. The proposed edge computing model is implemented in Raspberry Pi as an edge, Heroku as cloud, and edge nodes as the combination of Pi with actuators and sensors. The monitored data from Pi are stored in MongoDB webserver that is controlled by Web dashboard. Finally, the developed model is implemented in cloud and edge where the edge server implementation performs better in terms of latency, bandwidth, throughput, response time, and CPU memory usage. (shrink)

Although Charles S. Peirce, strictly speaking, never formulated a ‘full-blown’ normative theory—a single over-all architectonic system—we believe that there lies within his work a valuable sketch of the ideal for feeling, action, and thought, and how this ideal should be followed, and in connection to this, Peirce offered a model for rational behaviour, including self-control. In the following essay we will try, modestly, to draw a rough outline of this sketch. Firstly, we will focus on the three normative (...) sciences, their relationship and their task of finding out how feeling, action and thought ought to be controlled. Then, we will take a look at the sign-universe. The very universe is a sign-universe and within this evolutionary universe feeling, matter and thought incessantly melt together into ‘concrete reasonableness’; according to Peirce, rendering the world more reasonable. This is the Summum Bonum that man can and indeed should pursue. Hence it makes absolutely no sense to speak of the three normative sciences out of this metaphysical or cosmological context. Finally, we will try to see in what way rationality can be said to fall within the spheres of self-control, bearing in mind that self-control is directly related to conditional purpose. (shrink)