An AC servomotor which is mostly a two-phase induction motor with two stator field coils placed 90 electrical degrees apart used for controlling position, speed and acceleration in manufacturing industries. In this paper, a two-phase induction motor has been designed with a fuzzy logic and observer based controllers to improve the performance of the system. Comparison of the AC servomotor with the proposed controllers for tracking a step and a square desired position signal (...) input has been done using Matlab/Simulink toolbox and a promising result obtained. (shrink)

The main target of this paper is to control the speed of DC motor by comparing the actual and the desired speed set point. The DC motor is designed using Fuzzy logic and MPC controllers. The comparison is made between the proposed controllers for the control target speed of the DC motor using square and white noise desired input signals with the help of Matlab/Simulink software. It has been realized that the design based on the (...) class='Hi'>fuzzy logic controller track the set pointwith the best steady state and transient system behavior than the design with MPC controller. Finally, the comparative simulation result prove the effectiveness of the DC motor with fuzzy logic controller. (shrink)

Proportional integral observer (PIO) for tracking a nonlinear method has a lower sentiency to cipher the state and output variables. So a more nonlinear controller has to be else to control to activity. In this paper, a fuzzy logic (FLC) controller has been added to the PIO to meliorate the calculation transmute. A fuzzy proportional integral observer (FPIO) for following a nonlinear system has been premeditated to decimate the susceptibleness to cipher the tell and turnout variables (...) with the existent posit and product variables. The FPIO controller has been tested for improving the estimation control using a nonlinear quarter vehicle active suspension system with a nonlinear hydraulic actuator. A comparison simulation of the proposed nonlinear system for estimating the state variables and tracking the output (suspension deflection) with a set point bump road disturbance using FPIO and PIO. The comparison simulation result shows that the estimated state variables and system output match the actual ones perfectly using a fuzzy PIO controller. (shrink)

Shell tube surface condenser (STSC) is a heat exchanger system that exchange a high pressure steam into low pressure water and it is widely used in applications like textile industries and nuclear power plants. The modelling of the system has been established based on lumped parameters. In this paper, a fuzzy expert system is developed in order to improve the performance of the condenser. A pressure feedback system has been developed to analyze the effect of the condenser output (...) temperature, circulating water flow and heat developed. An experiment has been made for the closed loop system using fuzzy tuned PI, fuzzy logic and PID controllers and a promising results have been obtained successfully. (shrink)

In this paper, a Magnetic Levitation (MAGLEV) train is designed with a single degree of freedom electromagnet-based system that allows the train to levitate vertically up and down. Fuzzy logic, PID and Mras controllers are used to improve the Magnetic Levitation train passenger comfort and road handling. A matlab Simulink model is used to compare the performance of the three controllers using step input signals. The stability of the Magnetic Levitation train is analyzed using root locus (...) technique. Controller output response for different time period and change of air gap with different time period is analyzed for the three controllers. Finally the comparative simulation and experimental results demonstrate the effectiveness of the presented fuzzy logic controller. (shrink)

Recent years, active suspension system has been widely used in automobiles to improve the road holding ability and the riding comfort. This study presents a new fuzzy model predictive control for a nonlinear quarter car active suspension system. A nonlinear dynamical model of active suspension is established, where the nonlinear dynamical characteristic of the spring and damper are considered. Based on the proposed fuzzy model predictive control method is presented to stabilize the displacement of the active suspension (...) in the presence of different road profiles. Parameters of the model predictive and fuzzy logic control laws are designed to estimate the (Bump and Sinusoidal)road profile input in the active suspension. At last, the reliability of the fuzzy model predictive control method is evaluated by the MATLAB simulation tool. Simulation result shows that the fuzzy model predictive control method obtained the satisfactory control performance for the active suspension system. (shrink)

This paper contains five observations concerning the intended meaning of the intuitionistic logical constants: (1) if the explanations of this meaning are to be based on a non-decidable concept, that concept should not be that of `proof"; (2) Kreisel"s explanations using extra clauses can be significantly simplified; (3) the impredicativity of the definition of → can be easily and safely ameliorated; (4) the definition of → in terms of `proofs from premises" results in a loss of the inductive character (...) of the definitions of ∨ and ∃ and (5) the same occurs with the definition of ∀ in terms of `proofs with free variables". (shrink)

This study investigated the effectiveness of utilizing induced magnetism on the seed germination of radish (Raphanussativus) in terms of growth rate, growth speed, shoot growth, and overall development. This study utilized two groups that consisted of an experimental group where induced magnetism was present one control group where there was an absence of induced magnetism in the seed germination of Radish (Raphanus sativus). Moreover, this study aimed to determine the significant difference between the two in terms growth rate, growth speed, (...) shoot growth, and overall development. Both groups had the same amount of radish (Raphanus sativus) seeds planted in a rectangular wooden container with the same amount of measurement and soil content. This study used an experimental research design by utilizing the functions of an Electromagnetic Induction Device (EID) comprised of a 12v motor battery, light bulb, coiled wire, and switch. The EID was turned on for 10 minutes every day where the electric volts generated by the 12v motor battery were transported through the coiled wire and distributed to the metallic iron screen surrounding the area of the experimental group. The data gathered during the 12-day observation of the growth of radish (Raphanus sativus) were tabulated, analyzed, and evaluated using mean tests, standard deviation, and T-test. Based on the result and analyses of the gathered data, it was found that the experimental group, the one with the presence of induced magnetism, surpassed the control group in terms of growth speed, shoot growth, and overall seed development. However, it was also revealed that in terms of growth rate, there is no significant difference between the control group and experimental group. Therefore, the utilization of Induced Magnetism on the seed germination of radish (Raphanus sativus) is effective in terms of growth speed, shoot growth, and overall development. (shrink)

Logical and Spiritual Reflections is a collection of six shorter philosophical works, including: Hume’s Problems with Induction; A Short Critique of Kant’s Unreason; In Defense of Aristotle’s Laws of Thought; More Meditations; Zen Judaism; No to Sodom. Of these works, the first set of three constitutes the Logical Reflections, and the second set constitutes the Spiritual Reflections. Hume’s Problems with Induction, which is intended to describe and refute some of the main doubts and objections David Hume raised with (...) regard to inductive reasoning. It replaces the so-called problem of induction with a principle of induction. David Hume’s notorious skepticism was based on errors of observation and reasoning, with regard to induction, causation, necessity, the self and freewill. These are here pointed out and critically analyzed in detail – and more accurate and logical theories are proposed. The present work also includes refutations of Hempel’s and Goodman’s alleged paradoxes of induction. A Short Critique of Kant’s Unreason, which is a brief critical analysis of some of the salient epistemological and ontological ideas and theses in Immanuel Kant’s famous Critique of Pure Reason. It shows that Kant was in no position to criticize reason, because he neither sufficiently understood its workings nor had the logical tools needed for the task. Kant’s transcendental reality, his analytic-synthetic dichotomy, his views on experience and concept formation, and on the forms of sensibility (space and time) and understanding (his twelve categories), are here all subjected to rigorous logical evaluation and found deeply flawed – and more coherent theories are proposed in their stead. In Defense of Aristotle’s Laws of Thought, which addresses, from a phenomenological standpoint, numerous modern and Buddhist objections and misconceptions regarding the basic principles of Aristotelian logic. Many people seem to be attacking Aristotle’s Laws of Thought nowadays, some coming from the West and some from the East. It is important to review and refute such ideas as they arise. More Meditations, which is a sequel to the author’s earlier work, Meditations. It proposes additional practical methods and theoretical insights relating to meditation and Buddhism. It also discusses certain often glossed over issues relating to Buddhism – notably, historicity, idolatry, messianism, importation to the West. Zen Judaism, which is a frank reflection on the tensions between reason and faith in today’s context of knowledge, and on the need to inject Zen-like meditation into Judaism. This work also treats some issues in ethics and theodicy. No to Sodom, which is an essay against homosexuality, using biological, psychological, spiritual, ethical and political arguments. (shrink)

In this paper comparative analysis of maximum power point tracking techniques has been conducted to achieve highest magnitude of power from photovoltaic array. The algorithms proposed in this paper for extracting peak output from photovoltaic array are Perturb and Observe, Incremental Conductance, and Fuzzy Logic Control. There are some limitations with conventional converters i.e. Buck-Boost converter. When the operating voltage exceeds normal voltage as the voltage becomes high, the conventional converters fail to carry high voltage and current. Apart from (...) this the ripple contents also increase abnormally due to the large impedance in the conventional converter. Similarly these converters cannot track maximum power point faster and effectively. In that case Single Ended Primary Inductor Converter (SEPIC) is the best choice instead of the conventional buck-boost converter, which is employed with the aim of extracting maximum output from the photovoltaic array. The aim of this study is to compare three MPPT techniques under varying environmental conditions with respect to maximum power extraction and speed of tracking time. SEPIC is used instead of conventional buck-boost converter in order to achieve maximum efficiency and less ripples. Also it can track maximum power point (MPP) faster than Buck-Boost Converter. Comparative analysis of three most extensively used MPPT techniques have been conducted in Simulink/Matlab. (shrink)

