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