Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watnot!watmath!clyde!cbatt!ucbvax!KESTREL.ARPA!ladkin
From: ladkin@KESTREL.ARPA.UUCP
Newsgroups: mod.ai
Subject: logic in ai
Message-ID: <8702242147.AA13311@kestrel.ARPA>
Date: Tue, 24-Feb-87 16:47:23 EST
Article-I.D.: kestrel.8702242147.AA13311
Posted: Tue Feb 24 16:47:23 1987
Date-Received: Fri, 27-Feb-87 06:24:50 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: world
Organization: The ARPA Internet
Lines: 16
Approved: ailist@sri-stripe.arpa

david sher said:
>Note: I am not a logician but I use a lot of logic in my everyday
>work which is probabilistic analysis of computer vision problems

john rager replied:
>When you say you use a lot of logic, do you really mean it? Recursive
>function theory? Saturated model theory? 

Rager asks whether Sher uses infinitary methods in what seems to
be a finitary context. The answer is obviously no, and I wonder
why he would ask the question? Maybe he thinks that all logic
is infinitary? Meanwhile, he seems to have forgotten that inference 
is the basis of logic, and most of us use that in one form or another.

peter ladkin
ladkin@kestrel.arpa