鲁宾逊

未来题库→标签→鲁宾逊

鲁宾逊

1.归结演绎推理是一种基于鲁宾逊归结原理的机器推理技术。利用逻辑“（）”把关于永真性的证明转化为关于不可满足性的证明。2.小说《鲁宾逊漂流记》中，鲁滨逊救下的野人叫？3.小说《鲁宾逊漂流记》中，鲁滨逊救下的野人叫什么？4.在笛福的《鲁宾逊漂流记》中被称作“巴伊亚”的是巴西的哪座城市？5.在《鲁宾逊漂流记》中，鲁滨逊将置身的荒岛命名为什么？