【摘 要】
：
布尔模型是信息检索系统的一种基础模型。给出了命题逻辑和布尔代数间的一种新的对应关系，其中布尔代数中的不等式对应Gentzen系统中的矢列式，使得当一个不等式在任意布尔代数
【机 构】
：
中国科学院计算技术研究所智能信息处理重点实验室
论文部分内容阅读
布尔模型是信息检索系统的一种基础模型。给出了命题逻辑和布尔代数间的一种新的对应关系，其中布尔代数中的不等式对应Gentzen系统中的矢列式，使得当一个不等式在任意布尔代数中为真，当且仅当它所对应的矢列式是可证的。并且使得在信息检索中，针对信息的推理可以有效地转为偏序集上的运算。讨论的命题逻辑语言的运算符为, ∧, ∨；并且定义了项（a｜t｜t1∧ t2｜t1∨ t2，其中以是一个元素）来替代原先的公式和表示布尔代数中的元素。此外，定义了以布尔代数为论域的赋值v，将命题逻辑中的项赋值为布尔代数中的元素，并
其他文献
本文通过对慢性阻塞性肺疾病(COPD)发病过程中气道重构的关键病理环节的分析,首次提出肺络微型癥瘕概念,并阐述了其形成机理与气道重构的相互关系,指出肺络病变是慢性阻塞性
<正> 构建新的训练内容体系。要根据新的军事训练与考核大纲要求,着眼实用性、针对性、实战性要求,调整完善训练内容。要加强军事基础、防卫技能训练,加大新装备、新技能训练
随着人寿保险公司业务规模迅速发展 ,出现了经营成本逐年上升的趋势 ,效益下降 ,防范和化解风险的能力薄弱等问题 ,造成这些问题的主要原因是核保环节存在突出的问题 ,主要表
目的:观察九分散治疗类风湿性关节炎的临床疗效。方法:入选类风湿性关节炎患者随机分为治疗组(60例)与对照组(60例),对照组给予雷公藤多甙片,治疗组在应用雷公藤多甙片的基础
为探寻代谢综合征中医证候规律,指导临床实践,文章通过文献调研,发现代谢综合征主要中医证候集中在气阴两虚、痰瘀阻络、瘀血阻络、阴虚热盛,病理类型以虚、痰、瘀多见,涉及
随着社会的快速发展,各领域对网络化的需求越来越强烈,在网络数字媒体不断进步的前提下,我国新媒体发展的趋势也处于非常旺盛的阶段,渐渐地,媒体制度的发展和建设改变了媒体
睡眠过度的药物治疗可改善警觉状态，恢复工作能力和劳动能力，改善生活质量，降低个人及其对他人的伤害风险。目前已证实，多种药物有良好的效果，儿科临床治疗主要是借鉴成人经验和研
适应培养学生工程素质和创新能力的需要,从优化课程设置、整合教学资源、建立实践教学体系等方面探索了工科院校工程图学综合实践的途径和方法,提出了在实践教学中需解决的关
为开发浮纹贾卡经编机,研究了其关键构件选纱钩针运动机构的设计问题。经过分析编织工艺、选纱钩针的运动要求,得知为具有2次停歇的往复直线运动,根据运动要求中的变化规律、
本研究以2017年第五届中国啦啦操公开赛(公开组)获得前六名的花球啦啦操成套动作为研究对象,基于(2017-2020)周期花球啦啦操竞赛规则,采用文献资料法、录像分析法、专家访谈