We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.AI

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Artificial Intelligence

Title: dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts

Abstract: Recent advances have shown how decision trees are apt data structures for concisely representing strategies (or controllers) satisfying various objectives. Moreover, they also make the strategy more explainable. The recent tool dtControl had provided pipelines with tools supporting strategy synthesis for hybrid systems, such as SCOTS and Uppaal Stratego. We present dtControl 2.0, a new version with several fundamentally novel features. Most importantly, the user can now provide domain knowledge to be exploited in the decision tree learning process and can also interactively steer the process based on the dynamically provided information. To this end, we also provide a graphical user interface. It allows for inspection and re-computation of parts of the result, suggesting as well as receiving advice on predicates, and visual simulation of the decision-making process. Besides, we interface model checkers of probabilistic systems, namely Storm and PRISM and provide dedicated support for categorical enumeration-type state variables. Consequently, the controllers are more explainable and smaller.
Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
Journal reference: TACAS (2) (pp. 326-345). Springer. 2021
DOI: 10.1007/978-3-030-72013-1_17
Cite as: arXiv:2101.07202 [cs.AI]
  (or arXiv:2101.07202v2 [cs.AI] for this version)

Submission history

From: Christoph Weinhuber [view email]
[v1] Fri, 15 Jan 2021 11:22:49 GMT (337kb,D)
[v2] Tue, 4 May 2021 10:10:43 GMT (646kb,D)

Link back to: arXiv, form interface, contact.