The Uncertain Reasoner's Companion by J B Paris
Reasoning under uncertainty, that is, making judgements with only partial knowledge, is a major theme in artificial intelligence. Professor Paris provides here an introduction to the mathematical foundations of the subject. It is suited for readers with some knowledge of undergraduate mathematics but is otherwise self-contained, collecting together the key results on the subject and formalizing within a unified framework the main contemporary approaches and assumptions. The author has concentrated on giving clear mathematical formulations, analyses, justifications and consequences of the main theories about uncertain reasoning, so the book can serve as a textbook for beginners or as a starting point for further basic research into the subject. It will be welcomed by graduate students and research workers in logic, philosophy and computer science as an account of how mathematics and artificial intelligence can complement and enrich each other.-
The Optimal Implementation of Functional Programming Languages
-
Mathematics for Computer Graphics
-
The Clausal Theory of Types
-
Basic Proof Theory
-
Process Algebra
-
Nonmonotonic Reasoning
-
Applications of Process Algebra
- Reasoning about Gossip
-
Belief Revision
-
Mathematical Theory of Domains
-
Process Algebra: Equational Theories of Communicating Processes
-
Initial Algebras and Terminal Coalgebras
-
Rippling: Meta-Level Guidance for Mathematical Reasoning
-
Finite-State Techniques
-
Higher Order Logic and Hardware Verification
-
Formal Methods in Artificial Intelligence
-
Hybrid Graph Theory and Network Analysis
-
Data Refinement
-
Lambda-calculus, Combinators and Functional Programming
-
A Unifying Framework for Structured Analysis and Design Models
-
Concurrency Verification
-
Design Theory and Computer Science
-
Nets, Terms and Formulas
-
Computational Learning Theory
-
Metamathematics, Machines and Goedel's Proof
-
Formal Specification and Design
-
The Logic of Typed Feature Structures
-
Free Choice Petri Nets
-
Two-Level Functional Languages
-
Basic Simple Type Theory
-
Term Rewriting Systems
-
Deductive and Declarative Programming
-
Information Flow
-
Domains and Lambda-Calculi
-
Formal Semantics and Pragmatics for Natural Language Querying
"Those who value economic history's concern to establish what really happened will welcome the direction of attention to a problem of such contemporary interest as the multinational enterprise" Business History
"The majority of the papers are historical studies of particular enterprises or areas between the 1860s and the Second World War...The collection will provide matter of interest to others besides economic historians." Economic History Review
"This work is an outstanding mathematical treatment of uncertainty in knowledge-based systems. It provides, in a uunified manner, the needed fundamentals for theoretical approaches." L. State, Computing Reviews
"The majority of the papers are historical studies of particular enterprises or areas between the 1860s and the Second World War...The collection will provide matter of interest to others besides economic historians." Economic History Review
"This work is an outstanding mathematical treatment of uncertainty in knowledge-based systems. It provides, in a uunified manner, the needed fundamentals for theoretical approaches." L. State, Computing Reviews
| SKU | Unavailable |
| ISBN 13 | 9780521032728 |
| ISBN 10 | 0521032725 |
| Title | The Uncertain Reasoner's Companion |
| Author | J B Paris |
| Series | Cambridge Tracts In Theoretical Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Cambridge University Press |
| Year published | 2006-11-23 |
| Number of pages | 224 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |