This book brings together the latest technological research in computational intelligence and fuzzy logic as a way to care for our environment, highlighting current advances and future trends in environmental sustainability using the principles of soft computing.

In this modern world, a massive amount of data is processed and broadcasted daily. This includes the use of high energy, massive use of memory space, and increased power use. In a few applications, for example, image processing, signal processing, and possession of data signals, etc., the signals included can be viewed as light in a few spaces. The compressive sensing theory could be an appropriate contender to manage these limitations. “Compressive Sensing theory” preserves extremely helpful while signals are sparse (...) or compressible. It very well may be utilized to recoup light or compressive signals with less estimation than customary strategies. Two issues must be addressed by CS: plan of the estimation framework and advancement of a proficient sparse recovery calculation. The essential intention of this work expects to audit a few ideas and utilizations of compressive sensing and to give an overview of the most significant sparse recovery calculations from every class. The exhibition of acquisition and reconstruction strategies is examined regarding the Compression Ratio, Reconstruction Accuracy, Mean Square Error, and so on. (shrink)

This study aims to identify the necessary strategies for the development of a sustainable financial system. For this purpose, a novel approach could be provided for soft computing with Gaussian-based fuzzy DEMATEL approach to understand the significant levels and impact-relation degrees of these criteria. For robustness check, this evaluation has also been performed for triangular and trapezoidal fuzzy sets. There are many novelties of this study. Firstly, computer science has a significant role in the decision-making process. Another specificity (...) is that the use of Gaussian numbers with fuzzy numbers is a new area. In addition, interval type-2 fuzzy sets also provide a significant advantage in decision-making under uncertainty. The results demonstrate that the size of the alternative financing, investment in efficient projects, and effective advertisement/promotions are the most important items to affect the performance of alternative banking system of emerging economies. Hence, it is recommended that the new banking applications should be applied by the state or the state can provide some incentives for foreign banks to invest in emerging economies, such as tax reduction. Another important point is that the financial intermediations should generate a component financial analysis team to examine the financial reports of the companies in detail so that the financial credibility of these companies can be evaluated more effectively. (shrink)

Today, soft computing is a field that is used a lot in solving real-world problems, such as problems in economics, finance, banking... With the aim to serve for solving the real problem, many new theories and/or tools which were proposed, improved to help soft computing used more efficiently. We can mention some theories as fuzzy sets theory (L. Zadeh, 1965), intuitionistic fuzzy set (K Atanasov, 1986), neutrosophic set (F. Smarandache 1999). In this paper, we introduce a (...) new notion of sup port-neutrosophic set (SNS), which is the combination a neutrosophic set with a fuzzy set. So, SNS set is a direct extension of fuzzy set and neutrosophic sets (F. Smarandache). Then, we define some operators on the support-neutrosophic sets, and investigate some properties of these operators. (shrink)

Computational intelligence techniques are being investigated as an extension of the traditional fault diagnosis methods. This article presents, for the first time, a scheme for fault detection and isolation via artificial neural networks and fuzzy logic. It deals with the sensor fault of a three-link selective compliance assembly robot arm robot. A second scheme is proposed for fault detection and accommodation via analytical redundancy, and it deals with the sensor fault of a three-link SCARA robot. These proposed FDI approaches are (...) implemented on Matlab/simulink software and tested under several types of faults. The results show the importance of this process. Then, the sensor faults are detected and isolated successfully. Also, the actuator faults are detected and a fault tolerance strategy is used for reconfigurable control using a sliding-mode observer. (shrink)

Design problems in structural engineering are often modeled as differential equations. These problems are posed as initial or boundary value problems with several possible variations in structural designs. In this paper, we have derived a mathematical model that represents different structures of beam-columns by varying axial load with or without internal forces including bending rigidity. We have also developed a novel solver, the LeNN-NM algorithm, which consists of weighted Legendre polynomials, and a single path following optimizer, the Nelder–Mead algorithm. To (...) evaluate the performance of our solver, we have considered three design problems representing beam-columns. The values of performance indicators, MAD, TIC, NSE, and ENSE, are calculated for a hundred simulations. The outcome of our statistical analysis points to the superiority of the LeNN-NM algorithm. Graphical illustrations are presented to further elaborate on our claims. (shrink)

