kazimierz-256 / eventcalculuswebapp Goto Github PK

An application for reasoning about future events from user-provided possibly partially contradictory situation calculus. BSD-2-Clause license.

License: BSD 2-Clause "Simplified" License

Prolog 20.92% HTML 11.85% JavaScript 59.65% CSS 1.37% Perl 0.36% Gnuplot 5.85%

knowledge-representation knowledge-base reasoning logic-programming prolog pengines material-design javascript vuejs event-calculus

eventcalculuswebapp's Introduction

Event Calculus Web App

Knowledge representation and reasoning logic documentation (written in polish):

Event Calculus Documentation

Folder z treścią

Część frontowa i backendowa znajduje się w folderze apps/concurrent.

Uruchomienie serwera

swipl run.pl Login i hasło podałem na slacku
Otwieramy w przeglądarce http://localhost:3030/

Uruchomienie testów

swipl apps/concurrent/test/all_tests.pl

Tworzenie Pull Requestów itp

Do każdego feature'a/ poprawki tworzymy osobnego branch'a. Jak wasz branch jest gotowy do mergowania z masterem to robimy tak:

git checkout branchname
git merge master albo git rebase master, w zaleznosci od preferencji
sprawdź, czy na pewno wszystkie testy przechodzą poprzez wywołanie swipl apps/concurrent/test/all_tests.pl
git push origin branchname
stwórz PR
obejrz dokladnie wsystkie zmiany => czy to jest dokladnie to co chcesz zmienić?
popros o review innej osoby
poczekaj na approve
możesz zrobic merge.

Docelowy styl kodowania:

https://arxiv.org/pdf/0911.2899.pdf

eventcalculuswebapp's People

Contributors

Stargazers

Watchers

Forkers

nottakenvalidname brooda

eventcalculuswebapp's Issues

logic_tree_parsing:logic_tree_from_text does not parse fluents with `_` correctly

While I was working on #24, I tried to create a Domain from:

Domain_Text = 'BUY causes OWN_TV or not OWN_TV
        WATCH1 causes HAPPY if OWN_TV
        WATCH2 causes not HAPPY if not OWN_TV
        STEAL causes OWN_TV if not OWN_TV'

But logic_tree_parsing:logic_tree_from_text would fail and not return a valid "effect part" for the first line of domain (OWN_TV or not OWN_TV).
Renaming OWN_TV to OwnTv resolved the errors, but I think the parser should work for underscores.

Do you agree @kazimierz-256 ?

I tried debugging it, but it seems that it is not parsed correctly by the --> operator with which I am not familiar.

Interfejs przyjazny dla użytkownika

Mam nadzieję żę te zmiany w GUI polepszą odbiór przez prowadzącą:

powiększyć czcionkę
aplikacja ma być "starego typu" - taka, że wasza babcia by ją obsłużyła;). Rezygnujemy z dynamicznie dodawanych pól, na korzyść przycisków new (np dla akcji w scenariuszu) i save zeby potwierdzic. Ja to widze tak: Mamy nasz formularz, który wygląda mega podobnie do naszego, ale jest bardziej zbity i aby go edytować należy kliknąć przycisk edit przy danym polu. Po Kliknięciu przycisku edit pokazuje nam się pole do wpisania tekstu - jesli to domena akcji to tak jak jest teraz, jeśli akcje/obserwacje w scenariuszu to mamy dodatkowo przyciski "dodaj nowy", ktore powoduja wyskoczenie nowego pola, zamiast dynamicznego pojawiania sie nowego pola. Wazne zeby aktualnie edytowane pole wyroznialo sie jakos od juz wypelnionych pol. Na koniec edycji nalezy kliknac przycisk save, i tez widac ze on dziala (np tekst sie wyszarza czy cos).
aktualizacja vuejsowego stanu na onkeyup zamiast domyślne ondefocus czy onsubmit cokolwiek to jest
ukryć pole DEBUG
domyślnie pola powinny być prefilled historyjką simply czy tego typu prostą