Benjamin Grosof 
speaks at the Decision CAMP 2013 conference on decision management, on “Robust Decision Making using Rich Logic and English”, Nov. 4-5, San Jose, CA (see abstract below).
Robust Decision Making using
Rich Logic and English
by Benjamin Grosof, Coherent Knowledge Systems
We present a new system that makes decisions based on policies, rules, and regulations including those that are complex and shifting. We present two case studies in:
- Regulatory compliance in financial services.
- Biomedical.
These utilize our new methods for:
- Reasoning using a fully semantic RuleML/W3C draft standard, Rulelog, that extends the logic of databases to include ontologies, defeasible higher-order logic formulas, provenance, and bounded rationality. Defeasibility handles the logical exceptions and inconsistency conflicts that are almost always encountered.
- Logic-based natural language understanding and generation. Called Textual Logic, it fully explains decisions in remarkably natural English. It also rapidly and precisely translates ordinary English into Rulelog axioms and ontologies.
The approach uses software from Coherent for reasoning, explanation, and natural language generation, together with software from Automata for natural language understanding, on top of lower-level open source software components.