# KEHOME/knowledge/theory/KRdesign/keyidea.html
# Jul/16/2002
# new syntax Sep/3/2002
#=======================================#
# key ideas of knowledge representation #
#=======================================#
# existence
entity isa existent
# identity
entity has attribute = value
entity do action = event od aobject done
entity isin relation = infon
# consciousness
I do perceive od entity done
# knowledge
knowledge := I do identify od existent done
# knowledge unit (knit)
knit isa knowledge
knit has view=v
at view=v # context
knit := I do identify od existent done # concept-hierarchy
# change
event changes eobject \
from attribute=initial \
to attribute=final
# change unit (chit)
knit haspart chit
chit has space=s,time=t,view=v
at space=s, time=t, view=v # context
entity do action = event od aobject done
event changes eobject \
from attribute=initial \
to attribute=final
# definition by differentiation (genus-differentia)
concept is genus with essential-characteristic
# definition by integration (ostensive)
concept is either unit:1 or unit:2 or ...
# definition by identity
concept:1 is concept:2
# relation
relation is existent with
format=[class:1; ...; class:n],
meaning={... $1 ... $n ...}
# causality (phenomenon)
event:1 causes event:2
# part
entity haspart part=partcount
# concept-formation by integration
concept isi unit:1,unit:2,... with
common-characteristic
# concept-formation by differentiation
concept:1,concept:2,... isd genus with
distinguishing-characteristic
# meaning
symbol means referent
# sentence
sentence isa knit
sentence ise statement,command,question,assignment
# conditional
if sentence:1 then sentence:2 else sentence:3 fi
# iteration (use $variable within sentence)
every variable isa concept { sentence }
# method
method is action with
format=[class:1; ...; class:n],
meaning={... $1 ... $n ...}
# statement
subject verb object pplist
# command
do action od aobject pplist done
do method od aobject pplist done
vdo find od name done # all views
# question
subject verb object ? # true or false
subject verb ? # matching objects
subject ? object # relation between subject and object
? verb object # matching subjects
# assignment
set variable = value
# characteristic and part
hchar is begin hierarchy
existent
/ characteristic
// attribute
/// space
/// time
/// view
// action
// relation
// part
end hierarchy hchar
General References