-
Notifications
You must be signed in to change notification settings - Fork 0
Open
Description
The user should not have to know the data format in order to create new learning nets.
The textbox in the edit view should be replaced by a more user-friendly GUI, including:
- controls to add/delete connectives
- controls to add/delete edges
- controls to change condition ids/join numbers
- controls to change the target node
- ...
One also has to decide how the learning net verification can be integrated into this GUI. Should actions always be prevented if they would lead to invalid learning nets?
Some first ideas, including an LGF export function for the frontend, are found in the branch gui.
Metadata
Metadata
Assignees
Labels
No labels