From 2c1e9aada017918bb1db0737d1c01295d98729cc Mon Sep 17 00:00:00 2001 From: Cian Hughes Date: Fri, 28 Jun 2024 14:13:19 +0100 Subject: [PATCH] minor tweak to expt3 plan --- README.md | 2 +- symbolic_nn_tests/__main__.py | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index d7bbf23..50949ca 100644 --- a/README.md +++ b/README.md @@ -101,7 +101,7 @@ This is a testing sandbox for developing various methods of injecting symbolic k ## Experiment 3 - Tensor Logic Network (TLN) - Revisiting QMNIST from Expt1 but using TLN instead of SLF. -- Using LTNtorch library, as manually defining logical constraints would be a pain here. +- Using LTNtorch library or maybe Scallop lang, as manually defining logical constraints would be a pain here. - Will create formalised logic definitions of non-fuzzy relations manually embedded in Expt1: - Numbers with Lines: ```math diff --git a/symbolic_nn_tests/__main__.py b/symbolic_nn_tests/__main__.py index 42e3b32..dc476c1 100644 --- a/symbolic_nn_tests/__main__.py +++ b/symbolic_nn_tests/__main__.py @@ -2,10 +2,10 @@ import typer from typing import Optional, Iterable from typing_extensions import Annotated from loguru import logger -from . import experiment1, experiment2 +from . import experiment1, experiment2, experiment3 -EXPERIMENTS = (experiment1, experiment2) +EXPERIMENTS = (experiment1, experiment2, experiment3) def parse_int_or_intiterable(i: Optional[str]) -> Iterable[int]: