[Top] [All Lists]

Re: [ontolog-forum] is CycL decidable?

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Bill Andersen <andersen@xxxxxxxxxxxxxxxxx>
Date: Mon, 18 Jun 2007 08:06:30 -0400
Message-id: <3C34DCC8-D871-463E-B298-FBE2732E7E88@xxxxxxxxxxxxxxxxx>

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.

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


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)

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