hub / github.com/davidandrzej/LogicLDA

github.com/davidandrzej/LogicLDA @main

260 symbols 649 edges 36 files 137 documented · 53%

What it actually does AI analysis from the code graph — generated when you open this

loading…

Extension points exported contracts — how you extend this code

Interface for a LogicRule which can be exhaustively grounded/propositionalized (may have > 1 z variable, eg Cannot-Link [7 …

src/main/java/logiclda/rules/GroundableRule.java

IndependentRule (Interface)

Interface for a LogicRule which can easily be grounded/propositionalized because it does not rely on more than one laten [4 …

src/main/java/logiclda/rules/IndependentRule.java

LogicRule (Interface)

(no doc) [11 implementers]

src/main/java/logiclda/rules/LogicRule.java

Sample (Interface)

(no doc) [4 implementers]

src/main/java/logiclda/infer/Sample.java

Core symbols most depended-on inside this repo

get

called by 62

src/main/java/logiclda/rules/Grounding.java

updateCounts

called by 12

src/main/java/logiclda/infer/DiscreteSample.java

toString

called by 9

src/main/java/logiclda/rules/Seeds.java

multSample

called by 8

src/main/java/logiclda/MiscUtil.java

toString

called by 8

src/main/java/logiclda/infer/MirrorDescent.java

intListUnbox

called by 7

src/main/java/logiclda/MiscUtil.java

applyEvidence

called by 7

src/main/java/logiclda/rules/LogicRule.java

evidenceCheck

called by 7

src/main/java/logiclda/rules/DocRule.java

Shape

Method 225

Class 28

Interface 4

Enum 3

Languages

Java100%

Modules by API surface

src/main/java/logiclda/rules/SeedRule.java19 symbols

src/main/java/logiclda/rules/MLRule.java18 symbols

src/main/java/logiclda/rules/DocRule.java18 symbols

src/main/java/logiclda/rules/CLRule.java18 symbols

src/main/java/logiclda/infer/DiscreteSample.java13 symbols

src/main/java/logiclda/FileUtil.java12 symbols

src/main/java/logiclda/rules/LDARule.java11 symbols

src/main/java/logiclda/infer/RelaxedSample.java11 symbols

src/main/java/logiclda/rules/SentInclRule.java10 symbols

src/main/java/logiclda/rules/SentExclRule.java10 symbols

src/main/java/logiclda/infer/MirrorDescent.java9 symbols

src/main/java/logiclda/infer/CollapsedGibbs.java9 symbols

For agents

$ claude mcp add LogicLDA \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact