We discuss the role of perceptron (or threshold) connectives in the context of Description Logic, and in particular their possible use as a bridge between statistical learning of models from data and logical reasoning over knowledge bases. We prove that such connectives can be added to the language of most forms of Description Logic without increasing the complexity of the corresponding inference problem. We show, with a practical example over the Gene Ontology, how even simple instances of perceptron connectives are (...) expressive enough to represent learned, complex concepts derived from real use cases. This opens up the possibility to import concepts learnt from data into existing ontologies. (shrink)

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

Abstract: Heart diseases are increasing daily at a rapid rate and it is alarming and vital to predict heart diseases early. The diagnosis of heart diseases is a challenging task i.e. it must be done accurately and proficiently. The aim of this study is to determine which patient is more likely to have heart disease based on a number of medical features. We organized a heart disease prediction model to identify whether the person is likely to be diagnosed with a (...) heart disease or not using the medical features of the person. We used many different algorithms of machine learning such as Gaussian Mixture, Nearest Centroid, MultinomialNB, Logistic RegressionCV, Linear SVC, Linear Discriminant Analysis, SGD Classifier, Extra Tree Classifier, Calibrated ClassifierCV, Quadratic Discriminant Analysis, GaussianNB, Random Forest Classifier, ComplementNB, MLP Classifier, BernoulliNB, Bagging Classifier, LGBM Classifier, Ada Boost Classifier, K Neighbors Classifier, Logistic Regression, Gradient Boosting Classifier, Decision Tree Classifier, and Deep Learning to predict and classify the patient with heart disease. A quite helpful approach was used to regulate how the model can be used to improve the accuracy of prediction of heart diseases in any person. The strength of the proposed model was very satisfying and was able to predict evidence of having a heart disease in a particular person by using Deep Learning and Random Forest Classifier which showed a good accuracy in comparison to the other used classifiers. The proposed heart disease prediction model will enhances medical care and reduces the cost. This study gives us significant knowledge that can help us predict the person with heart disease. The dataset was collected from Kaggle depository and the model is implemented using python. (shrink)

Let us start by some general definitions of the concept of complexity. We take a complex system to be one composed by a large number of parts, and whose properties are not fully explained by an understanding of its components parts. Studies of complex systems recognized the importance of “wholeness”, defined as problems of organization (and of regulation), phenomena non resolvable into local events, dynamics interactions in the difference of behaviour of parts when isolated or in higher configuration, etc., in (...) short, systems of various orders (or levels) not understandable by investigation of their respective parts in isolation. In a complex system it is essential to distinguish between ‘global’ and ‘local’ properties. Theoretical physicists in the last two decades have discovered that the collective behaviour of a macro-system, i.e. a system composed of many objects, does not change qualitatively when the behaviour of single components are modified slightly. Conversely, it has been also found that the behaviour of single components does change when the overall behaviour of the system is modified. There are many universal classes which describe the collective behaviour of the system, and each class has its own characteristics; the universal classes do not change when we perturb the system. The most interesting and rewarding work consists in finding these universal classes and in spelling out their properties. This conception has been followed in studies done in the last twenty years on second order phase transitions. The objective, which has been mostly achieved, was to classify all possible types of phase transitions in different universality classes and to compute the parameters that control the behaviour of the system near the transition (or critical or bifurcation) point as a function of the universality class. This point of view is not very different from the one expressed by Thom in the introduction of Structural Stability and Morphogenesis (1975). It differs from Thom’s program because there is no a priori idea of the mathematical framework which should be used. Indeed Thom considers only a restricted class of models (ordinary differential equations in low dimensional spaces) while we do not have any prejudice regarding which models should be accepted. One of the most interesting and surprising results obtained by studying complex systems is the possibility of classifying the configurations of the system taxonomically. It is well-known that a well founded taxonomy is possible only if the objects we want to classify have some unique properties, i.e. species may be introduced in an objective way only if it is impossible to go continuously from one specie to another; in a more mathematical language, we say that objects must have the property of ultrametricity. More precisely, it was discovered that there are conditions under which a class of complex systems may only exist in configurations that have the ultrametricity property and consequently they can be classified in a hierarchical way. Indeed, it has been found that only this ultrametricity property is shared by the near-optimal solutions of many optimization problems of complex functions, i.e. corrugated landscapes in Kauffman’s language. These results are derived from the study of spin glass model, but they have wider implications. It is possible that the kind of structures that arise in these cases is present in many other apparently unrelated problems. Before to go on with our considerations, we have to pick in mind two main complementary ideas about complexity. (i) According to the prevalent and usual point of view, the essence of complex systems lies in the emergence of complex structures from the non-linear interaction of many simple elements that obey simple rules. Typically, these rules consist of 0–1 alternatives selected in response to the input received, as in many prototypes like cellular automata, Boolean networks, spin systems, etc. Quite intricate patterns and structures can occur in such systems. However, what can be also said is that these are toy systems, and the systems occurring in reality rather consist of elements that individually are quite complex themselves. (ii) So, this bring a new aspect that seems essential and indispensable to the emergence and functioning of complex systems, namely the coordination of individual agents or elements that themselves are complex at their own scale of operation. This coordination dramatically reduces the degree of freedom of those participating agents. Even the constituents of molecules, i.e. the atoms, are rather complicated conglomerations of subatomic particles, perhaps ultimately excitations of patterns of superstrings. Genes, the elementary biochemical coding units, are very complex macromolecular strings, as are the metabolic units, the proteins. Neurons, the basic elements of cognitive networks, themselves are cells. In those mentioned and in other complex systems, it is an important feature that the potential complexity of the behaviour of the individual agents gets dramatically simplified through the global interactions within the system. The individual degrees of freedom are drastically reduced, or, in a more formal terminology, the factual space of the system is much smaller than the product of the state space of the individual elements. That is one key aspect. The other one is that on this basis, that is utilizing the coordination between the activities of its members, the system then becomes able to develop and express a coherent structure at a higher level, that is, an emergent behaviour (and emergent properties) that transcends what each element is individually capable of. (shrink)

Unlike other writing systems that are readily classifiable as alphabetic or syllabic in their structure, the Indic Devanagari script (of which Hindi is an example) has properties of both syllabic and alphabetic writing systems. Whereas Devanagari consonants are written in a linear left-to-right order, vowel signs are positioned nonlinearly above, below, or to either side of the consonants. This fact results in certain words in Hindi for which, in a given syllable, the vowel precedes the consonant in writing but (...) follows it in speech. The current research exploited this property of the script to examine when the disparity between spatial and temporal sequenc- ing would incur a processing cost and the implications of the findings from naming speed, accuracy, and writing order for the level at which words in Devanagari are segmented. The results support a partly phonemic and partly syllabic level of segmentation, consistent with the structural hybridity of the script. (shrink)

Objective: Changing contour lines of the external nose following traumatic, aesthetic and tumour surgeries have become very trendy. The goal of this research is to study the several soft tissue landmarks, measurements (linear distances, ratios, angles) of the external nose and its nasal indicis using a computer program. Methods: Face region were taken a photographs of the two hundred adults. Analyses of linear (the lengths of nares, nasal bridge, and columella and nose height, nares width) and angular analyses (...) (angles of nasofrontal, nasolabial and nasal tip) were computed and averaged for gender with age. As for the shape of the nose, it was categorized as subunits: nasal tip (sharp, normal, wide, protrusive and asymmetric), nasal base (normal, wide, asymmetric) nasal alae (normal, thick, thin, asymmetric), nares (normal, horizontal and asymmetric) and columella (normal, wide, short and bifid) nasal base, nares, nasal alae, columella and classified subunit as normal, protrusive, sharp, asymmetric, and wide. Results: The nose height have to 49.05 ± 3.48 mm in young male adults, 50.37 ± 2.33 mm in young female adults. Distance lengthwise the nasal bridge have to 48.60 ± 3.24 in males, 37.09 ± 5.49 females. The two mean measured nasal lengths were significantly greater in men. At the same time, angular measurements for nasolabial and interalar were higher in males. Nasal tip angle was 127.47 ± 82.9° in males, 75.8° in females. On average, young male adults had larger nasal linear distances such as nasal bridge length, nares lengths and nares widths relation of height than young female adults (p;<0.01); No gender differences were observed for columella widths and to nose height ratio (p;<0.01). The nasofrontal, nasal tip, nasolabial and interalar angles showed statistically significant differences among young male adults and young female adults (p;<0.05). The nasolabial angle exhibited considerable variability. The shape details of nares was showed large variability. Nasal base, nasal tip and nasal alae shapes were similar, nares asymmetry was more frequently compared with other features. Conclusions: The Anatolian people’s nose exhibits wide nasal tip, has a wider nasal base, and is more thicker at the alae, with wider definition of the columella. The significant gender differences of nasal shapes were found. The wide and sharp features of nasal tip were related to an important features in men, whereas asymmetric nares were dominant in young female adults. Using digitized reference details, this study helped define the best cosmetic surgery recreate the nose and increase the success of customized therapy. Also, our findings facial alteratios, facial reconstruction, personal identification, Trauma assessments may also have data banks based on age and gender. (shrink)

