| |
| | Propositional Logic for AI |
 | | This knowledge may be stored under various representations, and, e.g., a set of assignments encoding possible situations (or examples) can constitute a knowledge base, but a formula with exactly these assignments as model is an alternative representation (since it describes the same reality, i.e., set of possible situations). |
 | | The knowledge base formalizes the background knowledge of the system (what it has learnt, for instance by knowledge acquisition processes, or what it has been taught, etc.); for a given intelligent system, it is rather the same from one reasoning problem to the other. |
 | | Note that such an absurd knowledge base might be the result of the addition of pieces of knowledge (as a conjunction of new rules, for instance) to a preexisting one. |
| users.info.unicaen.fr /~zanutti/rechch (7299 words) |
|