Suggestions

Hi Jordon Great page! Its always awesome to read your pages because of your writing style and interesting examples! Few suggestions:

1. You can explain some of the concepts with maybe a single line (example-FOL, L-BFGS, GSMN)
2. Some example of the Clause Construction Operators would be interesting

Some questions:

1. " ground terms are those with no variables" so it is a constant or a function with no variables?
2. Is there any benefit of forming cliques?
3. In the TNode construction section you have mentioned " matrix MP that is used to find the edges between the TNode". So its a Matrix of Boolean values as given in the algo.

How is 0/1 used for finding the edges between the TNode?

Hi Samprity,

I think both of your suggestions are reasonable, so I'll see what I can do. I don't think examples of the clause construction operators were given in the paper, but I'll give some thought to making one up.

As for your questions:

1. A ground term has only constants in its arguments (eg. IsInCPSC522(samprity) or SamePerson(jordon, HusbandOf(jennifer)). I'll see if I can make it more clear on the page.

2. The cliques restrict the search space (clauses can only exist if their nodes form a clique). I think that's already in there, but I may not have written it in a clear way, so I'll take another look at it.

3. It's supplied to the Markov network structure algorithm as training data. I haven't looked into it (since they don't directly discuss it in the paper), but I assumed you could treat the 0s and 1s as labels for a binary classifier. I'll take another look at how I've written it and see if I can make it more clear in the page.

Clear skies,
Jordon

Thanks for the clarifications! I do see the benefit of cliques now that you have mentioned this line.