TY - BOOK ID - 26195727 TI - Reasoning about uncertainty PY - 2003 SN - 0262582597 0262083205 9780262582599 9780262083201 PB - Cambridge : MIT Press, DB - UniCat KW - Theory of knowledge KW - Uncertainty (Information theory) KW - Incertitude (Théorie de l'information) KW - 003.54 KW - Measure of uncertainty (Information theory) KW - Shannon's measure of uncertainty KW - System uncertainty KW - Questions and answers KW - Probability and statistics: probabilistic algorithms (including Monte Carlo);random number generation; statistical computing; statistical software (Mathematics of computing) KW - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - 681.3*G3 Probability and statistics: probabilistic algorithms (including Monte Carlo);random number generation; statistical computing; statistical software (Mathematics of computing) KW - Uncertainty (Information theory). KW - Incertitude (Théorie de l'information) KW - Logic, Symbolic and mathematical KW - Reasoning KW - 681.3*G3 KW - 681.3*I23 KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Argumentation KW - Ratiocination KW - Reason KW - Thought and thinking KW - Judgment (Logic) KW - Logic KW - Information measurement KW - Probabilities KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Logic, symbolic and mathematical KW - Logic, Symbolic and mathematical. KW - Reasoning. KW - Incertitude KW - Raisonnement KW - Logique mathématique KW - Logique symbolique et mathématique KW - Incertitude. KW - Raisonnement. KW - Logique mathématique. KW - Artificial intelligence. UR - https://www.unicat.be/uniCat?func=search&query=sysid:26195727 AB - ER -