Problems of reducing the exhaustive search

Problems of reducing the exhaustive search PDF

Author: G. E. Mints

Publisher: American Mathematical Soc.

Published: 1996-11-05

Total Pages: 206

ISBN-13: 9780821895986

DOWNLOAD EBOOK →

This collection contains translations of papers on propositional satisfiability and related logical problems which appeared in Problemy Sokrashcheniya Perebora, published in Russian in 1987 by the Scientific Council ``Cybernetics'' of the USSR Academy of Sciences. The problems form the nucleus of this intensively developing area. This translation is dedicated to the memory of two remarkable Russian mathematicians, Sergei Maslov and his wife, Nina Maslova. Maslov is known as the originator of the inverse method in automated deduction, which was discovered at the same time as the resolution method of J. A. Robinson and has approximately the same range of applications. In 1981, Maslov proposed an iterative algorithm for propositional satisfiability based on some general ideas of search described in detail in his posthumously published book, Theory of Deductive Systems and Its Applications (1986; English 1987). This collection contains translations of papers on proposititional satisfiability and related logical problems. The papers related to Maslov's iterative method of search reduction play a significant role.

Perception of Form and Forms of Perception

Perception of Form and Forms of Perception PDF

Author: R. M. Granovskaya

Publisher: Psychology Press

Published: 2013-08-21

Total Pages: 209

ISBN-13: 1134928130

DOWNLOAD EBOOK →

First Published in 1987. Information processing has come to be regarded as one of the central issues in modern psychology. In recent years it has acquired an especially keen interest due to growing amounts of information. This book continues the authors’ research and constructs a conceptual model of peculiarities (separate aspects) of visual information processing based on views similar to those by Arbib and Ivanov.

Problems of Reducing the Exhaustive Search

Problems of Reducing the Exhaustive Search PDF

Author: Vladik Kreinovich

Publisher: American Mathematical Soc.

Published: 1997

Total Pages: 202

ISBN-13: 0821803867

DOWNLOAD EBOOK →

This collection contains translations of papers on propositional satisfiability and related logical problems which appeared in roblemy Sokrashcheniya Perebora, published in Russian in 1987 by the Scientific Council "Cybernetics" of the USSR Academy of Sciences. The problems form the nucleus of this intensively developing area. This translation is dedicated to the memory of two remarkable Russian mathematicians, Sergei Maslov and his wife Nina Maslova. Maslov is known as the originator of the universe method in automated deduction, which was discovered at the same time as the resolution method of J. A. Robison and has approximately the same range of applications. In 1981, Maslov proposed an iterative algorithm for propositional satisfiability based on some general ideas of search described in detail in his posthumously published book, Theory of Deductive Systems and Its Applications (1986; English 1987). This collection contains translations of papers on propositional satisfiability and related logical problems. The papers related to Maslov's iterative method of search reduction play a significant role.

Fuzzy Systems

Fuzzy Systems PDF

Author: Hung T. Nguyen

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 532

ISBN-13: 1461555051

DOWNLOAD EBOOK →

The analysis and control of complex systems have been the main motivation for the emergence of fuzzy set theory since its inception. It is also a major research field where many applications, especially industrial ones, have made fuzzy logic famous. This unique handbook is devoted to an extensive, organized, and up-to-date presentation of fuzzy systems engineering methods. The book includes detailed material and extensive bibliographies, written by leading experts in the field, on topics such as: Use of fuzzy logic in various control systems. Fuzzy rule-based modeling and its universal approximation properties. Learning and tuning techniques for fuzzy models, using neural networks and genetic algorithms. Fuzzy control methods, including issues such as stability analysis and design techniques, as well as the relationship with traditional linear control. Fuzzy sets relation to the study of chaotic systems, and the fuzzy extension of set-valued approaches to systems modeling through the use of differential inclusions. Fuzzy Systems: Modeling and Control is part of The Handbooks of Fuzzy Sets Series. The series provides a complete picture of contemporary fuzzy set theory and its applications. This volume is a key reference for systems engineers and scientists seeking a guide to the vast amount of literature in fuzzy logic modeling and control.

Bounded Rationality in Decision Making Under Uncertainty: Towards Optimal Granularity

Bounded Rationality in Decision Making Under Uncertainty: Towards Optimal Granularity PDF

Author: Joe Lorkowski

Publisher: Springer

Published: 2017-07-01

Total Pages: 164

ISBN-13: 3319622145

DOWNLOAD EBOOK →

This book addresses an intriguing question: are our decisions rational? It explains seemingly irrational human decision-making behavior by taking into account our limited ability to process information. It also shows with several examples that optimization under granularity restriction leads to observed human decision-making. Drawing on the Nobel-prize-winning studies by Kahneman and Tversky, researchers have found many examples of seemingly irrational decisions: e.g., we overestimate the probability of rare events. Our explanation is that since human abilities to process information are limited, we operate not with the exact values of relevant quantities, but with “granules” that contain these values. We show that optimization under such granularity indeed leads to observed human behavior. In particular, for the first time, we explain the mysterious empirical dependence of betting odds on actual probabilities. This book can be recommended to all students interested in human decision-making, to researchers whose work involves human decisions, and to practitioners who design and employ systems involving human decision-making —so that they can better utilize our ability to make decisions under uncertainty.

