>John,
>
>> Gian-Carlo Rota, mathematician:
>>
>> Shocking as it may be to a conservative logician, the day will come
>> when currently vague concepts such as motivation and purpose will be
>> made formal and accepted as constituents of a revamped logic, where they
>> will at last be alloted the equal status they deserve, side-by-side with
>> axioms and theorems.
>
>This sounds very good, but it is also very hard to imagine how motivation
>and purpose could be made as formal as mathematical axioms, theorems, and
>rules of inference. (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)
Pat Hayes (03)
--
---------------------------------------------------------------------
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 (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)
|