Answer Set Programming For Continuous Domains A Fuzzy Logic Approach
Download Answer Set Programming For Continuous Domains A Fuzzy Logic Approach PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Answer Set Programming For Continuous Domains A Fuzzy Logic Approach book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
Author: Jeroen Janssen
language: en
Publisher: Springer Science & Business Media
Release Date: 2012-04-26
Answer set programming (ASP) is a declarative language tailored towards solving combinatorial optimization problems. It has been successfully applied to e.g. planning problems, configuration and verification of software, diagnosis and database repairs. However, ASP is not directly suitable for modeling problems with continuous domains. Such problems occur naturally in diverse fields such as the design of gas and electricity networks, computer vision and investment portfolios. To overcome this problem we study FASP, a combination of ASP with fuzzy logic -- a class of manyvalued logics that can handle continuity. We specifically focus on the following issues: 1. An important question when modeling continuous optimization problems is how we should handle overconstrained problems, i.e. problems that have no solutions. In many cases we can opt to accept an imperfect solution, i.e. a solution that does not satisfy all the stated rules (constraints). However, this leads to the question: what imperfect solutions should we choose? We investigate this question and improve upon the state-of-the-art by proposing an approach based on aggregation functions. 2. Users of a programming language often want a rich language that is easy to model in. However, implementers and theoreticians prefer a small language that is easy to implement and reason about. We create a bridge between these two desires by proposing a small core language for FASP and by showing that this language is capable of expressing many of its common extensions such as constraints, monotonically decreasing functions, aggregators, S-implicators and classical negation. 3. A well-known technique for solving ASP consists of translating a program P to a propositional theory whose models exactly correspond to the answer sets of P. We show how this technique can be generalized to FASP, paving the way to implement efficient fuzzy answer set solvers that can take advantage of existing fuzzy reasoners.
Computational Intelligence Systems in Industrial Engineering
Author: Cengiz Kahraman
language: en
Publisher: Springer Science & Business Media
Release Date: 2012-11-05
Industrial engineering is a branch of engineering dealing with the optimization of complex processes or systems. It is concerned with the development, improvement, implementation and evaluation of production and service systems. Computational Intelligence Systems find a wide application area in industrial engineering: neural networks in forecasting, fuzzy sets in capital budgeting, ant colony optimization in scheduling, Simulated Annealing in optimization, etc. This book will include most of the application areas of industrial engineering through these computational intelligence systems. In the literature, there is no book including many real and practical applications of Computational Intelligence Systems from the point of view of Industrial Engineering. Every chapter will include explanatory and didactic applications. It is aimed that the book will be a main source for MSc and PhD students.
Computational Intelligence for Traffic and Mobility
Author: Wuhong Wang
language: en
Publisher: Springer Science & Business Media
Release Date: 2012-12-12
This book presents the new development of computation intelligence for traffic, transportation and mobility, the main contents include traffic safety, mobility analysis, intelligent transportation system, smart vehicle, transportation behavior, driver modeling and assistance, transportation risk analysis and reliability system analysis, vehicle operation and active safety, urban traffic management and planning.