This book is an anthology with the following themes. Non-European Tradition: Bussanich interprets main themes of Hindu ethics, including its roots in ritual sacrifice, its relationship to religious duty, society, individual human well-being, and psychic liberation. To best assess the truth of Hindu ethics, he argues for dialogue with premodern Western thought. Pfister takes up the question of human nature as a case study in Chinese ethics. Is our nature inherently good (as Mengzi argued) or bad (Xunzi’s view)? Pfister ob- (...) serves their underlying agreement, that human beings are capable of becoming good, and makes precise the disagreement: whether we achieve goodness by cultivating autonomous feelings or by accepting external precepts. There are political consequences: whether government should aim to respect and em- power individual choices or to be a controlling authority. Early Greek Thinking: Collobert examines the bases of Homeric ethics in fame, prudence, and shame, and how these guide the deliberations of heroes. She observes how, by depending upon the poet’s words, the hero gains a quasi- immortality, although in truth there is no consolation for each person’s inevi- table death. Plato: Santas examines Socratic Method and ethics in Republic 1. There Socrates examines definitions of justice and tests them by comparison to the arts and sciences. Santas shows the similarities of Socrates’ method to John Rawls’ method of considered judgments in reflective equilibrium. McPherran interprets Plato’s religious dimension as like that of his teacher Socrates. McPherran shows how Plato appropriates, reshapes, and extends the religious conventions of his own time in the service of establishing the new enterprise of philosophy. Ac- cording to Taylor, Socrates believes that humans in general have the task of helping the gods by making their own souls as good as possible, and Socrates’ unique ability to cross-examine imposes on him the special task of helping others to become as good as possible. This conception of Socrates’ mission is Plato’s own, consisting in an extension of the traditional conception of piety as helping the gods. Brickhouse and Smith propose a new understanding of Socratic moral psychology—one that retains the standard view of Socrates as an intellectualist, but also recognizes roles in human agency for appetites and passions. They compare and contrast the Socratic view to the picture of moral psychology we get in other dialogues of Plato. Hardy also proposes a new, non-reductive understanding of Socratic eudaimonism—he argues that Socrates invokes a very rich and complex notion of the “Knowledge of the Good and Bad”, which is associated with the motivating forces of the virtues. Rudebusch defends Socrates’ argument that knowledge can never be impotent in the face of psychic passions. He considers the standard objections: that knowledge cannot weigh incom- mensurable human values, and that brute desire, all by itself, is capable of moving the soul to action. Aristotle: Anagnostopoulos interprets Aristotle on the nature and acquisition of virtue. Though virtue of character, aiming at human happiness, requires a complex awareness of multiple dimensions of one’s experience, it is not properly a cognitive capacity. Thus it requires habituation, not education, according to Aristotle, in order to align the unruly elements of the soul with reason’s knowledge of what promotes happiness. Shields explains Aristotle’s doctrine that goodness is meant in many ways as the doctrine that there are different analyses of goodness for different types of circumstance, just as for being. He finds Aristotle to argue for this conclusion, against Plato’s doctrine of the unity of the Good, by applying the tests for homonymy and as an immediate cons- equence of the doctrine of categories. Shields evaluates the issue as unresolved at present. Russell discusses Aristotle’s account of practical deliberation and its virtue, intelligence (phronesis). He relates the account to contemporary philo- sophical controversies surrounding Aristotle’s view that intelligence is neces- sary for moral virtue, including the objections that in some cases it is unnecessary or even impedes human goodness. Frede examines the advantages and disadvantages of Aristotle’s virtue ethics. She explains the general Greek con- ceptions of happiness and virtue, Aristotle’s conception of phronesis and compares the Aristotle’s ethics with modern accounts. Liske discusses the question of whether the Aristotelian account of virtue entails an ethical-psy- chological determinism. He argues that Aristotle’s understanding of hexis allows for free action and ethical responsibility : By making decisions for good actions we are able to stabilize our character (hexis). Hellenistic and Roman: Annas defends an account of stoic ethics, according to which the three parts of Stoicism—logic, physics, and ethics—are integrated as the parts of an egg, not as the parts of a building. Since by this analogy no one part is a foundation for the rest, pedagogical decisions may govern the choice of numerous, equally valid, presentations of Stoic ethics. Piering interprets the Cynic way of life as a distinctive philosophy. In their ethics, Cynics value neither pleasure nor tradition but personal liberty, which they achieve by self-suffi- ciency and display in speech that is frank to the point of insult. Plotinus and Neoplatonism: Gerson outlines the place of ordinary civic virtue as well as philosophically contemplative excellence in Neoplatonism. In doing so he attempts to show how one and the same good can be both action-guiding in human life and be the absolute simple One that grounds the explanation of everything in the universe. Delcomminette follows Plotinus’s path to the Good as the foundation of free will, first in the freedom of Intellect and then in the “more than freedom” of the One. Plotinus postulates these divinities as not outside but within each self, saving him from the contradiction of an external foundation for a truly free will. General Topics: Halbig discusses the thesis on the unity of virtues. He dis- tinguishes the thesis of the identity of virtues and the thesis of a reciprocity of virtues and argues that the various virtues form a unity (in terms of reciprocity) since virtues cannot bring about any bad action. Detel examines Plato’s and Aristotle’s conceptions of normativity : Plato and Aristotle (i) entertained hybrid theories of normativity by distinguishing functional, semantic and ethical normativity, (ii) located the ultimate source of normativity in standards of a good life, and thus (iii) took semantic normativity to be a derived form of normativity. Detel argues that hybrid theories of normativity are—from a mo- dern point of view—still promising. Ho ̈ffe defends the Ancient conception of an art of living against Modern objections. Whereas many Modern philosophers think that we have to replace Ancient eudaimonism by the idea of moral obligation (Pflicht), Ho ̈ffe argues that Eudaimonism and autonomy-based ethics can be reconciled and integrated into a comprehensive and promising theory of a good life, if we enrich the idea of autonomy by the central elements of Ancient eudaimonism. Some common themes: The topics in Chinese and Hindu ethics are perhaps more familiar to modern western sensibilities than Homeric and even Socratic. Anagnostopoulos, Brickhouse and Smith, Frede, Liske, Rudebusch, and Russell all consider in contrasting ways the role of moral character, apart from intellect, in ethics. Brickhouse / Smith, Hardy, and Rudebusch discuss the Socratic con- ception of moral knowledge. Brickhouse / Smith and Hardy retain the standard view of the so called Socratic Intellectualism. Shields and Gerson both consider the question whether there is a single genus of goodness, or if the term is a homonym. Bussanich, McPherran, Taylor, and Delcomminette all consider the relation between religion and ethics. Pfister, Piering, Delcomminette, and Liske all consider what sort of freedom is appropriate to human well-being. Halbig, Detel, and Ho ̈ffe propose interpretations of main themes of Ancient ethics. (shrink)

Accurate and precise trajectory tracking is crucial for a quadrotor to operate in disturbed environments. This paper presents a novel tracking hybrid controller for a quadrotor UAV that combines the Adaptive and Fuzzy logic controller. The Adaptive fuzzy controller is implemented to govern the behavior of two degrees of freedom quadrotor UAV. The proposed controller allows controlling the movement of UAVs to track a given trajectory in a 2D vertical plane. The Fuzzy Logic system provides an automatic (...) adjustment of the Adaptive parameters to reduce tracking errors and improve the quality of the controller. The results showed perfect behavior for the control law to control a quadrotor trajectory tracking task. To show the effectiveness of the intelligent controller, simulation results are given to confirm the advantages of the proposed control method, compared with Fuzzy and Proportional integral derivative (PID) control methods. (shrink)

Nelson Goodman observed that we use only certain ‘good’ (viz. projectible) predicates during reasoning, with no obvious demarcation criterion in sight to distinguish them from the bad and gruesome ones. This apparent arbitrariness undermines the justifiability of our reasoning practices. Inspired by Quine’s 1969 paper on Natural Kinds, Peter Gärdenfors proposes a cognitive criterion based on his theory of Conceptual Spaces (CS). He argues the good predicates are those referring to natural concepts, and that we can capture naturalness in (...) terms of similarity. In contrast to Quine, he does not primarily rely on logic, but geometry. He frames his account as a descriptive project, however, and it is not obvious how it addresses the normative dimension of Goodman’s Riddle. This paper develops a charitable reconstruction of his argument, based on the idea that the instrumental success of our projectible concepts is grounded in their cognitive-pragmatic naturalness. It then explores three lines of reasoning against the argument: Evolutionarily motivated skepticism, the miracles argument, and the relation between instrumental and pragmatic success. I conclude that in its current form, the CS account fails to provide any justification of reasoning beyond appealing to its instrumental success, and that a metaphysically robust notion of naturalness helps to achieve the desired goal. (shrink)

Steam turbine generator is an electromechanical system which converts heat energy to electrical energy. In this paper, the modeling, design and analysis of a simple steam turbine generator have done using Matlab/Simulink Toolbox. The open loop system have been analyzed to have an efficiency of 76.92 %. Observer based & linear quadratic regulator (LQR) controllers have been designed to improve the generating voltage. Comparison of this two proposed controllers have been done for increasing the performance improvement (...) to generate a 220 Dc volt. The simulation result shows that the steam turbine generator with observer based controller has a small percentage overshoot with minimum settling time than the steam turbine generator with LQR controller and the open loop system. Finally, the steam turbine generator with observer based controller shows better improvement in performance than the steam turbine generator with LQR controller. (shrink)

In this paper, the stability control of the inverted pendulum on a cart with a disturbance forces has been done using observer based and full state feedback H2 controllers. The Lagrangian equation has been used to model the system equation of motions and linearized the system to the unstable upward position. Comparison of the system stability has been simulated by comparing the proposed controllers using Matlab/Scripts and a promising results has been analyzed successfully.

