Skillget

genpark-first-order-logic-resolution-prover-skill

mcp
Guvenlik Denetimi
Uyari
Health Uyari
  • No license — Repository has no license file
  • Description — Repository has a description
  • Active repo — Last push 0 days ago
  • Low visibility — Only 8 GitHub stars
Code Gecti
  • Code scan — Scanned 4 files during light audit, no dangerous patterns found
Permissions Gecti
  • Permissions — No dangerous permissions requested

Bu listing icin henuz AI raporu yok.

SUMMARY

GenPark AI Agent Skill - First-Order Logic (FOL) resolution theorem prover applying Most General Unification (MGU) and refutation proof trees.

README.md

GenPark First-Order Logic Resolution Prover Skill

First-Order Logic (FOL) resolution theorem prover using Robinson's Most General Unification (MGU) refutation.

Discover more at GenPark and the GenPark MCP Catalog.

graph TD
    A[KB Axioms] & B[Negated Goal Claim] --> C[Clause Form Knowledge Base]
    C --> D[MGU Term Unification theta]
    D --> E[Complementary Literal Elimination]
    E --> F{Empty Clause Derived?}
    F -->|Yes: Contradiction| G[Theorem Proved True]
    F -->|No More Resolvents| H[Satisfiable: Cannot Prove]

Features

  • Robinson resolution refutation principle.
  • Most General Unification (MGU) with variable substitution.
  • Zero external dependencies.

Yorumlar (0)

Sonuc bulunamadi