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)

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)

In this book, we present a study of linear models and algorithms to find the optimal solution for them using the concepts of neuroscientific science. We know that the linear programming method is one of the important methods of operations research, the science that was the product of the great scientific development that our contemporary world is witnessing. The name operations research is given to the group of scientific methods used. In analyzing problems and searching for optimal (...) solutions, it is a science whose applications have achieved widespread success in various fields of life. What is meant by neutrosophic models are models in which the data are neutrosophic values, that is, variables such as in the objective function, which expresses profit if the model is a maximization model, and expresses a cost if the model is a minimization model, which in turn is affected by environmental conditions. (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)

In this paper, a complex non- linear programming problem with the two parts (real and imaginary) is considered. The efficient and proper efficient solutions in terms of optimal solutions of related appropriate scalar optimization problems are characterized. Also, the Kuhn-Tuckers' conditions for efficiency and proper efficiency are derived. This paper is divided into two independently parts: The first provides the relationships between the optimal solutions of a complex single-objective optimization problem and solutions of two related real programming (...) problems. The second part is concerned with the theory of a multi-objective optimization in complex space. (shrink)

In this paper, Taylor series is used to solve neutrosophic multi-objective programming problem (NMOPP). In the proposed approach, the truth membership, Indeterminacy membership, falsity membership functions associated with each objective of multi-objective programming problems are transformed into a single objective linear programming problem by using a first order Taylor polynomial series. Finally, to illustrate the efficiency of the proposed method, a numerical experiment for supplier selection is given as an application of Taylor series method for solving (...) neutrosophic multi-objective programming problem at end of this paper. (shrink)

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

We all know that problems of transportation and allocation appear frequently in practical life. We need to transfer materials from production centers to consumption centers to secure the areas’ need for the transported material or allocate machines or people to do a specific job at the lowest cost, or in the shortest time. We know that the cost factors Time is one of the most important factors that decision-makers care about because it plays an “important” role in many of the (...) practical and scientific issues that we face in our daily lives, and we need careful study to enable us to avoid losses. For this, the linear programming method was used, which is one of the research methods. Processes, where the problem data is converted into a linear mathematical model for which the optimal solution achieves the desired goal. Since these models are linear models, we can solve them using the direct simplex method and its modifications, but the specificity that these models enjoy has enabled scholars and researchers to find special methods that help us in obtaining the optimal solution. Whatever the method used, the goal is to determine the number of units transferred from any material from production centers to consumption centers, or to allocate a machine or person to do a job so that the cost or time is as short as possible. These issues were addressed according to classical logic, but the ideal solution was a specific value appropriate to the conditions in which the data was collected and does not take into account the changes that may occur in the work environment. In order to obtain results that are more accurate and enjoy a margin of freedom, we present in this book a study of transport issues and neutrosophic allocation issues and some methods for solving them. By neutrosophic issues we mean These are the problems in which the data are neutrosophic values, i.e. the required quantities and the available quantities. (shrink)

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

It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' (...) temporal logic of linear discrete time with gaps follows. (shrink)

This paper describes an AFOSR-supported basic research program that focuses on developing a new framework for combining hard with soft data in order to improve space situational awareness. The goal is to provide, in an automatic and near real-time fashion, a ranking of possible threats to blue assets (assets trying to be protected) from red assets (assets with hostile intentions). The approach is based on Conceptual Spaces models, which combine features from traditional associative and symbolic cognitive models. While Conceptual Spaces (...) are revolutionary, they lack an underlying mathematical framework. Several such frameworks have attempted to represent Conceptual Spaces, but by far the most robust is the model developed by Holender. His model utilizes integer linear programming in order to obtain an overall similarity value between observations and concepts that support the formation of hypotheses. This paper will describe a method for building Conceptual Spaces models for threats that utilizes ontologies as a means to provide a clear semantic foundation for this inferencing process; in particular threat ontologies and space domain ontologies are developed and employed in this approach. A space situational awareness use-case is presented involving a kinetic kill scenario and results are shown to assess the performance of this fusion-based inferencing framework. (shrink)

