agent-reasoning

🧭 Strategic BDI cognitive reasoning engine for AI agents. Goal decomposition DAGs, multi-factor utility scoring, risk evaluation, and adaptive replanning over MCP.

Reasoning foundation for trustworthy agents.

Deterministic MCP middleware for detecting cognitive amplification failures in LLM agent systems. Maps the supply chain Bullwhip Effect onto multi-layer AI decision pipelines. 6 tools, 100 pct threshold-based scoring, no LLM inside.

Researching Scheme-native relational reasoning in Gerbil: checked programs, retained evaluation, bounded evidence, temporal queries, and formal semantics.

Official tutorial series for cognition — a neurosymbolic agent framework combining probabilistic frontier models with deterministic, logical symbolic AI.

Two AI agents collaborate and explore a fog-of-war dungeon while reasoning every move with agent observability.

Tree of Thoughts (ToT) Monte Carlo Tree Search (MCTS) reasoning engine with UCB1 exploration-exploitation balance and state backpropagation.

A neurosymbolic validator for legal eligibility: an LLM reads court notes as asserted facts, a symbolic logical reasoner uses legal rules to determine eligibility.