Advances in Artificial Intelligence - SBIA 2004

Advances in Artificial Intelligence - SBIA 2004 PDF

Author: Ana L. C. Bazzan

Publisher: Springer Science & Business Media

Published: 2004-09-20

Total Pages: 563

ISBN-13: 3540232370

DOWNLOAD EBOOK →

This book constitutes the refereed proceedings of the 17th Brazilian Symposium on Artificial Intelligence, SBIA 2004, held in Sao Luis, Maranhao, Brazil in September/October 2004. The 54 revised full papers presented were carefully reviewed and selected from 208 submissions from 21 countries. The papers are organized in topical sections on logics, planning, and theoretical methods; search, reasoning, and uncertainty; knowledge representation and ontologies; natural language processing; machine learning, knowledge discovery and data mining; evolutionary computing, artificial life, and hybrid systems; robotics and compiler vision; and autonomous agents and multi-agent systems.

Problems of Reducing the Exhaustive Search

Problems of Reducing the Exhaustive Search PDF

Author:

Publisher:

Published: 1997

Total Pages:

ISBN-13: 9781470433895

DOWNLOAD EBOOK →

This collection contains translations of papers on propositional satisfiability and related logical problems which appeared in Problemy Sokrashcheniya Perebora, published in Russian in 1987 by the Scientific Council "Cybernetics" of the USSR Academy of Sciences. The problems form the nucleus of this intensively developing area. This translation is dedicated to the memory of two remarkable Russian mathematicians, Sergei Maslov and his wife, Nina Maslova. Maslov is known as the originator of the inverse method in automated deduction, which was discovered at the same time as the resolution method.

Reducing Planning Problems by Path Reduction

Reducing Planning Problems by Path Reduction PDF

Author: Ulrich Scholz

Publisher: IOS Press

Published: 2004

Total Pages: 156

ISBN-13: 9783898382854

DOWNLOAD EBOOK →

Planning is among the characteristic features of intelligence and therefore it is a central research topic of Intellectics since its beginning. Although planning is a very hard task, recent planning systems have achieved an astonishing performance and are applied in various fields. One reason for the success of these systems lies, among others, in the exploitation of structural properties that are present in many but not all problems. The use of such structural properties therefore leads to a specialization on a class of problems. Their exploitation is often conducted by a preprocessing step, i.e., by the application of a special algorithm prior to the search for a plan. This work identifies and examines the class of c-invariants as such a structural property of planning problems. c-Invariants are state invariants and are present in many problems of practical interest. Building on the features of c-invariants, the dissertation presents path reduction, a preprocessing technique that can significantly simplify planning problems. Finally, the work describes an implementation of path reduction and examines its application.

Business and Consumer Analytics: New Ideas

Business and Consumer Analytics: New Ideas PDF

Author: Pablo Moscato

Publisher: Springer

Published: 2019-05-30

Total Pages: 1005

ISBN-13: 3030062228

DOWNLOAD EBOOK →

This two-volume handbook presents a collection of novel methodologies with applications and illustrative examples in the areas of data-driven computational social sciences. Throughout this handbook, the focus is kept specifically on business and consumer-oriented applications with interesting sections ranging from clustering and network analysis, meta-analytics, memetic algorithms, machine learning, recommender systems methodologies, parallel pattern mining and data mining to specific applications in market segmentation, travel, fashion or entertainment analytics. A must-read for anyone in data-analytics, marketing, behavior modelling and computational social science, interested in the latest applications of new computer science methodologies. The chapters are contributed by leading experts in the associated fields.The chapters cover technical aspects at different levels, some of which are introductory and could be used for teaching. Some chapters aim at building a common understanding of the methodologies and recent application areas including the introduction of new theoretical results in the complexity of core problems. Business and marketing professionals may use the book to familiarize themselves with some important foundations of data science. The work is a good starting point to establish an open dialogue of communication between professionals and researchers from different fields. Together, the two volumes present a number of different new directions in Business and Customer Analytics with an emphasis in personalization of services, the development of new mathematical models and new algorithms, heuristics and metaheuristics applied to the challenging problems in the field. Sections of the book have introductory material to more specific and advanced themes in some of the chapters, allowing the volumes to be used as an advanced textbook. Clustering, Proximity Graphs, Pattern Mining, Frequent Itemset Mining, Feature Engineering, Network and Community Detection, Network-based Recommending Systems and Visualization, are some of the topics in the first volume. Techniques on Memetic Algorithms and their applications to Business Analytics and Data Science are surveyed in the second volume; applications in Team Orienteering, Competitive Facility-location, and Visualization of Products and Consumers are also discussed. The second volume also includes an introduction to Meta-Analytics, and to the application areas of Fashion and Travel Analytics. Overall, the two-volume set helps to describe some fundamentals, acts as a bridge between different disciplines, and presents important results in a rapidly moving field combining powerful optimization techniques allied to new mathematical models critical for personalization of services. Academics and professionals working in the area of business anyalytics, data science, operations research and marketing will find this handbook valuable as a reference. Students studying these fields will find this handbook useful and helpful as a secondary textbook.