[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Thinking Cap] for probabilistic propositional logic+Important reading assignment for next class
- To: "Rao Kambhampati" <rao@asu.edu>
- Subject: [Thinking Cap] for probabilistic propositional logic+Important reading assignment for next class
- From: "Subbarao Kambhampati" <rao@asu.edu>
- Date: Mon, 8 Oct 2007 14:42:32 -0700
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:sender:to:subject:mime-version:content-type:x-google-sender-auth; bh=OmoPPIeLJjBIn41H0ky7s+cqSl8+LueUGT7Q0BX6/ek=; b=FN1l2zb5qKWD27J3IinOEny6H7AaeXMyyPIRHbjJqrEchRfqcng1OOxlMQdwNCyxh3MA+uWmbuoV9K65vx379AUDYYZyCbQerfkGYNgKmzpxUq2YaaUFSoNZncw9VBcji3qFUK6k6V/KhN1q7G14wUOaQtJw9fuvu1XEK36rf1Q=
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:sender:to:subject:mime-version:content-type:x-google-sender-auth; b=GbbzIjB6Cnc4j89qBSVU2Hl43+zy4VWuA8sCpXgIYP9OgucTSmXkbDYbdsA+uVttfW9bBqDZcSfVXMn1N/GgHVqJeSoL99drFbdDFej+iJj3IbIlo+js6gchGbuoM1VMwhbpfIqthkh40DGBQJMJ6AAYzMU1yRqRWd8o+cplQlI=
- Sender: subbarao2z2@gmail.com
See if you can answer these on the blog
0. If I have n propositions, how many possible clauses are there? (Assume that clauses of the form A V A are automatically simplified to A).
Does this help in convincing you that the resolution theoremproving search procedure is *complete* in that it will terminate whether or not
the theorem you are trying to prove actually holds?
1.
We saw that propositional logic is monotonic and that real world
requried "defeasible" or "non-monotonic" reasoning. Is probabilistic
reasoning
monotonic or non-monotonic? Explain.
2. You obviously heard the two words "Probability" and "statistics". What is the difference between them? (or are they basically synonyms?)
3.
We made a big point about the need for representing joint distribution
compactly. Much of elementary probability/statistics handles
continuous and multi-valued variables, where specifying the
distribution of the single variable itself will need a huge number of
numbers.
How is this normally side-stepped in elementary probability?
[Reading assignment] Make sure to read/review chapter 13 which reviews elementary probability.
Rao