[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 12:13:33 -0600
Message-id: <p0623091fc36781d0b63b@[]>
>>  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)

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