This paper discusses and summarizes the implemental techniques of inductive reasoning based on rewriting with Knuth-Bendix completion procedure and consistent decision.

  • 本文采用Knuth-Bendix(KB)完备化和一致性判别这两种方法,讨论和总结重写归纳推理的实现技术。
  • 来源:互联网摘选更新时间:2025-01-20 13:00:27

  • 重点词汇
  • inductive reasoning归纳推理;
  • based on基于;以……为基础
  • techniquesn.技巧( technique的名词复数 );手法;技术;技能;
  • proceduren.程序,手续;工序,过程,步骤;诉讼程序,(议会的)议事程序;〈罕〉进行;
  • implementaladj.工具的,作为工具(或手段)的,起实施(或执行,完成)作用的;
  • andconj. 和,与;而且;于是,然后;因此;
  • consistentadj. 一致的;始终如一的;连续的;持续的;与…一致的;相符的;符合的;不矛盾的;相互连贯的
  • thispron.这,这个;这事,这人;这时;下面所说的事;
  • 相关例句
1、

And so we got the board together, we bought a majority of Bendix's stocks so that we own each other.

所以我们召集了董事会,购买了Bendix大部分的股票,这样我们购买了对方。

互联网摘选

2、

Structure and Trouble Diagnosis of BENDIX ABS on CHRYSLER

克莱斯勒BENDIX型ABS结构与故障诊断

互联网摘选

3、

Will Eon of Germany now focus on organic growth, as it has indicated, after being forced to accept a consolation prize of assets in Spain, Italy and France when it failed to win Endesa?

在收购Endesa失败、被迫接受西班牙、意大利和法国的资产作为安慰奖之后,德国的Eon表示将把注意力集中于有机增长,但真会这样吗?

互联网摘选

4、

Enel is involved in seven projects that cut HFC-23 emissions in China with companies including Deutsche Bank and Spain's Endesa SA.

意大利国家参与七项目HFC-23排放量减少在中国公司包括德意志银行不过和西班牙的算法。

互联网摘选

5、

After 2000, lean production practice made great effect in the Spanish national electric group ( Endesa) and Italian state power company ( Enel).

2000年后,西班牙国家电力集团(Endesa)和意大利国家电力公司(Enel)的精益生产实践都取得了良好的效果。

互联网摘选

6、

Preventive maintenance optimization of ENDESA MV underground cables through partial discharges diagnosis

通过局放诊断使ENDESA中压电缆的预防性维修最优化

互联网摘选

7、

Results: All 7 cases have calcification nodus under endyma, cerebral cortex, white matter in CT scan.

结果:7例病人头颅CT扫描都有不同程度的脑室室管膜下及脑皮层、脑白质的钙化结节;

互联网摘选

8、

Determination of Hydrochlorothiazide and Dihydralazine Sulfate in Compound Kendir Leaves Tablets ⅰ by HPLC

HPLC法测定复方罗布麻片Ⅰ中氢氯噻嗪和硫酸双肼屈嗪的含量

互联网摘选

9、

I postponed my departure long enough to pay my respects at Kendra's funeral, then left for what was now to be a solitary journey.

我将启程的日子推迟了很长一段时间,去参加凯德拉的葬礼以表尊敬。

互联网摘选

10、

Stacey Jones, 32, was allegedly inside the home for about six minutes while Kendra spoke with the dispatcher.

据说在肯德拉与911的调度员通话时,32岁的史塔西-琼斯已经闯进屋里六分钟了。

互联网摘选

11、

Kendra initially called her mother when a strange man reportedly rang the doorbell and banged on the door repeatedly.

在发现有陌生人按门铃并且不停撞门时,肯德拉先是给妈妈打了电话。

互联网摘选

12、

I talked to my friend, kendra.

我跟我朋友坎多拉聊了会儿。

provided by jukuu

13、

I kept my head on straight, Kendra said, even though she was terrified.

虽然怕得要死,但肯德拉说:我头脑清醒得很呢。

互联网摘选

14、

Kendra: I should have known you never once in your life forgot to study for tests!

肯德拉:我早该知道,你这一辈子都不会忘记复习迎考!

互联网摘选

15、

Family and friends have since inundated Kendra's phone with well wishes.

事发之后,肯德拉接到无数亲朋好友的电话问候。

互联网摘选

16、

The "Challenge Cup" has been gaining enormous momentum ever since then.

“挑战杯”已经获得巨大的动力自此以后。

互联网摘选

17、

Launching the activity of scientific research among students from the juncture of "challenge cup"

以“挑战杯”为契机开展大学生科技活动的实践

provided by jukuu

18、

The FA Challenge Cup match is a trial of strength between the winners of the FA Cup and the Football League Cup.

足球协会优胜杯赛是足球协会杯冠军和足球联合会杯冠军之间的力量的较量。

互联网摘选

19、

Error and omissions excepted

误差和遗漏不在此限

互联网摘选

20、

The thesis comes to a conclusion that the Chinese teachers can improve their learners' quantity of English vocabulary and help the learners to use the words flexibly with the Conceptual Integration Theory ( CIT).

因此,本文得出结论,教师使用概念合成理论可以更好帮助学生习得词汇,提高英语词汇教学质量。

互联网摘选

  • 今日热词
  • 热门搜索

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