[Top] [All Lists]

Re: [ontolog-forum] is CycL decidable?

To: "Jie Bao" <baojie@xxxxxxxxx>
Cc: ontolog-forum@xxxxxxxxxxxxxxxx
From: Pat Hayes <phayes@xxxxxxx>
Date: Mon, 18 Jun 2007 10:06:41 -0500
Message-id: <p06230900c29c4fa55004@[]>
>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
>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)

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