Jump to content

User:rhmccullough/Sandbox/mKE

From Wikipedia, the free encyclopedia


Definition

[edit]

mKE is an intelligent, user-friendly computer program which helps its user to create, edit and search knowledge bases. It is intelligent because it knows its own abilities. It is user-friendly because it uses mKR as a user interface language.

ke properties

[edit]
  • mKE is called ke.
 mKE is ke;
  • ke is a physical object
 ke isu OBJECT;
  • ke actions are user commands
 ke do ? done;
  • ke attributes are user options or variables
 ke has ?;

Example user interaction

[edit]
  • turn off echo of input
 echo := off;
  • turn on parse symbol debugging
 debug := symbol;
  • set GDBM mode for associative array
 Dick McCullough is array with mode = gdbm;
 Dick McCullough[email] := rhm@PioneerCA.com;
 Dick McCullough[phone] := 209-555-1212;
  • print array attributes
 every attr of Dick McCullough; { do print od Dick McCullough[$attr] done; };


mKR scripts

[edit]
  • cycexport cname (UNIX script)
# KEHOME/bin/cyc/cycexport
# Mar/30/2007 Jun/11/2008
# export OWL description of concept
# translate to mKR
# usage:
# cycexport cname
cycdir="http://sw.cyc.com/2006/07/27/cyc"
mkrdir="$KEHOME/knowledge/cyc"
cd "$mkrdir"
cname="$1"
##wget -O "$mkrdir/$cname.rdf" "$cycdir/$cname"
wget "$cycdir/$cname"
if [ -e "$mkrdir/$cname.owl" ]
then owl2mkr "$mkrdir/$cname.owl" "$mkrdir/$cname.mkr"
else echo "# ERROR: cycexport: cname <$cname> not found" >&2
fi
  • do.peirce (mKR script)
echo '<<<<< spo & owl CPS hierarchy >>>>>' >peirce.out
ke -m -owl <<\EOF >> peirce.out
##echo := on;
##UniqueName := shortname;
##DisplayName := shortname;
categories:Symbol is Symbol;
categories:Correlate is Correlate;
categories:Deduction is Deduction;
categories:Ground is Ground;
categories:Hypothesis is Hypothesis;
categories:Induction is Induction;
categories:Interpretant is Interpretant;
do read from peirce.mkr done;
do print od "<<<<< ClassSet >>>>>" done;
ClassSet isall* ?;
do print od "<<<<< definitions >>>>>" done;
every x ismem ClassSet; {
$x is ?;
};
do print od "<<<<< categories CPS hierarchy >>>>>" done;
Thing isc* ?;
do check od unknown done;
do print od "<<<<< simplify lattice >>>>>" done;
do simplify lattice od Thing done;
do print od "<<<<< simplified categories CPS hierarchy >>>>>" done;
Thing isc* ?;
do check od unknown done;
exit;
EOF
grep -v '^#' peirce.out | sed 's/^ *$//' | grep -v '^$' > peirce.ho

References

[edit]


External References

[edit]