A first-order theory T has the Independence Property provided deduction of a statement of type (quantifiers) (P -> (P1 or P2 or .. or Pn)) in T implies that (quantifiers) (P -> Pi) can be deduced in T for some i, 1 <= i <= n). Variants of this property have been noticed for some time in logic programming and in linear programming. We show that a first-order theory has the Independence Property for the class of basic (...) formulas provided it can be axiomatized with Horn sentences. The existence of free models is a useful intermediate result. The independence Property is also a tool to decide that a sentence cannot be deduced. We illustrate this with the case of the classical Caratheodory theorem for Pasch-Peano geometries. (shrink)

The overall goal of the approach developed in this paper is to estimate the likelihood of a given kinetic kill scenario between hostile spacebased adversaries using the mathematical framework of Complex Conceptual Spaces Single Observation. Conceptual spaces are a cognitive model that provide a method for systematically and automatically mimicking human decision making. For accurate decisions to be made, the fusion of both hard and soft data into a single decision framework is required. This presents several challenges to this data (...) fusion framework. The first is the challenge involved in handling multiple complex terminologies, which is addressed by drawing on a set of Space Domain Ontologies. Another challenge is the complex combinatorics involved when considering all possible feature combinations. This can be mitigated by using integer linear programming optimization that is outlined by the Complex Conceptual Spaces Single Observation mathematical model framework. A third challenge is the complicated physics that is involved in a spacecraft collision that must be addressed to obtain a better understanding of threat assessment. Overcoming these various challenges allows for a quantitative ranking for the potential of a kinetic kill collision across multiple spacecraft pairs. In addition to overcoming these challenges this paper will break down threat assessment into four domains and identify a ranking of threat both for each individual domain and for the four domains combined. Simulation results are shown to verify the developed concepts. (shrink)

Previous work has shown that the Complex Conceptual Spaces − Single Observation Mathematical framework is a useful tool for event characterization. This mathematical framework is developed on the basis of Conceptual Spaces and uses integer linear programming to find the needed similarity values. The work of this paper is focused primarily on space event characterization. In particular, the focus is on the ranking of threats for malicious space events such as a kinetic kill. To make the Conceptual Spaces (...) framework work, the similarity values between the contents of observations on the one hand and the properties of the entities observed on the other needs to be found. This paper shows how to exploit Dempster-Shafer theory to implement a statistical approach for finding these similarities values. This approach will allow a user to identify the uncertainty involved in similarity value data, which can later be propagated through the developed mathematical model in order for the user to know the overall uncertainty in the observation-to-concept mappings needed for space event characterization. (shrink)

Clearing algorithms are at the core of modern payment systems, facilitating the settling of multilateral credit messages with (near) minimum transfers of currency. Traditional clearing procedures use batch processing based on MILP - mixed-integer linear programming algorithms. The MILP approach demands intensive computational resources; moreover, it is also vulnerable to operational risks generated by possible defaults during the inter-batch period. This paper presents TORC3 - the Token-Ring Clearing Algorithm for Currency Circulation. In contrast to the MILP approach, TORC3 (...) is a real time heuristic procedure, demanding modest computational resources, and able to completely shield the clearing operation against the participating agents’ risk of default. (shrink)

