After a long absence (Vietnam/ Christmas/ catching up)….
Working on logical syntax. Current idea is to use A -> (B ->(C -> D)) (a la Tony’s FOL syntax: Presentation of arguments and counterarguments for tentative scientific knowledge) but to extend it to allow people to argue about desirable course of action.
Over the last 3 months, I wrote a (very basic) ontology/ arg. structure, then sort-of worked. Useful for pining down some issues, though. Have been round, and round, and round in circles about trying to decide on a suitable rules engine. Have looked at Prolog + Ontologies (none worked, including Swoop + Rules), other rules engines (Drools, Bossam, Jena), SWRL Reasoners (Hoolet, Sweetrules). Finally realised that I’m going to have to write on myself….. help!
The big problem is that rules + argumentation is ok (e.g. Prolog, or Gerard Vreeswijk) and ontology and rules is ok (e.g. Jena) but all three is a big no-no….