Start free trial
Take Naologic for a spin today, no credit card needed and no obligations.
Start free trial

Dynamic Epistemic Logic - What is epistemic logic in artificial intelligence?


In artificial intelligence, epistemic logic is used to analyze what agents know or believe about specific factual descriptions of the world, including their knowledge about each other. This logic is grounded on a model of the information available in a given system, establishing general principles related to knowledge and belief.