# 3:00 am 1998/1/20

#===================================#
# Knowledge Representation language #
#===================================#

nature of KR
============
Like Esperanto, my KR is technically an artificial language,
but is in spirit a natural language.
I originally conceived KR as a "simplified English".
I designed KR to be a standard language for
recording, changing and searching knowledge.

power of KR
===========
KR has the expressive power of first-order logic,
and (using belief contexts) the power of
first-order modal logic.

KR may be used to describe a Montague-Scott structure,
but can also (using belief contexts) describe a
relational Kripke structure.
