I’m having an absolute blast playing with s(CASP) notebooks in SWISH. This is an extremely helpful tool for me to provide a user-friendly introduction to the power of using knowledge representation and reasoning for automating statutory reasoning around laws and regulations.
I know that there are some niggly bits in the way that s(CASP) has been implemented that causes some Singleton warnings. I’m also seeing a lot of warnings about non-contiguous definitions for different predicates. I see that there is a way to turn those warnings off on a per-predicate level, but there’s a lot of predicates. Is there some way to configure SWISH not to show warnings?
I wouldn’t bother, except that my encodings are sufficiently complicated that SWISH is generating more than a hundred warnings, and very politely displaying each one with nice javascript transitions, which means that it ends up taking about 2 minutes before we can see the answer that it takes about 0.1 seconds to calculate!
It would make for a much more convincing demonstration if we didn’t need to wait those 2 minutes for an answer.
A surface-level concern, I know, but effective communication is key.
See SWISH -- SWI-Prolog for SHaring. I guess it is a good idea to add these directives to the template. Possibly commented. After all these conventions also make sense for s(CASP).
Enjoy --- Jan
edit Updated public SWISH with latest version and updated templates.
That has completely solved the problem for singleton and discontiguous, thank you. Is there an equivalent option for “scasp_predicate … does not exist”?
Thanks for posting all your work. I’m modeling the Rome Statute’s sections on criminal liability for genocide, crimes against humanity, etc. s(CASP) looks extremely useful for educating the user and increasing confidence in the results.
