Ñ Knowledge can be language, concepts, procedures, rules, ideas, abstractions, places, customs, and so on. Ñ Study of knowledge is called Epistemology. Knowledge
and other programming notations Ñ Logical Ó symbolic logic propositions, predicates, variables, quantifiers and Boolean operations are included. Levels of Representation
inheritance, and structuring relations Ñ Conceptual Ó defining concept types with subtypes, inheritance, and structuring relations . Levels of Representation
used to represent external things that cannot be stored in a computer, i.e. physical objects, events, and relationships. Symbols are surrogates for the external things. Symbols and links between them form a model of the external system that can be manipulated to simulate it or reason about it. Principles of Representation
commitments Ó Ontology is the study of existence. Thus, ontology determines the categories of things that exist or may exist in an application domain. Those categories set the ontological commitments of the application designer or knowledge engineer. Principles of Representation
intelligent reasoning Ó To support reasoning about modelled things in a domain, a knowledge representation must describe their behaviour and interactions. The description constitutes a theory of the application domain. It can be stated, for instance, as explicit axioms or compiled into computable programs. Principles of Representation
computation Ó Besides representing knowledge, an Artificial Intelligence System must encode knowledge in a form that can be processed efficiently by the available computing equipment. Therefore, developments in computer hardware and programming theory have a great influence on knowledge representation. Principles of Representation
expression Ó A good knowledge representation language should facilitate communication between the knowledge engineers who manage knowledge tools and the domain experts who understand the application domain. Domain experts should be able to read and verify the domain definitions and rules wriOen by knowledge engineers. Principles of Representation