The aviation industry is one of the most widely used applications in transportation. Due to the limited capacity of aircraft, revenue management in this industry is of high significance. On the other hand, the hub location problem has been considered to facilitate the demands assignment to hubs. This paper presents an integrated p-hub location and revenue management problem under uncertain demand to maximize net revenue and minimize total cost, including hub establishment and transportation costs. A fuzzy programming model (...) and a genetic algorithm are developed to solve the proposed model with different sizes. The mining and petroleum industry is used for case studies. Results show that the proposed algorithm can obtain a suitable solution in a reasonable amount of time. (shrink)

We show that it is possible to base fuzzy control on fuzzy logic programming. Indeed, we observe that the class of fuzzy Herbrand interpretations gives a semantics for fuzzy programs and we show that the fuzzy function associated with a fuzzy system of IF-THEN rules is the fuzzy Herbrand interpretation associated with a suitable fuzzy program.

The aim of this paper is to define some new operation laws for the trapezoidal linguistic cubic fuzzy number and Hamming distance. Furthermore, we define and use the trapezoidal linguistic cubic fuzzy TOPSIS method to solve the multi criteria decision making (MCDM) method. The new ranking method for trapezoidal linguistic cubic fuzzy numbers (TrLCFNs) are used to rank the alternatives. Finally, an illustrative example is given to verify and prove the practicality and effectiveness of the proposed method.

This paper examines a facet of the rise of the Hughes-Ingold Theory of Nucleophilic Substitution in Organic Chemistry 1933-1942, arguing that the SN1/SN2 model of reaction mechanism used by Hughes and Ingold is an example of a fuzzy model. Many real world 'Fuzzy Logic' Controlling Devices gave better results compared to classical logic controlling devices in the period 1975-1985. I propose that the adoption of fuzzy principles in the Hughes-Ingold program 1933-1940 led to scientific advance at a (...) time when the rival programs, based on classical principles, had stalled owing to problems associated with the fuzziness of the data. I suggest also that there is an analogy between the success of second generation fuzzy logic controllers 1985-95 and the success of the successor Winstein model from 1956 onwards. (shrink)

Let S be a set, P the class of all subsets of S and F the class of all fuzzy subsets of S. In this paper an “extension principle” for closure operators and, in particular, for deduction systems is proposed and examined. Namely we propose a way to extend any closure operator J defined in P into a fuzzy closure operator J* defined in F. This enables us to give the notion of canonical extension of a deduction system (...) and to give interesting examples of fuzzy logics. In particular, the canonical extension of the classical propositional calculus is defined and it is showed its connection with possibility and necessity measures. Also, the canonical extension of first order logic enables us to extend some basic notions of programming logic, namely to define the fuzzy Herbrand models of a fuzzy program. Finally, we show that the extension principle enables us to obtain fuzzy logics related to fuzzy subalgebra theory and graded consequence relation theory. (shrink)

Fuzzy logic is finding increased application in the control of real-world processes and in the work with and the manipulation of inexact knowledge. Two of the major attractions of fuzzy logic are: it permits one to express problems in (familiar) linguistic terms and it can be applied where the numerical mathematical model of a system may be too complex or impossible to build using conventional techniques. This book, written in an easily accessible style, assumes that students have a (...) solid background in embedded systems including basic logic design and C/C programming. (shrink)

This article attempts to study cost minimizing multi-objective fractional solid transportation problem with fuzzy cost coefficients c ˜ i j k r {\tilde{c}}_{ijk}^{r}, fuzzy supply quantities a ˜ i {\tilde{a}}_{i}, fuzzy demands b ˜ j {\tilde{b}}_{j}, and/or fuzzy conveyances e ˜ k {\tilde{e}}_{k}. The fuzzy efficient concept is introduced in which the crisp efficient solution is extended. A necessary and sufficient condition for the solution is established. Fuzzy geometric programming approach is applied to (...) solve the crisp problem by defining membership function so as to obtain the optimal compromise solution of a multi-objective two-stage problem. A linear membership function for the objective function is defined. The stability set of the first kind is defined and determined. A numerical example is given for illustration and to check the validity of the proposed approach. (shrink)

