I am a good engineer.
I do not need to do my homework to develop a good product.
I choose not to do my homework to sell my product
to the ivory tower at Ontolog Forum.
All the rules of inference can be expressed, and executed, in mKR.
mKR uses a notation similar to today's programming languages.
Phil Jackson's TalaMind is very exciting to me.
His thesis demonstrates that he has done
an outstanding job on his homework.
But Phil told me, "
TalaMind is too much of a prototype
for integration with other systems at this point".
All of TalaMind's functions can be expressed, and executed, in mKR.
Dick McCullough
Context Knowledge Systems
Name your propositions !
> Date: 2014年4月27日 09:29:40 -0400
> From: sowa@xxxxxxxxxxx
> To: ontolog-forum@xxxxxxxxxxxxxxxx
> Subject: Re: [ontolog-forum] axiom & mKR experiment
>
> On 4/27/2014 5:01 AM, Richard H. McCullough wrote:
> > Name your propositions !
>
> Biggus dealus gloriosus!
>
> That's called propositional logic. It was developed by the Stoic
> logicians around 200 BC. But they went into much more detail,
> including rules of inference still used today: modus ponens
> (AKA forward chaining), modus tollens (backward chaining), and
> disjunctive syllogism (resolution).
>
> If you want to bring your notation up to the level of 200 BC,
> I suggest that you do your homework. You can start with
>
> http://www.jfsowa.com/talks/aristo.pdf
>
> But you'll need to put in much more work to get to 2000 AD.
>
> John
>