Cristin-resultat-ID: 1822787
Sist endret: 1. mars 2021, 14:51
NVI-rapporteringsår: 2020
Resultat
Vitenskapelig artikkel
2020

Simulation Vignette Generation from Answer Set Specifications

Bidragsytere:
  • Dashley Kevin Rouwendal
  • Jo Erskine Hannay og
  • Audun Stolpe

Tidsskrift

Proceedings of the International ISCRAM Conference
ISSN 2411-3387
e-ISSN 2411-3387
NVI-nivå 1

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2020
Trykket: 2020
Sider: 110 - 121

Beskrivelse Beskrivelse

Tittel

Simulation Vignette Generation from Answer Set Specifications

Sammendrag

We investigate an approach that allows exercise managers to design simulations with an explicit focus on building skills, rather than having to focus on all the objects and interactions that a simulation must have. Exercise managers may design exercises at various levels of abstraction and always independently of how those sessions are implemented in simulations, while simulation components that implement the design are assembled and to some extent, automatically, behind the scenes. We outline (1) how Answer Set Programming can assist exercise managers in exercise planning and (2) how automated stage and content generation may be used to invoke appropriate simulation components to realize the design. For deliberate and recurrent training of decision-making skills, stages and content must vary to avoid familiarity (testing effects). We conclude by distilling a main research hypothesis that stipulates how (1) and (2) represent two modes of automated reasoning (so-called deductive versus abductive) and how that distinction clarifies the planning task.

Bidragsytere

Dashley Kevin Rouwendal

  • Tilknyttet:
    Forfatter
    ved Seksjon for autonome systemer og sensorteknologier ved Universitetet i Oslo

Jo Erskine Hannay

  • Tilknyttet:
    Forfatter
    ved Avdeling for anvendt IKT-forskning DART ved Norsk Regnesentral

Audun Stolpe

  • Tilknyttet:
    Forfatter
    ved Institutt for teknologisystemer ved Universitetet i Oslo
  • Tilknyttet:
    Forfatter
    ved Avdeling for anvendt IKT-forskning DART ved Norsk Regnesentral
1 - 3 av 3