|From:||"Adrian Walker" <adriandwalker@xxxxxxxxx>|
|Date:||Mon, 19 Mar 2007 17:38:37 -0400|
My general unease with CLCE--whose goals I applaud--is that it may be
entirely too easy for readers to apply common sense and common usage of
words--when the CLCE statement includes neither--thereby drawing
unintended conclusions. ("It's not what we don't know that hurts, it's
what we know that ain't so.") Hopefully, not an insoluble problem, but
definitely a difficult one.
There's actually something that mitigates the problem in an English-on-Logic system.
So long as the English sentences are tied bidirectionally and computationally to predicates, one can extract proof trees and map them into English for explanations. Then, a conclusion that appears surprising, or just plain wrong, can be explained at the business or scientific level, rather than by trying to read program traces.
As you may know, this works fine in the Internet Business Logic system , which supports uncontrolled English
I'll leave it up to John Sowa to respond on behalf of CLCE.
Anyone know if Attempto controlled English has an explanation feature?
Cheers, -- Adrian
 A Wiki for Executable Open Vocabulary English
Online at www.reengineeringllc.com Shared use is free
On 3/19/07, Horning, Jim <Jim.Horning@xxxxxxxxxx> wrote:
_________________________________________________________________ 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>|
|Previous by Date:||Re: [ontolog-forum] Ontology and methodology, Peter F Brown|
|Next by Date:||Re: [ontolog-forum] Ontology and methodology, John F. Sowa|
|Previous by Thread:||Re: [ontolog-forum] Common Logic Controlled English (CLCE), Peter Yim|
|Next by Thread:||Re: [ontolog-forum] Common Logic Controlled English (CLCE), John F. Sowa|
|Indexes:||[Date] [Thread] [Top] [All Lists]|