# Ai Commonsense Reasoning

> |

- **Type:** Skill
- **Install:** `agentstack add skill-r-irbe-proof-skills-ai-commonsense-reasoning`
- **Verified:** Yes — security-reviewed for prompt injection and unsafe behavior
- **Seller:** [r-irbe](https://agentstack.voostack.com/s/r-irbe)
- **Installs:** 0
- **Category:** [Agent Skills](https://agentstack.voostack.com/c/agent-skills)
- **Latest version:** 0.1.0
- **License:** Apache-2.0
- **Upstream author:** [r-irbe](https://github.com/r-irbe)
- **Source:** https://github.com/r-irbe/proof-skills/tree/main/skills/ai-commonsense-reasoning
- **Website:** https://github.com/r-irbe/proof-skills

## Install

```sh
agentstack add skill-r-irbe-proof-skills-ai-commonsense-reasoning
```

Requires the [AgentStack CLI](https://agentstack.voostack.com/docs/cli). Works with Claude Code, Cursor, and any MCP-compatible agent.

## About

# Commonsense Reasoning

Formalizing the vast body of everyday knowledge that underlies human reasoning and is critical for AI systems operating in real-world contexts.

---

## Routing

- **USE FOR:** Commonsense reasoning for AI systems — world knowledge, naive physics, folk psychology, temporal/spatial reasoning, default reasoning, and their formalization. Use for reasoning about everyday knowledge that humans take for granted but AI systems need explicitly, especially when a downstream project must make implicit context explicit.
- **DO NOT USE FOR:** formal KR/ontology engineering (use @ai-symbolic-neuro); causal/deontic reasoning (use @ai-causal-deontic); formalisation in Lean (use @lean-knowledge-formalization).
- **TRIGGERS:** commonsense, naive physics, folk psychology, temporal reasoning, spatial reasoning, default reasoning.

## Workflow

1. Classify the commonsense gap: naive physics, folk psychology, temporal, spatial, or default reasoning.
2. Pick the matching paradigm from the body (qualitative reasoning, situation calculus, default logic, etc.) and the representative formalism.
3. Apply the formalism to the concrete scenario; document where it does or doesn't yield the human-intuitive answer.
4. Hand off: to `@ai-symbolic-neuro` for ontology grounding, to `@lean-knowledge-formalization` for a Lean encoding, to `@lean-zettelkasten`.

## Recovery & STOP

- STOP if the question is purely about KR/ontology — delegate to `@ai-symbolic-neuro`.
- STOP if the answer would require world-model data not in the body — escalate to `@research-council`.
- STOP if the question is about causal/deontic norms — delegate to `@ai-causal-deontic`.

## Handoffs

- **Predecessors:** `agent:gateway`, `skill:lean-research`.
- **Successors:** `skill:ai-symbolic-neuro`, `skill:lean-knowledge-formalization`, `skill:lean-zettelkasten`.

---

## Detailed reference

Full content for `ai-commonsense-reasoning` lives in
[`references/ai-commonsense-reasoning-handbook.md`](../../references/ai-commonsense-reasoning-handbook.md).
Load that file when the skill is convened; the SKILL.md only carries
the dispatch contract and the parts index.

| Section | Topic |
|---|---|
| Part 1 | Commonsense Knowledge Domains |
| Part 2 | Formal Commonsense Frameworks |
| Part 3 | Qualitative Reasoning |
| Part 4 | Theory of Mind & BDI |
| Part 5 | Temporal Commonsense |
| Part 6 | Commonsense Physics & Spatial Reasoning |
| Part 7 | Integration with Lean Formalization |
| Part 8 | Research Directions |
| Part 9 | Skill Cross-References |

---

## See also

- [`../../references/ai-commonsense-reasoning-handbook.md`](../../references/ai-commonsense-reasoning-handbook.md) — Full handbook (extracted from this skill)
- [`../ai-symbolic-neuro/SKILL.md`](../ai-symbolic-neuro/SKILL.md) — Successor
- [`../lean-knowledge-formalization/SKILL.md`](../lean-knowledge-formalization/SKILL.md) — Successor
- [`../lean-zettelkasten/SKILL.md`](../lean-zettelkasten/SKILL.md) — Successor

## Source & license

This open-source skill is cataloged on AgentStack and links to its original source — we do not rehost the code.

- **Author:** [r-irbe](https://github.com/r-irbe)
- **Source:** [r-irbe/proof-skills](https://github.com/r-irbe/proof-skills)
- **License:** Apache-2.0
- **Homepage:** https://github.com/r-irbe/proof-skills

Install and usage instructions live in the source repository linked above.

## Pricing

- **Free** — Free

## Security capabilities

Automated source analysis of v0.1.0 — what this tool can access:

- **Network access:** no
- **Filesystem access:** no
- **Shell / process execution:** no
- **Environment & secrets:** no
- **Dynamic code execution:** no

*"Yes" means the capability is present in the source — more access means more to trust, not that it is unsafe.*


## Versions

- **0.1.0** — security scan: passed — Imported from the upstream source.

## Links

- Listing page: https://agentstack.voostack.com/l/skill-r-irbe-proof-skills-ai-commonsense-reasoning
- Seller: https://agentstack.voostack.com/s/r-irbe
- Browse the marketplace: https://agentstack.voostack.com/browse

---
Listed on AgentStack — the marketplace for AI agent skills and MCP servers. Every listing is security-reviewed. Creators keep 70%.