Symbolic Logic Backward inference and Forward inference Forward reasoning to infer from facts, backward reasoning to formulate and organize hypotheses 2021.03.30 Symbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology
