Add Demonstration Scenarios Showcasing Epistemic Reasoner Capabilities

[Ethavanol]

This PR introduces a complete set of demonstration scenarios illustrating different use cases of the epistemic reasoning extension and server.

Included Scenarios

1. Weather Example (PAL Mode)

• Demonstrates basic usage of the reasoner in PAL mode to handle epistemic reasoning over weather conditions.

2. Agent Navigation with Position Uncertainty (DEL Mode)

• Shows an agent navigating with uncertainty about its own position.
• Uses DEL mode and presents a realistic case highlighting the capabilities of the reasoner.

3. Agent Navigation with Position & Goal Uncertainty

• Builds on the previous scenario by introducing uncertainty about the goal’s position as well.
• Demonstrates how to manually configure the semantic model by retrieving and replacing it via the new API requests introduced in the epistemic-jason extension.

4. Multi-Agent Navigation with Shared Knowledge

• Extends the navigation scenario to a multi-agent setting.
• Shows how agents can share knowledge to reduce uncertainty and make better decisions.

Documentation

Added explanations.pdf, which:

• Explains how each example works.
• Describes the underlying code and reasoning logic.
• Illustrates the new features added to the reasoner and their practical use.

Requirements

The following repositories are required for this demo to work correctly:

• epistemic-jason extension (see corresponding PR for feature details) Upgrade to Jason 3.3, Refactor for OCP Compliance, and Add Multi-Agent Epistemic Reasoning Features epistemic-jason#1
• epistemic reasoner server (see corresponding PR for feature details) Add TouIST Server Integration, Multi-Model Support, and Enhanced Logging for Epistemic Reasoner epistemic-reasoner#2
• TouIST server (see corresponding repo for feature details) https://github.com/Ethavanol/touist-service

Please refer to the related PRs and repositories for installation instructions and more information about each dependency.