Humankind is currently confronted with a critical challenge that determines its very existence, not only on an individual, racial, or national level but as a whole species: the fight against climate change and environmental degradation. To win this battle, humanity needs innovations and non-linear thinking. Nature has long been a substantial information source for unthinkable discoveries that save human lives. The paper suggests that by understanding the nature, emergence, and mechanism of serendipity, the survival skill of humans, humanity can (...) capitalize on it to learn from nature and generate nature-based innovations that can address the climate and environmental degradation crises. In the era of Artificial Intelligence (AI) proliferation, AI will be a vital tool providing navigational and useful information to leverage the power of serendipity in climate and sustainability science. However, an eco-surplus culture that incorporates core values pertaining to nature and sees environmental sustainability as the conscience of the times needs to be built to direct and control the immense power of AI-leveraged serendipity. Insights applied in this paper are drawn from the book titled “A New Theory of Serendipity: Nature, Emergence and Mechanism”. (shrink)

This article examines the distinction between active matter and active materials, and it offers foundational remarks toward a system of classification for active materials. Active matter is typically identified as matter that exhibits two characteristic features: self-propelling parts, and coherent dynamical activity among the parts. These features are exhibited across a wide range of organic and inorganic materials, and they are jointly sufficient for classifying matter as active. Recently, the term “active materials” has entered scientific use as a complement, supplement, (...) and extension of “active matter.” At the same time, new work in the philosophy of science has considered the problem of how to classify the products of synthetic and laboratory processes, and the extent to which the aims of classifying natural kinds compare and contrasts with the aims of classifying these synthetic kinds. In this article, I apply those considerations to the problems of classifying and characterizing active materials. In doing so, I also argue for a conception of active materials’ coherent dynamical activity as multiscale, rather than emergent, and I discuss how the special non-equilibrium status of active materials factors in to classificatory concerns. (shrink)

The aim of this paper is to propose a systematic classification of emotions which can also characterize their nature. The first challenge we address is the submission of clear criteria for a theory of emotions that determine which mental phenomena are emotions and which are not. We suggest that emotions as a subclass of mental states are determined by their functional roles. The second and main challenge is the presentation of a classification and theory of emotions that can account for (...) all existing varieties. We argue that we must classify emotions according to four developmental stages: 1. pre-emotions as unfocussed expressive emotion states, 2. basic emotions, 3. primary cognitive emotions, and 4. secondary cognitive emotions. We suggest four types of basic emotions (fear, anger, joy and sadness) which are systematically differentiated into a diversity of more complex emotions during emotional development. The classification distinguishes between basic and non-basic emotions and our multi-factorial account considers cognitive, experiential, physiological and behavioral parameters as relevant for constituting an emotion. However, each emotion type is constituted by a typical pattern according to which some features may be more significant than others. Emotions differ strongly where these patterns of features are concerned, while their essential functional roles are the same. We argue that emotions form a unified ontological category that is coherent and can be well defined by their characteristic functional roles. Our account of emotions is supported by data from developmental psychology, neurobiology, evolutionary biology and sociology. (shrink)

In this volume, leading philosophers of psychiatry examine psychiatric classification systems, including the Diagnostic and Statistical Manual of Mental Disorders, asking whether current systems are sufficient for effective diagnosis, treatment, and research. Doing so, they take up the question of whether mental disorders are natural kinds, grounded in something in the outside world. Psychiatric categories based on natural kinds should group phenomena in such a way that they are subject to the same type of causal explanations and respond similarly to (...) the same type of causal interventions. When these categories do not evince such groupings, there is reason to revise existing classifications. The contributors all question current psychiatric classifications systems and the assumptions on which they are based. They differ, however, as to why and to what extent the categories are inadequate and how to address the problem. Topics discussed include taxometric methods for identifying natural kinds, the error and bias inherent in DSM categories, and the complexities involved in classifying such specific mental disorders as "oppositional defiance disorder" and pathological gambling. -/- Contributors George Graham, Nick Haslam, Allan Horwitz, Harold Kincaid, Dominic Murphy, Jeffrey Poland, Nancy Nyquist Potter, Don Ross, Dan Stein, Jacqueline Sullivan, Serife Tekin, Peter Zachar. (shrink)

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We (...) then consider a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees. (shrink)

We show that linear logic can serve as an expressive framework in which to model a rich variety of combinatorial auction mechanisms. Due to its resource-sensitive nature, linear logic can easily represent bids in combinatorial auctions in which goods may be sold in multiple units, and we show how it naturally generalises several bidding languages familiar from the literature. Moreover, the winner determination problem, i.e., the problem of computing an allocation of goods to bidders producing a certain amount (...) of revenue for the auctioneer, can be modelled as the problem of finding a proof for a particular linear logic sequent. (shrink)

In this book, the authors introduce the notion of Super linear algebra and super vector spaces using the definition of super matrices defined by Horst (1963). Many theorems on super linear algebra and its properties are proved. Some theorems are left as exercises for the reader. These new class of super linear algebras which can be thought of as a set of linear algebras, following a stipulated condition, will find applications in several fields using computers. The (...) authors feel that such a paradigm shift is essential in this computerized world. (shrink)