The complex characteristics of the gas turbine in a combined cycle unit have brought great difficulties in its control process. Meanwhile, the increasing emphasis on the efficiency, safety, and cleanliness of the power generation process also makes it significantly important to put forward advanced control strategies to satisfy the desired control demands of the gas turbine system. Therefore, aiming at higher control performance of the gas turbine in the gas-steam combined cycle process, a novel fuzzy model predictive control strategy (...) based on the fuzzy selection mechanism and simultaneous heat transfer search algorithm is presented in this paper. The objective function of rolling optimization in this novel FMPC consists of two parts which represent the state optimization and output optimization. In the weight coefficient selection of those two parts, the fuzzy selection mechanism is introduced to overcome the uncertainties existing in the system. Furthermore, on account of the rapidity of the control process, the SHTS algorithm is used to solve the optimization problem rather than the traditional quadratic programming method. The validity of the proposed method is confirmed through simulation experiments of the gas turbine in a combined power plant. The simulation results demonstrate the remarkable superiorities of the adopted algorithm with higher control precision and stronger disturbance rejection ability as well as less optimization time. (shrink)

In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the first time a framework encompassing several quite distinct logic programming semantics is described, namely Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic (...) Logic Programs, and Possibilistic Logic Programming. Moreover, the embedding provides a more general semantical structure paving the way for defining paraconsistent probabilistic reasoning with a logic programming semantics. (shrink)

In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the first time a framework encompassing several quite distinct logic programming semantics is described, namely Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic (...) Logic Programs, and Possibilistic Logic Programming. Moreover, the embedding provides a more general semantical structure paving the way for defining paraconsistent probabilistic reasoning with a logic programming semantics. (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 a supply chain system, the prices with which the suppliers supply its local commodity to the retailers should satisfy the requirements of the retailers and the consumers. The supply and demand scheme satisfying these requirements is reduced into fuzzy relation inequalities with min-product composition. Due to the difference between the min-product composition and the classical max-t-norm one, we first study the resolution of such min-product FRI system. For optimization management in the supply chain system, we further investigate a (...) maximin programming problem subject to the min-product FRIs. An algorithm is proposed to obtain the optimal solution based on the quasi-maximal matrix and corresponding index set. To illustrate the efficiency of our proposed algorithm, we provide a simple numerical example. The obtained optimal solution reflects an optimal pricing scheme, which maximizes the minimum prices of the commodity from the suppliers. (shrink)

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

We present logic programming style “goal-directed” proof methods for Łukasiewicz logic Ł that both have a logical interpretation, and provide a suitable basis for implementation. We introduce a basic version, similar to goal-directed calculi for other logics, and make refinements to improve efficiency and obtain termination. We then provide an algorithm for fuzzy logic programming in Rational Pavelka logic RPL, an extension of Ł with rational constants.

India dropped its target of 500 GW of renewable energy capacity fossil fuel sources by 2030. Its responsibilities the United Nations Framework Convention Climate Change [UNFCCC],and reducing radiations by one billion tonnes by the end of the decade at the COP26 conference, held in Glasgow in November 2022. Researchers are continually searching for inexhaustible and reasonable energy sources. Solar energy is one of the greenest sources of energy and is also one of the cleanest. The most important factor in using (...) solar energy is the location of the solar power plant. The main objective of this study is to find the best location for a new solar power plant in a specific region called Bundelkhand region of Uttar Pradesh in India. Here we offer an extension of ELECTRE III method as two-phase Pythagorean neutrosophic elimination and choice translating reality PN-ELECTRE-III) method to adapt with fuzzy, ambiguous, unsure, and indeterminate criteria. The Pythagorean neutrosophic numbers [PNNs] used by the group decision support system of PN-ELECTRE III to measure performance of the alternatives. The options are entirely outclassed in the subsequent stage in view of the past stage's evaluations of them. By defining PNN we describe the technique of indifference threshold functions, preference treshold and veto threshold functions, which provide a more stable basis to drop outranking relations. By calculating the concordance credibility, discordance credibility and net credibility degrees of each alternative, the ranking module of the PN-ELECTRE III approach is made simpler. In order to confirm the applicability of the strategy suggested in this paper, the location selection problem for solar plants is finaly solved. (shrink)

