What people are saying - Write a review
We haven't found any reviews in the usual places.
A New Model for Inductive Inference
Doxastic Paradoxes without SelfReference
24 other sections not shown
action agent algorithm Artificial Intelligence assume assumption atomic atomic commitment axiom backward induction belief revision boss common knowledge concept consider convergence database defined definition denote Distributed Computing distributed systems doxastic doxastic logic epistemic entrenchment event expected payoff explicit belief fact finite first-order logic FOPCE formal formula Game Theory given Halpern implicit incentive constraints induction inference inference procedure information set integrity constraint intentional interpretation Intuitively KFOPCE knowledge base knowledge representation knowledge set knows Kripke structure language Lemma logic of knowledge mediation plan modal logic model revision modulo multilinear nash equilibrium nonblocking notion only-believing ordinal paper paradoxes parameters play player pointers possible predicate probability space problem processors proof proposition rational reasoning about knowledge recovery result rule saleswoman satisfies semantics sentence sequence situation solution speech act stable statements strategy structure Suppose Theorem theory true valid