|From:||"Adrian Walker" <adriandwalker@xxxxxxxxx>|
|Date:||Mon, 6 Aug 2007 22:15:07 -0400|
Hi John --|
As E. W. Dijstra pointed out over 40 years ago, testing the
behavior of programs can only prove the presence of errors,
it can never prove their absence.
Logic can prove both.
I think this misses the point that Chris and Sean were making (if I understand them correctly) about real use in the real world.
Sure, logic is great for reliably deriving consequences from collections of clauses, in a way that our culture has agreed to be correct.
The stick y part is how to know that you have written 'the right' clauses -- ones that will actually produce the consequences that you want. The problem is worse if your notation is Java rather than logical clauses, but logic alone does not solve this problem.
Our approach is to link English and clauses computationally in both directions. I believe you do this too, with your NL-to-logic work, albeit with different technology.
Our approach additionally produces English explanations, so that what one intends and the clauses that one writes can be more easily aligned in a very tight experimental loop.
Cheers, -- Adrian
Internet Business Logic (R)
A Wiki for Executable Open Vocabulary English
Online at www.reengineeringllc.com Shared use is free
On 8/6/07, Randall R Schulz <rschulz@xxxxxxxxx> 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] Current Semantic Web Layer Cake, Jon Awbrey|
|Next by Date:||Re: [ontolog-forum] Current Semantic Web Layer Cake, Mills Davis|
|Previous by Thread:||Re: [ontolog-forum] Current Semantic Web Layer Cake, Randall R Schulz|
|Next by Thread:||Re: [ontolog-forum] Current Semantic Web Layer Cake, Barker, Sean (UK)|
|Indexes:||[Date] [Thread] [Top] [All Lists]|