EI objetivo de este artículo es presentar los principios de la programación lógica borrosa y de sus principales variantes, ilustrándolas a través de un conjunto de aproximaciones que, a nuestro entender, son representativas de los avances en esta área. También incluimos la descripción de otros sistemas de programación lógica que se sustentan en lógicas de la incertidumbre diferentes de la lógica borrosa. En esta presentación presuponemos que la mayoría de los lectores no son expertos en programación lógica; para seguirla sólo (...) se requiere un conocimiento básico de la lógica de predicados.The purpose of this paper is to present the principles of the fuzzy logic programming, exemplifying them by a couple of proposals that we think are representatives of the advances in this field. We include also the description of another systems of logic programming with uncertain information that are based on other logics of uncertainty which are different from fuzzy logic. This article only presuppose anelementary knowledge of the classical first-order logic. (shrink)

The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic (...) and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (shrink)

Doctoral programs at U.S. universities play a critical role in the development of human resources both in the United States and abroad. This volume reports the results of an extensive study of U.S. research-doctorate programs in five broad fields: physical sciences and mathematics, engineering, social and behavioral sciences, biological sciences, and the humanities. Research-Doctorate Programs in the United States documents changes that have taken place in the size, structure, and quality of doctoral education since the widely used 1982 editions. This (...) update provides selected information on nearly 4,000 doctoral programs in 41 subdisciplines at 274 doctorate-granting institutions. This volume also reports the results of the National Survey of Graduate Faculty, which polled a sample of faculty for their views on the scholarly quality of program faculty and the effectiveness of doctoral programs in preparing research scholars/scientists. This much-anticipated update of such an essential reference will be useful to education administrators, university faculty, and students seeking authoritative information on doctoral programs. (shrink)

The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found (...) in human reasoning. Topics covered: Stable Semantics. Default Logic. AutoEpistemic Logic. Truth Maintenance Systems. Implementation Issues. Diagnosis. Applications. Inheritance Reasoning. Logics of Belief. Inconsistency and Non-Monotonicity. (shrink)

"An important contribution to contemporary jurisprudential debate and to legal thought more generally, Just Interpretations is far ahead of currently available work."--Peter Goodrich, author of Oedipus Lex "I was struck repeatedly by the clarity of expression throughout the book. Rosenfeld's description and criticism of the recent work of leading thinkers distinguishes his work within the legal theory genre. Furthermore, his own theory is quite original and provocative."--Aviam Soifer, author of Law and the Company We Keep.

This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems. Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an introduction (...) by one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems. (shrink)

In this position paper we present a logical framework for modelling reasoning with graded predicates. We distinguish several types of graded predicates and discuss their ubiquity in rational interaction and the logical challenges they pose. We present mathematical fuzzy logic as a set of logical tools that can be used to model reasoning with graded predicates, and discuss a philosophical account of vagueness that makes use of these tools. This approach is then generalized to other kinds of graded predicates. (...) Finally, we propose a general research program towards a logic-based account of reasoning with graded predicates. (shrink)

A Fuzzy-Set Theoretical Framework -resting on a paraconsistent infinite-valued logic- is sketched, wherein a thorough ontological-reduction program can be carried out. The framework includes formulae of the form “x comprises z in the time-interval e”. Reducing aggregates to sets thus handled is shown to escape usual objections. Likewise, systems generally can be regarded as aggregates, hence as (fuzzy) sets -the purported nonextensionality of systems objection being disposed of owing to our system’s recognizing infinitely many membership degrees. So do (...) bodies, too, which enables us to find a solutionto Unger’s sorites concerning ordinary material bodies. (shrink)

There are several systems which provide computer support to legal decisions. Perhaps the most significant ones, besides various computerised systems for administration, are information retrieval systems that locate statutes and documents. Other research projects, however, deal with legislation and adjudication, making it possible to use information techniques in making legal decisions. I wish to describe two decision-support programs and to link them to some theoretical findings of my former researches. What connects those programs is that they give some new information (...) for decisions on the basis of previous similar legal cases; both describe cases with the help of criteria and use diverse artificial intelligence methods for different types or criteria. The first of the two programs aims to support decisions of insurance specialists by assessing the measure of the compensation for immaterial damage. The result is given by the combination of a neural network, based upon previous judicial cases, and an expert system. The neural network gives the first assessment for the sum of compensation while the expert system refines the network's output. The other program can be used by judges and lawyers in the course of preparing a decision. Studying cases of road accidents, we find that fuzzy logic methods can help to approximate decisions actually given by judges. In this way, the process of decision making by courts and lawyers receives an additional piece of information, obtained by comparing the seriousness of the actual case with that of previous cases. (shrink)

Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a special appendix that shows how to use MacLogic as a teaching aid. There are graded exercises at the end of each chapter--more than 900 in all--with selected answers at the end of the book. Unlike competing texts, Modern Logic (...) gives equal weight to semantics and proof theory and explains their relationship, and develops in detail techniques for symbolizing natural language in first-order logic. After a general introduction featuring the notion of logical form, the book offers sections on classical sentential logic, monadic predicate logic, and full first-order logic with identity. A concluding section deals with extensions of and alternatives to classical logic, including modal logic, intuitionistic logic, and fuzzy logic. For students of philosophy, mathematics, computer science, or linguistics, Modern Logic provides a thorough understanding of basic concepts and a sound basis for more advanced work. (shrink)

This essay tries to propose the main lines of a working program for the construction of a system based empirical research method. The main proposal of this argument rest on the idea that a theory that proposes itself as a further step over traditional social theory epistemological obstacles, it ..

Life can be defined as combining two entities that rest on completely different physico-chemical properties and on a particular way of handling information. The cell, first, is a « machine », that combines elements which are quite similar (although in a fairly fuzzy way) to those involved in a man-made factory. The machine combines two processes. First, it requires explicit compartmentalisation, including scaffolding structures similar to that of the châssis of engineered machines. In addition, cells define clearly an inside, (...) the cytoplasm, and an outside. The cell envelope is more or less complicated in bacteria, and it is much more complicated in organisms made of cells with a nucleus (eukaryotes). Second, the machine also requires dynamic chemical processes, collectively named metabolism, that can be split into intermediary metabolism, managing chemical transformations and transport of small building blocks and management of energy (often with a rotating nanomachine, ATP synthase), and the macromolecule synthesis, salvage and turnover machinery which uses a variety of nanomachines, the ribosome being the most prominent one. The second entity which needs to be associated to life is the genetic program, in the form of the genome, composed of one or several chromosomes made of DNA. This is the entity which associates most clearly to information. -/- Natural selection uses information in a particular way: it is a process that uses energy to prevent degradation of any functional entity. This process keeps building up novel information within organisms. (shrink)

The concept of measuring inconsistency in information was developed by John Grant in a 1978 paper in the context of first-order logic. For more than 20 years very little was done in this area until in the early 2000s a number of AI researchers started to formulate new inconsistency measures primarily in the context of propositional logic knowledge bases. The aim of this volume is to survey what has been done so far, to expand inconsistency measurement to other formalisms, to (...) connect it with related topics, and to provide ideas for further research in a topic that is particularly relevant now in view of the many inconsistencies in the massive amount of information available. The book contains 11 chapters. The first chapter, by John Grant, gives his original motivation for starting this field, explains why it was formulated in a highly mathematical manner, presents important material that was omitted from the original paper, and provides ideas about the use of dimensions in measuring inconsistency. The second chapter, by Matthias Thimm, is a survey that covers most of the research on inconsistency measures up to 2017. The other 9 chapters, all by experts either in inconsistency measures, or in the topic under consideration, or both, connect inconsistency measures with argumentation, disjunctive logic programming, fuzzy logic systems, modal logics, multiset representation, paraconsistent consequence, probabilistic logic, relational databases, and spatio-temporal databases."-- back cover. (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)

Smart grids are rolling out internationally, with the United States nearing completion of a significant USD4-plus-billion federal program funded under the American Recovery and Reinvestment Act. The emergence of smart grids is widespread across developed countries. Multiple approaches to analyzing the benefits of smart grids have emerged. The goals of this white paper are to review these approaches and analyze examples of each to highlight their differences, advantages, and disadvantages. This work was conducted under the auspices of a joint U.S.-China (...) research effort, the Climate Change Working Group Implementation Plan, Smart Grid. We present comparative benefits assessments of smart grid demonstrations in the U.S. and China along with a BA of a pilot project in Europe. In the U.S., we assess projects at two sites: the University of California, Irvine campus, which consists of two distinct demonstrations: Southern California Edison’s Irvine Smart Grid Demonstration Project and the UCI campus itself; and the Navy Yard area in Philadelphia, which has been repurposed as a mixed commercial-industrial, and possibly residential, development. In China, we cover several smart-grid aspects of the Sino-Singapore Tianjin Eco-city and the Shenzhen Bay Technology and Ecology City. In Europe, we look at a BA of a pilot smart grid project in the Malagrotta area west of Rome, Italy, contributed by the Joint Research Centre of the European Commission. The Irvine sub-project BAs use the U.S. Department of Energy Smart Grid Computational Tool, which is built on methods developed by the Electric Power Research Institute. The TEC sub-project BAs apply Smart Grid Multi-Criteria Analysis developed by the State Grid Corporation of China based on the analytic hierarchy process with fuzzy logic. The B-TEC and TNY sub-project BAs are evaluated using new approaches developed by those project teams. JRC has adopted an approach similar to EPRI’s but tailored to the Malagrotta distribution grid. (shrink)

Students using Ritalin in preparation for their exams is a hotly debated issue, while meditating or drinking coffee before those same exams is deemed uncontroversial. However, taking Ritalin, meditating and drinking coffee or even education in general, can all be considered forms of cognitive enhancement. Although social acceptance might change in the future, it is interesting to examine the current reasons that are used to distinguish cases deemed problematic or unproblematic. Why are some forms of cognitive enhancement considered problematic, while (...) others are not? In this paper, we consider cognitive enhancement as the amplification or extension of core capacities of the mind, using augmentation or improvements of our information-processing systems. We will analyse cognitive enhancement in an educational setting in order to clarify the fuzzy distinction between problematic and unproblematic forms of cognitive enhancement. We will show that the apparent distinction made by many people between problematic and unproblematic enhancement is not based on any fundamental difference between these two categories. (shrink)

The position of Polish informatics, as well in research as in didactic, has its roots in achievements of Polish mathematicians of Warsaw School and logicians of Lvov-Warsaw School. Jan Lukasiewicz is considered in the world of computer science as the most famous Polish logician. The parenthesis-free notation, invented by him, is known as PN (Polish Notation) and RPN (Reverse Polish Notation). Lukasiewicz created many-valued logic as a separate subject. The idea of multi-valueness is applied to hardware design (many-valued or (...) class='Hi'>fuzzy switching, analog computer). Many-valued approach to vague notions and commonsense reasoning is the method of expert systems, databases and knowledge-based systems. Stanis3aw Jaokowski's system of natural deduction is the base of systems of automatic deduction and theorem proving. He created a system of paraconsistent logic. Such logics are used in AI. Kazimierz Ajdukiewicz with his categorial grammar participated in the development of formal grammars, the field significant for programming languages. Andrzej Grzegorczyk had an important contribution to the development of the theory of recursiveness. (shrink)

The book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, threshold logics, logics of conditional decisions). The distinguishing feature of most of these applications is that the corresponding dual tableaux are built in (...) a relational language which provides useful means of presentation of the theories. In this way modularity of dual tableaux is ensured. We do not need to develop and implement each dual tableau from scratch, we should only extend the relational core common to many theories with the rules specific for a particular theory. (shrink)

Companies that use online group-buying to get new business expansion opportunities at a price advantage are failing. Therefore, there is a need to develop new marketing strategies for group-buying companies to achieve market share and consumer favor. Given that consumers are society members, we used the social interaction theory to investigate the combination of factors that stimulate consumers’ purchase intentions. Fuzzy-set Qualitative Comparative Analysis was performed to evaluate different strategy configurations of social interaction elements, perceived quality, benefits and trust (...) to promote purchase decisions from 406 group-buying consumer questionnaires. We revealed four pathways with different configurations that can prompt consumers to make group-buying decisions: information strategy, Word-of-Mouth strategy, sense of community strategy, as well as combining Word-of-Mouth and sense of community strategy. These strategies provide viable approaches through which group-buying companies can rationally use marketing programs to promote consumers’ purchase intentions. (shrink)