Aristotle, in Chapter 7 of his Categories, classifies habits and dispositions, as well as knowledge, among relatives. However, in Chapter 8 of the Categories, he affirms that habits, including knowledge, and dispositions, including unstable knowledge, are qualities. Thus, habits and dispositions in general, and knowledge in particular, seem to be subject to a ‘dual categorization’. At the end of Chapter 8 of the treatise, the issue of the dual categorization is explicitly raised. How can one and the same thing be (...) a quality and a relative? Aristotle gives two distinct solutions to this problem. Both have been criticized by some modern commentators : these solutions would amount to a rejection of the basic principles of the categorial system and, as such, to a sort of philosophical suicide. However, Aristotle’s early commentators, notably the Greek Neoplatonists and Boethius, made attempts to render both solutions plausible and compatible with the rest of the doctrine. Their attempts are not only of exegetical interest, they also contain some significant philosophical analyses concerning the categories. In what follows, I will present the abovementioned problem of dual categorization in Aristotle and the two solutions offered to it in Categories, 8, 11a20-38. I will then turn to the early reception of this text, and focus on the way the Greek Neoplatonists and Boethius tried to make Aristotle’s solutions more plausible. Throughout, I will try to establish in what sense habits and dispositions in general, and knowledge in particular, are relative. I will conclude with some remarks on the later reception of Categories, 8, 11a20-38 and on the problem of the ontological status of mental acts and states. (shrink)

We study the first-order theories of some natural and important classes of coloured trees, including the four classes of trees whose paths have the order type respectively of the natural numbers, the integers, the rationals, and the reals. We develop a technique for approximating a tree as a suitably coloured linear order. We then present the first-order theories of certain classes of coloured linear orders and use them, along with the approximating technique, to establish complete axiomatisations of the (...) four classes of trees mentioned above. (shrink)

This paper argues that we should replace the common classification of theories of welfare into the categories of hedonism, desire theories, and objective list theories. The tripartite classification is objectionable because it is unduly narrow and it is confusing: it excludes theories of welfare that are worthy of discussion, and it obscures important distinctions. In its place, the paper proposes two independent classifications corresponding to a distinction emphasised by Roger Crisp: a four-category classification of enumerative theories (about which items constitute (...) welfare), and a four-category classification of explanatory theories (about why these items constitute welfare). (shrink)

In the political discourse regarding gender identity, the concept of biological sex has been weaponised by gender critical commentators to oppose gender affirmation for trans people. Recently, these commentators have appealed to an essentialist model of sex based on anisogamy, or relative gamete size, to argue that one’s sex is an immutable characteristic. I argue that the gender critical argument is unsound. The diverse purposes of sex classification and the complex variability of people’s sexual characteristics show that an essentialist model (...) is untenable. I then consider how a more adequate theoretical framework from the philosophy of biology can accommodate this complexity and capture how sex is classified in relevant contexts. Further implications of the framework are explored which concern the vagueness, polysemy, and mutability of sex. These undercut the gender critical argument and show that the appeal to biological sex fails to undermine gender affirmation for trans people. (shrink)

We present a technique for the analysis of pattern formation by a class of models for the formation of ocular dominance stripes in the striate cortex of some mammals. The method, which employs the adiabatic approximation to derive a set of ordinary differential equations for patterning modes, has been successfully applied to reaction-diffusion models for striped patterns [1]. Models of ocular dominance stripes have been studied [2,3] by computation, or by linearization of the model equations. These techniques do not provide (...) a rationale for the origin of the stripes. We show here that stripe formation is a non-linear property of the models. Our analysis indicates that stripe selection is closely linked to a property in the dynamics of the models which arises from a symmetry between ipsilateral and contralateral synapses to the visual cortex of a given hemisphere. (shrink)

A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating (...) values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behavior is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper. (shrink)

The representation and classification of the structure of natural arguments has been one of the most important aspects of Aristotelian and medieval dialectical and rhetorical theories. This traditional approach is represented nowadays in models of argumentation schemes. The purpose of this article is to show how arguments are characterized by a complex combination of two levels of abstraction, namely, semantic relations and types of reasoning, and to provide an effective and comprehensive classification system for this matrix of semantic and quasilogical (...) connections. To this purpose, we propose a dichotomous criterion of classification, transcending both levels of abstraction and representing not what an argument is but how it is understood and interpreted. The schemes are grouped according to an end-means criterion, which is strictly bound to the ontological structure of the conclusion and the premises. On this view, a scheme can be selected according to the intended or reconstructed purpose of an argument and the possible strategies that can be used to achieve it. (shrink)

