帮忙翻译6年级英语

taste an apple

listen to me

sweep the floor

wash clothes

mop the door and the window

play chess

read newspaper

wash face

plant a tree

ask and answer

play football

draw a circle

feel cold

have a high fever

cough badly

take part in

catch a butterfly

jump up and down ten times

限制的定义

简介

限制通常指限制逻辑(circumscription)，这是一种非单调逻辑，是模卡斯 (MeCarth,J.) 于 1980 年提出的一种有代表性的非单调推理理论。

限制是在一个低阶公式（一阶公式）A 的所有 P 极小（化）模型中都为真的一个较高阶公式（二阶公式），这里 P 是 A 中相对于一定准则的极小变量，直观上，限制的基本思想是捕捉一种猜测推理的经济原则，即从某些事实 A 出发能够推出具有某一性质 P 的对象就是满足 P 的全部对象。

令 A(P,x) 是一个包含谓词 P 与变元 x 的一阶句子，语义上，A 中限制 P，是相对于一个偏序

的所有 P 极小模型都为真的句子集，一个 A 的模型 M 称为极小的，若不存在它的其他模型 M‘ 使得

，定义

如下：令

，是两个模型，

，当且仅当：

(1) M1与M2具有相同的论域；

(2) P 在 M1 的外延包含于 P 在 M2 的外延，语法上，限制可刻画如下二阶句子：

其中 p 是谓词变元，A(p,x) 是 A 中以 p 替换 P 的结果。

限制公理

限制公理亦称基础公理、正则公理 (axiom of regularity) ，是**论的一条重要公理。

任何非空**都有

极小元素，这个公理形式化为：

或

。该公理断言：任何**在关系

下是良基的，不存在无限递降链

也就不会有

与循环

实质上此公理是对**概念的一种限制：有性质

的**是不存在的。

该公理的另一表述方法是：对任何**论公式

，有

这种表述下的正则公理实际上是正则公理模式。此公理是冯· 诺伊曼(von Neumann,J.) 于 1925 年提出的。

应用

限制存在许多变体，例如可限制谓词元组而且允许某些谓词合函数变化，它们具有不同的表达能力，一般地，限制具有可靠性定理，但没有一般的完全性成果，由于限制是二阶形式，计算上比较困难，这也是非单调逻辑的共性问题，由于限制是一阶逻辑的直接扩充，具有一阶逻辑于极小模型的良好性质，因此限制是非单调逻辑中的代表作，对它已有充分的研究和广泛的应用。

本词条内容贡献者为:王海侠 - 副教授 - 南京理工大学

星球大战：旧共和国武士的人物介绍

人物图片人物简介 瑞文（Revan）

达斯·瑞文，原本是一名西斯尊主，也是达斯·马拉克的师傅。在一次战斗中，瑞文踏入了绝地武士设下的陷阱，由巴斯蒂拉·尚率领的一支绝地突击队渗透进瑞文的旗舰并抓住了他。期间瑞文遭受重伤以致心智严重受损。 达斯·马拉克（Darth Malak）

达斯·马拉克是本作的反派。曾是瑞文的徒弟，师徒二人利用上古神器星际锻炉的力量建立了强大的西斯帝国。瑞文被共和国俘虏后，马拉克获得了西斯大军的控制权，并对共和国展开了新一轮的进攻。 巴斯蒂拉·尚（Bastila Shan）

巴斯蒂拉·尚是一名绝地武士，引导主角加入绝地武士团并收他为徒，并和他结伴搜寻达斯·马拉克和星际锻炉。巴斯蒂拉最终被马拉克俘虏并被诱向黑暗面。

在KotOR的故事剧情中，巴丝蒂拉可能成为主角的恋爱对象，这要视玩家为主角选择的性别而定。巴丝蒂拉虽然在游戏中注定要堕入黑暗面，但是否会留在黑暗面取决于玩家的行为。可能的故事结局包括：玩家角色加入巴丝蒂拉一方、巴丝蒂拉回归光明或玩家角色杀死巴丝蒂拉。

巴丝蒂拉·尚拥有双刃光剑和绝地哨兵的原力能力，是近身格斗的绝佳选择之一。 卡思·奥纳西（Carth Onasi）

卡思是一名忠诚的共和国飞行员，由于老上级索尔·卡拉思将军的背叛而受到严重打击，发誓要对其复仇。游戏中是主角同伴之一，起先对主角态度冷淡，但随着剧情发展逐渐向主角坦露其内心世界。

卡思·奥纳西这个角色在游戏中的基本设定是一个人类士兵。他的战斗天赋让他在使用爆能枪时有很好的发挥，而他的技能等级允许他同时使用双枪。如果《旧共和国武士》的玩家选择女性作为主角，则卡思和她之间将可能发生一段浪漫的爱情故事。如果在游戏中触发一些特定的情节，卡思的儿子将被发现依然活着。 坎德鲁斯·奥多（Canderous Ordo）