EI objetivo de este artículo es presentar los principios de la programación lógica borrosa y de sus principales variantes, ilustrándolas a través de un conjunto de aproximaciones que, a nuestro entender, son representativas de los avances en esta área. También incluimos la descripción de otros sistemas de programación lógica que se sustentan en lógicas de la incertidumbre diferentes de la lógica borrosa. En esta presentación presuponemos que la mayoría de los lectores no son expertos en programación lógica; para seguirla sólo (...) se requiere un conocimiento básico de la lógica de predicados.The purpose of this paper is to present the principles of the fuzzy logic programming, exemplifying them by a couple of proposals that we think are representatives of the advances in this field. We include also the description of another systems of logic programming with uncertain information that are based on other logics of uncertainty which are different from fuzzy logic. This article only presuppose anelementary knowledge of the classical first-order logic. (shrink)

Entrepreneurship education has become an important component of higher education development. The purpose of this study is to evaluate entrepreneurship education and determine the extent of satisfaction with the education program. Firstly, based on the CIPP model, this article theoretically analyzes the factors affecting the quality of entrepreneurship education in colleges and universities, and clarifies the keys to improve that education quality. On this basis, using analytic hierarchy process and fuzzy comprehensive evaluation method, the evaluation index system and (...) class='Hi'>fuzzy evaluation model of entrepreneurial education are established. The results show that student participation is the most important factor affecting the quality of entrepreneurship education. Empirical analysis indicates that students have the highest satisfaction with teachers and the lowest satisfaction with the entrepreneurial environment. Apart from convenient and effective measurement of entrepreneurship education, the proposed model provides an important reference for improving the quality of entrepreneurship education in colleges and universities. (shrink)

It is of practical significance to introduce the Internet of Things technology into the financial service industry and find the driving factors and mechanisms of financial innovation to accelerate the promotion of financial innovation. This article starts from the perspective of banks and other supply chain financial institutions, takes mainstream trading products in the commodity trading market as the research object, uses the LA-VAR model, and fully considers the market price fluctuations and liquidity factors of supply chain financial inventory products. (...) It analyzes the theoretical basis of the continuous innovation of rural financial products. On the basis of analyzing the basic characteristics and types of rural financial product innovation, we explore the connotation of sustainable innovation of rural financial products, clarify the evaluation criteria, and lay a theoretical foundation for continuous dynamic evaluation. Based on technical innovation evaluation theoretical models such as Schumpeter’s innovation model, technical specifications-technological track model, and NR relationship model market, we analyze the innovation elements of rural financial products from the external and internal aspects of innovation and discuss the relationship between the factors. The interaction mechanism of rural financial products has established a dynamic mechanism model for the continuous innovation of rural financial products. A fuzzy comprehensive evaluation was made on the continuous innovation power of financial service industry products in a certain area. Using a combination of remote surveys and on-site visits, a questionnaire survey was conducted on financial service industry institutions in a certain region’s financial system. Each survey object was required to conduct 120 × 1067 index comparisons and use the data after processing the arithmetic average Matlab carries out the objective processing of programming. The results show that the LA-VAR model with liquidity indicators can measure the liquidity risk well and more comprehensively evaluate the risk of the inventory pledge financing model. According to the index weights determined by AHP, the development of the financial service industry will be promoted in a targeted manner from the internal construction of financial institutions and the optimization of the external innovation environment. (shrink)

To address complexity information fusion problems involving fuzzy and grey uncertainty information, we develop prioritized averaging aggregation operator and Bonferroni mean aggregation operator with grey linguistic 2-tuple variables and apply them to design a new decision-making scheme. First, the grey linguistic 2-tuple prioritized averaging operator is developed to characterize the prioritization relationship among experts and employed to fuse experts’ information into an overall opinion. Second, we establish dual generalized grey linguistic 2-tuple weighted Bonferroni mean operator to capture the interrelationship (...) among any attribute subsets, which can be reduced to some conventional operators by adjusting parameter vector. On that basis, a flexible group decision-making approach with fuzzy and grey information is designed and applied to an evaluation problem, in which grey relationship analysis method and a linear programming model are combined to extract attribute weights from partially known attribute information. Furthermore, an illustrative example is employed to illustrate the practicality and flexibility of the designed method by conducting the related comparative studies. (shrink)