We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, into linear logic. In this model, multisets of goods, allocations of resources, preferences of agents, and deals are all modelled as formulas of linear logic. Whether or not a proposed deal is rational, given the preferences of the agents concerned, reduces to a question of provability, as does the question (...) of whether there exists a sequence of deals leading to an allocation with certain desirable properties, such as maximising social welfare. Thus, linear logic provides a formal basis for modelling convergence properties in distributed resource allocation. (shrink)

We begin by describing recent developments in the burgeoning discipline of applied ontology, focusing especially on the ways ontologies are providing a means for the consistent representation of scientific data. We then introduce Basic Formal Ontology (BFO), a top-level ontology that is serving as domain-neutral framework for the development of lower level ontologies in many specialist disciplines, above all in biology and medicine. BFO is a bicategorial ontology, embracing both three-dimensionalist (continuant) and four-dimensionalist (occurrent) perspectives within a single framework. We (...) examine how BFO-conformant domain ontologies can deal with the consistent representation of scientific data deriving from the measurement of processes of different types, and we outline on this basis the first steps of an approach to the classification of such processes within the BFO framework. (shrink)

We present a study of linear models using the concepts of neutrosophic science, the science that was built on the basis that there is no absolute truth, there is no confirmed data, issues cannot be limited to right and wrong only. There is a third state between error and right, an indeterminate, undetermined, uncertain state. It is indeterminacy. Neutrosophic science gave each issue three dimensions, namely (T, I, F), correctness in degrees, indeterminacy in degrees, and error in degrees. It (...) was founded by the American philosopher and mathematician Florentin Smarandache, in 1995 and came as a generalization of fuzzy logic that was founded by the scientist Lotfi. A. Zadeh, in 1965. (shrink)

The mapping of numbers onto space is fundamental to measurement and to mathematics. Is this mapping a cultural invention or a universal intuition shared by all humans regardless of culture and education? We probed number-space mappings in the Mundurucu, an Amazonian indigene group with a reduced numerical lexicon and little or no formal education. At all ages, the Mundurucu mapped symbolic and nonsymbolic numbers onto a logarithmic scale, whereas Western adults used linear mapping with small or symbolic numbers and (...) logarithmic mapping when numbers were presented nonsymbolically under conditions that discouraged counting. This indicates that the mapping of numbers onto space is a universal intuition and that this initial intuition of number is logarithmic. The concept of a linear number line appears to be a cultural invention that fails to develop in the absence of formal education. (shrink)

The advent of virtual currencies such as bitcoin raises a pressing question for lawmakers, regulators, and judges: should bitcoin and other virtual currencies be classified as money or currency for legal and regulatory purposes? I examine two different approaches to answering this question—a descriptive approach and a normative approach. The descriptive approach says that bitcoin and other virtual currencies should be classified as money or currency just in case they really are money or currency, whereas the normative approach says that (...) this question of classification should be answered on the basis of substantive normative considerations. I argue against the descriptive approach and in favor of the normative approach. (shrink)

Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object.

The rapid rise of generative AI, including LLMs, has prompted a great deal of concern, both within and beyond academia. One of these concerns is that generative models embed, reproduce, and therein potentially perpetuate all manner of bias. The present study offers an alternative perspective: exploring the potential of LLMs to detect bias in human generated text. Our target is genetic essentialism in obesity discourse in Australian print media. We develop and deploy an LLM-based classification model to evaluate a large (...) sample of relevant articles (n=26,163). We show that our model detects genetic essentialist biases as reliably as human experts; and find that, while genes figure less prominently in popular discussions of obesity than previous work might suggest, when genetic information is invoked, it is often presented in a biased way. Implications for future work are discussed. (shrink)

One of the most important theories in linear programming is the dualistic theory and its basic idea is that for every linear model has dual linear model, so that solving the original linear model gives a solution to the dual model. Therefore, when we solving the linear programming model, we actually obtain solutions for two linear models. In this research, we present a study of the models. The neutrosophic dual and the binary simplex algorithm, (...) which works to find the optimal solution for the original and dual models at the same time. The importance of this algorithm is evident in that it is relied upon in several operations research topics, such as integer programming algorithms, some nonlinear programming algorithms, and sensitivity analysis in linear programming. (shrink)

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems (...) in the traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)

