Modelling Uniformity and Control during Knowledge Acquisition

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.

• Type: Conference
• Year: 2008
• Where: FLAIRS
• Authors: Bernhard Heinemann
• Keywords: Appropriate Modality, Artificial Intelligence, Certain Aspects, Dynamic Epistemic Logic, FLAIRS 2008