Knowledge$-$based Systems

$1-$ What is knowledge$-$based systems? Where it can be used? Why it is a part of AI$?$

$2-$ What are expert systems? Which cases you recommend expert systems?

$3-$ Define knowledge engineering? Are all KB applications expert Systems?

Propositional Logic

$1-$ What is Propositional logic? How it used in is knowledge$-$based systems?

$2-$ Explain the main aspects of PL syntax.

$3-$ Why Clause Horn and CNF is important for PL$?$

$4-$ Differentiate between:

a$.$ Model Checking algorithms & Rule$-$based inference algorithms.

b$.$ Forward$-$chaining algorithms & backward$-$chaining algorithms.

$5-$ Match column A with column B:

$\backslash$table$[[$Column A$,$Column B$],[$Resolution refutation,$1.$ Sentences in propositional calculus$],[$Horn Formula,$2.$ Any Atom$],[$All sentences derived are entailments,$3.$ Conjunction of two sentences$],[$W$1$ is true then W$2$ is true,$4.$ Possible world$],[$Set of possible worlds which satisfy it$,5.$ Sentence W is true in model M$],[$M satisfies W$,6.$ Meaning of sentence$],[$Function which assigns true or false,$7.$ Entailment for W$1$ and W$2],[$W$1{?}^{{?}^{?}}W2,8.$ Soundness$],[$Sentence$,9.[c,$nota,notb$][a][b]$