formal inference system形式: form; shape; layout; modalit ...推理: inference; ratiocination; il ...系统: system形式推理: formal inference; formal reasoning推理系统: inference system; reasoning system下载手机词典可随时随地查词查翻译
