Author: Dov Samet
Publisher: Presses univ. de Louvain
ISBN: 9782874630774
Category : Artificial intelligence
Languages : en
Pages : 304
Book Description
The biannual conferences bring together researchers from a wide variety of fields sharing a common interest in reasoning about rationality and knowledge. the impact of this tradition, going back to 1986, is apparent in many of today's research trends and in the growth of an intellectual community beyond traditional disciplinary boundaries. this volume documents the eleventh conference, held in Brussels, Belgium, in June 2007. it includes contributed papers, 3 invited talks. Like earlier volumes in this series, it gives a window of the state of the art in studies of knowledge and information flow in areas such as probability, linguistic semantics, logics for communication, belief revision, game theory, and interactions between these. should be of value for researchers, teachers, and students alike.
Theoretical Aspects of Rationality and Knowledge
Author: Dov Samet
Publisher: Presses univ. de Louvain
ISBN: 9782874630774
Category : Artificial intelligence
Languages : en
Pages : 304
Book Description
The biannual conferences bring together researchers from a wide variety of fields sharing a common interest in reasoning about rationality and knowledge. the impact of this tradition, going back to 1986, is apparent in many of today's research trends and in the growth of an intellectual community beyond traditional disciplinary boundaries. this volume documents the eleventh conference, held in Brussels, Belgium, in June 2007. it includes contributed papers, 3 invited talks. Like earlier volumes in this series, it gives a window of the state of the art in studies of knowledge and information flow in areas such as probability, linguistic semantics, logics for communication, belief revision, game theory, and interactions between these. should be of value for researchers, teachers, and students alike.
Publisher: Presses univ. de Louvain
ISBN: 9782874630774
Category : Artificial intelligence
Languages : en
Pages : 304
Book Description
The biannual conferences bring together researchers from a wide variety of fields sharing a common interest in reasoning about rationality and knowledge. the impact of this tradition, going back to 1986, is apparent in many of today's research trends and in the growth of an intellectual community beyond traditional disciplinary boundaries. this volume documents the eleventh conference, held in Brussels, Belgium, in June 2007. it includes contributed papers, 3 invited talks. Like earlier volumes in this series, it gives a window of the state of the art in studies of knowledge and information flow in areas such as probability, linguistic semantics, logics for communication, belief revision, game theory, and interactions between these. should be of value for researchers, teachers, and students alike.
Theoretical Aspects of Rationality and Knowledge
Author: Itzhak Gilboa
Publisher: Morgan Kaufmann Publishers
ISBN:
Category : Computers
Languages : en
Pages : 308
Book Description
Publisher: Morgan Kaufmann Publishers
ISBN:
Category : Computers
Languages : en
Pages : 308
Book Description
Theoretical Aspects of Rationality and Knowledge
Author: Johan van Benthem
Publisher: Morgan Kaufmann Publishers
ISBN:
Category : Computers
Languages : en
Pages : 352
Book Description
Proceedings of the biennial Conferences on Theoretical Aspects of Reasoning about Knowledge and Theoretical Aspects of Rationality and Knowledge. Current volume: 8th Conference on Theoretical Aspects of Rationality and Knowledge.
Publisher: Morgan Kaufmann Publishers
ISBN:
Category : Computers
Languages : en
Pages : 352
Book Description
Proceedings of the biennial Conferences on Theoretical Aspects of Reasoning about Knowledge and Theoretical Aspects of Rationality and Knowledge. Current volume: 8th Conference on Theoretical Aspects of Rationality and Knowledge.
Rational Decisions in Organisations
Author: Frédéric Adam
Publisher: CRC Press
ISBN: 1000543102
Category : Business & Economics
Languages : en
Pages : 245
Book Description
Managers in organisations must make rational decisions. Rational decision making is the opposite of intuitive decision making. It is a strict procedure utilising objective knowledge and logic. It involves identifying the problem to solve, gathering facts, identifying options and outcomes, analysing them, considering all the relationships and selecting the decision. Rational decision making requires support: methods and software tools. The identification of the problem to solve needs methods that would measure and evaluate the current situation. Identification and evaluation of options and analysis of the available possibilities involves analysis and optimisation methods. Incorporating intuition into rational decision making needs adequate methods that would translate ideas or observed behaviours into hard data. Communication, observation and opinions recording is hardly possible today without adequate software. Information and data that form the input, intermediate variables and the output must be stored, managed and made accessible in a user-friendly manner. Rational Decisions in Organisations: Theoretical and Practical Aspects presents selected recent developments in the support of the widely understood rational decision making in organisations, illustrated through case studies. The book shows not only the variety of perspectives involved in decision making, but also the variety of domains where rational decision support systems are needed. The case studies present decision making by medical doctors, students and managers of various universities, IT project teams, construction companies, banks and small and large manufacturing companies. Covering the richness of relationships in which the decisions should and must be taken, the book illustrates how modern organisations operate in chains and networks; they have multiple responsibilities, including social, legal, business and ethical duties. Nowadays, managers in organisations can make transparent decisions and consider a multitude of stakeholders and their diverse features, incorporating diverse criteria, using multiple types and drivers of information and decision-making patterns, and referring to numerous lessons learned. As the book makes clear, the marriage of theoretical ideas with the possibilities offered by technology can make the decisions in organisations more rational and, at the same time, more human.
Publisher: CRC Press
ISBN: 1000543102
Category : Business & Economics
Languages : en
Pages : 245
Book Description
Managers in organisations must make rational decisions. Rational decision making is the opposite of intuitive decision making. It is a strict procedure utilising objective knowledge and logic. It involves identifying the problem to solve, gathering facts, identifying options and outcomes, analysing them, considering all the relationships and selecting the decision. Rational decision making requires support: methods and software tools. The identification of the problem to solve needs methods that would measure and evaluate the current situation. Identification and evaluation of options and analysis of the available possibilities involves analysis and optimisation methods. Incorporating intuition into rational decision making needs adequate methods that would translate ideas or observed behaviours into hard data. Communication, observation and opinions recording is hardly possible today without adequate software. Information and data that form the input, intermediate variables and the output must be stored, managed and made accessible in a user-friendly manner. Rational Decisions in Organisations: Theoretical and Practical Aspects presents selected recent developments in the support of the widely understood rational decision making in organisations, illustrated through case studies. The book shows not only the variety of perspectives involved in decision making, but also the variety of domains where rational decision support systems are needed. The case studies present decision making by medical doctors, students and managers of various universities, IT project teams, construction companies, banks and small and large manufacturing companies. Covering the richness of relationships in which the decisions should and must be taken, the book illustrates how modern organisations operate in chains and networks; they have multiple responsibilities, including social, legal, business and ethical duties. Nowadays, managers in organisations can make transparent decisions and consider a multitude of stakeholders and their diverse features, incorporating diverse criteria, using multiple types and drivers of information and decision-making patterns, and referring to numerous lessons learned. As the book makes clear, the marriage of theoretical ideas with the possibilities offered by technology can make the decisions in organisations more rational and, at the same time, more human.
Collected Papers
Author: Robert J. Aumann
Publisher: MIT Press
ISBN: 9780262011556
Category : Business & Economics
Languages : en
Pages : 818
Book Description
Robert Aumann's career in game theory has spanned over research - from his doctoral dissertation in 1956 to papers as recent as January 1995. Threaded through all of Aumann's work (symbolized in his thesis on knots) is the study of relationships between different ideas, between different phenomena, and between ideas and phenomena. "When you look closely at one scientific idea", writes Aumann, "you find it hitched to all others. It is these hitches that I have tried to study". The papers are organized in several categories: general, knot theory, decision theory (utility and subjective probability), strategic games, coalitional games, and mathematical methods. Aumann has written an introduction to each of these groups that briefly describes the content and background of each paper, including the motivation and the research process, and relates it to other work in the collection and to work by others. There is also a citation index that allows readers to trace the considerable body of literature which cites Aumann's own work.
Publisher: MIT Press
ISBN: 9780262011556
Category : Business & Economics
Languages : en
Pages : 818
Book Description
Robert Aumann's career in game theory has spanned over research - from his doctoral dissertation in 1956 to papers as recent as January 1995. Threaded through all of Aumann's work (symbolized in his thesis on knots) is the study of relationships between different ideas, between different phenomena, and between ideas and phenomena. "When you look closely at one scientific idea", writes Aumann, "you find it hitched to all others. It is these hitches that I have tried to study". The papers are organized in several categories: general, knot theory, decision theory (utility and subjective probability), strategic games, coalitional games, and mathematical methods. Aumann has written an introduction to each of these groups that briefly describes the content and background of each paper, including the motivation and the research process, and relates it to other work in the collection and to work by others. There is also a citation index that allows readers to trace the considerable body of literature which cites Aumann's own work.
Theoretical Aspects of Reasoning About Knowledge
Author: Ronald Fagin
Publisher: Morgan Kaufmann
ISBN: 1483214532
Category : Computers
Languages : en
Pages : 348
Book Description
Theoretical Aspects of Reasoning About Knowledge contains the proceedings of the Fifth Conference on Theoretical Aspects of Reasoning About Knowledge (TARK 1994) held in Pacific Grove, California, on March 13-16, 1994. The conference provided a forum for discussing the theoretical aspects of reasoning about knowledge and tackled topics ranging from the logic of iterated belief revision and backwards forward induction to information acquisition from multi-agent resources, infinitely epistemic logic, and coherent belief revision in games. Comprised of 23 chapters, this book begins with a review of situation calculus and a solution to the frame problem, along with the use of a regression method for reasoning about the effect of actions. A novel programming language for high-level robotic control is described, along with a knowledge-based framework for belief change. Subsequent chapters deal with consistent belief reasoning in the presence of inconsistency; an epistemic logic of situations; an axiomatic approach to the logical omniscience problem; and an epistemic proof system for parallel processes. Inductive learning, knowledge asymmetries, and convention are also examined. This monograph will be of interest to both students and practitioners in the fields of artificial intelligence and computer science.
Publisher: Morgan Kaufmann
ISBN: 1483214532
Category : Computers
Languages : en
Pages : 348
Book Description
Theoretical Aspects of Reasoning About Knowledge contains the proceedings of the Fifth Conference on Theoretical Aspects of Reasoning About Knowledge (TARK 1994) held in Pacific Grove, California, on March 13-16, 1994. The conference provided a forum for discussing the theoretical aspects of reasoning about knowledge and tackled topics ranging from the logic of iterated belief revision and backwards forward induction to information acquisition from multi-agent resources, infinitely epistemic logic, and coherent belief revision in games. Comprised of 23 chapters, this book begins with a review of situation calculus and a solution to the frame problem, along with the use of a regression method for reasoning about the effect of actions. A novel programming language for high-level robotic control is described, along with a knowledge-based framework for belief change. Subsequent chapters deal with consistent belief reasoning in the presence of inconsistency; an epistemic logic of situations; an axiomatic approach to the logical omniscience problem; and an epistemic proof system for parallel processes. Inductive learning, knowledge asymmetries, and convention are also examined. This monograph will be of interest to both students and practitioners in the fields of artificial intelligence and computer science.
Distributed Computing
Author: Idit Keidar
Publisher: Springer Science & Business Media
ISBN: 3642043542
Category : Computers
Languages : en
Pages : 546
Book Description
This book constitutes the refereed proceedings of the 23nd International Symposium on Distributed Computing, DISC 2009, held in Elche, Spain, in September 2009. The 33 revised full papers, selected from 121 submissions, are presented together with 15 brief announcements of ongoing works; all of them were carefully reviewed and selected for inclusion in the book. The papers address all aspects of distributed computing, and were organized in topical sections on Michel Raynal and Shmuel Zaks 60th birthday symposium, award nominees, transactional memory, shared memory, distributed and local graph algorithms, modeling issues, game theory, failure detectors, from theory to practice, graph algorithms and routing, consensus and byzantine agreement and radio networks.
Publisher: Springer Science & Business Media
ISBN: 3642043542
Category : Computers
Languages : en
Pages : 546
Book Description
This book constitutes the refereed proceedings of the 23nd International Symposium on Distributed Computing, DISC 2009, held in Elche, Spain, in September 2009. The 33 revised full papers, selected from 121 submissions, are presented together with 15 brief announcements of ongoing works; all of them were carefully reviewed and selected for inclusion in the book. The papers address all aspects of distributed computing, and were organized in topical sections on Michel Raynal and Shmuel Zaks 60th birthday symposium, award nominees, transactional memory, shared memory, distributed and local graph algorithms, modeling issues, game theory, failure detectors, from theory to practice, graph algorithms and routing, consensus and byzantine agreement and radio networks.
Structural Analysis of Non-Classical Logics
Author: Syraya Chin-Mu Yang
Publisher: Springer
ISBN: 3662483572
Category : Philosophy
Languages : en
Pages : 285
Book Description
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate logic. The book presents a wide range of applications of two well-known approaches in current research: (i) structural modeling of certain philosophical issues in the framework of non-classic logics, such as admissible models for modal logic, structural models for modal epistemology and for counterfactuals, and epistemological models for common knowledge and for public announcements; (ii) conceptual analysis of logical properties of, and formal semantics for, non-classical logics, such as sub-formula property, truthmaking, epistemic modality, behavioral strategies, speech acts and assertions. The structural analysis provided in this volume will appeal not only to graduate students and experts in non-classic logics, but also to readers from a wide range of disciplines, including computer science, cognitive science, linguistics, game theory and theory of action, to mention a few.
Publisher: Springer
ISBN: 3662483572
Category : Philosophy
Languages : en
Pages : 285
Book Description
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate logic. The book presents a wide range of applications of two well-known approaches in current research: (i) structural modeling of certain philosophical issues in the framework of non-classic logics, such as admissible models for modal logic, structural models for modal epistemology and for counterfactuals, and epistemological models for common knowledge and for public announcements; (ii) conceptual analysis of logical properties of, and formal semantics for, non-classical logics, such as sub-formula property, truthmaking, epistemic modality, behavioral strategies, speech acts and assertions. The structural analysis provided in this volume will appeal not only to graduate students and experts in non-classic logics, but also to readers from a wide range of disciplines, including computer science, cognitive science, linguistics, game theory and theory of action, to mention a few.
The Logic of Knowledge Bases
Author: Hector J. Levesque
Publisher: MIT Press
ISBN: 9780262263498
Category : Computers
Languages : en
Pages : 316
Book Description
This book describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. The idea of knowledge bases lies at the heart of symbolic, or "traditional," artificial intelligence. A knowledge-based system decides how to act by running formal reasoning procedures over a body of explicitly represented knowledge—a knowledge base. The system is not programmed for specific tasks; rather, it is told what it needs to know and expected to infer the rest. This book is about the logic of such knowledge bases. It describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. Assuming some familiarity with first-order predicate logic, the book offers a new mathematical model of knowledge that is general and expressive yet more workable in practice than previous models. The book presents a style of semantic argument and formal analysis that would be cumbersome or completely impractical with other approaches. It also shows how to treat a knowledge base as an abstract data type, completely specified in an abstract way by the knowledge-level operations defined over it.
Publisher: MIT Press
ISBN: 9780262263498
Category : Computers
Languages : en
Pages : 316
Book Description
This book describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. The idea of knowledge bases lies at the heart of symbolic, or "traditional," artificial intelligence. A knowledge-based system decides how to act by running formal reasoning procedures over a body of explicitly represented knowledge—a knowledge base. The system is not programmed for specific tasks; rather, it is told what it needs to know and expected to infer the rest. This book is about the logic of such knowledge bases. It describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. Assuming some familiarity with first-order predicate logic, the book offers a new mathematical model of knowledge that is general and expressive yet more workable in practice than previous models. The book presents a style of semantic argument and formal analysis that would be cumbersome or completely impractical with other approaches. It also shows how to treat a knowledge base as an abstract data type, completely specified in an abstract way by the knowledge-level operations defined over it.
Theoretical Aspects of Rationality and Knowledge
Author: Yoav Shoham
Publisher: Morgan Kaufmann Publishers
ISBN:
Category : Computers
Languages : en
Pages : 316
Book Description
Publisher: Morgan Kaufmann Publishers
ISBN:
Category : Computers
Languages : en
Pages : 316
Book Description