In many real-life situations making a decision entails evaluating the risks associated with the decision, which in turn requires reasoning about events and their relations. In addition to the simpler and better-understood notions of causation and precondition, in this paper we focus on block (or prevention), which is the relation established between an event φ1 and another event φ2 such that the number of occurrences of φ2 decreases whenever φ1 occurs, and mitigation, where the occurrence of φ1 reduces the 'negative' (for the particular decision we are considering) consequences of the occurrence of φ2. By introducing two further counting operators and the notion of interval of observation, we give here a sound and complete tableau system along with a systematic tableau construction procedure.
A complete tableau procedure for risk analysis
CRISTANI, Matteo;VIGANO', Luca
2013-01-01
Abstract
In many real-life situations making a decision entails evaluating the risks associated with the decision, which in turn requires reasoning about events and their relations. In addition to the simpler and better-understood notions of causation and precondition, in this paper we focus on block (or prevention), which is the relation established between an event φ1 and another event φ2 such that the number of occurrences of φ2 decreases whenever φ1 occurs, and mitigation, where the occurrence of φ1 reduces the 'negative' (for the particular decision we are considering) consequences of the occurrence of φ2. By introducing two further counting operators and the notion of interval of observation, we give here a sound and complete tableau system along with a systematic tableau construction procedure.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
