|From:||Jawit Kien <jawit.kien@xxxxxxxxx>|
|Date:||Wed, 3 Jun 2009 17:02:26 -0500|
On Wed, Jun 3, 2009 at 4:26 PM, Christopher Menzel <cmenzel@xxxxxxxx> wrote:
I personally find the effort to cast an idea as a logical proposition
invigorating, and a good mental exercise. I like IKL because even
though there is no computer program to tell me my proposition is
pure foolishness, the limits of a logical form does indeed provide
rigor and clarity to my thoughts. I have been experimenting with a
infix notation which would be a different way of expressing IKL,
but the only thing I know about implementation is stuff I learned in
school. Does anyone who knows about such things think the
information about "orbital" on the page:
actually makes sense?
has anyone ever heard of Orbital before?
The stuff at http://symbolaris.com/pub/index.html seems pretty
impressive. I haven't looked into enough of it, but would appreciate
feedback on whether it is worth my time.
Richard H. McCullough wrote:
I'm not trying to be a simpleton, but Prolog as a language, does represent a particular method of verifying logical statements, independent of any implementation of Prolog. As I recall, it is a recursive unification reasoner. Which fundamental issues were you considering that using Prolog to express a logical statement would show evidence ? I am interested in filling any gaps I might have in my approach to logic and ontologies.
_________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] IKL mailing list for discussions?, Christopher Menzel|
|Next by Date:||[ontolog-forum] Stephen Wolfram announces Q and A session, Pavithra|
|Previous by Thread:||Re: [ontolog-forum] IKL mailing list for discussions?, Christopher Menzel|
|Next by Thread:||Re: [ontolog-forum] IKL mailing list for discussions?, Christopher Menzel|
|Indexes:||[Date] [Thread] [Top] [All Lists]|