The science of operations research is one of the modern sciences that have made a great revolution in all areas of life through the methods provided by it, suitable and appropriate to solve most of the problems that were facing researchers, scholars and those interested in the development of societies, and the most beneficiaries of this science were companies and institutions that are looking for scientific methods that help them manage their work so that they achieve the greatest profit and (...) the lowest cost, and one of the important methods that have been used in the management of companies we offer in this research two methods, Dynamic programming method. This method has been used in many practical matters and helped decision-makers in companies to achieve a maximum profit and less cost by formulating the reality of the state of the company and the data provided by decision-makers with a dynamic mathematical model that is solved using methods of solving dynamic models and we will provide in this research an example of this through the issue of choosing the optimal investment for the budget of a company so that it achieves a maximum profit, and the method of programming with integers: the method that provided these companies with solutions with integer values suitable for the nature of its work, through the use of the binary integer in the formulation of the appropriate mathematical model on the one hand, and on the other hand, the use of the binary integer variable helped to convert some nonlinear models that lead to some practical problems into linear models, and it should be noted here that in the previous two methods there is something indeterminable because we must make a decision in choosing or not choosing something, but the optimal solution that we will get remains A specific value because we are building the mathematical model for any realistic issue through the data provided by those responsible for the work and these data are calculated quantities and therefore they are uncertain values because their validity depends on the circumstances surrounding the work environment, they may be exposed to increase or decrease, and therefore the optimal solution on which the company will base its decision is suitable for specific values and any change in them can cause the company an uncalculated loss, so in this research we will use the concepts of neutrosophic science, the branch of science founded by the American scientist Florentin Smarandache in 1995 based on his belief that there is no absolute truth, a science that is interested in the study of ideas and concepts that are neither true nor false, but just in between, and we will take the data (calculated quantities) neutrosophic values that are specified or unspecified values are any set close to the calculated quantities, then the resulting mathematical model is a neutrosophic model and the optimal solution has neutrosophic values and thanks to the indefinite uncertainty that these values have, companies from the development of appropriate plans for all circumstances and thus achieve the greatest profit and the lowest cost, and we will clarify the above through two issues, the issue of optimal designation of a warehouse site, which we will formulate the mathematical model of using the neutrosophic integer programming method - and the issue of capital budget, which we will present in two different forms, we use in the first form the neutrosophic integer programming method and in the second the neutrosophic dynamic programming method. (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)

The study of belief is expanding and involves a growing set of disciplines and research areas. These research programs attempt to shed light on the process of believing, understood as a central human cognitive function. Computational systems and, in particular, what we commonly understand as Artificial Intelligence (AI), can provide some insights on how beliefs work as either a linear process or as a complex system. However, the computational approach has undergone some scrutiny, in particular about the differences between (...) what is distinctively human and what can be inferred from AI systems. The present article investigates to what extent recent developments in AI provide new elements to the debate and clarify the process of belief acquisition, consolidation, and recalibration. The article analyses and debates current issues and topics of investigation such as: different models to understand belief, the exploration of belief in an automated reasoning environment, the case of religious beliefs, and future directions of research. (shrink)

Although the cognition is significant in strategic reasoning, its role has been weakly analyzed, because only the average intelligence is usually considered. For example, prisoner's dilemma in game theory, would have different outcomes for persons with different intelligence. I show how various levels of intelligence influence the quality of reasoning, decision, or the probability of psychosis. I explain my original methodology developed for my MA thesis in clinical psychology in 1998, and grant research in 1999, demonstrating the bias of the (...) classic IQ method, and how the intelligence limits thinking. Based on that I defined Personality Model, providing insight into understanding of psychosis (schizophrenia, bi-polar), which has not been explained yet by psychology or psychiatry. In addition, it enables to analyze and assess non-linear problems, utilizable in computer programming, visualization (animation) or other fields including Baduk game. I've already applied some principles in complex information system www.each.co.uk, and video-animations exhibited in London, Germany, Tokyo. I need to mention my experience in chess composition between 1994 and 2000, winning a few international prizes and inventing a special class of fairy rules redefining the mate. The chess composition principles or patterns show the way to organize logical series to higher advanced mechanisms (like calculus), applicable to other fields. One of such principles is a logical aesthetic innovation: new strategy, defined by Italian composers. Finally I show how the simple redefinition of the classic utility concept links economics and psychology to explain irrational / destructive behavior. All presented results (from the research) can be repeated. (shrink)

The objective of this article is to offer an interpretation of the utopian society described in Plato's Republic from a simplified theory of fractals. Plato conceptualizes his Republic as a static society in terms of structure and its components, the people, as having a behavior that can be programmed as linear and not dynamic (LNDS). Based on this analogy, real social functioning (NLDS) is conceptualized, applying the concept of fractal and its corresponding fracton, as the force of attraction that (...) acts in social groups. Thus, social groups obey a fractal geometry, a geometry that reproduces the pyramidal shape, the apex being the crystallization of authority, power or leadership. Modern society, in analogy with Plato's Republic, is also a fractal production machine, replicating pyramid-shaped hierarchical structures and the respective fractons. Individuals are the basic unit of all these fractals. They are the building blocks of all groups at all levels of society. But replication is not self-similar due to fluctuations in cognition and behavior. (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)

