表述性知识表达

• declarative representation of knowledge