KR:
Knowledge Representation and Reasoning (KR) is my main research focus in AI field. Currently I
am interested in gaining a deep understanding of
the logical and computational foundaitons of first-order Answer Set
Programming (ASP). We have quite a few publications on this topic in recent years.
We have some results on the first-order definability/indefinability of
first-order ASP, the progression based semantics for both normal and disjunctive
first-order ASP, and translations from a normal first-order ASP to a first-order formula and
from a first-order theory under stable model semantics to disjunctive logic programs.
I believe that more work should be done in order to fully understand the expressiveness and
computational issues of frst-order ASP, which are the top priority
in my current research agenda.
Information Security:
Logic based information security is my another main research interest. I have found that
many of my KR results can be applied to information security. In some sense,
information security has been served as an application test bed for my KR research.
One of my current inertests in this direction is to reformalize some of previous
policy specification and reasoning systems, by using answer set programming. An
important advantage by doing this is that some related reasoning
problems about security policies can be translated into the answer set computation
problem. With more information revealed from the answer sets, we should be able to
effectively undertake certain tasks such as policy checking, negotiation, query answering, update,
and delegation path tracing.
Back to previous page.