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.