论文部分内容阅读
Agent的形式化研究已成为人工智能、哲学逻辑和计算语言学共同关心的重要课题，有着广泛的应用。逻辑学的理论为人工智能的发展提供了有力的工具。介绍了Agent系统设计的逻辑学基础，以及模态逻辑和认知逻辑，在此基础之上重点介绍了多Agent系统中的常识和分布式知识。
多Agent系统中的常识和分布式知识
【摘 要】
：
Agent的形式化研究已成为人工智能、哲学逻辑和计算语言学共同关心的重要课题，有着广泛的应用。逻辑学的理论为人工智能的发展提供了有力的工具。介绍了Agent系统设计的逻辑学
【机 构】
：
武警工程学院基础部
【出 处】
：
计算机与数字工程
【发表日期】
：
2009年7期
其他文献
一、正确计划施肥量科学地进行配方施肥，就能达到既增产又增收的目的。由于各地麦地肥力差异很大或施肥技术不同，肥料利用率也有区别。一般来说，有机肥当季利用率约20％-25％，氮素化
有一只小鸟，它的巢搭在最高的枝子上，它的毛羽还未曾丰满不能远飞;每日只在巢里啁啾着，和两只老鸟说着话儿，它们都觉得非常的快乐。 这一天早晨，它醒了。那两只老鸟都觅食去了。它探出头来望，看见那灿烂的阳光，葱绿的树木，大地上一片的好景致;它的小脑子里忽然充满了新意，抖刷抖刷翎毛，飞到枝子上，放出那赞美“自然”的歌声来。它的声音里满含着清——轻——和——美，唱的时候，好像“自然”也含笑着倾听一般。
<正>《数学课程标准》指出:学生的数学学习内容应当是现实的、有意义的、富有挑战性的,这些内容要有利于学生主动地进行观察、实验、猜测、验证、推理与交流等数学活动。在这
随着社会经济的发展,人们的生活水平有了很大的提高,而对保健的意识已逐渐攀升到了首要的位置。近些年,国内外市场上绿色食品、无公害食品的呼声日益高涨,使食品安全问题一直
玉米是我国重要的粮食作物,随着国家对农业发展支持力度的加大,玉米种植也实现了高效化生产和规模化生产。文章通过对玉米种植现状的分析,旨在能够为新技术在玉米种植领域更
羊羔痢疾在医学上通常被称为羔羊梭菌性痢疾。主要是新生羔羊患有的一种毒血症,主要表现特征为:剧烈腹泻、小肠出现溃疡等症状。羔羊痢疾的致死率极高,文章下述内容从我国羔
文章分析了我国电子政务应用的特点,提出了一种面向电子政务的基于活动网络图的工作流模型,描述了组成工作流的基本实体类型,讨论了模型如何支持电子政务应用中的复杂流程、如何利用已有组织模型、如何与现有系统集成,同时还讨论了工作流模型与XPDL的映射关系,最后介绍了基于该模型的工作流引擎的实现方法.该工作流引擎已经在税务等多个政府信息系统中得到成功应用,应用结果表明所讨论的工作流模型能够满足我国现有电子政
目前在农村土地流转中出现了一些不容忽视的问题，主要表现为土地流转观念落后、土地流转程序和合同不规范、土地流转信息比较闭塞、土地流转监管不到位等方面，在一定程度上制约