The exploration of the literature indicated that much studies abound in related areas. Much seems yet to be known about the nature of the relationship that exists between managerial variables and the sustainability of graduate programmes. To bridge this gap, we utilized a standardised multiple regression approach to build up linear models that examine three managerial processes (strategic planning, staff and information/communication management) and how they affect three proxies of the sustainability of graduate programmes (availability of funds and facilities, (...) as well as supervision) respectively and cumulatively. Quantitative data were obtained from an entire population of 149 managers (Head of Departments and Deans) in the University of Calabar, Calabar, Nigeria using a questionnaire. Findings emerged, among others, a significant relationship between each of the managerial processes to the sustainability of graduate programmes generally and particularly in terms of availability of funds, facilities and supervision; the three predictor variables partially and jointly accounted for significant proportions in the sustainability of graduate programmes generally and specifically in terms of the various dimensions. Based on this evidence, one general and three partial predictive linear equations, as well as models were derived, while relevant action-based implications for effective management and practice were discussed. (shrink)

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

Given a class of linear order types C, we identify and study several different classes of trees, naturally associated with C in terms of how the paths in those trees are related to the order types belonging to C. We investigate and completely determine the set-theoretic relationships between these classes of trees and between their corresponding first-order theories. We then obtain some general results about the axiomatization of the first-order theories of some of these classes of trees in terms (...) of the first-order theory of the generating class C, and indicate the problems obstructing such general results for the other classes. These problems arise from the possible existence of nondefinable paths in trees, that need not satisfy the first-order theory of C, so we have started analysing first order definable and undefinable paths in trees. (shrink)

This paper aims to address the lack of critique of the linear model in geoengineering governance discourse, and to illustrate different considerations for a geoengineering governance framework that is not based on a linear model of technology innovation. Finally, we set to explore a particular approach to geoengineering governance based on Peter-Paul Verbeek’s notion of ‘technology accompaniment’.

After employing the mindsponge mechanism and 3D information process of creativity to explain the serendipity process in previous chapters, we realize that it may be helpful to delve into the relations between serendipity and the formulation of new values and information connections through non-linear processes. Thus, this chapter summarizes some preliminary attempts to use non-linear information processes to explain serendipity. We also briefly mention the benefits of information exchange among members of social groups and explain this approach.

The art of Simon Finn has always had a markedly temporal dynamic. Vast structures built and annihilated again and again across different media, their fragmentation across space and time simultaneously methodical and darkly chaotic. Roiling waters and eldritch surfaces held captive in their unrest. Finn’s works render cycles of construction and disintegration, of stasis and motion, in ways that shed light upon the underlying structures of our experience of time while shattering simplistic notions of linearity. This is nowhere more apparent (...) than in Instability, through which Finn allows us to explore the intertwining of personal and historical time, ancestral memory and radical futurity, artefactual form and temporal function. (shrink)

The water scarcity crisis is becoming more severe across the globe and recycled water has been suggested as a feasible solution to the crisis. However, expanding the use of potable and recycled public water has been hindered by public acceptance. Previous studies suggest threat perception and trust of provided information have positive linear relationships with recycled water acceptance. However, given the complex filtering role of trust in the human mental process, we argue that the effects of threat perception and (...) trust may have non-linear relationships with acceptance of recycled water for drinking. To support and validate this argument, we employed Bayesian Mindsponge Framework analytics on 726 Spanish residents. We found that individuals more concerned about water shortage are less likely to accept using recycled water for drinking if their trust in the water quality and safety is low. Meanwhile, people more concerned about water shortage are more likely to accept using recycled water for drinking if they trust the water quality and safety. The findings suggest the non-linear relationships between threat perception, trust, and recycled water acceptance while validating mindsponge-based reasoning. Moreover, the results also highlight the importance of trust in influencing the mental process’s outcome: recycled water acceptance. (shrink)

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

Abstract: A corn crop typically refers to a large-scale cultivation of corn (also known as maize) for commercial purposes such as food production, animal feed, and industrial uses. Corn is one of the most widely grown crops in the world, and it is a major staple food for many cultures. Corn crops are grown in various regions of the world with different climates, soil types, and farming practices. In the United States, for example, the Midwest is known as the "Corn (...) Belt" due to its extensive corn production. Corn crops can be grown using a variety of methods, including conventional tillage, no-till farming, and the use of genetically modified crops. Due to its importance, there is a need for discovering the corn diseases and treating them. The aim of this study is to propose a deep learning model for the classification of corn leaf diseases based on Convolutional Neural Network. A model for classifying maize diseases was developed using a dataset for classifying Corn diseases that contains 4 classes of disease. The dataset was collected from Keggel website. The proposed model was trained, validated, and tested. The F1-score (99.83%), Recall (99.83%), precision (99.83%), Accuracy (99.83%). (shrink)

A novel advantage of the use of machine learning (ML) systems in medicine is their potential to continue learning from new data after implementation in clinical practice. To date, considerations of the ethical questions raised by the design and use of adaptive machine learning systems in medicine have, for the most part, been confined to discussion of the so-called “update problem,” which concerns how regulators should approach systems whose performance and parameters continue to change even after they have received regulatory (...) approval. In this paper, we draw attention to a prior ethical question: whether the continuous learning that will occur in such systems after their initial deployment should be classified, and regulated, as medical research? We argue that there is a strong prima facie case that the use of continuous learning in medical ML systems should be categorized, and regulated, as research and that individuals whose treatment involves such systems should be treated as research subjects. (shrink)

