ontolog-forum
[Top] [All Lists]

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

To: Pat Hayes <phayes@xxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Avril Styrman <Avril.Styrman@xxxxxxxxxxx>
Date: Mon, 19 Nov 2007 21:07:03 +0200
Message-id: <1195499223.4741ded754a33@xxxxxxxxxxxxxxxx>
Pat,    (01)

> 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.    (02)

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.    (03)

Avril    (04)

_________________________________________________________________
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    (05)

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