The strings of physics’ string theory are the binary digits of 1 and 0 used in computers and electronics. The digits are constantly switching between their representations of the “on” and “off” states. This switching is usually referred to as a flow or current. Currents in the two 2-dimensional programs called Mobius loops are connected into a four-dimensional figure-8 Klein bottle by the infinitely-long irrational and transcendental numbers. Such an infinite connection translates - via bosons being ultimately composed of 1’s (...) and 0’s depicting pi, e, √2 etc.; and fermions being given mass by bosons interacting in matter particles’ “wave packets” – into an infinite number of 8-Kleins. Each Klein 1) is one of the universe’s subuniverses (our own is 13.7 billion years old), 2) is made flexible through its binary digits which seamlessly, or almost seamlessly, join it to surrounding subuniverses and eliminate its central hole, and 3) possesses warped time and space because its foundation is the programmed curves in its mathematical Mobius loops (along with the twists they generate [p.7]). The universe functions according to the rules of fractal geometry. So the Mobius does not exist only at the cosmic level. It also manifests at the quantum scale, giving us photons and protons etc. Space and time are no longer separate, but are an indivisible space-time. So if space and the universe are infinite, how can time not be eternal? The past and the future must both extend forever (the idea of time being finite arises from confusion of our subuniverse with the one infinite universe). -/- BITS (Binary digiTS) only suggest existence of the divine if time is linear. Although a non-supernatural God is proposed via the inverse-square law coupled with eternal quantum entanglement, Einstein taught us that time is warped. Warped time is nonlinear, making it at least possible that the BITS composing space-time and all particles originate from the computer science of humans. -/- I suspect many readers will be content with reading this abstract. While there are more details, and mathematics, in the content; my natural style of writing is to avoid jargon and maths. I also tend to get philosophical. While I personally feel that there’s a lot of precious information in the content, I realize it won’t all be to everyone’s liking. Other subjects dealt with in this article are - the “Pioneer anomaly”, refinement of gravitational physics, dark energy and dark matter, quantum phenomena like mass and electric charge and quantum spin, Kepler’s laws of planetary motion, deflection of starlight by the sun, tides, falling bodies, Earth’s orbit, ancient Greek philosophers, Newton, Kepler, Galileo, Aristotle, Parmenides, Zeno of Elea, time travel into the past as well as the future, the elimination of distances in space, humanity’s construction of this universe we live in, The Law of Conservation of Matter-Energy, and support for the science-fiction-like idea of the electronic binary digits of 1 and 0 being the building blocks of our universe. (shrink)

Pandemics have been suggested as global risks many times, but it has been shown that the probability of human extinction due to one pandemic is small, as it will not be able to affect and kill all people, but likely only half, even in the worst cases. Assuming that the probability of the worst pandemic to kill a person is 0.5, and assuming linear interaction between different pandemics, 30 strong pandemics running simultaneously will kill everyone. Such situations cannot happen (...) naturally, but because biotechnology is developing analogously to Moore’s law, it may become possible in the near future (10-50 years from now), because of biohackers, CRISPR, bioprinters, AI-assisted DNA-programing, and weapons of “knowledge-enabled mass destruction” published on the Internet. It could also happened in case of large-scale biological war, or if a rogue country released its entire biological arsenal simultaneously. We also will address other scenarios and risk increasing factors as well as mitigation and adaptation strategies. (shrink)

