>Greets for all.
>
>I wish there is somebody that knows the answers to the following
>questions, or the right reference that addressing those questions.
>
>Is the CycL language (for Cyc) in general decidable? (01)
No. (02)
> It is a
>frame-based language, or a subset of FOL? (03)
Superset of FOL, I believe. It is FOL with a
variety of context ("micro-theory") inferences
added to it. (04)
No doubt you can get more precise answers from Cycorp, however. (05)
Pat Hayes (06)
>If it is a subset of FOL,
>which subset it is?
>
>Thank you in advance for your kind attention.
>
>--
>Jie Bao
>Department of Computer Science
>Iowa State University
>http://www.cs.iastate.edu/~baojie
>baojie@xxxxxxxxxxxxxx
>
>_________________________________________________________________
>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)
--
---------------------------------------------------------------------
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 (08)
_________________________________________________________________
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 (09)
|