ComputerArtificial Intelligence and Neural NetworksKnowledge representationKnowledge representation Knowledge representations and Mappings Approaches to Knowledge Representation Issues in Knowledge Representation Semantic Nets Frames Propositional Logic(PL) Syntax Semantics Formal logic-connectives Tautology Validity Well-formed-formula Inference using Resolution Predicate Logic FOPL Syntax Semantics Quantification Rules of inference unification Resolution refutation system Bayes' Rule and its use Bayesian Networks Reasoning in Belief Networks.Problem solving and searching techniquesExpert system and natural language processing