Evapotranspiration represents the water requirement of plants during their growing season, and its accurate measurement at the farm is essential for agricultural water planners and managers. Field measurements of evapotranspiration have always been associated with many difficulties that have led researchers to seek a way to remotely measure this component in horticultural and agricultural areas. This study aims to investigate an indirect approach for daily rice crop evapotranspiration measurement by machine learning techniques and the least available climatic variables. For this (...) purpose, daily meteorological variables were obtained from three ground meteorological stations in rice cultivation regions of northern Iran during 2003–2016. The ETc rates were calculated by seven meteorological variables, the FAO-56 Penman-Monteith equation, and the regional calibrated rice crop coefficient and considered as the reference data. The MLs, including Multilayer Perceptron, Radial Basis Function, Generalized Regression Neural Network, and Group Method of Data Handling, were utilized for ETc modeling. Different input combinations were applied, based on the use of minimum effective variables as input. Results showed that the models showed the most accurate performances in the input combination of four climatic variables: sunshine duration, maximum temperature, relative humidity, and wind speed. Investigating the accuracy of models in rice growth phases showed that the least estimation error belonged to the initial growing stage, which increased during the mid-season and late-season growing stages. A comparison of the models showed that the GMDH model performed better against the other competitors. For this model, both the Nash-Sutcliffe coefficient and R2 were greater than 0.98, and the Root Mean Square Error ranged between 0.214 and 0.234 mm per day in all stations. The current approach showed promising results in rice evapotranspiration modeling by only four common meteorological variables and can be reliably applied for indirect measurement of this variable over the rice farms. The studied approach will have research value for rice and other crops in similar/different climatic conditions. (shrink)

This volume is a guide to two types of transcendence of academic borders which seem necessary for understanding and modelling brain function.

Constraints and dependencies among the elements of embodied cognition form patterns or microstrategies of interactive behavior. Hard constraints determine which microstrategies are possible. Soft constraints determine which of the possible microstrategies are most likely to be selected. When selection is non‐deliberate or automatic the least effort microstrategy is chosen. In calculating the effort required to execute a microstrategy each of the three types of operations, memory retrieval, perception, and action, are given equal weight; that is, perceptual‐motor activity does not (...) have a privileged status with respect to memory. Soft constraints can work contrary to the designer's intentions by making the access of perfect knowledge in‐the‐world more effortful than the access of imperfect knowledge in‐the‐head. These implications of soft constraints are tested in two experiments. In experiment 1 we varied the perceptual‐motor effort of accessing knowledge in‐the‐world as well as the effort of retrieving items from memory. In experiment 2 we replicated one of the experiment 1 conditions to collect eye movement data. The results suggest that milliseconds matter. Soft constraints lead to a reliance on knowledge in‐the‐head even when the absolute difference in perceptual‐motor versus memory retrieval effort is small, and even when relying on memory leads to a higher error rate and lower performance. We discuss the implications of soft constraints for routine interactive behavior, accounts of embodied cognition, and tool and interface design. (shrink)

Advanced biological brains are by nature open-ended opportunistic controllers. Such controllers compute, pretty much on a moment-to-moment basis, what problem-solving resources are readily available and recruit them into temporary problem-solving wholes. Neural plasticity, exaggerated in our own species, makes it possible for such resources to become factored deep into both our cognitive and physical problem-solving routines. One way to think about this is to depict the biological brain as a master of what I shall dub ‘ecological control’. Ecological control is (...) the kind of top-level control that does not micro-manage every detail, but rather encourages substantial devolvement of power and responsibility. This kind of control allows much of our skill at walking to reside in the linkages and elastic properties of muscles and tendons. And it allows much of our prowess at thought and reason to depend upon the robust and reliable operation, often in dense brain-involving loops, of a variety of non-biological problem-solving resources spread throughout our social and technological surround. Are the complex distributed systems that result in some sense ‘out of control’, beyond the reach of useful governance? I shall argue that they are not, although understanding them requires us to re-think some key ideas about control and the nature of the self. To make this case, I shall first examine some strategies for efficient, external opportunity exploiting control in simple systems. I shall then argue that many of the same lessons apply to the case of higher-level human problem-solving. (shrink)

