等词相关论文
《现代汉语词典》第6版日前由商务印书馆出版。这一版增收了“限行”、“摇号”、“微博”、“云计算”、“情人节”、“北漂”、......
在百度上点击一次“苗猪、猪苗、仔猪、猪仔”等词靠前位的链接，就可能会把半只猪仔的钱从猪场老板的账户转移给百度。 猪市的竞......
“祖传、御制、秘制、宫廷”等溢美之词，在保健食品的宣传中可谓多不胜数，“全面、全方位、特级、顶级”等绝对化词语亦是促销的焦点......
<墨经>'闻知'中的推理,多认为是一个三段论.但是本文认为其中含有等词并提出其理由.另外从现代逻辑的等同逻辑入手,通过对......
【正】 修辞(la rhétorique)根据题旨情境,运用各种语言材料及各种表现手法来恰当地表现写说者所要表达的内容。它除了要求明......
将处理等词问题的Superposition方法引入超表演算中, 使超表演算能处理含等词的一阶逻辑问题, 这种新的表演算不但具有完备性, 而......
在增添新的扩展规则的tableau方法的基础上提出了一种新的含等词tableau算法--分阶段tableau .在该算法中,将tableau分成两个阶段,......
【正】 一 1.1汉语中有如下一些词,各家的语法著作里都曾提到,可是给予的称呼和所作的解说却不尽相同. 能能够可能会可可以应应该......
2003年前后，在第一次进行中医药基本名词规范研究的时候，笔者曾撰文论述过有关经脉等词的英译。当时提出了meridian和channel有所不......
在自动推理方面的研究中，由于等词的增加，导致证明的搜索空间膨胀，简单的定理证明变得复杂，甚至得不到证明．在增添新的扩展规则的tablea......
记者从国家市场监督管理总局获悉,《企业名称登记管理条例（征求意见稿）》现向社会公开征求意见。除国务院批准设立的企业外,企业名称......
自动定理证明的扩展之一:自动推理,是人工智能研究的基础工作。许多重要的人工智能系统,都是以推理系统为其核心部分,所以自动推理......