This study aims to identify social media and its relation with depression and how social media affects the mental health of individuals. The general Pakistani public who have attended college and are well educated is the study's target population. This research is based on a quantitative technique. A modified questionnaire was used in accordance with the study's objectives. The data was collected using Google forms. Five-point likert scales were preferred for the data collection when convenience sampling was used. The five-point (...) Likert scale served as the foundation for the survey. The ADANCO software was used to carry out the testing. These tests include the convergent validity, discriminant validity, and Cronbach's alpha reliability and validity tests. ADANCO has been used to measure the path coefficient, adjusted (R2), and coefficient of determination (R2). The confined areas for answers in Pakistan were the main focus of this investigation. The sample size for this study is small relative to the population because it was completed in a short time. The findings of this study show that social media can eventually lead to depression. In this study, the elements that affect mental health by excessive use of social media were examined. Numerous studies have been conducted on the detection of depression by the use of social media through bagging classifiers. We have collected data on the detection of depression through bagging classifiers and have added it to our literature review. (shrink)

Numerous problems arising in engineering applications can have several objectives to be satisfied. An important class of problems of this kind is lexicographic multi-objective problems where the first objective is incomparably more important than the second one which, in its turn, is incomparably more important than the third one, etc. In this paper, Lexicographic Multi-Objective Linear Programming (LMOLP) problems are considered. To tackle them, traditional approaches either require solution of a series of linear programming problems or apply a (...) scalarization of weighted multiple objectives into a single-objective function. The latter approach requires finding a set of weights that guarantees the equivalence of the original problem and the single-objective one and the search of correct weights can be very time consuming. In this work a new approach for solving LMOLP problems using a recently introduced computational methodology allowing one to work numerically with infinities and infinitesimals is proposed. It is shown that a smart application of infinitesimal weights allows one to construct a single-objective problem avoiding the necessity to determine finite weights. The equivalence between the original multi-objective problem and the new single-objective one is proved. A simplex-based algorithm working with finite and infinitesimal numbers is proposed, implemented, and discussed. Results of some numerical experiments are provided. (shrink)

This paper presents a systematic approach for analyzing and explaining the nature of social groups. I argue against prominent views that attempt to unify all social groups or to divide them into simple typologies. Instead I argue that social groups are enormously diverse, but show how we can investigate their natures nonetheless. I analyze social groups from a bottom-up perspective, constructing profiles of the metaphysical features of groups of specific kinds. We can characterize any given kind of social group with (...) four complementary profiles: its “construction” profile, its “extra essentials” profile, its “anchor” profile, and its “accident” profile. Together these provide a framework for understanding the nature of groups, help classify and categorize groups, and shed light on group agency. (shrink)

Well-being measurements are frequently used to support conclusions about a range of philosophically important issues. This is a problem, because we know too little about the intervals of the relevant scales. I argue that it is plausible that well-being measurements are non-linear, and that common beliefs that they are linear are not truth-tracking, so we are not justified in believing that well-being scales are linear. I then argue that this undermines common appeals to both hypothetical and actual (...) well-being measurements; I first focus on the philosophical literature on prioritarianism and then discuss Kahneman’s Peak-End Rule as a systematic bias. Finally, I discuss general implications for research on well-being, and suggest a better way of representing scales. (shrink)

Linear Algebra is an extremely important field that extends everyday concepts about geometry and algebra into higher spaces. This text serves as a gentle motivating introduction to the principles (and philosophy) behind linear algebra. This is aimed at undergraduate students taking a linear algebra class - in particular engineering students who are expected to understand and use linear algebra to build and design things, however it may also prove helpful for philosophy majors and anyone else interested (...) in the ideas behind linear algebra. Linear algebra is used extensively in statistics, mechanical engineering, circuit theory, signal processing, economics and data science/machine learning. I have found in my teaching career that students tend to struggle the most with motivating the "why" behind the abstract concepts discussed in linear algebra. This can be difficult for professors to understand because we are so used to using the language of linear algebra we take for granted why these questions are important in the first place. In other words, we may understand the “why” (after years of using these tools), but our students may not. This text seeks to explain this “why” in an accessible, engaging way. (shrink)