Advanced biological brains are by nature open-ended opportunistic controllers. Such controllers compute, pretty much on a moment-to-moment basis, what problem-solving resources are readily available and recruit them into temporary problem-solving wholes. Neural plasticity, exaggerated in our own species, makes it possible for such resources to become factored deep into both our cognitive and physical problem-solving routines. One way to think about this is to depict the biological brain as a master of what I shall dub ‘ecological control’. Ecological control is (...) the kind of top-level control that does not micro-manage every detail, but rather encourages substantial devolvement of power and responsibility. This kind of control allows much of our skill at walking to reside in the linkages and elastic properties of muscles and tendons. And it allows much of our prowess at thought and reason to depend upon the robust and reliable operation, often in dense brain-involving loops, of a variety of non-biological problem-solving resources spread throughout our social and technological surround. Are the complex distributed systems that result in some sense ‘out of control’, beyond the reach of useful governance? I shall argue that they are not, although understanding them requires us to re-think some key ideas about control and the nature of the self. To make this case, I shall first examine some strategies for efficient, external opportunity exploiting control in simple systems. I shall then argue that many of the same lessons apply to the case of higher-level human problem-solving. (shrink)

The central idea behind this paper is that presuppositions of soft triggers arise from the way our attention structures the informational content of a sentence. Some aspects of the information conveyed are such that we pay attention to them by default, even in the absence of contextual information. On the other hand, contextual cues or conversational goals can divert attention to types of information that we would not pay attention to by default. Either way, whatever we do not pay (...) attention to, be it by default, or in context, is what ends up presupposed by soft triggers. This paper attempts to predict what information in the sentence is likely to end up being the main point (i.e. what we pay attention to) and what information is independent from this, and therefore likely presupposed. It is proposed that this can be calculated by making reference to event times. The notion of aboutness used to calculate independence is based on that of Demolombe and Fariñas del Cerro (In: Holdobler S (ed) Intellectics and computational logic: papers in honor of Wolfgang Bibel, 2000). (shrink)

In this paper, we propose to see the Necker cube phenomenon as a basis for the development of a mathematical language in accordance with Leibniz’s vision of soft logic. By the development of a new coordinate system, we make a distinction between −0 and +0. This distinction enables us to present a new model for nonstandard analysis, and to develop a calculus theory without the need of the concept of limit. We also established a connection between “Recursive Distinctioning” and (...) soft logic, and use it as a basis for a new computational model. This model has a potential to change the current computational paradigm. (shrink)

Technologies not only change “external reality” but also change our internal consciousness, shaping the way we experience the world. As the reality of intelligent environments is upon us—ushered along with the age of ubiquitous computing—we must be careful that the ideology these technologies embody is not blindly incorporated into the environment. As disciplines, engineering and computer science make implicit assumptions about the world that conflict with traditional modes of cultural production. For example, space is commonly understood to be the (...) void left behind when no objects are present. Unfortunately, once we see space in this way, we are unable to understand the role it plays in our everyday experience. In order to make computationally enhanced spaces that are meaningful at the level of the everyday, we must exorcise the notion of intelligence from their design and replace it with life. Henri Lefebvre’s discussions of the space of everyday life provide a framework to help conceive this transition. (shrink)

Cloud computing (ClC) has become a more popular computer paradigm in the preceding few years. Quality of Service (QoS) is becoming a crucial issue in service alteration because of the rapid growth in the number of cloud services. When evaluating cloud service functioning using several performance measures, the issue becomes more complex and non-trivial. It is therefore quite difficult and crucial for consumers to choose the best cloud service. The user's choices are provided in a quantifiable manner in the (...) current methods for choosing cloud services. Hence, this study attempts to achieve this objective through construction. decision-making framework so-called cloud services evaluator (CSsEv). The main indicator and its sub-indicators are formed as nodes at levels(n) in tree soft sets (TSSs). Thereafter Single Value Neutrosophic Sets (SVNSs) as branch of neutrosophic sets which conjunction with the Multi-Criteria Decision Making (MCDM) technique to facilitate analysis and evaluation process for the available Cloud services providers. Hence, entropy is employed to obtain indicators and sub_indicators weights and Complex Proportional Assessment utilizes these weights to facilitate the decision process of selecting optimal ClSPs. (shrink)

The contribution of the body to cognition and control in natural and artificial agents is increasingly described as “off-loading computation from the brain to the body”, where the body is said to perform “morphological computation”. Our investigation of four characteristic cases of morphological computation in animals and robots shows that the ‘off-loading’ perspective is misleading. Actually, the contribution of body morphology to cognition and control is rarely computational, in any useful sense of the word. We thus distinguish (1) morphology that (...) facilitates control, (2) morphology that facilitates perception and the rare cases of (3) morphological computation proper, such as ‘reservoir computing.’ where the body is actually used for computation. This result contributes to the understanding of the relation between embodiment and computation: The question for robot design and cognitive science is not whether computation is offloaded to the body, but to what extent the body facilitates cognition and control – how it contributes to the overall ‘orchestration’ of intelligent behaviour. (shrink)

