AI RESEARCH
Elenchus: Generating Knowledge Bases from Prover-Skeptic Dialogues
arXiv CS.CL
•
ArXi:2603.06974v1 Announce Type: new We present Elenchus, a dialogue system for knowledge base construction grounded in inferentialist semantics, where knowledge engineering is re-conceived as explicitation rather than extraction from expert testimony or textual content. A human expert develops a bilateral position (commitments and denials) about a topic through prover-skeptic dialogue with a large language model (LLM) opponent. The LLM proposes tensions (claims that parts of the position are jointly incoherent) which the expert resolves by retraction, refinement, or contestation.