张志政

 

东南大学计算机系副教授

 

电子邮件: seu_zzz@seu.edu.cn

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

    编:211189

Software

 

Epistemic Specification Inference Engine: ESmodels

±  User Guide: (Come Soon).

7 Download

 

 

 

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

 

研究兴趣

 

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

目前科研项目主要关注

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

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

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

 

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

 

教学

 

人工智能(研究生)

& 教材: 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

7 Download

7 Conformant Planning Using Epistemic Specification (CPES)

 

基于知识的医疗决策支持

±  求解并发症的治疗方案

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

±   

 

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

 

论文发表

 

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

3  Epistemic Specifications with Probabilities. ICTAI2017.

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

3  Answer Set Programming with Graded Modality. LPNMR 2017.

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

3  Logic Programming with Graded Modality. LPNMR 2015.

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

3  ESmodels: An Epistemic Specification Solver, ICLP2014

3  ESmodels: An Inference Engine of Epistemic Specifications, ICTAI2013

3  ……

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

相关链接

F  Association of Symbol Logic

F  Institute for Logic, Language and Computation

F  Chinese Association of Logic

F  Stanford Encyclopedia of Philosophy

F  Philosophy in Harvard, Oxford, UCB, Stanford, Peking

F  Logic in UCB, CMU, WISC