Due to the wide scope of (in particular linear) homotopy type theory (using quantum natural language processing), a metatheory can be applied not just to theorizing the metatheory of scientific progress, but ordinary language or any public language defined by sociality/social agents as the precondition for the realizability of (general) intelligence via an inferential network from which judgement can be made. How this metatheory of science generalizes to public language is through the recent advances of quantum natural language processing, (...) but the traditional metalogical encodings (of Tarski) is relatively comparable through universes such as the type of types or type of types of types found in the inherent inferentialism of UF/HoTT via infinity-groupoids. The "computational trinity" of proofs=programs=algebra in HoTT also means reason is defined functionally as "what it does" by what it computes (proofs are programs). Following Reza Negarestani's recent book, through the self's self-realizability, achieving self-consciousness and consciousness beyond selfhood, "geistig manifestation" is achieved in the form of general intelligence, but only through an inferential network of social agents intrinsically encoded through computation. (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. This Commentary 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. Building an eco-surplus culture that incorporates core values pertaining to nature and sees environmental sustainability as the conscience of the times is essential to direct and leverage the power of serendipity in climate and sustainability science. In the era of artificial intelligence (AI) proliferation, AI will be a vital tool that provides navigational and useful information that aids the encounters and attainments of serendipity. However, given the tremendous power of AI, especially when combined with humans’ serendipity capability, its development and use must be approached with caution and ethical considerations to avoid adverse effects on environmental sustainability. Investment in other scientific areas beyond environmental research is also crucial, as it expands humanity’s knowledge base – an essential foundation for serendipitous discoveries through inter- and transdisciplinary interactions. (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)

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)

The conditions animals experience during the early developmental stages of their lives can have critical ongoing effects on their future health, welfare, and proper development. In this paper we draw on evolutionary theory to improve our understanding of the processes of developmental programming, particularly Predictive Adaptive Responses (PAR) that serve to match offspring phenotype with predicted future environmental conditions. When these predictions fail, a mismatch occurs between offspring phenotype and the environment, which can have long-lasting health and welfare effects. (...) Examples include metabolic diseases resulting from maternal nutrition and behavioral changes from maternal stress. An understanding of these processes and their evolutionary origins will help in identifying and providing appropriate developmental conditions to optimize offspring welfare. This serves as an example of the benefits of using evolutionary thinking within veterinary science and we suggest that in the same way that evolutionary medicine has helped our understanding of human health, the implementation of evolutionary veterinary science (EvoVetSci) could be a useful way forward for research in animal health and welfare. (shrink)

Some properties are causally relevant for a certain effect, others are not. In this paper we describe a problem for our understanding of this notion and then offer a solution in terms of the notion of a program explanation.

Background: Food insecurity condition challenges the availability of food, access to food, food supply stability, and food utilization. Food banks play a major role in the food aid sector by distributing donated and purchased groceries directly to food-insecure families, thus significantly impacting food insecurity. On the other hand, school meal programs are implemented in many countries to combat food insecurity among school-aged children. The synergy between school meal programs and food banks has a great potency to combat food insecurity among (...) children effectively. Aim: This study aims to examine the association between experts’ involvement—such as nutritionists, farmers, and private sectors—and community engagement, including parents and others, with the linkage between food banks and school meal programs among implementing countries. Methods: The Bayesian Mindsponge Framework, combining the reasoning strengths of Mindsponge Theory and inference advantages of Bayesian analysis, was employed on a dataset of 126 government representatives who manage large-scale school meal programs in 126 different countries. Results: Findings showed that the involvement of nutritionists and the private sector was positively associated with the linkage between food banks and school meal programs, while farmers’ involvement showed an ambiguous association. The engagement of parents and others also showed an ambiguous relationship with this linkage. Conclusions: Findings underscore the strong need to formulate strategies for increasing the involvement of nutritionists and the private sector to successfully link the food banks with school meal programs in implementing countries, which is crucial for effectively combating food insecurity among school-aged children. (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)

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)