After a chapter which is an introduction to and summary of the rest of the book, chapter 2 begins by criticizing various attempts to do away with theories, such as the Reichenbach-Salmon conception of theoretical truth in terms of observational consequences, and the Ramsey strategy of replacing first-order theoretical sentences by second-order nontheoretical ones; it then argues against hypothetico-deductivist theories of confirmation on the grounds that they are unable to handle the relevance of evidence to theory, whether or not other (...) formal constraints or even nonformal ones such as simplicity and explanatory power are added to those theories; it ends with an exposition of the Reichenbach-Carnap conventionalist thesis that the confirmation of hypotheses with evidence presupposes analytic principles connecting hypothetical and empirical concepts. Chapter 3 criticizes Bayesian theories of confirmation on such grounds as that the a priori arguments for Bayesian restrictions on beliefs are insufficient; that the Bayesian explanations of notions like variety of evidence, ad hocness, and simplicity are inadequate; and that they cannot account, without drastic revisions, for the relevance of evidence to theory, especially old evidence to new theory. Chapter 4 is an unsympathetic account of historically oriented philosophies of science; Lakatos’s notion of progressive research programs and Laudan’s theory of problem-solving effectiveness are found to be insufficiently precise and dubbed examples of "new fuzziness", while the Sneed-Stegmüller dynamics of theories is regarded as "a paradigm of misplaced rigor" ; and all three are criticized as unable to explicate the concept of evidential relevance. Chapter 5 is a formal and informal elaboration of the basic idea in Glymour’s account of theory and evidence, namely that confirmation or support is a three-term relation among evidence, hypothesis, and theory, so that evidence confirms an hypothesis only relative to a theory, and such that evidence e confirms hypothesis h relative to T if T with e implies, but T without e does not imply, an instance of h, and T with e does not imply a comparable hypothesis h’ different from h; the most interesting part of this chapter is a series of discussions showing how such an idea makes sense of the "methodological truisms" that it is possible selectively to test certain parts of a theory but not others, that a theory is supported better by a greater variety of evidence, that redundant or physically meaningless quantities are an undesirable feature of theories, that there are no inviolable rules, that a "white shoe" does not confirm "all ravens are black," that a theory is more useful and better supported than the set of its observational consequences, and that the hypothetico-deductive method often works. Since Glymour claims no originality for the conception of this general account, but only for its description, he plausibly thinks it necessary to apply it to some important historical cases of actual science; he does so in the next chapter by discussing at some length the structure and merits of Ptolemaic and Copernican astronomy, of Newton’s universal gravitation, of nineteenth century atomism, of Freud’s Rat Man, and of general relativity. For example, he argues convincingly that Copernicanism was better supported by the evidence available even before the telescope because it alone, and not the Ptolemaic theory, can determine some planetary properties which are presupposed by both theories, can test and confirm some common hypotheses, and can be confirmed in an essential rather than incidental manner; and though Glymour admits that the Copernicans tended to argue in terms of explanatory rather than confirmatory superiority, he sketches an interesting account of the relation between explanation and confirmation which strengthens his case. He also analyzes the text at the beginning of book 3 of Newton’s Principia and compiles a reconstruction of the intricate details of the inferential structure of the argument to universal gravitation; his impressive reconstruction clearly shows that Newton’s method is neither the inductivist one he himself thought he was following, nor the one attributed to him by Pierre Duhem, but rather one in accordance with Glymour’s so-called "bootstrap strategy" of repeatedly using the evidence from Kepler’s second and third laws, from lunar data, and from falling bodies, together with the theory consisting of the second and third laws of motion, to arrive at increasingly general instances of the principle of universal gravitation. Glymour’s account of arguments for and against the atomic theory from Thomson to Cannizzaro is his longest historical example, but he himself admits that this illustration of the bootstrap strategy is "certainly not the neatest", and rather "diffuse, and perhaps disconnected". Chapter 7 is a detailed application of the same principles to the technique known among social scientists as "causal modeling"; since such "causal models" are essentially systems of algebraic equations, Glymour’s account shows indirectly that the bootstrap strategy is applicable to any scientific theory presented as a set of algebraic equations; this, of course is not surprising, since the formal considerations with which Glymour begins the exposition of his theory in chapter 5 involve systems of algebraic equations. Chapter 8 is an attempt to apply Glymour’s theory of evidence to the very common scientific practice of curve-fitting, where one measures values of two or more quantities and then infers a functional relationship; Glymour argues that simpler polynomials are preferred because they are tested more frequently and more severely by the data and because they are more informative; but then he criticizes his own explanation and concludes that "the bootstrap procedures of chapter 5 do not seem to help the problem much more than a whit" ; this is admirably honest, but if one wants an additional logical or methodological rationale, then one would perhaps have to go to the meta-level and say that Glymour is here testing his own theory, and he is more interested in a further illustration of the bootstrap methodology even with a failed test, than he is to claim universal or exclusive validity for it. In chapter 9 Glymour uses his bootstrap theory of confirmation to criticize geometrical conventionalism; he considers the alternative theories of space or space-time proposed by conventionalists to show the radical undetermination of geometries by evidence, for example, a non-Euclidean geometry with no universal force instead of Newtonian gravitation with Euclidean geometry; he argues that such alternatives are simply not as well tested as the originals and that their equivalence to the originals is questionable. The last chapter is a brief discussion of further problems worthy of future investigation. (shrink)

