Data

Tools

Indexes

Applications

Experiments

Open Source Science

https://github.com/aclai-lab/solexplorer.jl

Extract symbolic knowledge from any dataset!

https://github.com/aclai-lab/solexplorer.jl

Science Score: 26.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ○
    CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Committers with academic emails
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (10.8%) to scientific vocabulary

Keywords from Contributors

decision-trees logic modal-logic symbolic-learning time-series-classification
Last synced: 11 months ago · JSON representation

Repository

Extract symbolic knowledge from any dataset!

Basic Info
  • Host: GitHub
  • Owner: aclai-lab
  • License: mit
  • Language: Julia
  • Default Branch: main
  • Size: 33.3 MB
Statistics
  • Stars: 8
  • Watchers: 2
  • Forks: 0
  • Open Issues: 2
  • Releases: 0
Created over 1 year ago · Last pushed 11 months ago
Metadata Files
Readme License

README.md

SoleXplorer

A symbolic journey through your datasets

CI codecov

SoleXplorer.jl is an interactive interface for exploring symbolic machine learning models, built on top of the Sole.jl ecosystem. It provides tools for visualizing, inspecting, and interacting with models derived from (logic-based) symbolic learning algorithms.

Key features: * Can handle both classification and regression tasks. * Inspect metrics. * Works also on time-series based datasets using modal logic. * View rules and their metrics. * Inspect logical formulas and their evaluation. * View modal rule associations. * Integrated GUI.

Installation

julia using Pkg Pkg.add SoleXplorer

Quick Start

Decision tree

Every parameter is defaulted: start analysis simply passing your raw dataset:

```julia using SoleXplorer, MLJ

Load example dataset

Xc, yc = @load_iris

Train a decision tree

modelc = symbolic_analysis(Xc, yc) ```

Of course, customizations are possible:

```julia using Random

range = SoleXplorer.range(:minpurityincrease; lower=0.001, upper=1.0, scale=:log) modelc = symbolicanalysis( Xc, yc; model=DecisionTreeClassifier(), resample=CV(nfolds=5, shuffle=true), rng=Xoshiro(1), tuning=(tuning=Grid(resolution=10), resampling=CV(nfolds=3), range, measure=accuracy, repeats=2), extractor=InTreesRuleExtractor(), measures=(accuracy, logloss, confusion_matrix, kappa)
) ```

Temporal association rules

```julia

Load a temporal dataset

natopsloader = NatopsLoader() Xts, yts = SoleXplorer.load(natopsloader)

Train a modal decision tree

modelts = symbolicanalysis( Xts, yts; model=ModalDecisionTree(), resample=Holdout(shuffle=true), trainratio=0.80, rng=Xoshiro(1), features=(minimum, maximum), measures=(logloss, accuracy, confusionmatrix, kappa) ) ```

Related packages

SoleXplorer extensively uses the following packages: * SoleLogics: modal and temporal logic systems. * MLJ: provides all machine learning frameworks. * SolePostHoc: for rule extraction. * ModalAssociationRules: for mining association rules.

About

The package is developed by the ACLAI Lab @ University of Ferrara.

Owner

  • Name: Applied Computational Logic and Artificial Intelligence Laboratory
  • Login: aclai-lab
  • Kind: organization
  • Email: aclai@unife.it
  • Location: Italy

Applied Computational Logic and Artificial Intelligence (ACLAI) Laboratory of the Department of Mathematics and Computer Science, University of Ferrara

GitHub Events

Total
  • Create event: 26
  • Issues event: 13
  • Watch event: 3
  • Delete event: 25
  • Issue comment event: 10
  • Public event: 1
  • Push event: 242
  • Pull request review comment event: 34
  • Pull request review event: 34
  • Pull request event: 47
Last Year
  • Create event: 26
  • Issues event: 13
  • Watch event: 3
  • Delete event: 25
  • Issue comment event: 10
  • Public event: 1
  • Push event: 242
  • Pull request review comment event: 34
  • Pull request review event: 34
  • Pull request event: 47

Committers

Last synced: about 1 year ago

All Time
  • Total Commits: 251
  • Total Committers: 4
  • Avg Commits per committer: 62.75
  • Development Distribution Score (DDS): 0.1
Past Year
  • Commits: 251
  • Committers: 4
  • Avg Commits per committer: 62.75
  • Development Distribution Score (DDS): 0.1
Top Committers
Name Email Commits
PasoStudio73 p****3@g****m 226
CompatHelper Julia c****y@j****g 16
giopaglia 2****a 8
Alberto Paparella 5****a 1
Committer Domains (Top 20 + Academic)
julialang.org: 1

Issues and Pull Requests

Last synced: 11 months ago

All Time
  • Total issues: 11
  • Total pull requests: 45
  • Average time to close issues: 4 days
  • Average time to close pull requests: 1 day
  • Total issue authors: 3
  • Total pull request authors: 4
  • Average comments per issue: 0.27
  • Average comments per pull request: 0.2
  • Merged pull requests: 40
  • Bot issues: 0
  • Bot pull requests: 30
Past Year
  • Issues: 11
  • Pull requests: 45
  • Average time to close issues: 4 days
  • Average time to close pull requests: 1 day
  • Issue authors: 3
  • Pull request authors: 4
  • Average comments per issue: 0.27
  • Average comments per pull request: 0.2
  • Merged pull requests: 40
  • Bot issues: 0
  • Bot pull requests: 30
View more stats
Top Authors
Issue Authors
  • PasoStudio73 (9)
  • giopaglia (1)
  • mauro-milella (1)
Pull Request Authors
  • github-actions[bot] (29)
  • PasoStudio73 (14)
  • giopaglia (1)
  • dependabot[bot] (1)
Top Labels
Issue Labels
enhancement (6) suggested change (2) documentation (1) good first issue (1) help wanted (1) bug (1)
Pull Request Labels
enhancement (7) documentation (3) bug (3) dependencies (1) github_actions (1)

Dependencies

.github/workflows/CompatHelper.yml actions
  • julia-actions/setup-julia v1 composite
.github/workflows/TagBot.yml actions
  • JuliaRegistries/TagBot v1 composite
.github/workflows/ci.yml actions
  • actions/checkout v2 composite
  • codecov/codecov-action v5 composite
  • julia-actions/julia-buildpkg v1 composite
  • julia-actions/julia-processcoverage v1 composite
  • julia-actions/julia-runtest v1 composite
  • julia-actions/setup-julia v1 composite