ontolog-forum
[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@[10.100.0.39]>
>Kathy,
>
>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>