This is a collection of invited papers from the 1975 International Sym posium on Multiple-valued Logic. Also included is an extensive bib liography of works in the field of multiple-valued logic prior to 1975 - this supplements and extends an earlier bibliography of works prior to 1965, by Nicholas Rescher in his book Many-Valued Logic, McGraw-Hill, 1969. There are a number of possible reasons for interest in the present volume. First, the range of various uses covered in this collection of (...) papers may be taken as indicative of a breadth which occurs in the field of multiple-valued logic as a whole - the papers here can do no more than cover a small sample: question-answering systems, analysis of computer hazards, algebraic structures relating to multiple-valued logic, algebra of computer programs, fuzzy sets. Second, a large part of the interest in such uses and applications has occurred in the last twenty, even ten years. It would be too much to expect this to be reflected in Rescher's 1969 book. Third, in the 1970's a series of annual symposia have been held on multiple-valued logic, which have brought much of this into a sharp focus. * The 1971 and 1972 symposia were held at the SUNY at Buffalo, the 1973 symposium at the Uni versity of Toronto, and the 1974 symposium at West Virginia Uni versity. Papers from these symposia are included in the bibliography which may be found in an appendix of this book. (shrink)

Standard models of adolescent risk taking posit that the cognitive abilities of adolescents and adults are equivalent, and that increases in risk taking that occur during adolescence are the result of socio emotional differences in impulsivity, sensation seeking, and lack of self-control. Fuzzy-trace theory incorporates these socio emotional differences. However, it predicts that there are also cognitive differences between adolescents and adults, specifically that there are developmental increases in gist-based intuition that reflects understanding. Gist understanding, as opposed to verbatim-based (...) analysis, generally has been hypothesized to have a protective effect on risk taking in adolescence. Gist understanding is also an essential element of informed consent regarding risks in medical decision- making. Evidence thus supports the argument that adolescents’ status as mature minors should be treated as an exception rather than a presumption, because accuracy in verbatim analysis is not mature gist understanding. Use of the exception should be accompanied by medical experts’ input on the bottom-line gist of risks involved in treatment. (shrink)

Although machine intelligence is increasingly employed in healthcare, the realm of decision-making in medical ethics remains largely unexplored from a technical perspective. We propose an approach based on fuzzy cognitive maps (FCMs), which builds on Beauchamp and Childress’ prima-facie principles. The FCM’s weights are optimized using a genetic algorithm to provide recommendations regarding the initiation, continuation, or withdrawal of medical treatment. The resulting model approximates the answers provided by our team of medical ethicists fairly well and offers a high (...) degree of interpretability. Possible applications of such a system include informal guidance on medical ethics dilemmas as well as educational purposes. (shrink)

A clear account of the principles of fuzzy logic-based design, from a computer/electronics engineering perspective. This pedagogical work incorporates current fuzzy logic techniques, emphasizing hardware/software design for fuzzy systems and fuzzy logic development tools.

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)