Introduction: Clinical practice guidelines (CPGs) are an important source of justification for clinical decisions in modern evidence-based practice. Yet, we have given little attention to how they argue their evidence. In particular, how do CPGs argue for treatment with long-term medications that are increasingly prescribed to older patients? Approach and rationale: I selected six disease-specific guidelines recommending treatment with five of the medication classes most commonly prescribed for seniors in Ontario, Canada. I considered the stated aims of these CPGs (...) and the techniques employed towards those aims. Finally, I reconstructed and logically analysed the arguments supporting recommendations for pharmacotherapy. Analysis: The primary function of CPGs is rhetorical, or persuasive, and their means of persuasion include both a display of their credibility and their argumentation. Arguments supporting pharmacotherapy recommendations for the target population follow a common inductive pattern: statistical generalization from randomized controlled trial (RCT) and meta-analysis evidence. Two of the CPGs also argue their treatment recommendations for older patients in this style, while three fail to justify pharmacotherapy specifically for the older population. Discussion: The arguments analysed lack the auxiliary assumptions that would warrant making a generalization about the clinical effectiveness of medications for the older population. Guidelines reason using simple induction, while ignoring important inferential gaps. Future guidelines should aspire to be well-reasoned rather than simply evidence-based; argue from a plurality of evidence; be wary of hasty inductions; appropriately limit the scope of their recommendations; and avoid making law-like, prescriptive generalizations. (shrink)

Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system is sound (...) and complete, and allows cut-elimination. A question by Takano regarding the eliminability of the Takeuti-Titani density rule is answered affirmatively. (shrink)

In this paper, a Magnetic Levitation (MAGLEV) train is designed with a first degree of freedom electromagnetbased totally system that permits to levitate vertically up and down. Fuzzy logic, PID and MRAS controllers are used to improve the Magnetic Levitation train passenger comfort and road handling. A Matlab Simulink model is used to compare the performance of the three controllers using step input signals. The stability of the Magnetic Levitation train is analyzed using root locus technique. Controller (...) output response for different time period and change of air gap with different time period is analyzed for the three controllers. Finally the comparative simulation and experimental results demonstrate the effectiveness of the presented fuzzy logic controller. (shrink)

Although Fuzzy logic and Fuzzy Mathematics is a widespread subject and there is a vast literature about it, yet the use of Fuzzy issues like Fuzzy sets and Fuzzy numbers was relatively rare in time concept. This could be seen in the Fuzzy time series. In addition, some attempts are done in fuzzing Turing Machines but seemingly there is no need to fuzzy time. Throughout this article, we try to change this picture and (...) show why it is helpful to consider the instants of time as Fuzzy numbers. In physics, though there are revolutionary ideas on the time concept like B theories in contrast to A theory also about central concepts like space, momentum… it is a long time that these concepts are changed, but time is considered classically in all well-known and established physics theories. Seemingly, we stick to the classical time concept in all fields of science and we have a vast inertia to change it. Our goal in this article is to provide some bases why it is rational and reasonable to change and modify this picture. Here, the central point is the modified version of “Unexpected Hanging” paradox as it is described in "Is classical Mathematics appropriate for theory of Computation".This modified version leads us to a contradiction and based on that it is presented there why some problems in Theory of Computation are not solved yet. To resolve the difficulties arising there, we have two choices. Either “choosing” a new type of Logic like “Para-consistent Logic” to tolerate contradiction or changing and improving the time concept and consequently to modify the “Turing Computational Model”. Throughout this paper, we select the second way for benefiting from saving some aspects of Classical Logic. In chapter 2, by applying quantum Mechanics and Schrodinger equation we compute the associated fuzzy number to time. (shrink)

Tailoring the design of robot bodies for control purposes is implicitly performed by engineers, however, a methodology or set of tools is largely absent and optimization of morphology (shape, material properties of robot bodies, etc.) is lag- ging behind the development of controllers. This has become even more prominent with the advent of compliant, deformable or "soft" bodies. These carry substantial potential regarding their exploitation for control – sometimes referred to as "mor- phological computation" in the sense of offloading (...) computation needed for control to the body. Here, we will argue in favor of a dynamical systems rather than com- putational perspective on the problem. Then, we will look at the pros and cons of simple vs. complex bodies, critically reviewing the attractive notion of “soft” bodies automatically taking over control tasks. We will address another key dimension of the design space – whether model-based control should be used and to what extent it is feasible to develop faithful models for different morphologies. ----- This paper was also published in the 2014 AISB proceedings http://aisb50.org/representation-of-reality-humans-animals-and-machines/ - http://doc.gold.ac.uk/aisb50/. (shrink)

In this paper we describe a technical system for DC motor speed control. The speed of DC motor is controlled using Neural Network Based Model Reference and Predictive controllers with the use of Matlab/Simulink. The analysis of the DC motor is done with and without input side Torque disturbance input and the simulation results obtained by comparing the desired and actual speed of the DC motor using random reference and sinusoidal speed inputs for the DC motor with Model (...) Reference and Predictive controllers. The DC motor with Model Reference controller shows almost the actual speed is the same as the desired speed with a good performance than the DC motor with Predictive controller for the system with and without input side disturbance. Finally the comparative simulation result prove the effectiveness of the DC motor with Model Reference controller. (shrink)

Although Fuzzy logic and Fuzzy Mathematics is a widespread subject and there is a vast literature about it, yet the use of Fuzzy issues like Fuzzy sets and Fuzzy numbers was relatively rare in time concept. This could be seen in the Fuzzy time series. In addition, some attempts are done in fuzzing Turing Machines but seemingly there is no need to fuzzy time. Throughout this article, we try to change this picture and (...) show why it is helpful to consider the instants of time as Fuzzy numbers. In physics, though there are revolutionary ideas on the time concept like B theories in contrast to A theory also about central concepts like space, momentum… it is a long time that these concepts are changed, but time is considered classically in all well-known and established physics theories. Seemingly, we stick to the classical time concept in all fields of science and we have a vast inertia to change it. Our goal in this article is to provide some bases why it is rational and reasonable to change and modify this picture. Here, the central point is the modified version of “Unexpected Hanging” paradox as it is described in "Is classical Mathematics appropriate for theory of Computation".This modified version leads us to a contradiction and based on that it is presented there why some problems in Theory of Computation are not solved yet. To resolve the difficulties arising there, we have two choices. Either “choosing” a new type of Logic like “Para-consistent Logic” to tolerate contradiction or changing and improving the time concept and consequently to modify the “Turing Computational Model”. Throughout this paper, we select the second way for benefiting from saving some aspects of Classical Logic. In chapter 2, by applying quantum Mechanics and Schrodinger equation we compute the associated fuzzy number to time. These, provides a new interpretation of Quantum Mechanics.More exactly what we see here is "Particle-Fuzzy time" interpretation of quantum Mechanics, in contrast to some other interpretations of Quantum Mechanics like " Wave-Particle" interpretation. At the end, we propound a question about the possible solution of a paradox in Physics, the contradiction between General Relativity and Quantum Mechanics. (shrink)

The current assessment of behaviors in the inventories to diagnose autism spectrum disorders (ASD) focus on observation and discrete categorizations. Behaviors require movements, yet measurements of physical movements are seldom included. Their inclusion however, could provide an objective characterization of behavior to help unveil interactions between the peripheral and the central nervous systems. Such interactions are critical for the development and maintenance of spontaneous autonomy, self-regulation and voluntary control. At present, current approaches cannot deal with the heterogeneous, dynamic and stochastic (...) nature of development. Accordingly, they leave no avenues for real-time or longitudinal assessments of change in a coping system continuously adapting and developing compensatory mechanisms. We offer a new unifying statistical framework to reveal re-afferent kinesthetic features of the individual with ASD. The new methodology is based on the non-stationary stochastic patterns of minute fluctuations (micro-movements) inherent to our natural actions. Such patterns of behavioral variability provide re-entrant sensory feedback contributing to the autonomous regulation and coordination of the motor output. From an early age, this feedback supports centrally driven volitional control and fluid, flexible transitions between intentional and spontaneous behaviors. We show that in ASD there is a disruption in the maturation of this form of proprioception. Despite this disturbance, each individual has unique adaptive compensatory capabilities that we can unveil and exploit to evoke faster and more accurate decisions. Measuring the kinesthetic re-afference in tandem with stimuli variations we can detect changes in their micro-movements indicative of a more predictive and reliable kinesthetic percept. Our methods address the heterogeneity of ASD with a personalized approach grounded in the inherent sensory-motor abilities that the individual has already developed. (shrink)

