¿Qué hace argumentar?
Orquestador de debate estructurado con múltiples personas. Dos o más personas investigan
independientemente mediante /dogpile, consultan colegas de dominio vía /ask, y debaten
hacia una síntesis matizada — no un ganador.
¿Por qué no preguntar simplemente a un modelo?
Las respuestas de un solo modelo son seguras pero planas. La comprensión real de problemas difíciles (Conjetura de Collatz, P vs NP, conciencia, trade-offs de políticas) requiere:
- Múltiples lentes de dominio sobre la misma pregunta
- Presión adversarial — cada lado pone a prueba el razonamiento del otro
- Profundidad de investigación — cada persona realiza investigación independiente con
/dogpile - Grafo social — las personas pueden
/aska colegas por opiniones expertas - Seguimiento de concesiones — la síntesis captura qué se concedió y por qué
- Razonamiento ponderado por BDI — los pesos de puente de la persona influyen en el estilo de argumentación
Arquitectura
┌──────────────────────────────────────────────────────────┐
│ Orquestador de Argumentar │
│ - Bucle de debate (investigar → argumentar → refutar → reflexionar)│
│ - Ejecución concurrente de personas │
│ - Terminación basada en convergencia │
│ - Generación de síntesis │
└──────────────────────────────────────────────────────────┘
│ │
┌────┴──────┐ ┌─────┴─────┐
│ Persona A │ │ Persona B │
│ (Hilo) │ │ (Hilo) │
├────────────┤ ├────────────┤
│ Habilidades:│ │ Habilidades:│
│ - dogpile │ │ - dogpile │
│ - ask │ │ - ask │
│ - memory │ │ - memory │
│ - taxonomy │ │ - taxonomy │
└────────────┘ └────────────┘
│ │
└──────────┬───────────────────┘
│
┌───────────────┴────────────────────┐
│ Motor de Síntesis │
│ - Argumentos más fuertes de cada │
│ - Puntos de acuerdo │
│ - Puntos de desacuerdo genuino │
│ - Registro de concesiones │
│ - Preguntas abiertas │
│ - Conclusión matizada │
└────────────────────────────────────┘
Comandos
# Dos personas discuten una pregunta
./run.sh argumentar "¿Es decidible la Conjetura de Collatz?" \
--persona-a embry --persona-b horus --rondas 5
# Debate en panel de tres vías
./run.sh argumentar "Mejor enfoque para la alineación de AGI" \
--personas embry,horus,brandon --rondas 7
# Debate rápido de 3 rondas con personas auto-seleccionadas
./run.sh argumentar "¿Deberíamos usar microservicios o monolito?"
# Reanudar debate interrumpido
./run.sh reanudar <id-debate>
# Ver transcripción del debate
./run.sh transcripción <id-debate>
# Generar informe de síntesis
./run.sh sintetizar <id-debate>
# Ver estado del debate
./run.sh estado
Bucle de Debate
Cada ronda sigue investigar → argumentar → refutar → reflexionar:
Ronda k:
┌─────────────────────────────────────────────────────────────┐
│ 1. FASE DE INVESTIGACIÓN │
├─────────────────────────────────────────────────────────────┤
│ Cada Persona: │
│ - /dogpile su pregunta desde su lente de dominio │
│ - /ask a un colega para opinión experta │
│ - /memory recordar argumentos previos y conocimiento relevante│
│ - Revisar argumentos anteriores del oponente en busca de debilidades│
│ (Presupuesto: máximo 3 llamadas de investigación por persona por ronda)│
└─────────────────────────────────────────────────────────────┘
↓
┌─────────────────────────────────────────────────────────────┐
│ 2. FASE DE ARGUMENTACIÓN │
├─────────────────────────────────────────────────────────────┤
│ Cada Persona: │
│ - Presentar posición con evidencia + citas │
│ - Referenciar hallazgos de /dogpile y respuestas de /ask a colegas│
│ - Etiquetar argumentos con atributos de puente de /taxonomy │
│ - Limitada por el estado BDI de la persona y pesos de puente │
│ (persona de Alta Precisión → pruebas formales) │
│ (persona de Alta Resiliencia → implicaciones prácticas) │
│ (persona de Alta Fragilidad → casos límite, modos de fallo) │
└─────────────────────────────────────────────────────────────┘
↓
┌─────────────────────────────────────────────────────────────┐
│ 3. FASE DE REFUTACIÓN │
├─────────────────────────────────────────────────────────────┤
│ Cada Persona: │
│ - Contrarrestar los puntos más débiles del oponente │
│ - Reconocer los puntos más fuertes del oponente (concesión forzada)│
│ - Identificar vacíos en la evidencia del oponente │
│ - Proponer refinamientos o puntos intermedios │
└─────────────────────────────────────────────────────────────┘
↓
┌─────────────────────────────────────────────────────────────┐
│ 4. FASE DE REFLEXIÓN │
├─────────────────────────────────────────────────────────────┤
│ Cada Persona: │
│ - Archivar episodio de ronda (argumentos, evidencia, concesiones)│
│ - Almacenar argumentos exitosos en /memory │
│ - Actualizar estado de creencias según evidencia del oponente│
│ - Calificar propia confianza (0.0-1.0) en la posición actual │
│ - Identificar qué cambiaría su opinión │
└─────────────────────────────────────────────────────────────┘
↓
┌─────────────────────────────────────────────────────────────┐
│ 5. PUNTUACIÓN Y PUNTO DE CONTROL │
├─────────────────────────────────────────────────────────────┤
│ Orquestador: │
│ - Puntuar fuerza del argumento, calidad de evidencia, novedad│
│ - Rastrear registro de concesiones │
│ - Verificar condiciones de terminación │
│ - Guardar punto de control │
└─────────────────────────────────────────────────────────────┘
Capacidades de las Personas
Cada persona en el debate tiene acceso completo a:
| Habilidad | Propósito |
|---|---|
/dogpile | Investigación profunda multi-fuente (ArXiv, Brave, GitHub, YouTube, Perplexity) |
/ask | Consultar a una persona colega para experiencia de dominio |
/memory | Recordar conocimiento previo, debates pasados, hechos aprendidos |
/taxonomy | Clasificar argumentos con puentes de Taxonomía Federada |
/consume-book | Buscar en libros ingeridos evidencia de apoyo |
/consume-youtube | Buscar transcripciones de charlas/conferencias relevantes |
El Patrón de Colega /ask
Durante la fase de investigación, las personas pueden consultar colegas de su grafo social:
Embry (ingeniera aeroespacial, Precisión=0.85):
→ /ask brandon "¿Cuál es el ángulo de complejidad computacional sobre Collatz?"
→ Brandon (becario SPARTA, entusiasta): Devuelve perspectiva de teoría de complejidad
→ Embry lo incorpora en su argumento formal
Horus (IA, Resiliencia=0.80):
→ /ask embry "¿El enfoque de sistemas dinámicos realmente converge?"
→ (Embry está ocupada argumentando, así que Horus consulta /memory para declaraciones previas de Embry)
→ Horus usa esto para desafiar la suposición de convergencia
La consulta a colegas añade:
- Diversidad de dominio más allá de los propios debatientes
- Prueba social — "mi colega que se especializa en X confirma..."
- Polinización cruzada — argumentos enriquecidos por experiencia adyacente
Sistema de Puntuación
A diferencia de batalla (que tiene un ganador), argumentar rastrea la calidad del debate:
| Métrica | Peso | Descripción |
|---|---|---|
| Calidad de Evidencia | 2x | Fuentes citadas, profundidad de /dogpile, revisadas por pares |
| Novedad del Argumento | 1.5x | Perspectiva nueva no planteada antes |
| Calidad de Concesión | 2x | Reconocer puntos fuertes del oponente (esto es BUENO) |
| Coherencia Lógica | 1x | Consistencia interna |
| Precisión de Refutación | 1x | Aborda afirmaciones específicas, no hombres de paja |
| Calibración de Confianza | 0.5x | La confianza coincide con la fuerza de la evidencia |
Diferencia clave de batalla: Las concesiones se puntúan POSITIVAMENTE. Una persona que concede un punto fuerte y refina su posición puntúa más alto que una que mantiene su postura dogmáticamente sin evidencia.
Condiciones de Terminación
El debate termina cuando se cumple CUALQUIER condición:
- Convergencia: Deltas de confianza de todas las personas < 0.1 durante 2 rondas (están de acuerdo)
- Producción Nula: No hay nuevos argumentos o evidencia durante 2 rondas
- Rondas Máximas: Se alcanza el límite configurado
- Síntesis Lista: El orquestador detecta material suficiente para una conclusión matizada
- Interruptor de parada: Terminación manual vía
./run.sh detener
Salida de Síntesis
Después de la terminación, el orquestador genera una síntesis estructurada:
# Síntesis del Debate: ¿Es decidible la Conjetura de Collatz?
## Participantes
- **Embry** (Ingeniera Aeroespacial, Precisión=0.85) — Lente formal/matemática
- **Horus** (IA, Resiliencia=0.80) — Lente computacional/práctica
## Rondas: 5 | Terminación: Convergencia
## Puntos de Acuerdo
1. El problema generalizado 3n+1 es indecidible (Conway 1972)
2. Los enfoques actuales mediante tiempos de parada muestran convergencia estadística
3. Una prueba probablemente requiere nueva maquinaria matemática
## Puntos de Desacuerdo Genuino
1. Si los enfoques de teoría de la medida pueden cerrar la brecha (Embry: sí, Horus: insuficiente)
2. La relevancia de la verificación computacional hasta 2^68 (Horus: significativo, Embry: irrelevante para la prueba)
## Registro de Concesiones
- Ronda 2: Embry concedió que la verificación hasta 2^68 proporciona confianza heurística útil
- Ronda 3: Horus concedió que el resultado de indecidibilidad de Conway para formas generalizadas
no implica directamente indecidibilidad del caso específico 3n+1
- Ronda 4: Ambos concedieron que el teorema de densidad de Terras es el resultado positivo más fuerte
## Argumentos Más Fuertes
1. [Embry, Ronda 3] El análisis de la función de Siracusa mediante sistemas dinámicos muestra...
2. [Horus, Ronda 2] La equivalencia FRACTRAN demuestra riqueza computacional...
## Preguntas Abiertas
1. ¿Pueden extenderse los resultados parciales de Tao (2019) sobre "casi todos" los enteros?
2. ¿Existe una barrera de complejidad teórica para una prueba elemental?
## Conclusión Matizada
La Conjetura de Collatz ocupa una posición única: demostrablemente difícil en su
forma generalizada (Conway), pero el caso específico 3n+1 puede ser tratable.
La evidencia más fuerte para una resolución eventual proviene del resultado de Tao de 2019
que muestra que casi todas las órbitas alcanzan valores cercanos a 1. Sin embargo, la brecha entre
"casi todos" y "todos" puede requerir técnicas fundamentalmente nuevas...
## Fuentes
- [ArXiv] Tao (2019) "Almost all orbits of the Collatz map attain..."
- [ArXiv] Conway (1972) "Unpredictable iterations"
- ...
Arquitectura de Memoria
Cada persona mantiene memoria de debate aislada:
debates/<id_debate>/
├── config.json # Pregunta, personas, configuración
├── transcripción.md # Transcripción completa del debate
├── síntesis.md # Informe de síntesis final
├── persona_a/
│ ├── investigación/ # Resultados de /dogpile por ronda
│ ├── consultas_colegas/ # Respuestas de /ask
│ ├── argumentos/ # Argumentos presentados por ronda
│ ├── concesiones.json # Lo que concedieron y cuándo
│ └── confianza.json # Trayectoria de confianza a lo largo de rondas
├── persona_b/
│ └── ...
└── puntuación/
├── ronda_001.json
├── ronda_002.json
└── resumen.json
Las personas no pueden acceder a la investigación del oponente — solo a sus argumentos publicados. Esto evita cortocircuitar la presión adversarial.
Modos de Debate
1. Adversarial (predeterminado)
Dos personas toman posiciones opuestas. Bueno para preguntas con bandos claros.
./run.sh argumentar "Monolito vs microservicios" --modo adversarial
2. Panel
Tres o más personas discuten desde diferentes ángulos. Bueno para preguntas complejas.
./run.sh argumentar "Enfoques de alineación de AGI" --modo panel --personas embry,horus,brandon
3. Socrático
Una persona hace preguntas indagatorias, la otra defiende. Bueno para poner a prueba ideas.
./run.sh argumentar "Nuestra arquitectura SPARTA es sólida" --modo socrático --preguntador horus --defensor embry
4. Abogado del Diablo
Una persona se ve forzada a argumentar en contra de una posición con la que podría estar de acuerdo. Bueno para encontrar puntos ciegos.
./run.sh argumentar "Rust es mejor que C++ para sistemas embebidos" --modo abogado-del-diablo --abogado embry
Habilidades Utilizadas
| Habilidad | Usada Por | Propósito |
|---|---|---|
| dogpile | Todas las personas | Investigación profunda multi-fuente por ronda |
| ask | Todas las personas | Consultar personas colegas para opinión experta |
| memory | Todas las personas | Recordar conocimiento previo + almacenar aprendizajes del debate |
| taxonomy | Todas las personas | Etiquetar argumentos con atributos de puente |
| consume-book | Todas las personas | Buscar en libros ingeridos evidencia |
| consume-youtube | Todas las personas | Buscar transcripciones de charlas para evidencia |
| episodic-archiver | Orquestador | Archivar debates completados |
| task-monitor | Orquestador | Seguimiento de progreso para debates largos |
Ejemplo de Sesión
# Embry y Horus discuten sobre la Conjetura de Collatz
./run.sh argumentar "¿Es decidible la Conjetura de Collatz?" \
--persona-a embry --persona-b horus --rondas 5
# Salida:
# ID de Debate: argue_20260212_153000
# Pregunta: ¿Es decidible la Conjetura de Collatz?
# Personas: Embry (Precisión=0.85) vs Horus (Resiliencia=0.80)
# Modo: Adversarial
#
# Ronda 1/5
# [Embry] Investigando vía /dogpile "Collatz dynamical systems Terras theorem"...
# [Embry] /ask brandon "ángulo de teoría de complejidad sobre tiempos de parada de Collatz"
# [Horus] Investigando vía /dogpile "Collatz undecidability Conway FRACTRAN"...
# [Horus] /ask embry "¿la teoría de la medida cierra la brecha en casi-todos?"
...
[truncado para traducción]