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