The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part (...) of a larger work on causal logic, which additionally treats volition and allied cause-effect relations (2004). The Logic of Causation deals with the main technicalities relating to reasoning about causation. Once all the deductive characteristics of causation in all its forms have been treated, and we have gained an understanding as to how it is induced, we are able to discuss more intelligently its epistemological and ontological status. In this context, past theories of causation are reviewed and evaluated (although some of the issues involved here can only be fully dealt with in a larger perspective, taking volition and other aspects of causality into consideration, as done in Volition and Allied Causal Concepts). Phase I: Macroanalysis. Starting with the paradigm of causation, its most obvious and strongest form, we can by abstraction of its defining components distinguish four genera of causation, or generic determinations, namely: complete, partial, necessary and contingent causation. When these genera and their negations are combined together in every which way, and tested for consistency, it is found that only four species of causation, or specific determinations, remain conceivable. The concept of causation thus gives rise to a number of positive and negative propositional forms, which can be studied in detail with relative ease because they are compounds of conjunctive and conditional propositions whose properties are already well known to logicians. The logical relations (oppositions) between the various determinations (and their negations) are investigated, as well as their respective implications (eductions). Thereafter, their interactions (in syllogistic reasoning) are treated in the most rigorous manner. The main question we try to answer here is: is (or when is) the cause of a cause of something itself a cause of that thing, and if so to what degree? The figures and moods of positive causative syllogism are listed exhaustively; and the resulting arguments validated or invalidated, as the case may be. In this context, a general and sure method of evaluation called ‘matricial analysis’ (macroanalysis) is introduced. Because this (initial) method is cumbersome, it is used as little as possible – the remaining cases being evaluated by means of reduction. Phase II: Microanalysis. Seeing various difficulties encountered in the first phase, and the fact that some issues were left unresolved in it, a more precise method is developed in the second phase, capable of systematically answering most outstanding questions. This improved matricial analysis (microanalysis) is based on tabular prediction of all logically conceivable combinations and permutations of conjunctions between two or more items and their negations (grand matrices). Each such possible combination is called a ‘modus’ and is assigned a permanent number within the framework concerned (for 2, 3, or more items). This allows us to identify each distinct (causative or other, positive or negative) propositional form with a number of alternative moduses. This technique greatly facilitates all work with causative and related forms, allowing us to systematically consider their eductions, oppositions, and syllogistic combinations. In fact, it constitutes a most radical approach not only to causative propositions and their derivatives, but perhaps more importantly to their constituent conditional propositions. Moreover, it is not limited to logical conditioning and causation, but is equally applicable to other modes of modality, including extensional, natural, temporal and spatial conditioning and causation. From the results obtained, we are able to settle with formal certainty most of the historically controversial issues relating to causation. Phase III: Software Assisted Analysis. The approach in the second phase was very ‘manual’ and time consuming; the third phase is intended to ‘mechanize’ much of the work involved by means of spreadsheets (to begin with). This increases reliability of calculations (though no errors were found, in fact) – but also allows for a wider scope. Indeed, we are now able to produce a larger, 4-item grand matrix, and on its basis find the moduses of causative and other forms needed to investigate 4-item syllogism. As well, now each modus can be interpreted with greater precision and causation can be more precisely defined and treated. In this latest phase, the research is brought to a successful finish! Its main ambition, to obtain a complete and reliable listing of all 3-item and 4-item causative syllogisms, being truly fulfilled. This was made technically feasible, in spite of limitations in computer software and hardware, by cutting up problems into smaller pieces. For every mood of the syllogism, it was thus possible to scan for conclusions ‘mechanically’ (using spreadsheets), testing all forms of causative and preventive conclusions. Until now, this job could only be done ‘manually’, and therefore not exhaustively and with certainty. It took over 72’000 pages of spreadsheets to generate the sought for conclusions. This is a historic breakthrough for causal logic and logic in general. Of course, not all conceivable issues are resolved. There is still some work that needs doing, notably with regard to 5-item causative syllogism. But what has been achieved solves the core problem. The method for the resolution of all outstanding issues has definitely now been found and proven. The only obstacle to solving most of them is the amount of labor needed to produce the remaining (less important) tables. As for 5-item syllogism, bigger computer resources are also needed. (shrink)

Shared conceptualization, in the sense we take it here, is as recent a notion as the Semantic Web, but its relevance for a large variety of fields requires efficient methods of extraction and representation for both quantitative and qualitative data. This notion is particularly relevant for the investigation into, and construction of, semantic structures such as knowledge bases and taxonomies, but given the required large, often inaccurate, corpora available for search we can get only approximations. We see fuzzy description (...) logic as an adequate medium for the representation of human semantic knowledge and propose a means to couple it with fuzzy semantic networks via the propositional Łukasiewicz fuzzy logic such that these suffice for decidability for queries over a semantic-knowledge base such as “to what degree of sharedness does it entail the instantiation C(a) for some concept C” or “what are the roles R that connect the individuals a and b to degree of sharedness ε.” . (shrink)

Intermediary metabolism molecules are orchestrated into logical pathways stemming from history (L-amino acids, D-sugars) and dynamic constraints (hydrolysis of pyrophosphate or amide groups is the driving force of anabolism). Beside essential metabolites, numerous variants derive from programmed or accidental changes. Broken down, variants enter standard pathways, producing further variants. Macromolecule modification alters enzyme reactions specificity. Metabolism conform thermodynamic laws, precluding strict accuracy. Hence, for each regular pathway, a wealth of variants inputs and produces metabolites that are similar to but not (...) the exact replicas of core metabolites. As corollary, a shadow, paralogous metabolism, is associated to standard metabolism. We focus on a logic of paralogous metabolism based on diversion of the core metabolic mimics into pathways where they are modified to minimize their input in the core pathways where they create havoc. We propose that a significant proportion of paralogues of well-characterized enzymes have evolved as the natural way to cope with paralogous metabolites. A second type of denouement uses a process where protecting/deprotecting unwanted metabolites - conceptually similar to the procedure used in the laboratory of an organic chemist - is used to enter a completely new catabolic pathway. (shrink)

In this study, the performance improvement of a payload angle deflection of a gantry crane has been studied and simulated using MATLAB/Simulink toolbox successfully. H2 optimal and observer based controllers has been used to minimize the payload angular deflection by controlling the trolley position. The gantry crane has been compared with the proposed controllers to track the reference trolley position using step and sine wave signals and a promising results have been achieved.

Imagine two urns, each with a thousand beads - in one all the beads are blue while in the other only one of the thousand is blue. If one of these urns is pushed forward (based on the toss of a fair coin) and the single bead then randomly drawn from it is blue, we must infer that it is a thousand times more probable that the urn pushed forward is the purely blue one. The hypothesis that this was (...) instead the urn with only one blue bead would require that the occurrence of the evidence, the blue bead being drawn, was something improbable - and it is improbable that something improbable is what has occurred. Next consider an example of only one urn with no prior description. By the same reasoning as above, if all the first beads randomly drawn are blue, it is becoming more and more probable that the beads in the urn are generally blue. (Otherwise something improbable would be happening in another colour not appearing; and what’s improbable is improbable.) It is therefore probable also that the next bead drawn will be blue. This is induction. As Hume would have said, we could not know a priori, given this evidence, that the next bead will be blue. But, as he overlooked, we can know a priori, given this evidence, that it is probable that the next bead will be blue. In neither urn example has the belief regarding the beads been formed as a Humean habit of expectation after many observations of beads. (In the first case there is only one observation. The second could be modified to have all the beads drawn out at once.) Rather the belief is a product of a priori reasoning about probability. Next imagine that a coin has been tossed a thousand times and landed heads every time. There was a fair and a loaded coin. According to the same reasoning, it is overwhelmingly more probable that the coin used was the loaded one. For that the fair coin had so landed is most improbable. The hypothesis that there is no external world makes the orderliness in my current experience improbable - much like getting all heads with a fair coin. (Uncaused sensation would most probably be chaotic.) The most probable hypothesis is that of things like those we believe in causing this orderliness - as the coin’s being loaded would have caused all heads. The hypothesis that my experience has been made to take this pattern by a Cartesian malicious demon or by scientists controlling my brain in a vat can only falsely seem to make the character of the experience probable by sneaking in an inherently improbable ad hoc specification that this sort of pattern of experience was that which they were aiming at producing - like an ad hoc specification that the fair coin was one that by chance landed heads all thousand times. We may thus reject such hypotheses as improbable. So this is the problem of induction solved and scepticism answered through a priori reasoning. (shrink)

In this paper intuitionistic set theory INC# in infinitary set theoretical language is considered. External induction principle in nonstandard intuitionistic arithmetic were derived. Non trivial application in number theory is considered.

Parkinson’s disease is a common movement disorder associated primarily with oxidative stress-mediated degeneration of dopaminergic neurons. Earlier studies showed that Sorghum bicolor-based supplement (SbS) exhibited antioxidant and neuroprotective activities and might likely rescue the death of dopaminergic neurons in Parkinson’s disease. This study examined the effect of SbS on rotenone-induced Parkinsonian-like motor deficits in rats and the involvement of oxidative stress and pro-inflammatory cytokines. Rats were divided into six groups and treated orally with sunflower oil (vehicle-control), rotenone (2.5 mg/kg) (...) alone or in combination with each dose of SbS (50, 100, and 200 mg/kg) and levodopa-carbidopa (10 mg/kg) on an alternate day for 28 days. The changes in motor functions were evaluated on day 28 and the brain concentrations of oxidative stress biomarkers and pro-inflammatory cytokines (tumor necrosis factor-alpha and interleukin-6) were determined. Rotenone caused motor deficits by impaired locomotor activity in the open field test and induced catalepsy in the bar test, which were attenuated by SbS. Rats pretreated with SbS had reduced brain levels of malondialdehyde, nitrite, and pro-inflammatory cytokines compared to rotenone controls. SbS mitigated rotenone-induced depletion of reduced glutathione and antioxidant enzymes in the rat brain. The results suggest that SbS ameliorated rotenone-induced Parkinsonian-like motor dysfunctions by reducing neuronal oxidative stress and pro-inflammatory cytokines in rats. (shrink)

Karl Popper (1902-1994) was one of the most influential philosophers of science of the 20th century. He made significant contributions to debates concerning general scientific methodology and theory choice, the demarcation of science from non-science, the nature of probability and quantum mechanics, and the methodology of the social sciences. His work is notable for its wide influence both within the philosophy of science, within science itself, and within a broader social context. Popper’s early work attempts to solve the problem of (...) demarcation and offer a clear criterion that distinguishes scientific theories from metaphysical or mythological claims. Popper’s falsificationist methodology holds that scientific theories are characterized by entailing predictions that future observations might reveal to be false. When theories are falsified by such observations, scientists can respond by revising the theory, or by rejecting the theory in favor of a rival or by maintaining the theory as is and changing an auxiliary hypothesis. In either case, however, this process must aim at the production of new, falsifiable predictions. While Popper recognizes that scientists can and do hold onto theories in the face of failed predictions when there are no predictively superior rivals to turn to. He holds that scientific practice is characterized by its continual effort to test theories against experience and make revisions based on the outcomes of these tests. By contrast, theories that are permanently immunized from falsification by the introduction of untestable ad hoc hypotheses can no longer be classified as scientific. Among other things, Popper argues that his falsificationist proposal allows for a solution of the problem of induction, since inductive reasoning plays no role in his account of theory choice. Along with his general proposals regarding falsification and scientific methodology, Popper is notable for his work on probability and quantum mechanics and on the methodology of the social sciences. Popper defends a propensity theory of probability, according to which probabilities are interpreted as objective, mind-independent properties of experimental setups. Popper then uses this theory to provide a realist interpretation of quantum mechanics, though its applicability goes beyond this specific case. With respect to the social sciences, Popper argued against the historicist attempt to formulate universal laws covering the whole of human history and instead argued in favor of methodological individualism and situational logic. Table of Contents 1. Background 2. Falsification and the Criterion of Demarcation a. Popper on Physics and Psychoanalysis b. Auxiliary and Ad Hoc Hypotheses c. Basic Sentences and the Role of Convention d. Induction, Corroboration, and Verisimilitude 3. Criticisms of Falsificationism 4. Realism, Quantum Mechanics, and Probability 5. Methodology in the Social Sciences 6. Popper’s Legacy 7. References and Further Reading a. Primary Sources b. Secondary Sources -/- . (shrink)

