Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Personalized Web Recommendations: Supporting Epistemic Information about End-Users
WI '05 Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web Intelligence
Epistemic reasoning in logic programs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
| Hi-index | 0.00 |
Representing what an intelligent agent knows or believes can be an important feature for an entity that acts in a collaborative environment. Epistemic logic programs are a clear way to reason about what an intelligent agent knows or believes, but the complexity of the reasoning is exponential. The paper presents a new kind of logic programs, the logic programs with two types of negation as failure operators. An answer set semantics is defined for these programs and it is proved that this semantics allows representing epistemic knowledge. Moreover, a polynomial approximation for this semantics is constructed and the approximation maintains the epistemic knowledge representation possibilities. The paper concludes with examples of knowledge representation resolved using the new proposed type of logic programs. They show how the logic programs can be integrated in a human computer interface.