The purpose of this paper is to contribute to the ongoing analyses that aim to confront the problem of marked variation. Negatively marked differences are those natural variations that are used to cleave human beings into different categories (e.g., of disablement, of medicalized pathology, of subnormalcy, or of deviance). The problem of marked variation is: Why are some rather than other variations marked as epistemically or culturally significant or as a diagnostic of pathology, and What is the epistemic background that (...) makes these—rather than other variations—marked as subnormal? For Wilson (2018a), critical examination of the problem of marked variation is central to understanding the epistemology of medicalized pathology that made the history of eugenics possible. My aim is to explore the role marked variation plays in eugenic and other problematic classifications and the inferences they appear to license. I pay particular attention to the normative valuations of marked variations, how these valuations affect the inferences that are made by others about those possessing the variation, and how those possessing the variation perceive themselves. In the final sections, I illustrate this by critically discussing three putative kinship conceptions of race. I rely on these to extend the scope of the puzzle of marked variation from the context of historic and current markings of an individual’s variation as disability in the eugenics movement to historic and current markings for assigning putative racial ascriptions to individuals and groups. Lastly, I suggest that the problem of marked variation is a problem that looms over any epistemic account that is dependent upon sorting or classifying. (shrink)

Embodied cognitive theories predict that linguistic conceptual representations are grounded and continually represented in real world, sensorimotor experiences. However, there is an on-going debate on whether this also holds for abstract concepts. Grammar is the archetype of abstract knowledge, and therefore constitutes a test case against embodied theories of language representation. Former studies have largely focussed on lexical-level embodied representations. In the present study we take the grounding-by-modality idea a step further by using reaction time (RT) data from the linguistic (...) processing of nominal classifiers in Chinese. We take advantage of an independent body of research, which shows that attention in hand space is biased. Specifically, objects near the hand consistently yield shorter RTs as a function of readiness for action on graspable objects within reaching space, and the same biased attention inhibits attentional disengagement. We predicted that this attention bias would equally apply to the graspable object classifier but not to the big object classifier. Chinese speakers (N = 22) judged grammatical congruency of classifier-noun combinations in two conditions: graspable object classifier and big object classifier. We found that RTs for the graspable object classifier were significantly faster in congruent combinations, and significantly slower in incongruent combinations, than the big object classifier. There was no main effect on grammatical violations, but rather an interaction effect of classifier type. Thus, we demonstrate here grammatical category- specific effects pertaining to the semantic content and by extension the visual and tactile modality of acquisition underlying the acquisition of these categories. We conclude that abstract grammatical categories are subjected to the same mechanisms as general cognitive and neurophysiological processes and may therefore be grounded. (shrink)

The purpose of this paper is to show that the mathematics of quantum mechanics is the mathematics of set partitions linearized to vector spaces, particularly in Hilbert spaces. That is, the math of QM is the Hilbert space version of the math to describe objective indefiniteness that at the set level is the math of partitions. The key analytical concepts are definiteness versus indefiniteness, distinctions versus indistinctions, and distinguishability versus indistinguishability. The key machinery to go from indefinite to more definite (...) states is the partition join operation at the set level that prefigures at the quantum level projective measurement as well as the formation of maximally-definite state descriptions by Dirac’s Complete Sets of Commuting Operators. This development is measured quantitatively by logical entropy at the set level and by quantum logical entropy at the quantum level. This follow-the-math approach supports the Literal Interpretation of QM—as advocated by Abner Shimony among others which sees a reality of objective indefiniteness that is quite different from the common sense and classical view of reality as being “definite all the way down”. (shrink)

In this article, the concept of system of symbolic 2-plithogenic linear equations and its solutions are introduced and studied. The Cramer's rule was applied to solve the system of symbolic 2-plithogenic linear equations. Also, provided enough examples for each case to enhance understanding.

The model of a closed linear measure space, which can be used to model Aristotle’s treatment of motion (kinesis), can be analogically extended to the qualitative ‘spaces’ implied by his theory of contraries in Physics I and in Metaphysics Iota, and to the dimensionless ‘space’ of the unity of matter and form discussed in book Eta of the Metaphysics. By examining Aristotle’s remarks on contraries, the subject of change, continuity, and the unity of matter and form, Aristotle’s thoughts on (...) motion, on contraries, and on the unity of substance can be brought together under a single interpretive framework, which can provide an approach to interpreting his ontology. (shrink)

This article makes three claims concerning the concept of contingency. First, we argue that the word contingency is used in far too many ways to be useful. Its many meanings are detrimental to clarity of discussion and thought in history and the social sciences. We show how there are eight distinct uses of the word and illustrate this with numerous examples from the social sciences and history, highlighting the scope for confusion caused by the many, often contradictory uses of the (...) term. Second, we impose some order on these uses through developing a threefold classification of contingency based on assumptions about possible worlds and determinism. Finally, we discuss why we believe that one of the classes is a special use of the word without relevance to the social sciences, while the two remaining classes are nothing more than a variety of the “no hidden factors” argument in the debate on indeterminism and determinism. (shrink)