Author: Leonid Kitainik
Publisher: Springer Science & Business Media
ISBN: 9780792323679
Category : Mathematics
Languages : en
Pages : 288
Book Description
In decision theory there are basically two appr~hes to the modeling of individual choice: one is based on an absolute representation of preferences leading to a ntDnerical expression of preference intensity. This is utility theory. Another approach is based on binary relations that encode pairwise preference. While the former has mainly blossomed in the Anglo-Saxon academic world, the latter is mostly advocated in continental Europe, including Russia. The advantage of the utility theory approach is that it integrates uncertainty about the state of nature, that may affect the consequences of decision. Then, the problems of choice and ranking from the knowledge of preferences become trivial once the utility function is known. In the case of the relational approach, the model does not explicitly accounts for uncertainty, hence it looks less sophisticated. On the other hand it is more descriptive than normative in the first stand because it takes the pairwise preference pattern expressed by the decision-maker as it is and tries to make the best out of it. Especially the preference relation is not supposed to have any property. The main problem with the utility theory approach is the gap between what decision-makers are and can express, and what the theory would like them to be and to be capable of expressing. With the relational approach this gap does not exist, but the main difficulty is now to build up convincing choice rules and ranking rules that may help the decision process.
Fuzzy Decision Procedures with Binary Relations
Author: Leonid Kitainik
Publisher: Springer Science & Business Media
ISBN: 9780792323679
Category : Mathematics
Languages : en
Pages : 288
Book Description
In decision theory there are basically two appr~hes to the modeling of individual choice: one is based on an absolute representation of preferences leading to a ntDnerical expression of preference intensity. This is utility theory. Another approach is based on binary relations that encode pairwise preference. While the former has mainly blossomed in the Anglo-Saxon academic world, the latter is mostly advocated in continental Europe, including Russia. The advantage of the utility theory approach is that it integrates uncertainty about the state of nature, that may affect the consequences of decision. Then, the problems of choice and ranking from the knowledge of preferences become trivial once the utility function is known. In the case of the relational approach, the model does not explicitly accounts for uncertainty, hence it looks less sophisticated. On the other hand it is more descriptive than normative in the first stand because it takes the pairwise preference pattern expressed by the decision-maker as it is and tries to make the best out of it. Especially the preference relation is not supposed to have any property. The main problem with the utility theory approach is the gap between what decision-makers are and can express, and what the theory would like them to be and to be capable of expressing. With the relational approach this gap does not exist, but the main difficulty is now to build up convincing choice rules and ranking rules that may help the decision process.
Publisher: Springer Science & Business Media
ISBN: 9780792323679
Category : Mathematics
Languages : en
Pages : 288
Book Description
In decision theory there are basically two appr~hes to the modeling of individual choice: one is based on an absolute representation of preferences leading to a ntDnerical expression of preference intensity. This is utility theory. Another approach is based on binary relations that encode pairwise preference. While the former has mainly blossomed in the Anglo-Saxon academic world, the latter is mostly advocated in continental Europe, including Russia. The advantage of the utility theory approach is that it integrates uncertainty about the state of nature, that may affect the consequences of decision. Then, the problems of choice and ranking from the knowledge of preferences become trivial once the utility function is known. In the case of the relational approach, the model does not explicitly accounts for uncertainty, hence it looks less sophisticated. On the other hand it is more descriptive than normative in the first stand because it takes the pairwise preference pattern expressed by the decision-maker as it is and tries to make the best out of it. Especially the preference relation is not supposed to have any property. The main problem with the utility theory approach is the gap between what decision-makers are and can express, and what the theory would like them to be and to be capable of expressing. With the relational approach this gap does not exist, but the main difficulty is now to build up convincing choice rules and ranking rules that may help the decision process.
Fuzziness and Approximate Reasoning
Author: Kofi Kissi Dompere
Publisher: Springer
ISBN: 3540880879
Category : Mathematics
Languages : en
Pages : 311
Book Description
We do not perceive the present as it is and in totality, nor do we infer the future from the present with any high degree of dependability, nor yet do we accurately know the consequences of our own actions. In addition, there is a fourth source of error to be taken into account, for we do not execute actions in the precise form in which they are imaged and willed. Frank H. Knight [R4.34, p. 202] The “degree” of certainty of confidence felt in the conclusion after it is reached cannot be ignored, for it is of the greatest practical signi- cance. The action which follows upon an opinion depends as much upon the amount of confidence in that opinion as it does upon fav- ableness of the opinion itself. The ultimate logic, or psychology, of these deliberations is obscure, a part of the scientifically unfathomable mystery of life and mind. Frank H. Knight [R4.34, p. 226-227] With some inaccuracy, description of uncertain consequences can be classified into two categories, those which use exclusively the language of probability distributions and those which call for some other principle, either to replace or supplement.
Publisher: Springer
ISBN: 3540880879
Category : Mathematics
Languages : en
Pages : 311
Book Description
We do not perceive the present as it is and in totality, nor do we infer the future from the present with any high degree of dependability, nor yet do we accurately know the consequences of our own actions. In addition, there is a fourth source of error to be taken into account, for we do not execute actions in the precise form in which they are imaged and willed. Frank H. Knight [R4.34, p. 202] The “degree” of certainty of confidence felt in the conclusion after it is reached cannot be ignored, for it is of the greatest practical signi- cance. The action which follows upon an opinion depends as much upon the amount of confidence in that opinion as it does upon fav- ableness of the opinion itself. The ultimate logic, or psychology, of these deliberations is obscure, a part of the scientifically unfathomable mystery of life and mind. Frank H. Knight [R4.34, p. 226-227] With some inaccuracy, description of uncertain consequences can be classified into two categories, those which use exclusively the language of probability distributions and those which call for some other principle, either to replace or supplement.
Aggregation and Fusion of Imperfect Information
Author: Bernadette Bouchon-Meunier
Publisher: Physica
ISBN: 3790818895
Category : Computers
Languages : en
Pages : 283
Book Description
This book presents the main tools for aggregation of information given by several members of a group or expressed in multiple criteria, and for fusion of data provided by several sources. It focuses on the case where the availability knowledge is imperfect, which means that uncertainty and/or imprecision must be taken into account. The book contains both theoretical and applied studies of aggregation and fusion methods in the main frameworks: probability theory, evidence theory, fuzzy set and possibility theory. The latter is more developed because it allows to manage both imprecise and uncertain knowledge. Applications to decision-making, image processing, control and classification are described.
Publisher: Physica
ISBN: 3790818895
Category : Computers
Languages : en
Pages : 283
Book Description
This book presents the main tools for aggregation of information given by several members of a group or expressed in multiple criteria, and for fusion of data provided by several sources. It focuses on the case where the availability knowledge is imperfect, which means that uncertainty and/or imprecision must be taken into account. The book contains both theoretical and applied studies of aggregation and fusion methods in the main frameworks: probability theory, evidence theory, fuzzy set and possibility theory. The latter is more developed because it allows to manage both imprecise and uncertain knowledge. Applications to decision-making, image processing, control and classification are described.
Epistemic Foundations of Fuzziness
Author: K. K. Dompere
Publisher: Springer Science & Business Media
ISBN: 3540880844
Category : Computers
Languages : en
Pages : 283
Book Description
This monograph is a treatment on optimal fuzzy rationality as an enveloping of decision-choice rationalities where limited information, vagueness, ambiguities and inexactness are essential characteristics of our knowledge structure and reasoning processes. The volume is devoted to a unified system of epistemic models and theories of decision-choice behavior under total uncertainties composed of fuzzy and stochastic types. The unified epistemic analysis of decision-choice models and theories begins with the question of how best to integrate vagueness, ambiguities, limited information, subjectivity and approximation into the decision-choice process. The answer to the question leads to the shifting of the classical paradigm of reasoning to fuzzy paradigm. This is followed by discussions and establishment of the epistemic foundations of fuzzy mathematics where the nature and role of information and knowledge are explicated and represented. The epistemic foundation allows total uncertainties that constrain decision-choice activities, knowledge enterprise, logic and mathematical structures as our cognitive instruments to be discussed in reference to the phenomena of fuzzification, defuzzification and fuzzy logic. The discussions on these phenomena lead us to analyze and present models and theories on decision-choice rationality and the needed mathematics for problem formulation, reasoning and computations. The epistemic structures of two number systems made up of classical numbers and fuzzy numbers are discussed in relation to their differences, similarities and relative relevance to decision-choice rationality. The properties of the two number systems lead to the epistemic analysis of two mathematical systems that allow the partition of the mathematical space in support of decision-choice space of knowledge and non-knowledge production into four cognitively separate but interdependent cohorts whose properties are analyzed by the methods and techniques of category theory. The four cohorts are identified as non-fuzzy and non-stochastic, non-fuzzy and stochastic both of which belong to the classical paradigm and classical mathematical space; and fuzzy and non-stochastic, and fuzzy and stochastic cohorts both of which belong to the fuzzy paradigm and fuzzy mathematical space. The differences in the epistemic foundations of the two mathematical systems are discussed. The discussion leads to the establishment of the need for fuzzy mathematics and computing as a new system of reasoning in both exact and inexact sciences. The mathematical structures of the cohorts are imposed on the decision-choice process to allow a grouping of decision-choice models and theories. The corresponding classes of decision-choice theories have the same characteristics as the logico-mathematical cohorts relative to the assumed information-knowledge structures. The four groupings of models and theories on decision-choice activities are then classified as: 1) non-fuzzy and non-stochastic class with exact and full information-knowledge structure (no uncertainty), 2) non-fuzzy and stochastic class with exact and limited information-knowledge structure (stochastic uncertainty), 3) fuzzy and non-stochastic class with full and fuzzy information-knowledge structure (fuzzy uncertainty) and 4) Fuzzy and stochastic class with fuzzy and limited information-knowledge structure (fuzzy and stochastic uncertainties). All these different classes of decision choice problems have their corresponding rationalities which are fully discussed to present a unified logical system of theories on decision-choice process. The volume is concluded with epistemic discussions on the nature of contradictions and paradoxes viewed as logical decision-choice problems in the classical paradigm, and how these contradictions and paradoxes may be resolved through fuzzy paradigm and the methods and techniques of optimal fuzzy decision-choice rationality. The logical problem of sorites paradox with its resolution is given as an example. Interested audience includes those working in the areas of economies, decision-choice theories, philosophy of sciences, epistemology, mathematics, computer science, engineering, cognitive psychology, fuzzy mathematics and mathematics of fuzzy-stochastic processes.
Publisher: Springer Science & Business Media
ISBN: 3540880844
Category : Computers
Languages : en
Pages : 283
Book Description
This monograph is a treatment on optimal fuzzy rationality as an enveloping of decision-choice rationalities where limited information, vagueness, ambiguities and inexactness are essential characteristics of our knowledge structure and reasoning processes. The volume is devoted to a unified system of epistemic models and theories of decision-choice behavior under total uncertainties composed of fuzzy and stochastic types. The unified epistemic analysis of decision-choice models and theories begins with the question of how best to integrate vagueness, ambiguities, limited information, subjectivity and approximation into the decision-choice process. The answer to the question leads to the shifting of the classical paradigm of reasoning to fuzzy paradigm. This is followed by discussions and establishment of the epistemic foundations of fuzzy mathematics where the nature and role of information and knowledge are explicated and represented. The epistemic foundation allows total uncertainties that constrain decision-choice activities, knowledge enterprise, logic and mathematical structures as our cognitive instruments to be discussed in reference to the phenomena of fuzzification, defuzzification and fuzzy logic. The discussions on these phenomena lead us to analyze and present models and theories on decision-choice rationality and the needed mathematics for problem formulation, reasoning and computations. The epistemic structures of two number systems made up of classical numbers and fuzzy numbers are discussed in relation to their differences, similarities and relative relevance to decision-choice rationality. The properties of the two number systems lead to the epistemic analysis of two mathematical systems that allow the partition of the mathematical space in support of decision-choice space of knowledge and non-knowledge production into four cognitively separate but interdependent cohorts whose properties are analyzed by the methods and techniques of category theory. The four cohorts are identified as non-fuzzy and non-stochastic, non-fuzzy and stochastic both of which belong to the classical paradigm and classical mathematical space; and fuzzy and non-stochastic, and fuzzy and stochastic cohorts both of which belong to the fuzzy paradigm and fuzzy mathematical space. The differences in the epistemic foundations of the two mathematical systems are discussed. The discussion leads to the establishment of the need for fuzzy mathematics and computing as a new system of reasoning in both exact and inexact sciences. The mathematical structures of the cohorts are imposed on the decision-choice process to allow a grouping of decision-choice models and theories. The corresponding classes of decision-choice theories have the same characteristics as the logico-mathematical cohorts relative to the assumed information-knowledge structures. The four groupings of models and theories on decision-choice activities are then classified as: 1) non-fuzzy and non-stochastic class with exact and full information-knowledge structure (no uncertainty), 2) non-fuzzy and stochastic class with exact and limited information-knowledge structure (stochastic uncertainty), 3) fuzzy and non-stochastic class with full and fuzzy information-knowledge structure (fuzzy uncertainty) and 4) Fuzzy and stochastic class with fuzzy and limited information-knowledge structure (fuzzy and stochastic uncertainties). All these different classes of decision choice problems have their corresponding rationalities which are fully discussed to present a unified logical system of theories on decision-choice process. The volume is concluded with epistemic discussions on the nature of contradictions and paradoxes viewed as logical decision-choice problems in the classical paradigm, and how these contradictions and paradoxes may be resolved through fuzzy paradigm and the methods and techniques of optimal fuzzy decision-choice rationality. The logical problem of sorites paradox with its resolution is given as an example. Interested audience includes those working in the areas of economies, decision-choice theories, philosophy of sciences, epistemology, mathematics, computer science, engineering, cognitive psychology, fuzzy mathematics and mathematics of fuzzy-stochastic processes.
Recent Developments in the Ordered Weighted Averaging Operators: Theory and Practice
Author: Ronald R. Yager
Publisher: Springer
ISBN: 364217910X
Category : Technology & Engineering
Languages : en
Pages : 300
Book Description
This volume presents the state of the art of new developments, and some interesting and relevant applications of the OWA (ordered weighted averaging) operators. The OWA operators were introduced in the early 1980s by Ronald R. Yager as a conceptually and numerically simple, easily implementable, yet extremely powerful general aggregation operator. That simplicity, generality and implementability of the OWA operators, combined with their intuitive appeal, have triggered much research both in the foundations and extensions of the OWA operators, and in their applications to a wide variety of problems in various fields of science and technology. Part I: Methods includes papers on theoretical foundations of OWA operators and their extensions. The papers in Part II: Applications show some more relevant applications of the OWA operators, mostly means, as powerful yet general aggregation operators. The application areas are exemplified by environmental modeling, social networks, image analysis, financial decision making and water resource management.
Publisher: Springer
ISBN: 364217910X
Category : Technology & Engineering
Languages : en
Pages : 300
Book Description
This volume presents the state of the art of new developments, and some interesting and relevant applications of the OWA (ordered weighted averaging) operators. The OWA operators were introduced in the early 1980s by Ronald R. Yager as a conceptually and numerically simple, easily implementable, yet extremely powerful general aggregation operator. That simplicity, generality and implementability of the OWA operators, combined with their intuitive appeal, have triggered much research both in the foundations and extensions of the OWA operators, and in their applications to a wide variety of problems in various fields of science and technology. Part I: Methods includes papers on theoretical foundations of OWA operators and their extensions. The papers in Part II: Applications show some more relevant applications of the OWA operators, mostly means, as powerful yet general aggregation operators. The application areas are exemplified by environmental modeling, social networks, image analysis, financial decision making and water resource management.
Multiple Criteria Decision Analysis
Author: Salvatore Greco
Publisher: Springer
ISBN: 149393094X
Category : Business & Economics
Languages : en
Pages : 1356
Book Description
In two volumes, this new edition presents the state of the art in Multiple Criteria Decision Analysis (MCDA). Reflecting the explosive growth in the field seen during the last several years, the editors not only present surveys of the foundations of MCDA, but look as well at many new areas and new applications. Individual chapter authors are among the most prestigious names in MCDA research, and combined their chapters bring the field completely up to date. Part I of the book considers the history and current state of MCDA, with surveys that cover the early history of MCDA and an overview that discusses the “pre-theoretical” assumptions of MCDA. Part II then presents the foundations of MCDA, with individual chapters that provide a very exhaustive review of preference modeling, along with a chapter devoted to the axiomatic basis of the different models that multiple criteria preferences. Part III looks at outranking methods, with three chapters that consider the ELECTRE methods, PROMETHEE methods, and a look at the rich literature of other outranking methods. Part IV, on Multiattribute Utility and Value Theories (MAUT), presents chapters on the fundamentals of this approach, the very well known UTA methods, the Analytic Hierarchy Process (AHP) and its more recent extension, the Analytic Network Process (ANP), as well as a chapter on MACBETH (Measuring Attractiveness by a Categorical Based Evaluation Technique). Part V looks at Non-Classical MCDA Approaches, with chapters on risk and uncertainty in MCDA, the decision rule approach to MCDA, the fuzzy integral approach, the verbal decision methods, and a tentative assessment of the role of fuzzy sets in decision analysis. Part VI, on Multiobjective Optimization, contains chapters on recent developments of vector and set optimization, the state of the art in continuous multiobjective programming, multiobjective combinatorial optimization, fuzzy multicriteria optimization, a review of the field of goal programming, interactive methods for solving multiobjective optimization problems, and relationships between MCDA and evolutionary multiobjective optimization (EMO). Part VII, on Applications, selects some of the most significant areas, including contributions of MCDA in finance, energy planning problems, telecommunication network planning and design, sustainable development, and portfolio analysis. Finally, Part VIII, on MCDM software, presents well known MCDA software packages.
Publisher: Springer
ISBN: 149393094X
Category : Business & Economics
Languages : en
Pages : 1356
Book Description
In two volumes, this new edition presents the state of the art in Multiple Criteria Decision Analysis (MCDA). Reflecting the explosive growth in the field seen during the last several years, the editors not only present surveys of the foundations of MCDA, but look as well at many new areas and new applications. Individual chapter authors are among the most prestigious names in MCDA research, and combined their chapters bring the field completely up to date. Part I of the book considers the history and current state of MCDA, with surveys that cover the early history of MCDA and an overview that discusses the “pre-theoretical” assumptions of MCDA. Part II then presents the foundations of MCDA, with individual chapters that provide a very exhaustive review of preference modeling, along with a chapter devoted to the axiomatic basis of the different models that multiple criteria preferences. Part III looks at outranking methods, with three chapters that consider the ELECTRE methods, PROMETHEE methods, and a look at the rich literature of other outranking methods. Part IV, on Multiattribute Utility and Value Theories (MAUT), presents chapters on the fundamentals of this approach, the very well known UTA methods, the Analytic Hierarchy Process (AHP) and its more recent extension, the Analytic Network Process (ANP), as well as a chapter on MACBETH (Measuring Attractiveness by a Categorical Based Evaluation Technique). Part V looks at Non-Classical MCDA Approaches, with chapters on risk and uncertainty in MCDA, the decision rule approach to MCDA, the fuzzy integral approach, the verbal decision methods, and a tentative assessment of the role of fuzzy sets in decision analysis. Part VI, on Multiobjective Optimization, contains chapters on recent developments of vector and set optimization, the state of the art in continuous multiobjective programming, multiobjective combinatorial optimization, fuzzy multicriteria optimization, a review of the field of goal programming, interactive methods for solving multiobjective optimization problems, and relationships between MCDA and evolutionary multiobjective optimization (EMO). Part VII, on Applications, selects some of the most significant areas, including contributions of MCDA in finance, energy planning problems, telecommunication network planning and design, sustainable development, and portfolio analysis. Finally, Part VIII, on MCDM software, presents well known MCDA software packages.
Preferences and Decisions under Incomplete Knowledge
Author: Janos Fodor
Publisher: Physica
ISBN: 3790818488
Category : Business & Economics
Languages : en
Pages : 215
Book Description
Nowadays, decision problems are pervaded with incomplete knowledge, i.e., imprecision and/or uncertain information, both in the problem description and in the preferential information. In this volume leading scientists in the field address various theoretical and practical aspects related to the handling of this incompleteness. The problems discussed are taken from multi-objective linear programming, rationality considerations in preference modelling, non-probabilistic utility theory, data fusion, group decision making and multicriteria decision aid. The book is oriented towards researchers, graduate and postgraduate students in decision analysis, fuzzy sets and fuzzy logic, and operations research/management science.
Publisher: Physica
ISBN: 3790818488
Category : Business & Economics
Languages : en
Pages : 215
Book Description
Nowadays, decision problems are pervaded with incomplete knowledge, i.e., imprecision and/or uncertain information, both in the problem description and in the preferential information. In this volume leading scientists in the field address various theoretical and practical aspects related to the handling of this incompleteness. The problems discussed are taken from multi-objective linear programming, rationality considerations in preference modelling, non-probabilistic utility theory, data fusion, group decision making and multicriteria decision aid. The book is oriented towards researchers, graduate and postgraduate students in decision analysis, fuzzy sets and fuzzy logic, and operations research/management science.
Multiple Criteria Decision Analysis: State of the Art Surveys
Author: Salvatore Greco
Publisher: Springer Science & Business Media
ISBN: 0387230815
Category : Business & Economics
Languages : en
Pages : 1063
Book Description
Multiple Criteria Decision Analysis: State of the Art Surveys provides survey articles and references of the seminal or state-of-the-art research on MCDA. The material covered ranges from the foundations of MCDA, over various MCDA methodologies (outranking methods, multiattribute utility and value theories, non-classical approaches) to multiobjective mathematical programming, MCDA applications, and software. This vast amount of material is organized in 8 parts, with a total of 25 chapters. More than 2000 references are listed.
Publisher: Springer Science & Business Media
ISBN: 0387230815
Category : Business & Economics
Languages : en
Pages : 1063
Book Description
Multiple Criteria Decision Analysis: State of the Art Surveys provides survey articles and references of the seminal or state-of-the-art research on MCDA. The material covered ranges from the foundations of MCDA, over various MCDA methodologies (outranking methods, multiattribute utility and value theories, non-classical approaches) to multiobjective mathematical programming, MCDA applications, and software. This vast amount of material is organized in 8 parts, with a total of 25 chapters. More than 2000 references are listed.
Computation, Cryptography, and Network Security
Author: Nicholas J. Daras
Publisher: Springer
ISBN: 3319182757
Category : Mathematics
Languages : en
Pages : 754
Book Description
Analysis, assessment, and data management are core competencies for operation research analysts. This volume addresses a number of issues and developed methods for improving those skills. It is an outgrowth of a conference held in April 2013 at the Hellenic Military Academy, and brings together a broad variety of mathematical methods and theories with several applications. It discusses directions and pursuits of scientists that pertain to engineering sciences. It is also presents the theoretical background required for algorithms and techniques applied to a large variety of concrete problems. A number of open questions as well as new future areas are also highlighted. This book will appeal to operations research analysts, engineers, community decision makers, academics, the military community, practitioners sharing the current “state-of-the-art,” and analysts from coalition partners. Topics covered include Operations Research, Games and Control Theory, Computational Number Theory and Information Security, Scientific Computing and Applications, Statistical Modeling and Applications, Systems of Monitoring and Spatial Analysis.
Publisher: Springer
ISBN: 3319182757
Category : Mathematics
Languages : en
Pages : 754
Book Description
Analysis, assessment, and data management are core competencies for operation research analysts. This volume addresses a number of issues and developed methods for improving those skills. It is an outgrowth of a conference held in April 2013 at the Hellenic Military Academy, and brings together a broad variety of mathematical methods and theories with several applications. It discusses directions and pursuits of scientists that pertain to engineering sciences. It is also presents the theoretical background required for algorithms and techniques applied to a large variety of concrete problems. A number of open questions as well as new future areas are also highlighted. This book will appeal to operations research analysts, engineers, community decision makers, academics, the military community, practitioners sharing the current “state-of-the-art,” and analysts from coalition partners. Topics covered include Operations Research, Games and Control Theory, Computational Number Theory and Information Security, Scientific Computing and Applications, Statistical Modeling and Applications, Systems of Monitoring and Spatial Analysis.
Relational and Kleene-Algebraic Methods in Computer Science
Author: R. Berghammer
Publisher: Springer Science & Business Media
ISBN: 354022145X
Category : Mathematics
Languages : en
Pages : 291
Book Description
This book constitutes the thoroughly refereed joint postproceedings of the 7th International Seminar on Relational Methods in Computer Science and the 2nd International Workshop on Applications of Kleene Algebra held in Bad Malente, Germany in May 2003. The 21 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers address foundational and methodological aspects of the calculi of relations and Kleene algebra as well as applications of such methods in various areas of computer science and information processing.
Publisher: Springer Science & Business Media
ISBN: 354022145X
Category : Mathematics
Languages : en
Pages : 291
Book Description
This book constitutes the thoroughly refereed joint postproceedings of the 7th International Seminar on Relational Methods in Computer Science and the 2nd International Workshop on Applications of Kleene Algebra held in Bad Malente, Germany in May 2003. The 21 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers address foundational and methodological aspects of the calculi of relations and Kleene algebra as well as applications of such methods in various areas of computer science and information processing.