it-swarm.com.de

Programme oder Markup-Viewer für legale oder logische Inhalte?

Ich interessiere mich für Benutzeroberflächen, die rechtliche Argumentation und/oder logisches Denken darstellen. Welche Tools verwenden Fachleute, die sich mit komplexen Argumenten und Argumentationen befassen, die hauptsächlich auf Sprache basieren, um ihre Dokumente zu formalisieren, zu verwalten und zu archivieren?

Ich interessiere mich am meisten für browserbasiert, z. Betrachter von XML-basierten Darstellungen, aber auch eigenständige Anwendungen wären faszinierend. Zu den Arten von Markup-Sprachen, für die ich Zuschauer sehen möchte, gehören: Legal XML , RuleML und einige Instanzen von OWL und RDF.

Was ist da draußen?

3
ted.strauss

Ich habe ein System namens DR-Prolog gefunden, das logische Beweise unter Verwendung eines benutzerdefinierten XML-Formats zur Darstellung von Inhalten erstellt. Die Visualisierung verwendet einfache Box- und Pfeildiagramme. Die Art der Logik, für die sie entwickelt wurde, wird als umsetzbares Denken bezeichnet.
enter image description here

1
ted.strauss

Ich fand den Artikel ' Visualisierung einer Logik von Zuverlässigkeitsargumenten ', der sich mit dem Thema der Frage befasst. Andere Artikel von der Konferenz könnten ebenfalls von Interesse sein.

1
ted.strauss