next up previous
Next: About this document ...

Pollock Part I

Selmer Bringsjord
Philosophy of AI

function
SIMPLE-REFLEX-AGENT(percept) returns action
static: rules, a set of condition-action rules

state $\leftarrow$ INTERPRET-INPUT(percept)
rule $\leftarrow$ RULE-MATCH(state, rules)
action $\leftarrow$ RULE-ACTION(rule)
return action

Suppose you hold one ticket (tk, for some $k \ge 1$) in a fair lottery consisting of 1 million tickets, and suppose it is known that one and only one ticket will win. Since the probability is only .000001 of tk's being drawn, it seems reasonable to believe that tk will not win. By the same reasoning it seems reasonable to believe that t1 will not win, that t2 will not win, $\ldots$, that t1000000 will not win. Therefore it is reasonable to believe

\begin{displaymath}\neg \exists t_i \mbox{($t_i$ will win)}.\end{displaymath}

But we know that

\begin{displaymath}\exists t_i \mbox{($t_i$ will win)}.\end{displaymath}

So we have an outright contradiction.



 
next up previous
Next: About this document ...
Selmer Bringsjord
2000-11-16