[Top] [All Lists]

Re: [ontolog-forum] 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 15:52:59 -0800
Message-id: <COL129-W42A5A01B319A3FC8EB8B58AA8C0@xxxxxxx>

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


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.

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



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?





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>