【摘 要】
：
<正> 逻辑文法是指用谓词逻辑来表达的文法。它属于计算语言学的范畴,是逻辑程序设计和现代语言学相结合的产物。在人工智能的自然语言处理等领域里,谓词逻辑通常用来描述知
【机 构】
：
南京航空学院计算机系,南京航空学院计算机系
论文部分内容阅读
<正> 逻辑文法是指用谓词逻辑来表达的文法。它属于计算语言学的范畴,是逻辑程序设计和现代语言学相结合的产物。在人工智能的自然语言处理等领域里,谓词逻辑通常用来描述知识和逻辑推理。70年代,逻辑用于程序设计的思想以Prolog语言的形式投入应用以来,谓词逻辑不再仅仅用于描述这些问题,还作为逻辑程序设计的工具去描述解决问题的过程。PROLOG语言使得逻辑和程序设计这
其他文献
课堂教学是素质教育研究的一个重要方面,怎样让课堂充满活力,作者提倡多种教法,合作教学。
<正> 四、提高按照软件生产率机会树的组织,下面对提高软件生产率的几个主要可选方面进行讨论:1)挑选精干人员,2)提高阶段效率,3)消除人工阶段,4)减少重复劳动,5)建造简单产
一、专项行动前农村供水基本情况。宁波地处我国海岸线中段,长江三角洲南翼,地势西南高,东北低。全市山地、丘陵等面积约占陆域的60%,平原约占40%。根据全市农村供水现状调查
积极的学习兴趣是一种推动学生学习的高效能催化剂,是提高学习效率的一个重要心理因素,同时能够增强学生的自信心和学习动机。
家住后长街武昌后长街位于解放路的前身"长街"之后,故而得名,是一条历史比较悠久的老街,长约千米,南起读书院,北止蛇山南麓,四通八达,生活便利,闹中取静,得天独厚。我家在后
1989年9月18日至9月22日在美国波士顿召开了第三届人-机交互作用国际会议。会议参加者极为广泛,来目26个国家的大学、研究机构、工业界和政府机关的科学家、技术人员500多名
<正> 随着计算机应用的日益普及和深化,各类计算机软件的数量正以惊人的速度急剧增加,且现代软件的规模也往往十分庞大。例如,包含数百万行代码、耗资几十亿美元、花费几千人
当前,初中新课改如火如荼,以新课标为指导,着力构建以人为本的数学课程体系,积极引导学生获得对数学理解的同时,在思维能力、情感态度与价值观等多方面得到进步和发展。这就
随着时代的发展，静脉留置针已成为临床输液的主要工具。为提高疗效，合理使用卫生资源，降低患者费用提供了条件，而且由于减少了患儿的痛苦，更容易被患儿和家长所接受，不仅缓解了医患
主政一地一城,因话语主导和资源掌控,极易塑造德政双馨、治效超群的能官贤吏形象。然而时间会洗去粉脂,让浮光彩绘归于本真,因而城市史上主政者能青史留名的不是太多。武汉从