Knowledge and reasoning

מילון מונחים

English	משמעות
propositional logic	Logic combining statements with truth values using logical connectives.
inference/ˈɪnfərəns/	Deriving conclusions from premises using a reasoning rule or model.
forward chaining	Applying rules to known facts to derive additional conclusions.
backward chaining	Starting with a goal and working backward to facts or subgoals that could support it.