Modelling Uniformity and Control during Knowledge Acquisition

Bernhard Heinemann

We develop a formal system dealing `spatially' with certain aspects of uniformity and control during knowledge acquisition. To this end, we study an appropriate modality, which is essentially due to Baskent, against the background of dynamic epistemic logic. The new connective turns out to be rather complex, but hybridizing the source language enables us to prove some of the desired fundamental properties of the arising logic like completeness or decidability.

Subjects: 9. Foundational Issues; 10. Knowledge Acquisition

Submitted: Feb 12, 2008

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.