坎德鲁斯·奥多是一名曼达洛战士，在曼达洛人战争结束后成为塔里斯行星上的一名佣兵。在西斯舰队封锁塔里斯期间结识主角，随后从雇主达维克·康那里偷走了“乌木鹰”号飞船救走主角一行。虽然坎德鲁斯因其直率的性格经常与队伍中的其他人发生不快，但他对主角却十分敬重。

坎德鲁斯·奥多的角色属性更多地偏向黑暗面。他是一名非常强大的战士。他能够耐受巨大的伤害。他装备一把威力巨大的连发枪。出于玩家在游戏中的不同选择，坎德鲁斯可能会为了自己的过去而面对一场由曼达洛人贾吉挑起的决斗。 扎尔巴（Zaalbar）

扎尔巴是一名伍基人，因为与哥哥楚恩达打架被逐出母星卡西克而辗转来到塔里斯，在那里结识了米申·韦奥并成为挚友。扎尔巴被加莫人关押在地牢后，米申在主角一行人的帮助下将其救出，扎尔巴遂成为主角团队的一员。

扎尔巴是伍基族勇士，其显而易见的力量源于物理格斗技能和强壮的体格。根据玩家在游戏中的选择，扎尔巴可以成为一名英雄，推翻楚恩达的统治，解放卡希克。而黑暗的决定将使扎尔巴背叛父亲，支持楚恩达，让卡希克任凭泽卡蹂躏。 米申·韦奥（Mission Vao）

米申·韦奥是一个提列克女孩，被道德败坏的哥哥格里夫抛弃，后与伙伴扎尔巴生活在塔里斯星球的下层社会。遇到主角一行人后，米申请求他们救出自己的好友扎尔巴，两人一起加入了主角一行。

米申的角色拥有无赖的游戏属性。她有着非凡的潜行和破坏技能，使她在游戏过程中一些隐秘任务里非常有用。如果在游戏中完成某些特定任务，米申哥哥格里夫的命运将被揭示。 朱哈尼（Juhani）

朱哈尼是一名卡瑟人绝地护卫，脾气火爆，因为失手杀掉了师傅而自我放逐在丹图因的小树林中。她的绝望造成的原力扰动使得附近的草原地区被阴霾所笼罩。

遇到玩家后，她会向玩家挑起一场战斗；玩家如果击败她，可以选择宽恕她或者取其性命。虽然朱哈妮在达斯·马拉克和寻找星际锻炉的庞大故事中不是一个非常重要的人物，但随着故事的进行，她会成为一名得力助手。不论主角性别是男是女，朱哈妮都可能在故事中成为一个谈情说爱的人选，当然这取决于玩家的选择。 乔利·宾多（Jolee Bindo）

乔利·宾多是一名身世不明的年老绝地，对世间纷争感到厌倦，选择退出武士团并隐居在卡西克。巴丝蒂拉·尚在执行寻找星际煅炉的任务时与乔利不期而遇。最终，乔利基本愿意回归银河社会，跟大家一起搜捕达斯·马拉克。在马南，他回忆他的朋友和战友，因谋杀而被关押的战争英雄桑里。

玩家只有把乔利·宾多带到马南后，才能触发桑里谋杀案审判的剧情。在一场道德考验中，即使证据显示桑里有罪，玩家也必须为这名前战争英雄辩护。在游戏中，从乔利的背景资料里透露的其它信息就是他妻子的名字——娜亚马。虽然是个很有用的同伴，但乔利对《旧共和国武士》的故事情节并不重要。 HK-47

HK-47是一台忠心耿耿的刺杀机器人，也兼备礼仪机器人的功能。它曾服务于黑暗尊主达斯·瑞文，帮助他找到星际锻炉的地图，后来记忆被抹去。HK-47在苏醒后再度为同样已被抹去记忆的瑞文服务。

HK-47是本作里两个可玩的机器人之一。毫无疑问，HK-47比T3-M4有强得多的战斗力。他能装备为数众多的武器，既能拿在手里，也能装在机器人的臂槽里。维修技能足够高的玩家角色能改造HK-47，显著提高其能力。 T3-M4

T3-M4是一台出产于塔里斯的宇航技工机器人，被卖给黑帮大佬达维克·康，但被其手下坎德鲁斯·奥多截留并利用其攻破了塔里斯的计算机网络，后来加入了主角一行人的冒险。

T3-M4是KOTOR版的R2-D2，但比经典宇航技工机器人拥有更多武器。在游戏里，T3-M4的主要功劳是黑客，能绕过被锁住的门和黑入计算机系统。它还能制造几种计算机刺探器——让其他角色黑入计算机网络的必备工具。

weshouldcareforourcarth翻译？

你好，很高兴为你解答:

我们应该关心我们的车

词汇释义

should应该，应当; 该，可以; 应该会，可能

care for照顾; 关心; 喜欢

CARTH 什么意思

1. Carthage 迦太基2. Carthaginian 迦太基的，迦太基人3. Carthusian 天主教加尔都西会教士