Background: The school meals program has multiple objectives of education, nutrition, and value transfer. To ensure achieving the goal, total quality management (TQM) is implemented in the school meals program. Supply chain issues pose significant challenges to TQM implementation in the program execution. Aim: This study aims to examine national and international capacities in supply chain management by analyzing the variety of food items delivered through the school meals program. Methods: The Bayesian Mindsponge Framework, combining the reasoning strengths of Mindsponge (...) Theory and inference advantages of Bayesian analysis, was employed on a dataset of 126 government representatives who manage large-scale school meal programs in 126 different countries. Results: Findings showed that the method of obtaining supplies, whether through in-kind donations from local, regional, national sources, or national food reserves and purchasing from neighboring or distant countries, had a significant positive association with the variety of food items included in school meals or snacks. Conversely, obtaining supplies in-kind from neighboring or distant countries had a significant negative association with the food variety. Additionally, purchasing supplies from local, regional, or national food reserves had an unclear association with the food variety. Conclusions: Findings underscore the importance of supporting the World Bank and World Food Programme’s recommendation to rely more on local resources and capacities. Enhancing supply chain management at the national level is crucial for developing a long-term and sustainable school meals program. (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)

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 Simulation Hypothesis proposes that all of reality is in fact an artificial simulation, analogous to a computer simulation. Outlined here is a method for programming relativistic mass, space and time at the Planck level as applicable for use in Planck Universe-as-a-Simulation Hypothesis. For the virtual universe the model uses a 4-axis hyper-sphere that expands in incremental steps (the simulation clock-rate). Virtual particles that oscillate between an electric wave-state and a mass point-state are mapped within this hyper-sphere, the oscillation (...) driven by this expansion. Particles are assigned an N-S axis which determines the direction in which they are pulled along by the expansion, thus an independent particle motion may be dispensed with. Only in the mass point-state do particles have fixed hyper-sphere co-ordinates. The rate of expansion translates to the speed of light and so in terms of the hyper-sphere co-ordinates all particles (and objects) travel at the speed of light, time (as the clock-rate) and velocity (as the rate of expansion) are therefore constant, however photons, as the means of information exchange, are restricted to lateral movement across the hyper-sphere thus giving the appearance of a 3-D space. Lorentz formulas are used to translate between this 3-D space and the hyper-sphere co-ordinates, relativity resembling the mathematics of perspective. (shrink)

A nation’s economy runs on the knowledge and skills of its people.Quality assurance mechanisms for higher education institutions must take cognizance of the graduates' acquisition of skills to become productive and contributory for societal development. The study is a quantitative survey assessing the attainment of the immediate program learning outcomes of the graduating Bachelor of Science in Information Technology of one campus of a public higher education institution in the Philippines. It also assessed the introspection and level of satisfaction of (...) the graduates in their studies. Findings disclosed that the graduates have a high level of attainment of the program's learning outcomes and a high level of satisfaction. The high school where the respondents graduated is the single variable that defined the difference in attainment of program intended learning outcomes. As to the graduates' introspections, themost significant percentage of them learned the program from family, relatives, and friends. Reasons for pursuing the degree program are because of parents’ influence, prestige of IT profession. Meanwhile, the university's reputation, affordable tuition fees, and proximity to home were the factors affecting the enrolment in the BSIT program. The findings will be the basis for strategic program interventions of the program. (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)

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.

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)

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)

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)

We review some of the work already done around the notion of phenomenal intentionality and propose a way of turning this body of work into a self-conscious research program for understanding intentionality.

Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.

The article presents the reasons for which the issue of providing housing to low-income citizens has been a real challenge in Addis Ababa during the recent years and will continue to be, given that its population is growing extremely fast. It examines the tensions between the universal aspirations and the local realities in the case of some of Ethiopia’s most ambitious mass pro-poor housing schemes, such as the “Addis Ababa Grand Housing Program” (AAGHP), which was launched in 2004 and was (...) integrated in the “Integrated Housing Development Program” (IHDP) in 2006. The article argues that the quotidian practices of communities and their socio-economic and cultural characteristics are related to the spatial attributes of co-housing practices. Drawing upon the idea that there is a mutual correspondence between social and spatial structures, it places particular emphasis on the analysis of the IHDP and aims to show that to shape strategies that take into account the social and cultural aspects of daily life of the poor citizens of Addis Ababa, it is pivotal to invite them to take part in the decision-making processes regarding their resettlement. Departing from the fact that a large percentage of the housing supply in Addis Ababa consists of informal unplanned housing, the article also compares the commoning practices in kebele houses and condominium units. The former refers to the legal informal housing units owned by the government and rented to their dwellers, whereas the latter concerns the housing blocks built in the framework of the IHDP for the resettlement of the kebele dwellers. The article analyzes these processes of resettlement, shedding light of the fact that kebele houses were located at the inner city, whereas the condominiums are located in the suburbs. Despite the fact that the living conditions in the condominium units are of a much higher quality than those in the kebele houses, their design underestimated or even neglected the role of the commoning practices. The article highlights the advantages of commoning practices in architecture and urban planning, and how the implementation of participation-oriented solutions can respond to the difficulties of providing housing. It argues that understanding the significance of the endeavors that take into account the opinions of dwellers during the phase of decision-making goes hand in hand with considering commoning practices as a source of architecture and urban planning frameworks for low-cost housing in this specific context. The key argument of the article is that urban planning and architecture solutions in Addis Ababa should be based on the principles of the so-called “negotiated planning” approach, which implies a close analysis of the interconnections between planning, infrastructure, and land. (shrink)