In proof-theoretic semantics, meaning is based on inference. It may be seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems K, KT (...) , K4, and S4, with □ as the primary modal operator. We establish appropriate soundness and completeness theorems and establish the duality between □ and a natural presentation of ♢. We also show that our semantics is in its current form not complete with respect to euclidean modal logics. Our formulation makes essential use of relational structures on bases. (shrink)

This paper addresses a set-theoretic completeness based on a relational semantics for fuzzy extensions of two versions Rt and R T of R (Relevance logic). To this end, two fuzzy logics FRt and FRT as extensions of Rt and R T, respectively, and the relational semantics, so called Routley-Meyer semantics, for them are first recalled. Next, on the semantics completeness results are provided for them using a set-theoretic way.

Main results are: (i) number e^{e} is transcendental; (ii) the both numbers e+π and e-π are irrational.

My dissertation explores the ways in which Rudolf Carnap sought to make philosophy scientific by further developing recent interpretive efforts to explain Carnap’s mature philosophical work as a form of engineering. It does this by looking in detail at his philosophical practice in his most sustained mature project, his work on pure and applied inductive logic. I, first, specify the sort of engineering Carnap is engaged in as involving an engineering design problem and then draw out the complications of design (...) problems from current work in history of engineering and technology studies. I then model Carnap’s practice based on those lessons and uncover ways in which Carnap’s technical work in inductive logic takes some of these lessons on board. This shows ways in which Carnap’s philosophical project subtly changes right through his late work on induction, providing an important corrective to interpretations that ignore the work on inductive logic. Specifically, I show that paying attention to the historical details of Carnap’s attempt to apply his work in inductive logic to decision theory and theoretical statistics in the 1950s and 1960s helps us understand how Carnap develops and rearticulates the philosophical point of the practical/theoretical distinction in his late work, offering thus a new interpretation of Carnap’s technical work within the broader context of philosophy of science and analytical philosophy in general. (shrink)

In ‘Induction and Natural Kinds’, I proposed a solution to the problem of induction according to which our use of inductive inference is reliable because it is grounded in the natural kind structure of the world. When we infer that unobserved members of a kind will have the same properties as observed members of the kind, we are right because all members of the kind possess the same essential properties. The claim that the existence of natural kinds is (...) what grounds reliable use of induction is based on an inference to the best explanation of the success of our inductive practices. As such, the argument for the existence of natural kinds employs a form of ampliative inference. But induction is likewise a form of ampliative inference. Given both of these facts, my account of the reliability of induction is subject to the objection that it provides a circular justification of induction, since it employs an ampliative inference to justify an ampliative inference. In this paper, I respond to the objection of circularity by arguing that what justifies induction is not the inference to the best explanation of its reliability. The ground of induction is the natural kinds themselves. (shrink)

Consider a set of shuffled observations drawn from a fixed probability distribution over some instance domain. What enables learning of inductive generalizations which proceed from such a set of observations? The scenario is worthwhile because it epistemically characterizes most of machine learning. This kind of learning from observations is also inverse and ill-posed. What reduces the non-uniqueness of its result and, thus, its problematic epistemic justification, which stems from a one-to-many relation between the observations and many learnable generalizations? The paper (...) argues that this role belongs to any complexity regularization which satisfies Norton’s Material Theory of Induction (MTI) by localizing the inductive risk to facts in the given domain. A prime example of the localization is the Lottery Ticket Hypothesis (LTH) about overparameterized neural networks. The explanation of MTI’s role in complexity regularization of neural networks is provided by analyzing the stability of Empirical Risk Minimization (ERM), an inductive rule that controls the learning process and leads to an inductive generalization on the given set of observations. In cases where ERM might become asymptotically unstable, making the justification of the generalization by uniform convergence unavailable, LTH and MTI can be used to define a local stability. A priori, overparameterized neural networks are such cases and the combination of LTH and MTI can block ERM’s trivialization caused by equalizing the strengths of its inductive support for risk minimization. We bring closer the investigation of generalization in artificial neural networks and the study of inductive inference and show the division of labor between MTI and the optimality justifications (developed by Gerhard Schurz) in machine learning. (shrink)

The major point in [1] chapter 2 is the following claim: “Any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction.” So, in the case we wish to save Classical Logic we should change our Computational Model. As we see in chapter two, the mentioned contradiction is about and around the concept of time, as it is in the contradiction of modified version of paradox. It is natural (...) to try fabricating the paradox not by time but in some other linear ordering or the concept of space. Interestingly, the attempts to have similar contradiction by the other concepts like space and linear ordering, is failed. It is remarkable that, the paradox is considered either Epistemological or Logical traditionally, but by new considerations the new version of paradox should be considered as either Logical or Physical paradox. Hence, in order to change our Computational Model, it is natural to change the concept of time, but how? We start from some models that are different from the classical one but they are intuitively plausible. The idea of model is somewhat introduced by Brouwer and Husserl [3]. This model doesn’t refute the paradox, since the paradox and the associated contradiction would be repeated in this new model. The model is introduced in [2]. Here we give some more explanations. (shrink)

