Re: [ontolog-forum] is CycL decidable?

[Bill Andersen <andersen@xxxxxxxxxxxxxxxxx>]

Bao..

CycL is probably best likened to IKL (or without all the modalities) to CL.  Both are first order logical systems.  And CycL is not a restricted subset of CL.  The Cyc inference engine (AFAIK) still uses a large collection of "heuristic level" (HL) modules to compute certain inference patterns fast, but falls back to general purpose ATP.  Thus, while it is efficient for many special cases, it would not be in the general case decidable.

.bill

 

On Jun 18, 2007, at 03:56 , Jie Bao wrote:

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? It is a

frame-based language, or a subset  of FOL? 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

Bill Andersen (andersen@xxxxxxxxxxxxxxxxx)

Chief Scientist

Ontology Works, Inc. (www.ontologyworks.com)

3600 O'Donnell Street, Suite 600

Baltimore, MD 21224

Office: 410-675-1201

Cell: 443-858-6444

_________________________________________________________________
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    (01)