Applies cognitive science frameworks for creative thinking to CS and AI research ideation. Use when seeking genuinely novel research directions by leveraging combinatorial creativity, analogical reasoning, constraint manipulation, and other empirically grounded creative strategies. This skill is triggered only by the thinkidea skill when a deep creative thinking session is needed.
Eight empirically grounded frameworks from cognitive science, applied to computer science and AI research. Unlike ad-hoc brainstorming, each framework here is backed by decades of creativity research — from Koestler's bisociation to Kauffman's adjacent possible. They target distinct cognitive operations: combining, reformulating, analogizing, constraining, inverting, abstracting, exploring boundaries, and holding contradictions.
Do NOT use this skill when:
brainstorming-research-ideas)scientific-skills:literature-review)Relationship to Brainstorm skill: The brainstorm skill provides operational workflows (diverge → converge → refine) and practical filters. This skill provides the deeper cognitive engines that power creative leaps. Use them together: creative-thinking to generate raw insight, brainstorm to structure and evaluate it.
Novel ideas arise from combining existing concepts in unexpected ways. Arthur Koestler called this bisociation — connecting two previously unrelated frames of reference, as distinct from routine association within a single frame.
Why it works: Meta-research consistently shows that breadth of knowledge is a precursor to creative output. People who read across disciplines produce more novel work. The combination itself is the creative act.
In CS Research:
Systematic Bisociation Workflow:
Cross-Product Example:
| Caching | Load Balancing | Fault Tolerance | |
|---|---|---|---|
| Natural Selection | Evict least-fit entries | Adaptive allocation via fitness | Population-level redundancy |
| Immune Memory | Learned threat signatures | Distributed detection | Self/non-self discrimination |
| Symbiosis | Cooperative prefetching | Mutualistic resource sharing | Co-dependent resilience |
Quality Test: A strong bisociation is not a surface metaphor ("the network is like a brain") but a structural mapping where the mechanism transfers ("attention mechanisms implement a form of selective gating analogous to cognitive attention filtering").
Self-Check:
Gestalt psychologists identified that breakthroughs often come not from solving the problem as stated, but from re-representing the problem itself. Kaplan and Simon's work on insight shows that changing the problem space — the constraints, the abstraction level, the formalism — is often where creativity lives.
The Key Shift: From "How do I solve this problem?" to "Am I even thinking about this problem correctly?"
Reformulation Strategies:
| Strategy | Example |
|---|---|
| Change the objective | "Make the algorithm faster" → "Eliminate the need for this computation" |
| Change the formalism | Graph problem → linear algebra problem (spectral methods) |
| Change the granularity | Per-token prediction → per-span prediction |
| Change the agent | "How should the model learn?" → "How should the data teach?" (curriculum learning) |
| Change the timescale | Real-time optimization → amortized inference |
| Invert the direction | Forward simulation → inverse problem (learning from observations) |
Workflow:
Classic CS Examples:
Dedre Gentner's structure-mapping theory and Kevin Dunbar's studies of real scientists show that analogy is the core engine of scientific creativity. The critical finding: surface-level analogies are common but weak; structural or relational analogies — where the deep causal/relational structure maps across domains — produce the most powerful insights.
Dunbar's Finding: In the most successful labs, analogies from distant domains drove the most important discoveries. Nearby analogies refined ideas; distant analogies generated them.
Levels of Analogical Depth:
| Level | Description | Value | Example |
|---|---|---|---|
| Surface | Things look similar | Low | "A neural network is like a brain" |
| Relational | Relationships between entities match | Medium | "Attention allocation in models parallels resource allocation in economics" |
| Structural | Deep causal mechanisms map | High | "Diffusion models reverse a thermodynamic process; the math of non-equilibrium stat-mech directly applies" |
Structure-Mapping Workflow:
Validation Checklist:
Margaret Boden's framework distinguishes three forms of creativity based on how they interact with constraints:
| Type | Operation | CS Example |
|---|---|---|
| Exploratory | Search within the existing conceptual space | Hyperparameter tuning, architecture search within a fixed paradigm |
| Combinational | Combine elements from different spaces | Multi-task learning, neuro-symbolic methods |
| Transformational | Change the rules of the space itself | Dropping the assumption that training requires labels (self-supervised learning) |
Transformational creativity is the rarest and highest-impact. It happens when you change what is even considered a valid solution.
Constraint Analysis Workflow:
Classic Examples of Constraint Transformation:
Take a core assumption in your field and negate it. This is formalized in De Bono's lateral thinking and the TRIZ methodology from engineering.
The Pattern: "What if [widely held assumption] is wrong, unnecessary, or invertible?"
Systematic Negation Workflow:
Negation Hall of Fame in CS:
| Assumption | Negation | Result |
|---|---|---|
| "We need strong consistency" | What if we don't? | Eventual consistency, CRDTs |
| "We need exact answers" | What if approximate is fine? | Sketches, LSH, approximate nearest neighbors |
| "Labels are necessary" | What if we learn without them? | Self-supervised learning, contrastive methods |
| "More parameters = more compute" | What if we don't use all parameters? | Mixture of Experts, sparse models |
| "Training and inference are separate" | What if the model keeps learning? | Online learning, test-time training |
| "Errors must be prevented" | What if we embrace and correct them? | Speculative decoding, self-correction |
TRIZ-Inspired Principles for CS:
| TRIZ Principle | CS Application |
|---|---|
| Inversion | Reverse the process (generative vs. discriminative) |
| Segmentation | Break monolithic into modular (microservices, mixture of experts) |
| Merging | Combine separate steps (end-to-end learning) |
| Universality | One component serves multiple functions (multi-task models) |
| Nesting | Place one system inside another (meta-learning) |
| Dynamization | Make static things adaptive (dynamic architectures, adaptive computation) |
Moving up and down the abstraction ladder is a fundamental creative act. Polya's heuristics formalize this: "Can you solve a more general problem? A more specific one? An analogous one?"
Three Moves:
| Move | Question | Outcome |
|---|---|---|
| Generalize | "Is my solution a special case of something broader?" | Framework papers, unifying theories |
| Specialize | "What happens when I add extreme constraints?" | Niche applications, surprising edge cases |
| Analogize | "Where else does this abstract pattern appear?" | Cross-domain transfer (see Framework 3) |
Generalization Workflow:
Specialization Workflow:
When to Generalize vs. Specialize:
Stuart Kauffman's concept, popularized by Steven Johnson: innovation happens at the boundary of what is currently reachable — the adjacent possible. New ideas become thinkable once their prerequisites exist. This explains why simultaneous independent discovery is so common — multiple people reach the same boundary.
Practical Implication: Map what has recently become possible and explore the space those enablers open.
Adjacent Possible Mapping Workflow:
Current Adjacent Possibles (2025-2026):
| Enabler | Newly Possible |
|---|---|
| 1M+ token context windows | Full-codebase reasoning, book-length analysis |
| Inference cost drops (100x in 2 years) | Real-time agentic loops, always-on AI assistants |
| Open-weight models at GPT-4 level | Reproducible research on frontier capabilities |
| Multimodal models (vision + language + audio) | Unified perception-reasoning systems |
| Synthetic data at scale | Training data for domains with no natural data |
| Tool-using models | Research automation, self-improving systems |
Timing Signal: If your idea requires technology that doesn't exist yet, it's beyond the adjacent possible — park it. If your idea could have been done 5 years ago, someone probably did — check the literature. The sweet spot is ideas that became feasible in the last 6-18 months.
Albert Rothenberg's studies of eminent creators found that holding two contradictory ideas simultaneously is a hallmark of creative thinking. Named after Janus, the two-faced Roman god, this mode of thinking doesn't resolve contradictions by choosing a side — it generates new frameworks that transcend the opposition.
In CS: The most influential results often emerge from tensions previously thought irreconcilable.
| Contradiction | Resolution | Impact |
|---|---|---|
| Consistency AND Availability (distributed systems) | CAP theorem: formalized the trade-off, then Raft/CRDTs found practical middle grounds | Foundation of distributed systems theory |
| Security AND Usability | Zero-knowledge proofs: prove knowledge without revealing it | Enabled private computation |
| Expressiveness AND Tractability | Probabilistic programming: express complex models, automate inference | New programming paradigm |
| Memorization AND Generalization | Grokking: models memorize first, then generalize with more training | New understanding of learning dynamics |
| Compression AND Quality | Neural codecs that compress beyond information-theoretic limits via learned priors | Redefined compression research |
Dialectical Thinking Workflow:
Self-Check:
These frameworks are most powerful in combination. Here is a systematic protocol for a deep creative thinking session:
Apply the two-sentence test (from the brainstorm skill):
"[Domain] currently struggles with [problem] because [reason]. We [approach] by [mechanism], which works because [insight]."
Any idea that survives all four phases and passes the two-sentence test is worth pursuing.
| Block | Symptom | Framework to Apply |
|---|---|---|
| Fixation | Cannot stop thinking about the problem one way | Problem Reformulation (F2) — force a different representation |
| Tunnel vision | All ideas come from the same subfield | Bisociation (F1) or Analogical Reasoning (F3) — import from elsewhere |
| Self-censoring | Dismissing ideas as "too weird" before exploring | Negation (F5) — weird is the point; evaluate after generating |
| Incrementalism | Every idea is "+2% on benchmark X" | Constraint Manipulation (F4) — change the rules, not the parameters |
| Analysis paralysis | Too many options, cannot commit | Adjacent Possible (F7) — what is feasible right now? |
| False dichotomy | Stuck choosing between two approaches | Janusian Thinking (F8) — seek synthesis, not selection |
When a researcher asks for help with creative thinking or novel ideation:
Key Principles: