ontolog-forum
[Top] [All Lists]

[ontolog-forum] oops: tabula rasa & definitions

To: "denn@xxxxxxxxxxxxxxxxx" <denn@xxxxxxxxxxxxxxxxx>, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: KR-language <kr-language@xxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Sun, 2 Mar 2014 16:02:01 -0800
Message-id: <COL129-W4498A80BF62C8225F35282AA8F0@xxxxxxx>
I made a mistake editing that link.
Use
http://mkrmke.org/help/mkeQuickReference.txt

 
Dick McCullough
Context Knowledge Systems
mKE and the mKR language
mKR/mKE tutorial


From: rhm@xxxxxxxxxxxxx
To: denn@xxxxxxxxxxxxxxxxx; ontolog-forum@xxxxxxxxxxxxxxxx
CC: kr-language@xxxxxxxxxxxxxxx
Subject: RE: [ontolog-forum] tabula rasa & definitions
Date: Sun, 2 Mar 2014 15:52:59 -0800

Mike

To get some insight into the details of mKE "inferences",
just skim through this list of mKE commands and options:

          http://mkrmke.org/help/mkeQuickReference.txt

Dick McCullough
Context Knowledge Systems
mKE and the mKR language
mKR/mKE tutorial


From: rhm@xxxxxxxxxxxxx
To: denn@xxxxxxxxxxxxxxxxx; ontolog-forum@xxxxxxxxxxxxxxxx
CC: kr-language@xxxxxxxxxxxxxxx
Subject: RE: [ontolog-forum] tabula rasa & definitions
Date: Sun, 2 Mar 2014 14:30:50 -0800

mKE does not include a "typical" inference engine.

mKE does make inferences regarding
0) simple if-then-else-fi with and,or,xor,not
1) context
             every proposition has a context of definitions and assumptions
             actions have a space-time subcontext, from a beginning to an end
             the most abstract context includes the axiomatic concepts
                       existent, entity, characteristic, identity
             the next level of abstraction includes the species of characteristic
                       part, attribute, action, relation
             the universal context (tabula rasa) includes these species
2) hierarchy structure  -- e.g., built-in functions to find
             ambiguities and inconsistencies
             relation between two concepts
             least abstract genus of two concepts
             genus-differentia definition of a concept
3) the relation of terms to the universal context, e.g.
             x has y = z;  implies  x isa existent;
                                               y isa attribute;
                                               z isu y;  # value
             x do y = z done;  implies  x isa entity;
                                                      y isa action;
                                                      z isu y with entity,space,time;  # event
4) built-in concepts, e.g.
             variable
             set
             list
             enumeration
             relation
             method
             meaning

 
Dick McCullough
Context Knowledge Systems
mKE and the mKR language
mKR/mKE tutorial


Date: Sun, 2 Mar 2014 13:18:53 -0500
From: denn@xxxxxxxxxxxxxxxxx
Subject: RE: [ontolog-forum] tabula rasa & definitions
To: rhm@xxxxxxxxxxxxx

Dick,

 

What are the inference axioms that mKE uses for reasoning? Is there a listing of these and their computations, or does mKE not include an inference engine?

 

Thanks,

Mike

 


From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Richard H. McCullough
Sent: Sunday, March 02, 2014 12:28 PM
To: Sjir Nijssen
Cc: [ontolog-forum]; KR-language
Subject: [ontolog-forum] tabula rasa & definitions

 

The latest version of Famous Composers has two important additions.
1) definition of several terms
         composer is person with special characteristic;
         community is group of person with similar interest;
2) relation to the universal context tabula rasa
         person isa entity;
This relation will be important if you want to combine
Famous Composers with other contexts.
 
Dick McCullough
Context Knowledge Systems
mKE and the mKR language
mKR/mKE tutorial


_________________________________________________________________
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>