This book covers expressing and modeling knowledge using semantic networks, frames, rule base, predicate and first-order logic, ontologies, RDF/OWL; probabilistic methods: Bayes networks, Markov models. Aim for precision, accuracy, automatic inference. Challenges include inconsistency, complexity, scalability, updating, interoperability. Applications: expert systems, knowledge bases, semantic web, recommendation systems