CARACTERÍSTICAS GERAIS DO GADO BOVINO -/- GENERAL CHARACTERISTICS OF CATTLE BOVINE -/- CARACTERÍSTICAS GENERALES DEL GANADO BOVINO -/- 1 TAXONOMIA DOS BOVINOS -/- Consideramos, nesse primeiro tópico, a taxonomia (ordenação e classificação das espécies animais e vegetais, onde também pode-se encontrar a relação de familiaridade entre organismos distintos e/ou iguais, bem como sua evolução em diversos aspectos: físico, motor, locomoção, anatomia, etc.) dos bovinos. É levado em consideração os itens mais relevantes e mais estudados em Zootecnia, Biologia, Medicina Veterinária, etc. (...) Observe o quadro a seguir: -/- Phylum -/- Chordata/Cordados (com espinha dorsal) -/- Subphylum -/- Vertebrata/Vertebrados -/- Classe -/- Mammalia/Mamíferos (pelos na pele e glândulas mamárias desenvolvidas) -/- Subclasse -/- Theria -/- Infraclasse -/- Eutheria -/- Ordem -/- Artrioctyla/Artiodátilos (dois dedos; 3 e 4 falanges) -/- Subordem -/- Ruminantia/Ruminantes (sem incisivos superiores e quatro compartimentos) -/- Infraordem -/- Pecora -/- Família -/- Bovidae -/- Gênero -/- Bos -/- Espécie -/- Taurus -/- Subespécie -/- Taurus ou Indicus -/- 2 CARACTERÍSTICAS ANATÔMICAS, BIOLÓGICAS E ZOOTÉCNICAS -/- Apresento as principais características quanto ao regime alimentar, à anatomia estomacal que faz com que o animal seja denominado de ruminante e a dentição dos bovinos. Observe o quadro que se segue: -/- Estômago -/- Composto por quatro compartimentos, em ordem: Rúmen, Retículo, Omaso e Abomaso -/- Regime alimentício -/- Herbívoros (alimentam-se de gramíneas e forrageiras) -/- Dentição -/- Incompleta; ausência de pinças superiores e caninos -/- 3 PARÂMETROS PRODUTIVOS E REPRODUTIVOS IDEAIS -/- Na bovinocultura é comum trabalhar com parâmetros de produção e reprodução que devem ser respeitados e atingidos em uma propriedade, tanto para o produtor obtiver lucros e investir em seu plantel quanto visando à saúde e o bem-estar dos animais. Observe alguns padrões mais relevantes no quadro: -/- Lactância -/- 305 dias (10 meses, segundo a raça trabalhada) -/- Intervalo entre partos (IEP) -/- 11.5 – 12.5 meses e até 18 meses -/- Idade ao primeiro parto -/- 24 – 25 meses (raças europeias) -/- Dias abertos2 (período de serviço) -/- 50 – 150 dias -/- Serviços por concepção -/- 1 – 2 -/- % de concepção ao primeiro serviço -/- 60% -/- % de concepção ao segundo serviço -/- 80% -/- % de concepção ao terceiro serviço -/- 90% -/- % de vacas paridas por ano -/- 90% -/- Substituições -/- 18 – 30% -/- % máxima de mortalidade fetal -/- < 5% -/- % máxima de mortalidade em vacas -/- 2% -/- % de resíduos não-genéticos -/- Até 10% -/- 4 CARACTERÍSTICAS REPRODUTIVAS FISIOLÓGICAS DO MACHO (BOI) -/- Na bovinocultura, seja de corte ou leiteira, é necessário entender os animais quanto as suas principais características reprodutivas para que o produtor possa tomar as devidas providências na hora da estação de monta, no período de concepção, de gestação e pós-gestação visando uma melhor eficiência reprodutiva, bem como aos lucros provindos do rebanho. Observe o quadro abaixo: -/- Volume por ejaculação -/- 4 ml (variando entre 2 – 10 ml) -/- Número de espermatozoides -/- 4000 – 5000 milhões -/- Local da inseminação -/- Vagina da vaca -/- Tempo de chegada do sêmen ao oviduto -/- 2 – 13 minutos -/- Número de espermatozoides que chegam ao oviduto -/- 4200 - 27500 -/- Vida fértil do espermatozoide -/- 30 – 48 horas -/- Tempo da ejaculação -/- 1 segundo -/- Porcentagem ideal de motilidade -/- 75% -/- Porcentagem ideal de células normais -/- 95% -/- pH do sêmen -/- 6,7 – 6,9 (6,8 de média) -/- Idade à puberdade -/- 10 meses (podendo haver variações entre 6 – 10 meses) -/- Idade à primeira monta/uso do sêmen (inseminação artificial) -/- 18 – 24 meses -/- 5 CARACTERÍSTICAS REPRODUTIVAS FISIOLÓGICAS DA FÊMEA (VACA) -/- Se é importante atentar-se as informações acerca do sistema reprodutivo e andrológico do macho, com a fêmea esse cuidado e atenção deve ser ainda maior, uma vez que é ela que gerará o futuro do rebanho do produtor. É necessário atentar-se e dar ênfase à uma série de procedimentos pré e pós-parto. Observe o quadro a seguir: -/- Tipo de reprodução -/- Poliéstrico contínuo -/- Idade à puberdade -/- 7 – 18 meses (11 meses no gado europeu) -/- Maturidade sexual -/- 14 – 18 meses no gado europeu -/- Peso à puberdade -/- 300 kg (200 – 450 kg para a classe de grandes raças) -/- Duração do ciclo estral -/- 21 dias (18 – 24 de variação) -/- Momento da ovulação -/- 12 horas após a finalização do estro -/- Vida fértil do óvulo -/- 20 – 24 horas -/- Óvulos liberados -/- 1 – 2 (a poliovulação é possível) -/- Implantação3 do embrião -/- 40 dias -/- 6 ALTERAÇÕES OCORRIDAS DURANTE O PERÍODO DE GESTAÇÃO -/- É necessário dar ênfase à alguns aspectos relevantes na bovinocultura como a duração da gestação de uma vaca, em média, o total de crias que ela favorece ao produtor, etc. todos esses apontamentos deverão ser colocados em um documento para que se possa manter a qualidade e a boa produção e produtividade do plantel. Os aspectos no quadro abaixo são os mais primordiais para o conhecimento de leigos e até mesmo de trabalhadores da área veterinária e/ou zootécnica. Todos os dados obtidos são uma média, que foi obtida por meio de pesquisas e práticas com os animais. -/- Duração da gestação -/- 283 dias -/- Número de crias ao parto -/- 1 – 2 (sendo que 2 são em raras ocasiões) -/- Tipo de placenta -/- Epiteliocorial/Cotiledonária -/- Tempo de implantação -/- 30 – 40 dias após a cópula -/- Início do período seco4 -/- Aos 10 meses de lactação e aos 7 meses de gestação -/- Duração do período seco -/- 2 meses -/- 7 SINAIS PRÉVIOS AO PARTO -/- Antes do parto das vacas, é necessário que a atenção seja redobrada, temos que observar a anatomia exterior de certas compartições como a vagina, a mudança comportamental também deve ser observada, todos esses cuidados visam a sanidade tanto da vaca quanto do neonato. Por isso, é viável que todo e qualquer parto seja observado à distância seja pelo criador ou o trabalhador da propriedade, visando a possível ajuda no parto do animal caso o neonato passe por complicações na hora do nascimento. Um dos grandes vilões que aumentam o percentual de mortalidade de neonatos é as possíveis complicações na hora do nascimento, o animal pode ficar preso e morrer, como denomina-se de distorcia. Observe os fatores a serem levados em consideração no quadro abaixo. -/- Edema vulvar -/- Acúmulo anormal de muco na vagina -/- Distensão de ligamentos -/- O primeiro compartimento a se distender é a vagina para a facilitação da passagem do neonato -/- Edema abdominal e mamário -/- Acumulação de líquidos anormal no abdômen e no úbere -/- Gotejamento do colostro -/- 12 – 24 horas antes do parto -/- Inquietações -/- As vacas prontas pra parir ficam inquietas, hiperativas -/- Inapetência -/- As vacas cortam a alimentação por conta própria -/- Isolamento -/- As vacas que, normalmente andam em rebanho, se isolam em um determinado lugar para que possa parir -/- 8 CONSTANTES FISIOLÓGICAS -/- Essas constantes de temperatura, frequência cardíaca e respiratória além dos movimentos ruminais, servem de base para que o produtor mantenha seu rebanho sob controle veterinário e que, mediante quaisquer alterações nos dados apresentados, o produtor deverá comunicar ao médico veterinário da propriedade para que possam ser tomadas as devidas providências. Observe o quadro: -/- Temperatura -/- 37,5 – 38,5 °C (adultos) -/- 38,5 – 39,5 °C (jovens) -/- Frequência cardíaca -/- 40 – 80 batimentos/minuto (adultos) -/- 80 – 110 batimentos/minuto (jovens) -/- Frequência respiratória -/- 10 – 30 respirações/minuto (adultos) -/- 15 – 45 respirações/minuto (jovens) -/- Movimentos ruminais -/- 2 – 3 movimentos/2 minutos -/- 9 pH (POTENCIAL HIDROGENIÔNICO) DE ALGUMAS SECREÇÕES CORPORAIS -/- Fator importante para discernir os líquidos dos bovinos e dividi-los em ácidos ou básicos, isto é, se são ácidos ou alcalinos. O pH varia entre 0 – 14 e sua média é 7 (neutro), pHs acima de 7 são considerados alcalinos, porventura, pHs abaixo de 7 são considerados ácidos. Observe o quadro: -/- Leite -/- 6,5 – 7 (neutro) -/- Urina -/- 7,4 – 8,4 (alcalina) -/- Sangue -/- 7,3 – 7,5 (neutro) -/- Líquido ruminal -/- 5,5 – 7 (ácido) -/- Líquido abomasal -/- 2 – 3 (ácido) -/- Saliva -/- 7,9 – 8,5 (alcalina) -/- 10 VALORES SANGUÍNEOS NORMAIS DOS BOVINOS -/- Esses valores são utilizados como padrão principalmente para pesquisas no ramo da Ciência Animal. Todavia, são imprescindíveis para atentar-se à saúde e ao bem-estar dos animais, uma vez que, possíveis alterações anormais, ocasionam complicações futuras que, por sua vez, implicará em gastos ao produtor com assistência veterinária constante e medicamentos. Observe o padrão dos valores no quadro seus valores e, em notas de rodapé, as significações biológicas e médicas dos mesmos. -/- Hemoglobinas5 -/- 8,15 gramas/decilitro (g/dl) -/- Hematócritos6 -/- 24,5% (precisamente 24,46%) -/- Eritrócitos/hemácias/glóbulos vermelhos7 -/- 5 – 10 milhões/milímetro cúbico (mm3) -/- Reticulócitos8 -/- 0 -/- Plaquetas9 -/- 100 mm3 -/- Leucócitos/glóbulos brancos10 -/- 4000 – 12000 mm3 -/- Neutrófilos segmentados11 -/- 15 – 45% -/- Neutrófilos banda -/- 0 – 2% -/- Linfócitos12 -/- 45 – 75% -/- Monócitos13 -/- 2 – 7% -/- Eosinófilos14 -/- 2 – 20% -/- Basófilos15 -/- 0,2 -/- 11 QUÍMICA SANGUÍNEA DOS BOVINOS -/- Quantidade de micro e macronutrientes existentes no sangue, pode não parecer importante, mas esses padrões quando, porventura, esses números alterem-se implicará em patologias interiores e exteriores necessitando-se, assim, de mão de obra especializada, ou seja, um médico veterinário. Observe o quadro a seguir: -/- pH sanguíneo (venoso) -/- 7,4 (precisamente 7,38) -/- Proteínas plasmáticas -/- 6,8 g/dl -/- Cálcio (Ca) -/- 9 – 11 miligramas/decilitro (mg/dl) -/- Fósforo (P) -/- 5 – 9 mg/dl -/- Magnésio (Mg) -/- 2 – 3 mg/dl -/- Sódio (Na) -/- 132 – 245 miliequivalentes/litro (mEq/L) -/- Potássio (K) -/- 4,1 – 5,1 mEq/L -/- Glicose -/- 50 – 70 mg/dl -/- Nitrogênio (N) urético no sangue -/- 5 – 20% -/- Creatinina16 -/- 1,5 mg/dl -/- Cobre (Cu) -/- 0,7 – 1,3 partes por milhão (ppm) -/- Chumbo (Pb) -/- 0 – 0,15 ppm -/- Fibrinogênio17 -/- 300 – 800 mg/dl -/- Bilirrubina18 total -/- 0,1 – 1,6 mg/dl -/- Bilirrubina livre -/- 0 – 1 mg/dl -/- Bilirrubina conjugada -/- 0,6 mg/dl -/- Ferro (Fe) -/- 100 – 200 mg/dl -/- TGO (transaminase glutâmico oxalacética)19 -/- 100 – 50 UI -/- TGP (transaminase glutâmico pirúvica) -/- 3 – 15 UI -/- FA (fosfatase alcalina) -/- 30 – 50 UI -/- CPK (creatinofosfoquinase)20 -/- 30 – 50 UI -/- LDH (lactato desidrogenase)21 -/- 300 – 600 UI -/- GGT (gama glutamil transferase) -/- 4,9 – 26 UI -/- HCO (bicarbonato) -/- 28 mEq/L -/- Nota: Atualmente, a medicação da TGO está caindo em desuso, em seu lugar mede-se AST (aspartato aminotransferase). Da mesma forma, utiliza-se a ALT (alanina aminotransferase) no lugar da TGP. -/- 12 CONSTANTES FISIOLÓGICAS DO APARELHO DIGESTIVO -/- Esses padrões servem para que o produtor possa ter um alicerce da quantidade de água e de alimentos (feno, silagem, palhas, etc.) que o animal deverá consumir para que possa produzir de forma eficiente e gerar lucros futuros para a propriedade. Observe o quadro abaixo: -/- Consumo de alimentos à livre acesso -/- 3% do peso vivo (PV) – (feno de ótima qualidade) -/- 2,2% do PV – (silagem) -/- 1% do PV – (palhas) -/- Consumo de água -/- 10% do PV dividido em 4 períodos: -/- 3,6 – 4,3 litros de água/kg de matéria seca (MS) -/- 50 – 80 litros de água/dia (alimentos secos) -/- 24 – 40 litros de água/dia (alimentos verdes) -/- 14 – 16 % do PV (mais de 5 litros/L de leite) -/- pH ideal da água deverá estar entre 6 – 9. -/- 13 CARACTERÍSTICAS DA RUMINAÇÃO -/- Os bovinos são animais de produção peculiares, isto é, é um dos animais com uma capacidade completamente enorme para um criador, estamos falando do fato de digerir alimentos fibrosos, especialmente os volumosos, e transformá-los em carne, leite, etc. Isso ocorre porque nos bovinos, como em caprinos, ovinos, etc. há a presença do rúmen em seu aparelho estomaco-digestivo. A ruminação consiste, basicamente, na regurgitação do alimento semi-digerido, o alimento primeiramente é consumido e vai para o primeiro compartimento, o rúmen, lá às bactérias e os protozoários começam a desagregação das fibras existentes no alimento, depois o alimento volta a boca do animal em que o mesmo agrega saliva e o mastiga novamente para ir ao retículo. Observe as características peculiares da ruminação no quadro: -/- Início e regularização (1° arroto) -/- 2 – 3 semanas de idade -/- Início (depois do alimento ingerido) -/- 5 – 15 horas após a ingestão -/- Número de períodos da ruminação -/- 4 – 24 períodos/dia (segundo a quantidade da frequência cardíaca (FC) e do tamanho das partículas -/- Total de regurgitações -/- 15 – 20 -/- Volume ruminado -/- 40 – 60 kg ao dia -/- Duração por período de ruminação -/- 10 – 60 minutos cada uma -/- Número dos bolos alimentares regurgitados -/- 360 - 790 -/- Peso dos bolos alimentares ruminados -/- 80 – 120 g -/- Movimentos mastigatórios e tempo de mastigação por bolo alimentar -/- 40 – 70 movimentos e o tempo de 45 – 60 segundos -/- Tempo da ruminação -/- 7 horas (variação conforme raça: 3 – 8 horas) -/- 14 COR NORMAL DAS FEZES -/- Na bovinocultura, de corte ou leite, é sumamente imprescindível atentar-se à todos os tipos de detalhes no animal, por exemplo, se está associado ao grupo, se está alimentando-se regularmente e normalmente, se está ruminando de forma normal e, até mesmo, a cor e a consistência das fezes exoneradas. Esse fator de coloração e consistência implica na sanidade do animal. Observe o quadro elaborado, segundo quantidades de clorofila, bílis, tipo de alimentação, etc. -/- Bezerro (período de amamentação) -/- Cor amarelada para o cinza -/- Bovino adulto (ruminante) -/- Verde escuro (pastagens) -/- Amarronzado (estábulo) -/- Amarelo pardo (engorda com concentrado/grãos) -/- Consistência: pastosa -/- Odor: ligeiramente desagradável -/- 15 CARACTERÍSTICAS DAS ESTRUTURAS DIGESTIVAS/COMPARTIMENTOS -/- Nos bovinos há a presença de 4 aparelhos estomacais, sendo o último, o abomaso, o estômago verdadeiro, isto é, o estômago químico do animal, antes disso, há a presença do rúmen que é o compartimento que faz dos animais ruminantes peculiares na pecuária, o retículo e o omaso. Observe o quadro abaixo: -/- Rúmen (Pança) -/- Proporção ocupada ante os compartimentos -/- 80% do lado esquerdo da cavidade abdominal -/- Capacidade -/- 200 – 250 litros ou 135 kg de material alimentício (adultos de raças pesadas) -/- pH do líquido -/- 5,5 – 7 -/- Movimentos ruminais -/- 2 – 3 movimentos/2 min. -/- Cor normal do líquido ruminal -/- Geralmente verde acinzentado -/- Consistência -/- Ligeiramente viscosa -/- Odor -/- Aromático e pouco repulsivo -/- Proporção bacteriana -/- 1 x 109 a 1 x 1010 /ml -/- Proporção protozoária -/- 1 x 102 a 1 x 106 /ml -/- Função -/- Digestão de celulose, hemicelulose e amido. -/- Fermentação de açúcar a acetato, propionato e butirato. Oxidação e absorção de acetato, propionato e butirato. -/- Assimilação de açúcares, minerais e nitrogênio no corpo microbiano. Bem como a absorção de outros íons. Produção de gases, ácidos graxos voláteis e massa microbiana -/- Retículo (bonete, coifa, barrete, crespina) -/- Tamanho -/- 5% de todo compartimento estomacal -/- Projeção -/- 6° à 8° costelas esquerdas -/- Função -/- Regurgitação na -/- ruminação e eructação. Também participa na fermentação -/- Omaso (saltério, filho, folhoso) -/- Tamanho -/- 7% de todo o compartimento -/- Projeção -/- 7° à 9° costelas esquerdas -/- Função -/- O omaso permite a reciclagem da água e de alguns minerais como o fósforo e o sódio que retornam ao rúmen pela saliva. Serve como objeto de transição entre as distintas fermentações do rúmen e do retículo. Grande capacidade de absorção de água, sódio, fósforo e ácidos graxos residuais e voláteis -/- Abomaso (coagulador, coalheira, estômago verdadeiro) -/- Tamanho -/- 7 – 9% de todo o compartimento -/- Projeção -/- Sobre o piso da cavidade ligeiramente à direita da linha média, desde o apêndice xifoide até o umbigo -/- Função -/- Digestão ácida. Secreção de enzimas digestivas e do ácido clorídrico (HCl) que mata os microrganismos. Digere alimentos não fermentados no rúmen (algumas proteínas e lipídeos). Digestão peptídica de microrganismos. -/- REFERENCIAL TEÓRICO -/- JARDIM, V. R. Bovinocultura. 1ª ed. Campinas: Instituto Campineiro de Ensino Agrícola, 1973. -/- _____________.; JARDIM, L. M. B. F.; TORRES, A. di P. Manual de Zootecnia: raças que interessam ao Brasil. 1ª ed. São Paulo: Agronômica Ceres, 1982. -/- ROSENBERGER, G. et al. Exame clínico dos bovinos. 1ª ed. Rio de Janeiro: Guanabara Koogan, 1993. (shrink)

The paper explicates the stages of the author’s philosophical evolution in the light of Kopnin’s ideas and heritage. Starting from Kopnin’s understanding of dialectical materialism, the author has stated that category transformations of physics has opened from conceptualization of immutability to mutability and then to interaction, evolvement and emergence. He has connected the problem of physical cognition universals with an elaboration of the specific system of tools and methods of identifying, individuating and distinguishing objects from a scientific theory domain. The (...) role of vacuum conception and the idea of existence (actual and potential, observable and nonobservable, virtual and hidden) types were analyzed. In collaboration with S.Crymski heuristic and regulative functions of categories of substance, world as a whole as well as postulates of relativity and absoluteness, and anthropic and self-development principles were singled out. Elaborating Kopnin’s view of scientific theories as a practically effective and relatively true mapping of their domains, the author in collaboration with M. Burgin have originated the unified structure-nominative reconstruction (model) of scientific theory as a knowledge system. According to it, every scientific knowledge system includes hierarchically organized and complex subsystems that partially and separately have been studied by standard, structuralist, operationalist, problem-solving, axiological and other directions of the current philosophy of science. 1) The logico-linguistic subsystem represents and normalizes by means of different, including mathematical, languages and normalizes and logical calculi the knowledge available on objects under study. 2) The model-representing subsystem comprises peculiar to the knowledge system ways of their modeling and understanding. 3) The pragmatic-procedural subsystem contains general and unique to the knowledge system operations, methods, procedures, algorithms and programs. 4) From the viewpoint of the problem-heuristic subsystem, the knowledge system is a unique way of setting and resolving questions, problems, puzzles and tasks of cognition of objects into question. It also includes various heuristics and estimations (truth, consistency, beauty, efficacy, adequacy, heuristicity etc) of components and structures of the knowledge system. 5) The subsystem of links fixes interrelations between above-mentioned components, structures and subsystems of the knowledge system. The structure-nominative reconstruction has been used in the philosophical and comparative case-studies of mathematical, physical, economic, legal, political, pedagogical, social, and sociological theories. It has enlarged the collection of knowledge structures, connected, for instance, with a multitude of theoreticity levels and with an application of numerous mathematical languages. It has deepened the comprehension of relations between the main directions of current philosophy of science. They are interpreted as dealing mainly with isolated subsystems of scientific theory. This reconstruction has disclosed a variety of undetected knowledge structures, associated also, for instance, with principles of symmetry and supersymmetry and with laws of various levels and degrees. In cooperation with the physicist Olexander Gabovich the modified structure-nominative reconstruction is in the processes of development and justification. Ideas and concepts were also in the center of Kopnin’s cognitive activity. The author has suggested and elaborated the triplet model of concepts. According to it, any scientific concept is a dependent on cognitive situation, dynamical, multifunctional state of scientist’s thinking, and available knowledge system. A concept is modeled as being consisted from three interrelated structures. 1) The concept base characterizes objects falling under a concept as well as their properties and relations. In terms of volume and content the logical modeling reveals partially only the concept base. 2) The concept representing part includes structures and means (names, statements, abstract properties, quantitative values of object properties and relations, mathematical equations and their systems, theoretical models etc.) of object representation in the appropriate knowledge system. 3) The linkage unites a structures and procedures that connect components from the abovementioned structures. The partial cases of the triplet model are logical, information, two-tired, standard, exemplar, prototype, knowledge-dependent and other concept models. It has introduced the triplet classification that comprises several hundreds of concept types. Different kinds of fuzziness are distinguished. Even the most precise and exact concepts are fuzzy in some triplet aspect. The notions of relations between real scientific concepts are essentially extended. For example, the definition and strict analysis of such relations between concepts as formalization, quantification, mathematization, generalization, fuzzification, and various kinds of identity are proposed. The concepts «PLANET» and «ELEMENTARY PARTICLE» and some of their metamorphoses were analyzed in triplet terms. The Kopnin’s methodology and epistemology of cognition was being used for creating conception of the philosophy of law as elaborating of understanding, justification, estimating and criticizing legal system. The basic information on the major directions in current Western philosophy of law (legal realism, feminism, criticism, postmodernism, economical analysis of law etc.) is firstly introduced to the Ukrainian audience. The classification of more than fifty directions in modern legal philosophy is suggested. Some results of historical, linguistic, scientometric and philosophic-legal studies of the present state of Ukrainian academic science are given. (shrink)

