2022矿大人工智能(确定性推理)