[UAI] UAI Wiki is up again

2005-07-15 Thread David Poole
Hi All, The UAI Wiki at http://www.auai.org/wiki/ is up again after being down for a few weeks because we had to change servers. Thanks to Mark Crowley for setting it up and maintaining it. Please feel free to add content to the wiki. For example, the background to your new UAI/IJACI/ICML/ECSQA

Re: [UAI] Is it a paradox?

2005-07-15 Thread Zhongli Ding
Very interesting ... What would be the difference if we think it in this way: p -> q q ^ p -> ~r q ^ ~p -> r p -> s and s is ~r. or think it in a probabilistic way, if we let: p: born in New York q: born in United States r: born in New Jersey then we have: P(q|p) = 1 P(r|q) = v P(r|p) = 0 P(

Re: [UAI] Is it a paradox?

2005-07-15 Thread Francisco Javier Diez
[EMAIL PROTECTED] wrote: > Consider the following line of reasoning. Let p be the proposition > "Ronald was born in New York." From p, we can infer q: Ronald was > born in the United States. From q, we can infer r: It is possible > that Ronald was born in New Jersey. On the other hand, from p we ca

Re: [UAI] Is it a paradox?

2005-07-15 Thread Umberto Straccia
On Jul 13, 2005, at 12:48 AM, [EMAIL PROTECTED] wrote: > Consider the following line of reasoning. Let p be the proposition > "Ronald was born in New York." From p, we can infer q: Ronald was > born in the United States. From q, we can infer r: It is possible > that Ronald was born in New J

Re: [UAI] Is it a paradox?

2005-07-15 Thread Konrad Scheffler
On Tue, 12 Jul 2005 [EMAIL PROTECTED] wrote: > Consider the following line of reasoning. Let p be the proposition > "Ronald was born in New York." From p, we can infer q: Ronald was born > in the United States. > From q, we can infer r: It is possible that Ronald > was born in New Jersey. That's

Re: [UAI] Is it a paradox?

2005-07-15 Thread Kevin S. Van Horn
[EMAIL PROTECTED] wrote: > Consider the following line of reasoning. Let p be the proposition > "Ronald was born in New York." From p, we can infer q: Ronald was born > in the United States. From q, we can infer r: It is possible that > Ronald was born in New Jersey. On the other hand, from p w

Re: [UAI] Is it a paradox?

2005-07-15 Thread Jorge Moraleda
There is no contradiction. There is no paradox. I would argue that a proposition (a) of the form "It is possible that X" is logically equivalent to "X or not X". Note that a proposition (b) of the form "It is not possible that X" is logically equivalent to "not X". Propositions (a) and (b) are no

Re: [UAI] Is it a paradox?

2005-07-15 Thread caichenghui
I think that this paradox is due that some information is lost during inference. The process of information losing may be a big problem for machine decision making and other interesting topics. Thanks a lot. Best regards, Chenghui Cai Ph.D. Student Lab for Intelligent Systems & Controls (LISC) D

Re: [UAI] Is it a paradox?

2005-07-15 Thread Shivani Agarwal
In terms of logic, there is no contradiction here. Whatever contradiction there may appear to be is due to the use of the word "possible" in these statements. "It is not possible that Q" is equivalent simply to "not Q". "It is possible that Q" is equivalent simply to "Q or not Q". "Not Q" and

Re: [UAI] Is it a paradox?

2005-07-15 Thread kaladan
[EMAIL PROTECTED] writes: > Consider the following line of reasoning. Let p be the proposition "Ronald > was born in New York." From p, we can infer q: Ronald was born in the United > States. From q, we can infer r: It is possible that Ronald was born in New > Jersey. On the other hand, from p

Re: [UAI] Is it a paradox?

2005-07-15 Thread Joseph Halpern
> Consider the following line of reasoning. Let p be the proposition > "Ronald was born in New York." From p, we can infer q: Ronald was born > in the United States. From q, we can infer r: It is possible that > Ronald was born in New Jersey. On the other hand, from p we can infer > s: It is not p

[UAI] CFP: AI and Math 2006

2005-07-15 Thread aimath06
FIRST CALL FOR PAPERS Ninth International Symposium on Artificial Intelligence and Mathematics http://anytime.cs.umass.edu/aimath06/ January 4-6, 2006 Fort Lauderdale, Florida Paper Submission Deadline: October 2, 2005 The International Symposium on Artificial Intelligence and Mathematics is a