According to Milner and Goodale’s dual visual systems (DVS) theory, a division obtains between visual consciousness and motor action, in that the visual system producing conscious vision (the ventral stream) is distinct from the one guiding action (the dorsal stream). That there would be this division is often taken (by Andy Clark and others) to undermine the folk view on how consciousness and action relate. However, even if this division obtains, this leaves open the possibility that con- scious ventral information (...) is often transmitted to the uncon- scious dorsal stream and then used to guide action, a possibility seeming to preserve a significant role for consciousness in action. This article assesses this possibility. In course of doing so, we will review those arguments recently having been made against the DVS view on how visual consciousness and action relate (ones due to, e.g., Briscoe and Schwenkler, or Schenk and McIntosh). What we will find is that, if we properly analyze the data upon which these arguments are based, we are still left with the impression that the DVS view is largely correct; i.e., it is only rarely that visual experience guides action. (shrink)

In this paper, the performance of inverted pendulum have been Investigated using robust control theory. The robust controllers used in this paper are H∞ Loop Shaping Design Using Glover McFarlane Method and mixed H∞ Loop Shaping Controllers. The mathematical model of Inverted Pendulum, a DC motor, Cart and Cart driving mechanism have been done successfully. Comparison of an inverted pendulum with H∞ Loop Shaping Design Using Glover McFarlane Method and H∞ Loop Shaping Controllers for a control target (...) deviation of an angle from vertical of the inverted pendulum using two input signals (step and impulse). The simulation result shows that the inverted pendulum with mixed H∞ Loop Shaping Controller to have a small rise time, settling time and percentage overshoot in the step response and having a good response in the impulse response too. Finally the inverted pendulum with mixed H∞ Loop Shaping Controller shows the best performance in the overall simulation result. (shrink)

