论文部分内容阅读
给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的(解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它的完备性.
中介谓词逻辑系统的λ—归结
【摘 要】
：
给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的(解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它的完备性.
【机 构】
：
江南大学理学院
【出 处】
：
软件学报
【发表日期】
：
2003年3期
【基金项目】
：
江南大学校科研和教改项目
其他文献
摘 要：美术教育一直以来都是中小学学科教育的薄弱一环，不仅课时被压缩，教材也常常脱离学生的实际生活，学生对美术课程的学习兴趣泛泛。在新形势下，应当采用邀请农民画传承人现场演示、组织学生参观农民画传承基地、农民画专题展览、鼓励学生参与民俗活动等多种方式，充分发掘农民画在美术教学中的潜力，丰富美术教学内容，提高学生学习美术课程的学习兴趣，从而引导学生接受传统文化，增强民族认同感，激发创新思维，传承非物
为了提高个性化推荐的质量,简化推荐规则生成过程中相关参数的设置,讨论了应用于个性化推荐中的关联规则的性质,定义了"推荐非空率"这一新的推荐测度以及"1-支持频繁项集"和"