a combination of data structures and interpretive procedures that if used in the right way in a computer program will lead to knowledgeable behavior by creating, recording, deleting and replacing symbols that encode explicit and imbedded implicit information.
The study of the representation of knowledge in machine understandable form. See Ontology and http://www.jfsowa.com/.
The term used in artificial intelligence to cover the study of formalisms which model human forms of knowledge. See also Frames, Predicate Calculus/Predicate Logic, Production Systems, Scripts, Semantic Networks.