[Top] [All Lists]

Re: [ontolog-forum] formal systems, common logic and lbase

To: Avril Styrman <Avril.Styrman@xxxxxxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Mon, 19 Nov 2007 13:36:18 -0600
Message-id: <p06230922c36795674d90@[]>
>>  It is always hard to imagine the future. For some extant (in fact,
>>  now quite old) work on this general topic, see discussions of the
>>  "BDI" (Belief, Desire and Intention) formalisms which were developed
>>  to formalize exactly "motivation and purpose" and have been used in
>>  deployed AI systems which perform rational planning. A quick Google
>>  check will reveal hundreds of reports and some book-length surveys.
>sure I've heard of BDI in the domain of computer science, but how to fit BDI
>in a proof-scenario in 'pure' mathematics, even though there is nothing
>supreme in pure mathematics compared to computable things. Imagine you have
>the axioms, the rules of inference, the theorem to be proved, and also the
>proof. Now, it would be absolutely great to be able to understand the steps
>of the proof, the intention of the mathematician, the reason why this and
>that step was taken at this and that point. It is hard to see just how BDI
>is used here, to make the inference clear and easily understandable.    (01)

I see no reason why BDI should not apply to mathematical activity as 
well as to any other human endeavor. But from the above, it sounds as 
though you are asking for something that can re-create the mental 
activity of the mathematician just from the published proof, and this 
is probably impossible no matter what formalization one uses, as the 
other quotes assembled by John say quite clearly.    (02)

Pat    (03)

>Avril    (04)

IHMC            (850)434 8903 or (650)494 3973   home
40 South Alcaniz St.    (850)202 4416   office
Pensacola                       (850)202 4440   fax
FL 32502                        (850)291 0667    cell
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes    (05)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (06)

<Prev in Thread] Current Thread [Next in Thread>