( 1) The probability that an image identical tn the one observed would be seen given that a feature proposition "' true (P(O I F)). ( 2) The probabili ty that the image would he observed independently of the r'tature proposition ( P( 0 )). An example of a feature proposition is "An object boundary exists at point x,y." Another example of a feature proposition is " Point x.y is in the interior o...

This paper addresses the dual problems of recognizing when an agent is expressing an attitude of doubt toward a proposition and of realizing natural language utterances that e ectively convey such doubt It presents naturally occurring examples that illustrate the wide variety of ways in which doubt can be expressed The paper presents a recognition algorithm that uses linguistic contextual and w...

Our paper [1] contains a serious error. Proposition 4.6 of [1] is actually false and hence our strong normalization proof does not work for the Curry-style λμ-calculus. However, our method still can show that (1) the correction of Proposition 5.4 of [2], and (2) the correction of the proof of strong normalization of Church-style λμ-calculus by CPS-translation. Firstly, our method is still effec...