Software

 

Epistemic Specification Inference Engine: ESmodels

±  User Guide: (Come Soon).

7 Download

 

 

Zhizheng Zhang(张志政)

 

Associate Professor of Computer Science

Southeast University

 

Email: seu_zzz@seu.edu.cn

Address: School of Computer Science and Engineering

              Southeast Unversity

              No. 2, Southeast Street

Nanjing, 211189

 
 
 

 


image001.jpg

 

 

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

 

Areas of Interest

 

Knowledge Representation, Logic Programming, Knowledge Engineering, Pure and Applied Logic

 

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

 

Research

 

I am interested in developing computer-interpretable languages that are capable of both representing and learning commonsense knowledge, and software for simulating intelligent behavior and supporting decision making in real world.

 

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

 

Teaching

 

Artificial Intelligence (Fall)

±  Syllabus: (Come Soon).

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

 

Compiler: Principle and Practice (Fall)

±  Syllabus.

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

& Slides

 

Discrete Mathematics (Spring)

±  Syllabus.

& Textbook: Discrete Mathematics and Its Applications by K. Rosen, 7th edition

& Slides

& Educational Logic Software

 

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

 

Software

 

Epistemic Specification Inference Engine: ESmodels

±  User Guide

7 Download

7 Conformant Planning Using Epistemic Specification (CPES)

 

GI-log Solver: GISolver

±  User Guide

7 Download

7 Conformant Planning,  Prisoner’s dilemma

7 GI-log

 

Knowledge-Based Medical Decision Making Support

±  Finding Treatments for Patient with Comorbidity

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

±   

 

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

 

Publication

 

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  A Parallel LPMLN Solver: Primary Report, ASPOCP2017

3  ……

 

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

 

Interesting Links

 

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