 Knowledge representation and reasoning also incorporates findings from logic to automate various kinds of "reasoning", such as the application of rules or the relations of sets and subsets.Examples of knowledge representation formalisms include semantic nets, systems architecture, frames, rules, and ontologies.Examples of automated reasoning engines include inference engines, theorem provers, and classifiers.