ElenchusAI

A web application that simulates Socratic dialogues to help solve problems through interactive conversations between Socrates, Theaetetus, and Plato.

This project was inspired by the SocraticAI project by Princeton NLP. Thanks to Runzhe Yang and Karthik Narasimhan for their insightful article: https://princeton-nlp.github.io/SocraticAI/.

Features

• Interactive Socratic dialogue between AI characters
• Integration with SymPy for mathematical queries and DuckDuckGo for general knowledge
• Python code execution within the dialogue
• User feedback system (hasini) for additional input
• Web-based interface using Flask

Setup

1. Install Python 3.7 or higher
2. Clone this repository
3. Install dependencies: pip install -r req.txt
4. Run the app: python app.py
5. Open your browser to http://localhost:5000

Usage

1. Start the application
2. Enter your question in the chat interface
3. Watch the dialogue unfold between Socrates, Theaetetus, and Plato
4. Provide feedback when prompted (as hasini)
5. The system will use external tools like WolframAlpha or Python execution as needed

Limitations

• Requires internet connection for DuckDuckGo queries
• SymPy is limited to symbolic mathematics and may not handle all complex equations
• Python code execution has a 60-second timeout
• Dialogue context is limited by token constraints
• User feedback is required for certain queries