|To:||rhm@xxxxxxxxxxxxx, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>|
|Cc:||KR-language <kr-language@xxxxxxxxxxxxxxx>, "Richard S. Latimer" <rslatimer@xxxxxxx>|
|From:||David Whitten <whitten@xxxxxxxxxxxxxx>|
|Date:||Thu, 3 Apr 2014 10:57:07 -0400|
I'm a little confused. You (Dick McCullough) said:
>The user of this program/language/knowledgebase can add propositions
>to the knowledgebase which can be false. There are some built-in
>consistency checks to prevent this.
This seems to say the built-in consistency checks prevent adding propositions
that the previous sentence said you can add.
If your built-in consistency checker is looking at input, what kind of consistency
is it looking to check?
I think those asking for logical foundations for mKr want the list of what happens to be
mathematically and externally defined.
On Thu, Apr 3, 2014 at 10:25 AM, Richard H. McCullough <rhm@xxxxxxxxxxxxx> wrote:
_________________________________________________________________ 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 (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] mKR proof of correctness, Richard H. McCullough|
|Next by Date:||Re: [ontolog-forum] mKR proof of correctness, David Whitten|
|Previous by Thread:||Re: [ontolog-forum] mKR proof of correctness, Richard H. McCullough|
|Next by Thread:||Re: [ontolog-forum] mKR proof of correctness, David Whitten|
|Indexes:||[Date] [Thread] [Top] [All Lists]|