Cumulative Default Logic Based on Epistemic States

摘要

The paper indicates how default logic can be based on epistemic logic, andparticularly how it may employ minimal epistemic states for this purpose. In this way it obtains a simple and natural S5-based logic for default reasoning that is shown to be cumulative.