In this paper I use the distinction between hard and soft information from the dynamic epistemic logic tradition to extend prior work on informational conceptions of logic to include non-monotonic consequence-relations. In particular, I defend the claim that at least some non-monotonic logics can be understood on the basis of soft or “belief-like” logical information, and thereby question the orthodox view that all logical information is hard, “knowledge-like”, information.

The human masticatory system is a complex functional unit characterized by a multitude of skeletal components, muscles, soft tissues, and teeth. Muscle activation dynamics cannot be directly measured on live human subjects due to ethical, safety, and accessibility limitations. Therefore, estimation of muscle activations and their resultant forces is a longstanding and active area of research. Reinforcement learning (RL) is an adaptive learning strategy which is inspired by the behavioral psychology and enables an agent to learn the dynamics of (...) an unknown system via policy-driven explorations. The RL framework is a well-formulated closed-loop system where high capacity neural networks are trained with the feedback mechanism of rewards to learn relatively complex actuation patterns. In this work, we are building on a deep RL algorithm, known as the Soft Actor-Critic, to learn the inverse dynamics of a simulated masticatory system, i.e., learn the activation patterns that drive the jaw to its desired location. The outcome of the proposed training procedure is a parametric neural model which acts as the brain of the biomechanical system. We demonstrate the model’s ability to navigate the feasible three-dimensional (3D) envelope of motion with sub-millimeter accuracies. We also introduce a performance analysis platform consisting of a set of quantitative metrics to assess the functionalities of a given simulated masticatory system. This platform assesses the range of motion, metabolic efficiency, the agility of motion, the symmetry of activations, and the accuracy of reaching the desired target positions. We demonstrate how the model learns more metabolically efficient policies by integrating a force regularization term in the RL reward. We also demonstrate the inverse correlation between the metabolic efficiency of the models and their agility and range of motion. The presented masticatory model and the proposed RL training mechanism are valuable tools for the analysis of mastication and other biomechanical systems. We see this framework’s potential in facilitating the functional analyses aspects of surgical treatment planning and predicting the rehabilitation performance in post-operative subjects. (shrink)

Enterprise resource planning (ERP) has a significant impact on modern businesses by enhancing productivity, automation, and streamlining of business processes, even accounting. Manufacturers can assure proper functioning and timely client demand using ERP software. Coordination, procurement control, inventory control, and dispatch of commodities are all features of supply chain management.

In this paper, I present an overview of personal and intimate technologies within a pedagogical context. I describe two courses that I have developed for Computation Arts at Concordia University: “Tangible Media and Physical Computing” and “Second Skin and Soft Wear.” Each course deals with different aspects of physical computing and tangible media in a Fine Arts context. In both courses, I introduce concepts of soft computation and intimate reactive artifacts as artworks. I emphasize the concept (...) of memory (contrasting computer memory and personal, interpretive memory), and explore how responsive or interactive objects can create a new medium for annotating architectural space and objects, for leaving traces of presence, and for recording personal histories. At the core of this pedagogical practice is a strong emphasis on engaging a vulnerable, personal approach to working with electronics and physical computation. To contextualize the teaching practice, I begin by presenting some of my own research projects developed at Extra Soft Labs (also known as XS Labs), then segue into a detailed discussion of these two classes, and conclude with a discussion of some student work. (shrink)

The paper sets out the challenges facing the Police in respect of the detection and prevention of the volume crime of burglary. A discussion of data mining and decision support technologies that have the potential to address these issues is undertaken and illustrated with reference the authors’ work with three Police Services. The focus is upon the use of “soft” forensic evidence which refers to modus operandi and the temporal and geographical features of the crime, rather than “hard” evidence (...) such as DNA or fingerprint evidence. Three objectives underpin this paper. First, given the continuing expansion of forensic computing and its role in the emergent discipline of Crime Science, it is timely to present a review of existing methodologies and research. Second, it is important to extract some practical lessons concerning the application of computer science within this forensic domain. Finally, from the lessons to date, a set of conclusions will be advanced, including the need for multidisciplinary input to guide further developments in the design of such systems. The objectives are achieved by first considering the task performed by the intended systems users. The discussion proceeds by identifying the portions of these tasks for which automation would be both beneficial and feasible. The knowledge discovery from databases process is then described, starting with an examination of the data that police collect and the reasons for storing it. The discussion progresses to the development of crime matching and predictive knowledge which are operationalised in decision support software. The paper concludes by arguing that computer science technologies which can support criminal investigations are wide ranging and include geographical information systems displays, clustering and link analysis algorithms and the more complex use of data mining technology for profiling crimes or offenders and matching and predicting crimes. We also argue that knowledge from disciplines such as forensic psychology, criminology and statistics are essential to the efficient design of operationally valid systems. (shrink)

