nach oben

Erschienen in:

2022 | OriginalPaper | Buchkapitel

Clingraph: ASP-Based Visualization

verfasst von : Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann

Erschienen in: Logic Programming and Nonmonotonic Reasoning

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

We present the ASP-based visualization tool clingraph, which aims at visualizing ASP by means of ASP itself. This idea traces back to the aspviz tool and clingraph redevelops and extends it in the context of modern ASP systems. More precisely, clingraph takes graph specifications in terms of ASP facts and hands them over to the graph visualization system graphviz. The use of ASP provides a great interface between logic programs and/or answer sets and their visualization. Also, clingraph offers a Python API that extends this ease of interfacing to clingo’s API, and in turn to connect and monitor various aspects of the solving process.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel A Practical Account into Counting Dung’s Extensions by Dynamic Programming

Nächstes Kapitel A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection

https://github.com/potassco/clingraph.

https://clingraph.readthedocs.io.

https://graphviz.org.

Subgraphs correspond to clusters in graphviz.

https://www.json.org.

https://dot2tex.readthedocs.io.

http://www.graphviz.org/docs/layouts.

https://github.com/potassco/clorm.

https://clingraph.readthedocs.io/en/latest/clingraph/api.html.

https://github.com/potassco/clingraph/tree/master/examples/queens.

Strictly speaking, the definition of predicate cell/2 belongs to the visualization encoding. Nonetheless, we add it to the problem encoding since the dimension of the board, viz. n, is unavailable in the visualization encoding. This is a drawback of the sequential approach: information must be shared via the stable models.

https://github.com/potassco/asprilo-encodings.

We refrain from visualizing pickup and putdown actions, and rather represent them implicitly.

https://github.com/potassco/clingraph/tree/master/examples/asprilo.

https://potassco.org/clingo/python-api/current.

https://github.com/potassco/clingraph/tree/master/examples/propagator.

https://github.com/potassco/clingraph/tree/master/examples.

https://github.com/rndmcnlly/Lonsdaleite.

https://dtai.cs.kuleuven.be/krr/files/bib/manuals/IDPDraw-manual.pdf.

Bösel, A., Linke, T., Schaub, T.: Profiling answer set programming: the visualization component of the noMoRe system. In: Proceedings of the JELIA 2004, pp. 702–705. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-30227-8_61

Calimeri, F., Leone, N., Ricca, F., Veltri, P.: A visual tracer for DLV. In: Proceedings of the SEA 2009, pp. 79–93. CEUR (2009)

Cliffe, O., De Vos, M., Brain, M., Padget, J.: ASPVIZ: declarative visualisation and animation using answer set programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 724–728. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-89982-2_65

Gebser, M., et al.: Experimenting with robotic intra-logistics domains. TPLP 18(3–4), 502–519 (2018)

Kloimüllner, C., Oetsch, J., Pührer, J., Tompits, H.: Kara: a system for visualising and visual editing of interpretations for answer-set programs. In: Proceedings of the INAP 2011, pp. 325–344 (2011)

König, A., Schaub, T.: Monitoring and visualizing answer set solving. TPLP Suppl. 13, 4–5 (2013)

Lifschitz, V.: Answer Set Programming. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-24658-7CrossRefMATH

Perri, S., Ricca, F., Terracina, G., Cianni, D., Veltri, P.: An integrated graphic tool for developing and testing dlv programs. In: Proceedings of the SEA 2007, pp. 86–100. CEUR (2007)

Titel: Clingraph: ASP-Based Visualization
verfasst von: Susana Hahn
Orkunt Sabuncu
Torsten Schaub
Tobias Stolzmann
Verlag: Springer International Publishing
Buch: Logic Programming and Nonmonotonic Reasoning
Print ISBN: 978-3-031-15706-6

Electronic ISBN: 978-3-031-15707-3

Copyright-Jahr: 2022
DOI: https://doi.org/10.1007/978-3-031-15707-3_31

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner