The Uncertain Reasoner's Companion

DOI10.1017/CBO9780511526596zbMath0838.68104OpenAlexW4253511849MaRDI QIDQ4325548

Publication date: 12 March 1995

Full work available at URL: https://doi.org/10.1017/cbo9780511526596

uncertain reasoning partial knowledge Dempster-Shafer belief functions propositional language conditional belief truth functionals

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (only showing first 100 items - show all)

Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs ⋮ Belief revision and information fusion on optimum entropy ⋮ Objective Bayesianism and the maximum entropy principle ⋮ The philosophical significance of Cox's theorem ⋮ On the Complexity of Non-reversible Betting Games on Many-Valued Events ⋮ Coherent Frequentism: A Decision Theory Based on Confidence Sets ⋮ A foundational approach to generalising the maximum entropy inference process to the multi-agent context ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ Bridging the intuition gap in Cox's theorem: a Jaynesian argument for universality ⋮ A natural prior probability distribution derived from the propositional calculus ⋮ A p-adic probability logic ⋮ How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic ⋮ UNIFORM AND PARTIALLY UNIFORM REDISTRIBUTION RULES ⋮ Introduction: Combining probability and logic ⋮ Can logic be combined with probability? Probably ⋮ A frequentist framework of inductive reasoning ⋮ A complete many-valued logic with product-conjunction ⋮ Open problems in universal induction \& intelligence ⋮ Inconsistency measures for probabilistic logics ⋮ Conditional belief functions as lower envelopes of conditional probabilities in a finite setting ⋮ NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach ⋮ Inconsistency-tolerant reasoning over linear probabilistic knowledge bases ⋮ From propositional logic to plausible reasoning: a uniqueness theorem ⋮ Argument strength in probabilistic argumentation based on defeasible rules ⋮ A prior-free framework of coherent inference and its derivation of simple shrinkage estimators ⋮ Rules of proof for maximal entropy inference ⋮ Uncertainty measures for general type-2 fuzzy sets ⋮ On the measure of conflicts: Shapley inconsistency values ⋮ Depth-bounded belief functions ⋮ A bipolar model of assertability and belief ⋮ Blending Bayesian and frequentist methods according to the precision of prior information with applications to hypothesis testing ⋮ New architectures for constructed complex systems ⋮ Probabilism, entropies and strictly proper scoring rules ⋮ Inference after checking multiple Bayesian models for data conflict and applications to mitigating the influence of rejected priors ⋮ A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics ⋮ A Dempster-Shafer model of imprecise assertion strategies ⋮ Conditional ranking revision. Iterated revision with sets of conditionals ⋮ A characterization of the language invariant families satisfying spectrum exchangeability in polyadic inductive logic ⋮ Controlling the degree of caution in statistical inference with the Bayesian and frequentist approaches as opposite extremes ⋮ Invariant equivocation ⋮ Determining maximal entropy functions for objective Bayesian inductive logic ⋮ On probabilistic parametric inference ⋮ Deterministic least squares filtering. ⋮ A syntax-based approach to measuring the degree of inconsistency for belief bases ⋮ A logical characterization of coherence for imprecise probabilities ⋮ A voting mechanism for fuzzy logic ⋮ Towards the entropy-limit conjecture ⋮ Probabilities on sentences in an expressive logic ⋮ An observation on Carnap's continuum and stochastic independencies ⋮ Abducted by Bayesians? ⋮ From Bayesian epistemology to inductive logic ⋮ Constructing a logic of plausible inference: A guide to Cox's theorem. ⋮ Probability, fuzziness and borderline cases ⋮ Probability and logic. ⋮ The emergence of reasons conjecture. ⋮ Approximation of incoherent probabilities ⋮ Second order inductive logic and Wilmers' principle ⋮ Uncertainty measures for interval type-2 fuzzy sets ⋮ Objective Bayesianism with predicate languages ⋮ Entailment with near surety of scaled assertions of high conditional probability ⋮ Logic with numbers ⋮ The Quest for Uncertainty ⋮ A note on binary inductive logic ⋮ Probabilistic argumentation: an equational approach ⋮ Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory ⋮ Equivocation axiom on first order languages ⋮ On the logical structure of de Finetti's notion of event ⋮ Inconsistency as qualified truth: a probability logic approach ⋮ Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics ⋮ Non-reversible betting games on fuzzy events: complexity and algebra ⋮ Plausible reasoning and graded information: a unified approach ⋮ Probability as a measure of information added ⋮ Itemset frequency satisfiability: complexity and axiomatization ⋮ Symmetry's end? ⋮ Probabilistic characterisation of models of first-order theories ⋮ A representation theorem and applications to measure selection and noninformative priors ⋮ A note on irrelevance in inductive logic ⋮ From classical to intuitionistic probability ⋮ Probabilistic abduction without priors ⋮ The entropy-limit (conjecture) for \(\Sigma_2\)-premisses ⋮ A continuum of inductive methods arising from a generalized principle of instantial relevance ⋮ The coherence of Łukasiewicz assessments is NP-complete ⋮ Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations ⋮ Representation theorems for probability functions satisfying spectrum exchangeability in inductive logic ⋮ A general approach to reasoning with probabilities ⋮ Statistical reasoning with set-valued information: ontic vs. epistemic views ⋮ Comparing probability measures using possibility theory: a notion of relative peakedness ⋮ On the applicability of the ``number of possible states argument in multi-expert reasoning ⋮ 2004 Summer Meeting of the Association for Symbolic Logic ⋮ Some aspects of polyadic inductive logic ⋮ In defense of the maximum entropy inference process ⋮ An inductive method for inexact reasoning ⋮ Atom exchangeability and instantial relevance ⋮ Conditional probability, fuzzy sets, and possibility: a unifying view ⋮ Bayesian conditioning in possibility theory ⋮ AN INTRODUCTION TO DSmT FOR INFORMATION FUSION ⋮ A framework for linguistic modelling ⋮ Combining probabilistic logic programming with the power of maximum entropy ⋮ Some observations on induction in predicate probabilistic reasoning ⋮ Measuring inconsistency

This page was built for publication: The Uncertain Reasoner's Companion