Dynamics of Causal Knowledge

点击翻译按钮获取中文摘要

We operate in complex dynamic environments including highly sensitive and safety-critical situations such as medical emergencies, disaster management and air-traffic control systems. Our knowledge of what causes what plays a pivotal role in making correct decisions in such situations. To ensure robustness and sound behaviour of the underlying causal knowledge systems, their designs and implementations must be formally well grounded. This is an important but difficult challenge. This project aims to systematically develop a logic-based framework to adequately capture and reason about evolving causal knowledge. This research is expected to form the basis for smart decision making, and be evaluated on practical applications.