A logic for reasoning about evidence

MaRDI QIDQ3624009zbMATH OpenFDO

Authors Joseph Y. Halpern, Riccardo Pucella

Publication date 28 April 2009

Full work available at URL https://arxiv.org/abs/1407.7185

zbMATH Keywords

decision problem

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• Evidence logics with relational evidence
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• Logic of evidence-based knowledge
• Dynamic logics of evidence-based beliefs
• Evidence and plausibility in neighborhood structures

Cited in

(46)

• Logical dynamics of evidence
• Evidence and plausibility in neighborhood structures
• Probabilistic temporal logic with countably additive semantics
• Time-stamped claim logic
• Evidential support logic programming
• Semirings of Evidence
• On the revision of probabilistic beliefs using uncertain evidence
• Some New Probability Operators
• scientific article; zbMATH DE number 1508253 (Why is no real title available?)
• scientific article; zbMATH DE number 7659877 (Why is no real title available?)
• Reasoning about knowledge and conditional probability
• Update as evidence: belief expansion
• Evidence logic: a new look at neighborhood structures
• Reasoning about belief, evidence and trust in a multi-agent setting
• Logical perspectives on the foundations of probability
• Approximating common knowledge with common beliefs
• Reasoning about justified belief based on the fusion of evidence
• Reasons to believe in a social environment
• Trust evidence logic
• Multilanguage hierarchical logics, or: How we can do without modal logics
• A quantified logic of evidence
• On aggregating probabilistic evidence
• Evidence with uncertain likelihoods
• Event-based time-stamped claim logic
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• Credal Calculi, Evidence, and Consistency
• On the evidence inference theory
• Attainable knowledge and omniscience
• A computer scientist looks at game theory.
• Common knowledge and consensus with noisy communication
• Understanding evidential reasoning
• Logics with lower and upper probability operators
• Information and evidence in logic systems
• An epistemic probabilistic logic with conditional probabilities
• Deductive and Abductive Reasoning with Causal and Evidential Information
• Explaining by evidence
• Evidence for Fixpoint Logic
• Logic of evidence-based knowledge
• scientific article; zbMATH DE number 5117159 (Why is no real title available?)
• Probability logic and combining evidence
• Reasoning about evidence
• Dynamic logics of evidence-based beliefs
• Probabilistic Temporal Logics
• Evidence logics with relational evidence
• Allocation of arguments and evidence theory
• Representations of uncertainty in artificial intelligence: probability and possibility

This page was built for publication: A logic for reasoning about evidence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3624009)