The purpose of the article was to explain how the communicative specificity of the digital social media environment is changing the traditional Lasswell’s linear model. The changes that occur in the structural units of the model were explored. This complex was examined based on the material of 18 successful YouTube blogs dedicated to football. It was found that the modern ecosystem of sports journalism is undergoing significant transformations in terms of content and structure. And the fact that modern digital (...) journalism is already perceived by users as a part of everyday life changes the roles of content creators and those who consume this content. The element “With What Effect?” remains relevant and the closest to the classic one, which, due to interactivity and the ability to maximally objectify the effectiveness of content in social media, in modern sports journalism can become the main conceptual factor of digital narrative. (shrink)

Large sets of elements interacting locally and producing specific architectures reliably form a category that transcends the usual dividing line between biological and engineered systems. We propose to call them morphogenetically architected complex systems (MACS). While taking the emergence of properties seriously, the notion of MACS enables at the same time the design (or “meta-design”) of operational means that allow controlling and even, paradoxically, programming this emergence. To demonstrate our claim, we first show that among all the self-organized systems (...) studied in the field of Artificial Life, the specificity of MACS essentially lies in the close relation between their emergent properties and functional properties. Second, we argue that to be a MACS a system does not need to display more than weak emergent properties. Third, since the notion of weak emergence is based on the possibility of simulation, whether computational or mechanistic via machines, we see MACS as good candidates to help design artificial self-architected systems (such as robotic swarms) but also harness and redesign living ones (such as synthetic bacterial films). (shrink)

1. Do models formulated in programming languages use explicit rules where connectionist models do not? 2. Are rules as found in programming languages hard, precise, and exceptionless, where connectionist rules are not? 3. Do connectionist models use rules operating on distributed representations where models formulated in programming languages do not? 4. Do connectionist models fail to use structure sensitive rules of the sort found in "classical" computer architectures? In this chapter we argue that the answer to each (...) of these questions is negative. (shrink)

We present SASC, Self-Adaptive Semantic Crossover, a new class of crossover operators for genetic programming. SASC operators are designed to induce the emergence and then preserve good building-blocks, using metacontrol techniques based on semantic compatibility measures. SASC performance is tested in a case study concerning the replication of investment funds.

As the philosophy of policing shifts from a traditional to a community-based approach, its implementation needs to be assessed. The study determined the program implementation of community-oriented policing in the town of Dumingag Zamboanga del Sur and its effectiveness in crime reduction from 2014 to 2018. The study employed a descriptive-survey method with the questionnaire-checklist as the main instrument used in gathering the data and information. The survey questionnaire underwent an evaluation process by field expert and tested using Cronbach’s alpha. (...) Weighted Arithmetic Mean, Percentage and ANOVA were the statistical tools used in the data analyses. The participants were PNP, residents, and Barangay Officials of Dumingag, Zamboanga del Sur. The results showed that PNP and Barangay officials perceived that the extent of community- oriented policing in Dumingag was implemented without lapses. However, residents rated that the implementation has minimal lapses. The study also revealed that there was a reduction of crimes committed for the past five years of the implementation. The result shows a significant difference among the perceived extent of implementation of the three groups of respondents. (shrink)