Learn More
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary purpose is to communicate information from one agent to another. These actions are unable to alter the valuation of any proposition within the system. In fields such as security, it(More)
Worldwide energy demand has increased significantly over the last half century. A main reason for this increase in demand is the growth in population, which grew from 2.55 billion in 1950 to 6.396 billion in 2004. There are many negative effects associated with greater energy consumption such as increased levels of greenhouse gas emissions and higher energy(More)
We develop an algebraic modal logic that combines epistemic modalities with dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a changing world. Unlike most treatments of dynamic epistemic logic, we have transitions that " change the state " of the underlying system and not just the state of knowledge of(More)
Approved for public release; distribution is unlimited. The authors would like to acknowledge the cooperation and insights gained from warfighters, especially from LCDR Dennis McCartin of Third Fleet, and LCDR Marquez Campbell of SPAWAR Systems Command, who made sure this study focused upon the important issues from the perspective of field personnel. Our(More)
  • 1