张志政
发布人:王霞  发布时间:2019-01-05   浏览次数:1839

东南大学计算机系副教授

  

电子邮件seu_zzz@seu.edu.cn

南京市江宁区东南大学路2号,东南大学计算机学院计算机楼430

编:211189

Software

  

Epistemic Specification Inference Engine: ESmodels

±User Guide: (Come Soon).

7Download


  

…………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………….………………………..…………

研究兴趣

  

知识工程、常识推理、逻辑编程、人工智能应用

目前科研项目主要关注

智能问答,包括:自然语言理解、基于知识图谱的问题求解

自动决策支持,包括:场景建模、决策算法

问答服务机器人,包括:机器人行为规划、自然交互

  

…………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………….………………………..…………

教学

  

人工智能(研究生)

&教材: Artificial Intelligence: A Modern Approach by Stuart Russell, Peter Norvig, 3rd edition

知识工程(研究生)

&自编讲义

  

编译原理(本科生)

&教材Compilers: Principles, Techniques, and Tools by Alfred V. Aho et al, 2nd edition

&幻灯片

  

离散数学(本科生)

&教材Discrete Mathematics and Its Applications by K. Rosen, 7th edition

&幻灯片

  

…………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………….………………………..…………

软件开发

  

智能问答

±结合规则和本体的推理平台R4QA1.0

±规则编辑系统

认知描述程序推理机ESmodels

±User Guide

7Download

7Conformant Planning Using Epistemic Specification (CPES)

  

基于知识的医疗决策支持

±求解并发症的治疗方案

±Representing Rule-based combination of comorbid treatments for hypertension, diabetes mellitus and heart failure

±

  

…………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………….………………………..…………

论文发表

  

3Splitting an LP^{MLN} Program. AAAI2018.

3Epistemic Specifications with Probabilities. ICTAI2017.

3A Parallel LPMLN Solver: Primary Report. ASPOCP@LPNMR 2017.

3Answer Set Programming with Graded Modality. LPNMR 2017.

3Logic Programming with Graded Introspection. Fundam. Inform. 2016

3Logic Programming with Graded Modality. LPNMR 2015.

3Preliminary Result on Finding Treatments for Patients with Comorbidity,  KR4HC-2014.

3ESmodels: An Epistemic Specification Solver, ICLP2014

3ESmodels: An Inference Engine of Epistemic Specifications, ICTAI2013

3……

…………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………….………………………..…………

相关链接

FAssociation of Symbol Logic

FInstitute for Logic, Language and Computation

FChinese Association of Logic

FStanford Encyclopediaof Philosophy

FPhilosophy in HarvardOxfordUCBStanfordPeking

FLogic in UCBCMUWISC