The title question of the paper has its empirical origin in the form of an individual’s existential experience arising from the personal use of a computer, which we attempt to describe in the first section. The rest of the entire paper can be understood as a philosophical essay answering the question posed. First the connection between the main problem of the article and its “premonition” by mankind, which was expressed in the form of ancient myths and legends, is briefly suggested. (...) After shortly discussing the problems that early considerations of AI focused on, i.e. whether machines can think at all, we move on to reformulate our title question, about the possibility of outsmarting AI. This outsmarting will be understood by us in a rather limited way as to prevent a machine from completing its implemented task. To achieve this objective, after softly clarifying the basic terms, an analogy is built between the “outsmarting” of a machine by a human (the target domain) and the playing of a mathematical game between two players (the base domain), where this outsmarting is assigned a “winning strategy” in the certain game. This mathematical model is formed by games similar to Banach-Mazur games. The strict theorems of such games are then proved and applied to the target of the analogy. We then draw conclusions and look for counter-examples to our findings. The answer to the title question posed is negative, and it is not clear how far it should be taken seriously. (shrink)

People use commonsense science knowledge to flexibly explain, predict, and manipulate the world around them, yet we lack computational models of how this commonsense science knowledge is represented, acquired, utilized, and revised. This is an important challenge for cognitive science: Building higher order computational models in this area will help characterize one of the hallmarks of human reasoning, and it will allow us to build more robust reasoning systems. This paper presents a novel assembled coherence theory of human conceptual change, (...) whereby people revise beliefs and mental models by constructing and evaluating explanations using fragmentary, globally inconsistent knowledge. We implement AC theory with Timber, a computational model of conceptual change that revises its beliefs and generates human-like explanations in commonsense science. Timber represents domain knowledge using predicate calculus and qualitative model fragments, and uses an abductive model formulation algorithm to construct competing explanations for phenomena. Timber then scores competing explanations with respect to previously accepted beliefs, using a cost function based on simplicity and credibility, identifies a low-cost, preferred explanation and accepts its constituent beliefs, and then greedily alters previous explanation preferences to reduce global cost and thereby revise beliefs. Consistency is a soft constraint in Timber; it is biased to select explanations that share consistent beliefs, assumptions, and causal structure with its other, preferred explanations. In this paper, we use Timber to simulate the belief changes of students during clinical interviews about how the seasons change. We show that Timber produces and revises a sequence of explanations similar to those of the students, which supports the psychological plausibility of AC theory. (shrink)

In order to improve text reading ability, a human-computer interaction method based on artificial intelligence human-computer interaction is proposed. Firstly, the design of the AI human-computer interaction model is constructed, which includes the Stanford Question Answering Dataset and the designed baseline model. There are three components: the coding layer is based on a cyclic neural network, which aims to encode the problem and text into a hidden state; the interaction layer is used to integrate problems and text representation; the output (...) layer connects two independent soft Max layers after a fully connected layer, one is used to obtain the starting position of the answer in the text and the other is used to obtain the ending position. In the interaction layer of the model, this manuscript uses hierarchical attention and aggregation mechanism to improve text coding. The traditional model interaction layer has a simple structure, which leads to weak relevance between text and problems, and poor understanding ability of the model. Finally, the self-attention model is used to further enhance the feature representation of text. The experimental results show that the improved model in this manuscript is compared with the public AI human-computer interaction reading comprehension model. According to the data in the table, the accuracy of the model in this manuscript is better than that of the baseline model, in which the exact match value is increased by 1.4% and the F1 value is increased by 2.7%. However, compared with improvement point 2, the EM and F1 values of the model have decreased by 0.7%. It shows that the output layer has a certain impact on the effect of the model, and the improvement and optimization of the output layer can also improve the performance of the model. It is proved that AI human-computer interaction can effectively improve text reading ability. (shrink)

One recursively enumerable real α dominates another one β if there are nondecreasing recursive sequences of rational numbers (a[n] : n ∈ ω) approximating α and (b[n] : n ∈ ω) approximating β and a positive constant C such that for all n, C(α − a[n]) ≥ (β − b[n]). See [R. M. Solovay, Draft of a Paper (or Series of Papers) on Chaitin’s Work, manuscript, IBM Thomas J. Watson Research Center, Yorktown Heights, NY, 1974, p. 215] and [G. J. (...) Chaitin, IBM J. Res. Develop., 21 (1977), pp. 350–359]. We show that every recursively enumerable random real dominates all other recursively enumerable reals. We conclude that the recursively enumerable random reals are exactly the Ω-numbers [G. J. Chaitin, IBM J. Res. Develop., 21 (1977), pp. 350–359]. Second, we show that the sets in a universal Martin-Lof test for randomness have random measure, and every recursively enumerable random number is the sum of the measures represented in a universal Martin-Lof test. (shrink)

This volume constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Fuzzy Logic and Applications held in Naples, Italy, in October 2003. The 40 revised full papers presented have gone through two rounds of reviewing and revision. All current issues of theoretical, experimental and applied fuzzy logic and related techniques are addressed with special attention to rough set theory, neural networks, genetic algorithms and soft computing. The papers are organized in topical section on fuzzy sets (...) and systems, fuzzy control, neuro-fuzzy systems, fuzzy decision theory and application, and soft computing in image processing. (shrink)

The unexpected and premature passing away of Professor Ebrahim H. "Abe" Mamdani on January, 22, 2010, was a big shock to the scientific community, to all his friends and colleagues around the world, and to his close relatives. Professor Mamdani was a remarkable figure in the academic world, as he contributed to so many areas of science and technology. Of great relevance are his latest thoughts and ideas on the study of language and its handling by computers. The fuzzy logic (...) community is particularly indebted to Abe Mamdani (1941-2010) who, in 1975, in his famous paper An Experiment in Linguistic Synthesis with a Fuzzy Logic Controller, jointly written with his student Sedrak Assilian, introduced the novel idea of fuzzy control. This was an elegant engineering approach to the modeling and control of complex processes for which mathematical models were unknown or too difficult to build, yet they could effectively and efficiently be controlled by human operators. This ground-breaking idea has found innumerable applications and can be considered as one of the main factors for the proliferation and adoption of fuzzy logic technology. Professor Mamdani's own life and vital experience are illustrative of his “never surrendering” attitude while facing adversaries, which is normal for a person proposing any novel solution, and represent a great example for everybody. His subtle sense of humor, his joy for life, and his will to critically help people, especially young people, were characteristics deeply appreciated by all the people who enjoyed and benefited from his friendship and advice. This book constitutes a posthumous homage to Abe Mamdani. It is a collection of original papers related in some way to his works, ideas and vision, and especially written by researchers directly acquainted with him or with his work. The underlying goal of this book will be fulfilled if, in the very spirit of Mamdani's legacy, the papers will trigger a scientific or philosophical debate on the issues covered, or contribute to a cross-fertilization of ideas in the various fields. (shrink)

Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues to be addressed and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues (...) of Logic Programming which were often by-passed at the large international conferences. This volume contains the twelve papers which were presented at the ALPUK's 3rd conference which was held in Edinburgh, 10-12 April 1991. The aim of the conference was to give a broad but detailed technical insight into the work currently being done in this field, both in the UK and by researchers as far afield as Canada and Bulgaria. The breadth of interest in this area of Computer Science is reflected in the range of the papers which cover - amongst other areas - massively parallel implementation, constraint logic programming, circuit modelling, algebraic proof of program properties, deductive databases, specialised editors and standardisation. The resulting volume gives a good overview of the current progress being made in the field and will be of interest to researchers and students of any aspects of logic programming, parallel computing or database techniques and management. (shrink)

This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997. The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state (...) of the art in the area. (shrink)

‘Reasoning’ can be considered a general concept that, upon speaking, is the ‘enraonar’, a Catalan word that should not be mistaken with ‘explain’ nor with ‘discuss’ which imply more detail, and cover different situations. This article is presented as an essay on the ancient ideal of ‘enraonar’. To that end, it is explained in what sense ‘enraonar’ and reason are one of the most complex phenomena thought has to deal with. Here it is argued that these natural phenomena require a (...) systematic and ‘scientific’ study, and that withoutthis knowledge computer science cannot simulate people’s every-day ‘enraonar’. (shrink)

