Influence Diagrams Involving Time
Author
Nielsen, Søren Holbech
Term
4. term
Education
Publication year
2003
Abstract
IDITs er et formelt sprog til at beskrive beslutningsproblemer, hvor tid og timing spiller en kvantitativ rolle. En tidligere rapport af Broe, Jeppesen og Nielsen foreslog IDITs, men dens tidsmæssige semantik (reglerne for hvordan elementer relaterer sig over tid) er mangelfuld. I denne rapport introducerer vi klarere regler for rækkefølge (ordningssemantik), som angiver den tilladte sekvens af hændelser og beslutninger, og vi definerer, hvad det vil sige, at en IDIT-model er veldefineret (internt konsistent i forhold til tid). Vi præsenterer også en metode til at kontrollere, om en given IDIT er veldefineret. Derudover udvider vi sproget, så det kan repræsentere flere tidsmæssige situationer, herunder tilfælde hvor rækkefølgen af beslutninger kan variere. Den introducerende rapport skitserede kun, hvordan sådanne modeller kan løses. I denne rapports afsluttende del undersøger vi grænserne for den skitse og identificerer en delmængde af IDIT-modeller, der kan løses med denne tilgang. Vores metode kan desuden håndtere kontinuerte variabler, der påvirker diskrete beslutninger, ved at udnytte de begrænsninger, som tidens natur medfører.
IDITs is a formal language for describing decision problems in which time and timing play a quantitative role. An earlier report by Broe, Jeppesen, and Nielsen proposed IDITs, but its temporal semantics (the rules for how elements relate over time) have weaknesses. In this report, we introduce clearer ordering semantics that specify the allowed sequence of events and decisions, and we define what it means for an IDIT model to be well-defined (internally consistent with respect to time). We also present a method for checking whether a given IDIT is well-defined. In addition, we extend the language so it can represent more temporal situations, including cases where the order of decisions may vary. The introducing report provided only a sketch of how such models might be solved. In the latter part of our report, we examine the limits of that sketch and identify a subset of IDIT models that can be solved using this approach. Our method also handles continuous variables that influence discrete decisions by exploiting constraints that arise from the nature of time.
[This abstract was generated with the help of AI]
Documents