In this chapter we will deal with “mechanizing” induction, i.e. with ways in which theoretical computer science approaches inductive generalization. In the field of Machine Learning, algorithms for induction are developed. Depending on the form of the available data, the nature of these algorithms may be very different. Some of them combine geometric and statistical ideas, while others use classical reasoning based on logical formalism. However, we are not so much interested in the algorithms themselves, but more (...) on the philosophical and theoretical foundations they share. Thus in the first of two parts, we will examine different approaches and inductive assumptions in two particular learning settings. While many machine learning algorithms work well on a lot of tasks, the interpretation of the learned hypothesis is often difficult. Thus, while e.g. an algorithm surprisingly is able to determine the gender of the author of a given text with about 80 percent accuracy [Argamon and Shimoni, 2003], for a human it takes some extra effort to understand on the basis of which criteria the algorithm is able to do so. With that respect the advantage of approaches using logic are obvious: If the output hypothesis is a formula of predicate logic, it is easy to interpret. However, if decision trees or algorithms from the area of inductive logic programming are based purely on classical logic, they suffer from the fact that most universal statements do not hold for exceptional cases, and classical logic does not offer any convenient way of representing statements which are meant to hold in the “normal case”. Thus, in the second part we will focus on approaches for Nonmonotonic Reasoning that try to handle this problem. Both Machine Learning and Nonmonotonic Reasoning have been anticipated partially by work in philosophy of science and philosophical logic. At the same time, recent developments in theoretical computer science are expected to trig- ger further progress in philosophical theories of inference, confirmation, theory revision, learning, and the semantic and pragmatics of conditionals. We hope this survey will contribute to this kind of progress by building bridges between computational, logical, and philosophical accounts of induction. (shrink)

Abstract: The development of technology pushes human to increase productivity by changing manual system to automatic system. Modernization affect almost all aspect especially in art. Batik is a ancestor legacy of indonesian people that recogized by UNESCO as culture legacy of Indonesia yet batik industries are not develop as much. Modernization in batik art is expected to optimize its productivity. This research design algorithm and the program in MATLAB that used for controlling movement protype of batik maker 2 dof cartesian (...) robot. The input data is a picture that will be processed to obtain the order of coordinate edge. Then it procesed and sent to plantby using MATLAB based on Graphical User Interface (GUI). The 2 dof Cartesian robot and a pen (end effector) is used to draw a pattern. A servo motor is installed to activate end effector and two stepper motor coupled with thread mechanic that used to move it towards the X and Y axis. Testing is done by sending coordinat orders to the plant or by observing drawing process order. Obtained error from program and algorithm testing is 2,32% . (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

Inductive conclusions rest upon the Uniformity Principle, that similar events lead to similar results. The principle derives from three fundamental axioms: Existence, that the observed object has an existence independent of the observer; Identity, that the objects observed, and the relationships between them, are what they are; and Continuity, that the objects observed, and the relationships between them, will continue unchanged absent a sufficient reason. Together, these axioms create a statement sufficiently precise to be falsified. -/- Simple enumeration of (...) successful observations is ineffective to support an inductive conclusion. First, as its analytical device, induction uses the contrapositive form of the hypothesis; a successful observation merely represents the denial of the antecedent, from which nothing follows. Second, simple enumeration uses an invalid syllogism that fails to distribute its middle term. -/- Instead, the inductive syllogism identifies its subject by excluding nonuniform results, using the contrapositive form of the hypotheses. The excluded data allows an estimate of the outer boundaries of the subject under examination. But an estimate of outer boundaries is as far as the inductive process may proceed; an affirmative identification of the content of the subject never becomes possible. (shrink)

Formalisms based on one or other flavor of Description Logic (DL) are sometimes put forward as helping to ensure that terminologies and controlled vocabularies comply with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) does indeed comply with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties (...) of SNOMED CT classes with respect to these principles. Our major results are: 31% of these classes have a single child; 27% have multiple parents; 51% do not exhibit any differentiae between the description of the parent and that of the child. The applications of this study to quality assurance for ontologies are discussed and suggestions are made for dealing with the phenomenon of multiple inheritance. The advantages and limitations of our approach are also discussed. (shrink)

Evolution and geometry generate complexity in similar ways. Evolution drives natural selection while geometry may capture the logic of this selection and express it visually, in terms of specific generic properties representing some kind of advantage. Geometry is ideally suited for expressing the logic of evolutionary selection for symmetry, which is found in the shape curves of vein systems and other natural objects such as leaves, cell membranes, or tunnel systems built by ants. The topology and geometry of symmetry is (...) controlled by numerical parameters, which act in analogy with a biological organism’s DNA. The introductory part of this paper reviews findings from experiments illustrating the critical role of two-dimensional (2D) design parameters, affine geometry and shape symmetry for visual or tactile shape sensation and perception-based decision making in populations of experts and non-experts. It will be shown that 2D fractal symmetry, referred to herein as the “symmetry of things in a thing”, results from principles very similar to those of affine projection. Results from experiments on aesthetic and visual preference judgments in response to 2D fractal trees with varying degrees of asymmetry are presented. In a first experiment (psychophysical scaling procedure), non-expert observers had to rate (on a scale from 0 to 10) the perceived beauty of a random series of 2D fractal trees with varying degrees of fractal symmetry. In a second experiment (two-alternative forced choice procedure), they had to express their preference for one of two shapes from the series. The shape pairs were presented successively in random order. Results show that the smallest possible fractal deviation from “symmetry of things in a thing” significantly reduces the perceived attractiveness of such shapes. The potential of future studies where different levels of complexity of fractal patterns are weighed against different degrees of symmetry is pointed out in the conclusion. (shrink)

The aim of the article is to show how the use of diagnostic methods allows identifying patterns and problems of corporations functioning, providing identification of directions and strategies for further development of their business. Theoretical and methodological basis of the research is a scientific works of scientists in the field of business diagnostics and strategic development, who studied diagnostics in the system of responding to business development problems, identifying areas for improving strategic management, financial statements of corporations of Daimler Group (...) (Germany), Tesla Motors (USA) and Toyota Motor (Japan) and own research results. The methodological basis of the study is a set of general and special methods used to achieve the goal of the research and includes: theoretical generalization and synthesis – in analyzing the content of scientific works on business diagnostics and strategic management; observation – to obtain primary information about the state of business of automotive companies in the world; indicator and integrated assessment – to assess the state of business and the effectiveness of strategic management of automotive corporations; information and logical analysis – when determining the issues and patterns of business development of corporations; problem-target method – to justify the choice of business development strategies; causation-result method – to obtain definitive conclusions. The results of the study of the state of business of the world's leading automotive corporations revealed the dependence of business efficiency on the degree of efficiency of strategic management of their activities, and identified types of strategies that will promote further development of automotive corporations – integrated, concentrated, diversified or globalized growth. The practical significance of the obtained results lies in their usefulness for strategic management for Daimler Group, Tesla Motors, Toyota Motor Corporation. (shrink)