报告题目：Answer Set Program and Learning for ASP

报告人：张明义 教授

主持人：陈仪香 教授

时间： 2016年5月23日周一 10：00-11：00

地点： 中北校区数学馆201报告厅

主办单位：软硬件协同设计技术与应用教育部工程中心

报告摘要：

In this talk, we provide a declarative programming language, so called answer set program (ASP), oriented towards different combinational research problems. Some examples are given to show ASP application. A novel framework for learning normal logic programs (NLP) from transitions of interpretations is also proposed, which is a interesting concept learning from interpretation transition (LFIT). By the way, we briefly introduce our corresponding work.

报告人简介：

张明义先生，贵州科学院研究员，1961-1965，贵州大学数学系； 1965-1978，贵州省榕江县师范学校教员；1978-1980，贵州大学应用数学研究生；1980-贵州科学院研究人员。其间，1995-2014，西南大学计算机学院兼职教授，1998-现在，贵州大学兼职教授。主要研究领域：逻辑与人工智能。研究方向：非单调推理与信念修正。

贵州科学院张明义教授2014年荣获由库尔特•哥德尔学会颁发的终生成就奖，以表彰他在人工智能及知识表示领域，尤其是对各种非单调推理的数学描述上进行的开创性研究，他也是我国首位获此殊荣的科学家。 张明义先后主持了国家863计划3个智能计算机主题项目，国家自然科学基金重大计划《可信软件基础研究》培育项目。他先后被评为国家级及省级“有突出贡献的中青年优秀专家”、“省管专家”和省级劳模，并获得贵州省科技进步个人奖、国家教委科技进步奖以及国务院和首批贵州省政府特殊津贴。