[Top] [All Lists]

Re: [ontolog-forum] Probabilistic Ontologies

To: "John F. Sowa" <sowa@xxxxxxxxxxx>
Cc: ontolog-forum@xxxxxxxxxxxxxxxx
From: Pat Hayes <phayes@xxxxxxx>
Date: Mon, 18 Jun 2007 13:32:03 -0500
Message-id: <p0623090dc29c7f607ffc@[]>
>What I was asking is how a language such as IKL, which is a
>superset of FOL that also supports metalevel statements, could
>be used to represent the kinds of operations required for
>probability models.
>>  What you describe is far too simplistic.  It's nearly impossible
>>  to create a probability model that way that's not either utterly
>>  simplistic or inconsistent.
>I used a very simple example, but the IKL mechanisms can be used
>to support metalevel statements about propositions, the structural
>components of propositions, their relationships to numerical
>values, and the operations on those values.    (01)

IKL supplies natural numbers but it doesnt have built-in reals. So 
you will need some extra machinery of some kind to be able to do 
continuous math, for example for talking about distribution curves or 
integrals.    (02)

>>  Over the past several decades, statisticians and computer
>>  scientists have learned a great deal about how to represent
>>  probabilistic knowledge.
>I'm sure they have, but the IKL mechanisms can support those
>representations.  Anything that can be defined in PR-OWL or
>BayesOWL can be defined in IKL plus much, much more.  Numerical
>functions of any kind    (03)

Any kind??    (04)

Pat    (05)

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    (06)

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    (07)

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