RAESON: A Tool for Reasoning Tasks Driven by Interactive Visualization of Logical Structure
\c{S}tefan Minic\u{a}

TL;DR
RAESON is an interactive visualization tool designed to enhance logical reasoning and learning by providing intuitive interfaces for formal knowledge and logical structures.
Contribution
The paper introduces RAESON, a novel software tool that combines visualization and interaction for logical reasoning, supporting educational activities and formal knowledge management.
Findings
Facilitates understanding of logical structures through visualization
Supports interactive engagement with formal knowledge repositories
Enhances didactic potential in teaching logic
Abstract
The paper presents a software tool for analysis and interactive engagement in various logical reasoning tasks. A first feature of the program consists in providing an interface for working with logic-specific repositories of formal knowledge. A second feature provides the means to intuitively visualize and interactively generate the underlying logical structure that propels customary logical reasoning tasks. Starting from this we argue that both aspects have didactic potential and can be integrated in teaching activities to provide an engaging learning experience.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSemantic Web and Ontologies · Multi-Agent Systems and Negotiation · Intelligent Tutoring Systems and Adaptive Learning
