kenrick95 / aba-web Goto Github PK

Currently, I do not show the argument tree and dispute tree for potential argument

Current implementation renders all graphs, and then hide it. It might cause performance issue on browser when it gets a lot of symbols.

Fan Xiuyi:

However, I’m still a bit concerned about your program.

It seems you don’t distinguish between:

b |- a
c |- a

and

b, c |- a

As you can see, these two sets of rules mean very different things. First set says, if b OR c holds, then a holds; whereas the second set says if b AND c holds, then a holds.

Haven’t read your code, but it more or less means that you need to duplicate your search structure for each of these OR branches. And you need to search through all possible branches and check for loops. (I know, I know, this is very tedious … But there isn’t any other way to do it, as far as I know …)

Having a help page would be useful. The things you put in the help can be part of your report, e.g., definition of the implemented semantics and examples.