Logic-LM (Answer Set Programming)
Logiczne rozumowanie dla modeli językowych poprzez programowanie zbiorów odpowiedzi
Instalacja
Wklej poniższy fragment do konfiguracji wybranego klienta.
Instalacja
Szybkie info
- Kategoria
- AI i uczenie maszynowe
- Transport
- STDIO
- Licencja
- MIT
- Gwiazdki GitHub
- 4
- Wyświetlenia
- 255
Kompatybilne z
- Claude Code
- Claude Desktop
- codex
- Cursor
- gemini-cli
- VS Code
- Windsurf
Znalezione w: mcp.directory
Co potrafi
- Konwertuj problemy z języka naturalnego na kod ASP
- Wykonuj symboliczne wnioskowanie za pomocą solvera Clingo
- Rozwiązuj problemy spełniania ograniczeń
- Przeprowadzaj wieloetapowe dedukcje logiczne
- Interpretuj wyniki logiki formalnej na język naturalny
Dla kogo
- Badacze pracujący nad zadaniami logicznego rozumowania
- Deweloperzy budujący systemy AI wymagające logiki formalnej
- Studenci uczący się programowania ograniczeń
Wyróżnia się
- Oparty na framework badawczym Logic-LLM
- Dostępny na PyPI do łatwej instalacji
O serwerze
Logic-LM to serwer MCP, który wyposaża modele językowe w zdolności formalnego rozumowania logicznego. Przekształca naturalne problemy w kod Answer Set Programming, wykonuje symboliczne wnioskowanie za pomocą solvera Clingo i interpretuje wyniki z powrotem na język naturalny. Idealny do rozwiązywania problemów spełniania ograniczeń i wieloetapowych dedukcji logicznych.
Podobne serwery
Oficjalny
Tripo 3D
autor: vast-ai-research
180Claude CodeClaude Desktopcodex
Oficjalny
Clerk
autor: clerk
1,693Claude CodeClaude Desktopcodex
ImageSorcery
autor: sunriseapps
308Claude CodeClaude Desktopcodex
Sequential Thinking Multi-Agent System
autor: fradser
297Claude CodeClaude Desktopcodex
Oficjalny
Arize Phoenix
autor: arize-ai
9,459Claude CodeClaude Desktopcodex
Oficjalny
Genkit
autor: firebase
5,841Claude CodeClaude Desktopcodex