This book examines the interface between mathematics and applied sciences. The editor examines the present and future needs for the interaction between various science and engineering areas. This edited book brings together the cutting-edge research on mathematics, combining various fields of science and engineering. The book begins with an introduction to computing and modeling. Next, computation and modeling trends are covered, along with chapters on structural static and vibration problems, heat conduction and diffusion problems, and fluid dynamics problems. (...) class='Hi'>Soft computing and machine intelligence based modeling are also discussed, along with bio medical problems. The book concludes with a chapter on modeling in mining, electrical, electronics, and chemical problems. This book is a reference for students and researchers in various fields of engineering such as computer, mechanical, civil, aerospace, electrical, and chemical, as well as and other sciences such as applied mathematics, physics, chemistry, and life sciences. (shrink)

Engineers fine-tune the design of robot bodies for control purposes, however, a methodology or set of tools is largely absent, and optimization of morphology (shape, material properties of robot bodies, etc.) is lagging 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 ”morphological computation”. In this article, we briefly review different notions of computation by physical systems (...) and propose the dynamical systems framework as the most useful in the context of describing and eventually designing the interactions of controllers and bodies. Then, we 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 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. (shrink)

This article introduces some soft computing methods generally used for data analysis and flow pattern detection in fluid dynamics. These techniques decompose the original flow field as an expansion of modes, which can be either orthogonal in time, or in space or in time and space, or they can simply be selected using some sophisticated statistical techniques. The performance of these methods is tested in the turbulent wake of a wall-mounted square cylinder. This highly complex flow is suitable (...) to show the ability of the aforementioned methods to reduce the degrees of freedom of the original data by only retaining the large scales in the flow. The main result is a reduced-order model of the original flow case, based on a low number of modes. A deep discussion is carried out about how to choose the most computationally efficient method to obtain suitable reduced-order models of the flow. The techniques introduced in this article are data-driven methods that could be applied to model any type of non-linear dynamical system, including numerical and experimental databases. (shrink)

This paper proposes a model of the Artificial Autonomous Moral Agent (AAMA), discusses a standard of moral cognition for AAMA, and compares it with other models of artificial normative agency. It is argued here that artificial morality is possible within the framework of a “moral dispositional functionalism.” This AAMA is able to “read” the behavior of human actors, available as collected data, and to categorize their moral behavior based on moral patterns herein. The present model is based on several analogies (...) among artificial cognition, human cognition, and moral action. It is premised on the idea that moral agents should not be based on rule-following procedures, but on learning patterns from data. This idea is rarely implemented in AAMA models, albeit it has been suggested in the machine ethics literature (W. Wallach, C. Allen, J. Gips and especially M. Guarini). As an agent-based model, this AAMA constitutes an alternative to the mainstream action-centric models proposed by K. Abney, M. Anderson and S. Anderson, R. Arkin, T. Powers, W. Wallach, i.a. Moral learning and moral development of dispositional traits play here the fundamental role in cognition. By using a combination of neural networks and evolutionary computation, called “soft computing” (H. Adeli, N. Siddique, S. Mitra, L. Zadeh), the present model reaches a certain level of autonomy and complexity, which illustrates well “moral particularism” and a form of virtue ethics for machines, grounded in active learning. An example based on the “lifeboat metaphor” (G. Hardin) and the extension of this model to the NEAT architecture (K. Stanley, R. Miikkulainen, i.a.) are briefly assessed. (shrink)

This book is a collection of contributions written by philosophers and scientists active in different fields, such as mathematics, logics, social sciences, computer sciences and linguistics. They comment on and discuss various parts of and subjects and propositions introduced in the Handbook of Analytical Philosophy of Medicine from Kadem Sadegh-Zadeh, published by Springer in 2012. This volume reports on the fruitful exchange and debate that arose in the fuzzy community upon the publication of the Handbook. This was not only very (...) much appreciated by the community but also seen as a critical starting point for beginning a new discussion. The results of this discussion, which involved many different perspectives from science and the humanities and was warmly encouraged by Kadem Sadegh-Zadeh himself, are accurately reported in this volume, which is intended to be a critical companion to Kadem Sadegh-Zadeh ́s handbook. Rudolf Seising is currently an adjunct researcher at the European Centre for Soft Computing in Mieres, Asturias (Spain) and a college lecturer at the Faculty of History and Arts, at the Ludwig Maximilians University of Munich (Germany). Marco Elio Tabacchi is currently the Scientific Director of the Italian National Research & Survey Organization Demopolis, and a research assistant in the Soft Computing Group at University of Palermo (Italy). (shrink)

Neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics, neutrosophic measure, neutrosophic precalculus, neutrosophic calculus and so on are gaining significant attention in solving many real life problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistent, and indeterminacy. In the past years the fields of neutrosophics have been extended and applied in various fields, such as: artificial intelligence, data mining, soft computing, decision making in incomplete / indeterminate / inconsistent information systems, image processing, computational modelling, robotics, medical diagnosis, biomedical engineering, (...) investment problems, economic forecasting, social science, humanistic and practical achievements. There are about 7,000 neutrosophic researchers, within 89 countries around the globe, that have produced about 4,000 publications and tenths of PhD and MSc theses, within more than two decades. This is the sixth volume of the Encyclopedia of Neutrosophic Researchers, edited from materials offered by the authors who responded to the editor’s invitation, with an introduction contains a short history of neutrosophics, together with links to the main papers and books. -/- ES: Este es el Sexto volumen de la Enciclopedia de Investigadores Neutróficos, editados a partir de materiales ofrecidos por los autores que respondieron a la invitación del editor. Los autores se enumeran alfabéticamente. La introducción contiene una breve historia de la neutrosófica, y en especial se sus impacto en latinoamérica junto con enlaces a los principales artículos y libros. Conjunto neutrosófico, lógica neutrosófica, probabilidad neutrosófica, estadística neutrosófica, medida neutrosófica, precálculo neutrosófico, cálculo neutrosófico, psicología neutrosófica, sociología neutrosófica etc., están ganando una atención significativa en resolver muchos problemas de la vida real que implican incertidumbre, imprecisión, vaguedad, incompletitud, inconsistencia e indeterminación. En los últimos años, los campos de la neutrosófica se han ampliado y aplicado en diversos campos, tales como: inteligencia artificial, minería de datos, software informática, toma de decisiones en forma incompleta / indeterminada / inconsistente sistemas de información, procesamiento de imágenes, modelado computacional, robótica, diagnóstico médico, ingeniería biomédica, problemas de inversión, previsión económica, ciencias sociales, humanística y la validación y consolidación del conocimiento científico. (shrink)

Neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics, neutrosophic measure, neutrosophic precalculus, neutrosophic calculus and so on are gaining significant attention in solving many real life problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistent, and indeterminacy. In the past years the fields of neutrosophics have been extended and applied in various fields, such as: artificial intelligence, data mining, soft computing, decision making in incomplete / indeterminate / inconsistent information systems, image processing, computational modelling, robotics, medical diagnosis, biomedical engineering, (...) investment problems, economic forecasting, social science, humanistic and practical achievements. There are about 7,000 neutrosophic researchers, within 89 countries around the globe, that have produced about 4,000 publications and tenths of PhD and MSc theses, within more than two decades. This is the fifth volume of the Encyclopedia of Neutrosophic Researchers, edited from materials offered by the authors who responded to the editor’s invitation, with an introduction contains a short history of neutrosophics, together with links to the main papers and books. (shrink)

“ Tripping through ” is an invitation to plunge into the invisible relationships of hard and soft computer matter through sensuous mediation. The projects outlined are designed to provoke and capture the specific behavior of individual computer components through the use of appropriate software fragments. If one approaches a digital apparatus with a transducer that transforms electromagnetic fields into acoustic waves, the analytical sphere is changed into concrete acoustical phenomena and enters the world of sensation (electromagnetic emissions can be (...) picked using induction microphones and output as acoustic signals. A suitable example is a Monacor telephone adapter AC-71/3,5MM). In choreographies for software and computer parts, these become actors in noise pieces for and in computers. Machine noises can be mediated for the public. They reveal the activity of computer programs in the widest sense and the activity of the computers or computer parts they are running on. The time and space of computer processes and memory span different levels of reality during “ runtime. ” Software being processed within this system of coordinates creates its own temporal and spatial dimensions, which are staged for an audience to provide a sensual experience: that of logic encountering the physical world. (shrink)