贵州制约逻辑学会2006学术年会暨第二届全国性逻辑系统专题研讨会

会议名称（中文）： 贵州制约逻辑学会2006学术年会暨第二届全国性逻辑系统专题研讨会

会议名称（英文）：

所属学校： 贵州大学

所属学科： 信息科学与系统科学　 计算机科学技术　 哲学　 数学　 语言学　

会议类型： 国内会议

会议论文集是否检索： 不详

开始日期： 2006-10-30

结束日期： 2006-11-1

所在国家： 中华人民共和国

所在城市： 贵州省 贵阳市

具体地点： 贵阳市 花溪区

主办单位： 贵州制约逻辑学会 贵州省逻辑教学研究会

协办单位： 贵州师范大学【省属重点大学】

承办单位： 贵州大学【211工程国家重点建设大学】

议题：

[ 组织结构 ]

会议主席： 龚启荣 教授

组织委员会主席： 曾庆华 教授

程序委员会主席： 张学立 教授

会议嘉宾：

姓名： 林邦瑾

职务： 教授，硕士生导师，制约逻辑创始人。

简介： 林邦瑾 教授，硕士生导师,男,1937年2月生，汉族，浙江宁波人。贵州制约逻辑学会名誉会长。1959年毕业于清华大学自动化系，随即进行逻辑学研究，于1968年创建制约逻辑（Lin’s Entailment Logic）体系，1985年底出版专著《制约逻辑》。1987年应邀出席在莫斯科召开的第八届国际逻辑、科学哲学和方法论讨论会，在会上作了题为《制约逻辑名词演算Cn系统》的专题发言，论文收入莫斯科科学出版社出版的会议论文集；嗣后，收到十余次国际学术会议的邀请并发表论文。先后在中国人民大学、中央民族大学、清华大学、浙江大学、贵州大学、哈尔滨船舶工程学院、中国军事科学院、华北计算机研究所、中科院自动化研究所、北京计算机研究所等高等学校、研究机构为研究生、本科生开设制约逻辑课程。在国内外出版、发表专著、论文百余部（篇），合作撰写逻辑辞典两部，《制约逻辑》作为辞条收入中央党校出版社出版、任继愈教授主编的《二十世纪学术要籍大辞典》。 未来的真正的人工智能的基础装置是内涵智能机，其硬件的核心元件是从根本上区别于与、或、非门，输入输出之间不是任何函数关系的制约门，而与、或、非门仅仅是起大量存储、快速检索信息这种辅助作用的次要组成元件。制约逻辑刻划清楚了制约门的逻辑性质，为研制制约门从而进一步设计、制造内涵智能机提供了作为基础理论的逻辑理论基础。 联系电话：（0574）87127949

演讲题目：

制约逻辑与内涵智能机

姓名： 周训伟

职务： 教授，硕士生导师,互逆主义数理逻辑创始人。

简介： 周训伟,男,汉,1987年1月北京工业大学计算机系研究生毕业,现任北京联合大学信息学院教授,从1984年起从事逻辑学研究,创立数理逻辑的新学派--互逆主义,在国内外发表论文30余篇,著有《互逆主义逻辑与Super-Prolog语言》和《《互逆主义数理逻辑》两本专著。现为国际符号逻辑学会会员，国际逻辑程序设计学会会员，中国人工智能学会人工智能基础专业委员会委员，中国逻辑学会会员。

演讲题目：

互逆主义数理逻辑及其在计算机和人工智能等领域的应用

[ 重要日期 ]

摘要截稿日期： 2006-6-30

全文截稿日期： 2006-7-31

论文录用通知日期

2006-8-20

交修订版截止日期： 2006-9-20

[ 会务组联系方式 ]

联系人： 龚启荣

联系电话： 0851－3621900

传真：

E-mail： gongmuwen@163.com

通讯地址： 贵州省 贵阳市 贵州大学 花溪北校区

邮政编码： 550025

会议新闻(共0条新闻）：

会议注册费：

会议网站： http://ahjixi.com/zy/

会议背景介绍： 随着逻辑科学的不断发展，许多学者在逻辑学研究中取得了可喜的成绩。为了加强横向联系，互通信息、共同进步、共同发展，以了解当今逻辑学发展的新动向，拓展逻辑学研究的范围，贵州制约逻辑学会在2005年成功举办首届全国性逻辑学术会议的基础上拟于2006年11月上旬在贵阳市召开贵州制约逻辑学会2006学术年会暨第二届全国性逻辑系统专题研讨会。

贵阳景色优美,气候宜人,素有"第二春城"美称。革命历史名城遵义--遵义会议会址、亚洲第一大瀑布--黄果树瀑布离贵阳市均约150公里(约1小时路程 全程高速)。真诚欢迎全国各地逻辑系统及相关专业的专家学者和研究生们前来贵阳参加学术交流。

征文范围及要求： 会议主题：逻辑系统的构造、特征及其应用。

会议目的：1.提供全国性多学科学术交流机会；2.了解和学习全国学者在逻辑及相关领域的最新科研成果；3.推动逻辑学科的发展；4.制约逻辑的推广应用。

会议时间：2006年11月上旬（具体时间以正式邀请函为准）。

论文要求：论文请用word文件排版。包括以下项目：

标题、作者姓名