asserted
derived
contested
retracted
contradiction
Agent Council
Five agents continuously revise the shared belief graph using distinct epistemic strategies.
Revision Trace
Every belief state change logged with agent identity, operation type, and triggered axioms.
Logic Engine
LEVA v0.2.0 forward-chaining inference. Contradiction detection after every operation.
> esc to close
Enterselect
Escclose
What This Is

Visionalysis by Visigence Studio is a multi-agent belief revision interface. Five autonomous reasoning agents continuously propose, contest, and revise facts over a shared directed belief graph. You are watching a formal reasoning engine resolve a live medical diagnosis problem in real time.

There is no language model. There is no external API. All reasoning is performed locally by the Logic Engine using AGM belief revision semantics. Every confidence value, every state transition, every triggered axiom, every detected contradiction is computed — not simulated or mocked.

Logic Engine — LEVA v0.2.0

The Layered Epistemic Verification Architecture (LEVA) is a proprietary belief revision engine implementing the AGM postulates over a directed fact graph with typed edges: justifies, entails, and contradicts. Forward-chaining inference runs on every state change, propagating belief states from premises to conclusions via axioms. Contradiction detection runs after every operation.

Belief States
asserted — directly claimed by an agent or seeded from observation
derived — inferred via axiom from active premise facts
contested — at least one agent challenges epistemic warrant
retracted — withdrawn; downstream consequences cascade via engine
contradiction — two simultaneously held beliefs that are mutually exclusive
AGM Operations
Expansion (K + φ) — add new fact, run forward chaining
Contraction (K − φ) — retract fact, cascade consequences
Revision (K ∗ φ) — contest belief, trigger Bayesian re-evaluation
Scenario — Acute Coronary Syndrome Differential

Patient J.M., male, 47. Presenting: acute chest pain, 2hr onset. Diaphoresis. Dyspnea. Troponin-I markedly elevated. ECG: ST-elevation V2–V5. D-dimer borderline elevated. SpO2 94% on room air. BNP elevated. Systolic BP high. Smoking history confirmed. High age-related risk.

The diagnostic problem: STEMI and pulmonary embolism (PE) share overlapping presentations but require conflicting treatments. STEMI demands urgent catheterization and antiplatelet therapy. PE demands anticoagulation. The engine tracks this as a live contradiction node (diagnosis:tx-conflict ACTIVE) until one diagnosis is retracted or confidence falls below threshold.

The Five Agents
Bayesian
Applies Bayes’ rule. Updates confidence values using posterior estimates. Integrates multiple observations into calibrated probability assignments. Responds to Skeptic challenges by recalculating likelihoods from base rates.
Empiricist
Grounds inference in directly observed measurements. Asserts and reinforces facts with evidential support. Resists speculation. Adjusts confidence based on measurement precision and repeatability.
Abductor
Performs abductive inference — finds best explanations for observed evidence. Introduces new hypothesis nodes into the belief graph. Updates estimates as explanatory coherence between facts changes.
Skeptic
Contests facts with insufficient epistemic warrant. Applies base-rate reasoning to challenge overconfident inferences. Flags inadequate evidence chains and requests corroboration before accepting derived facts.
Devil’s Advocate
Introduces adversarial hypotheses to stress-test graph consistency. Probes weak inference chains under worst-case assumptions. Temporarily asserts alternative diagnoses to expose logical fragility.
Using the Interface

Press ⌘K (Ctrl+K on Windows) to open the operator console. Search all facts by label, value, or belief state. Assert new facts directly into the belief graph. Retract existing beliefs by label. Use quick-action overrides to force conclusions. The graph updates immediately. Drag any node to inspect its neighborhood. Hover or tap a node to read its full justification chain.

On mobile: use the bottom navigation to switch between GRAPH, AGENTS, TRACE, and ENGINE views. Tap and drag graph nodes to rearrange. Tap any node to see its belief state and justification.

Legal Notice

© 2026 Omry Damari / Visigence. All Rights Reserved. The Logic Engine architecture (LEVA v0.2.0), belief revision protocol, and agent orchestration system are proprietary inventions of Omry Damari / Visigence. Unauthorized reproduction, distribution, reverse engineering, or creation of derivative works is prohibited under applicable intellectual property law. This interface is deployed for demonstration purposes only. Not intended for clinical use. No warranty expressed or implied.

SESSION SUMMARY — VISIONALYSIS