Is There a Monadic as well as a Dyadic Bayesian Logic? Two Logics Explaining Conjunction 'Fallacies'.
Momme von SydowPublished in: CogSci (2014)
Keyphrases
- modal logic
- classical logic
- valued logic
- propositional dynamic logic
- proof theory
- epistemic logic
- propositional calculus
- truth values
- nonmonotonic logics
- intuitionistic logic
- computational properties
- expressive power
- coalition logic
- proof theoretic
- sequent calculi
- higher order logic
- proof procedures
- conditional logic
- inference rules
- logical framework
- monadic second order logic
- knowledge representation formalisms
- order sorted
- horn logic
- automated reasoning
- deductive databases
- modal operators
- propositional logic
- logic programming
- set theory
- multi valued
- logic based argumentation
- default reasoning
- maximum likelihood
- decision procedures
- bayesian networks
- fuzzy logic
- inconsistent knowledge
- fuzzy sets
- valued semantics
- temporal logic
- datalog queries
- autoepistemic logic
- predicate logic
- posterior probability
- tableau calculus
- integrity constraints
- situation calculus
- posterior distribution
- transitive closure
- datalog programs