澳门金莎娱乐网站,唯一授权

Southwest Jiaotong University School of Mathematics

信息与计算科学系

澳门金莎娱乐网站  >  学术科研  >  信息与计算科学系  >  正文

英国Ulster大学 Jun Liu博士学术报告

澳门金莎娱乐网站:   编辑:     日期:2019-07-09 16:20:13   点击数:  

报告人:英国Ulster大学 Jun Liu博士

报告题目:Reliable Decision Support System

报告时间:2019712日(星期五)下午15:0016:30

报告地点:九里校区信息楼01020

主持人:陈树伟

 

报告人概况:Dr. Jun Liu is currently a Reader in Computer Science at School of Computing, Ulster University at Jordanstown Campus, Northern Ireland, UK. His current research is focused on two themes: 1) logic (including non-classical logic) and automated reasoning methods for intelligent systems: theory and applications (e.g., software verification). 2) Intelligent decision methodologies (IDM) using techniques from systems theory, operational research and artificial intelligence, with applications management, engineering, and industry field etc. (e.g., safety and risk analysis; policy decision making; security/disaster management; situation awareness and emergency systems, and scenario/activity recognition).

 

He has authored or co-authored over 140 publications, and served as editors of 5 international journals. He has been awarded a substantial amount of research funding as grant holder and principle co-investigator, totalling over ?1.5 million from various funding bodies in the above research area. He is a member of the IEEE, IEEESMC and IEEECI, a member of EUCog. He is the Executive Steering Committee Member of International FLINS Conference and the Executive Steering Committee Member of International ISKE Conference. He is a Fellow of the Higher Education Academy, and teaches at both undergraduate and postgraduate level.

 

报告摘要:The talk will be focused on reliable decision support. It is not only considered about reliable system development, but also the reliable model/algorithms. The challenges and problem to be solved are highlighted including such as heterogeneous data and different contexts; reliable knowledge: legislation, regulation, law, policies, expert experience/advices uncertainty; transparent, interpretation, and justification; knowledge representation & processing. Some possible solutions including recent work are summarised.  The key target application includes prediction, detection, verification, decision, and planning.

 

XML 地图 | Sitemap 地图