Some KR Languages

• Propositional Logic

• Predicate Calculus

• Frame Systems

• Rules with Certainty Factors

• Bayesian Belief Networks

• Influence Diagrams

• Semantic Networks

• Concept Description Languages

• Nonmonotonic Logic

Previous slide

Next slide

Back to first slide

View graphic version