Presentations and Publications
Application: Finance including Financial Risk Management
Application: Intelligence, Defense, and Security
Application: Decision Management
Application: Health Care
“New Wave KRR: Rulelog-based Deep Reasoning with NLP for Financial Regulatory Compliance and More” (30-minute presentation) by Benjamin Grosof. Keynote presented at the International Joint Conference on AI (IJCAI-16) Industry Day, New York, NY, July 15, 2016. (Audience of several hundred.)“Advanced Decision Analytics via Decision Analysis on Diverse Data: For Health Care and More” (30-minute presentation) by Benjamin Grosof and Janine Bloomfield, presented at DecisionCAMP 2016, July 8, 2016, Stony Brook, NY. Video of the presentation is to the right including a demo of Ergo in the health care domain beginning at 10:40.
“The Power of Deep Reasoning with Large Graph Data” (45-minute presentation) by Benjamin Grosof and Janine Bloomfield, presented at Smart Data Conference 2015, August 18-20, San Jose, CA.
“Explanation-based E-Learning for Business Decision Making and Education” by Benjamin Grosof and Janine Bloomfield. Presented at DecisionCAMP 2014, October 14, 2014, San Jose California.
“Bringing Coherence to Cognition: Flexible Semantics, Deep Reasoning, and Explanations” (5 minute, ‘lightning talk’) by Benjamin Grosof and Janine Bloomfield. Presented at the Cognitive Computing Forum, August 20, 2014, and at the Semantic Technology & Business Conference 2014, August 19, 2014, both in San Jose, California.
“Rulelog: What the New Advances in Logic-Based AI Can Do for Data Science” by Benjamin Grosof. Presented at Seattle Data Science meetup, February 24, 2016, Seattle, Washington.
Note: Ergo Suite was formerly named Episto; some presentations and publications on this page still refer to Episto.
Audience Specific Presentations
Finance including Financial Risk Management
Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog by Benjamin Grosof, Janine Bloomfield, Paul Fodor, Michael Kifer, Isaac Grosof, Miguel Calejo, and Theresa Swift. Presented (slides for 15 minute talk) at the 9th International Web Rule Symposium (RuleML-2015), August 5, 2015, Berlin, Germany.
Detailed Explanations in English of Rich Reasoning, for E-Learning and Compliance (30 minute presentation) by Benjamin Grosof and Janine Bloomfield. Presented at the Semantic Technology & Business Conference 2014, August 21, 2014, San Jose, California.
“Thoughts on Rules for the FIBO Effort” (30-min. kickoff + outbrief presentation for Rules Area). By Benjamin Grosof. FIBO (Financial Industry Business Ontology) Summit, at Semantic Technology & Business Conference (SemTechBiz SF), San Francisco, CA, June 4, 2013.
- Brief overview (5-slides) of rules for financial risk management
- Supplemental example of representing financial regulatory rules in Rulelog – Regulation W: Definitional rules about what are affiliate companies of a bank.
- Additional examples on contracts and financial reporting in Rulelog
- Outbrief Summary of Rules Area (1-slide). By Benjamin Grosof (facilitator), Elie Abi-Lahoud (scribe), David Newman (Summit co-chair), and Dennis Wisnosky Summit co-chair). June 5, 2013.
About the FIBO (Financial Business Industry Ontology) Summit:
- FIBO Technology Summit Final Report by Michael Atkin, Enterprise Data Management Council, Dennis E. Wisnosky, Wizdom Systems, Inc., and David Newman, Wells Fargo
- FIBO Technology Summit At SemTechBiz: Financial Industry And Sem Tech Leaders Discuss Ontology Evaluation Tools, FLORA-2′s Potential, And More by Jennifer Zaino from The Semantic Web Blog at semanticweb.com (one-page summary with emphasis on relevance, implications, and future directions)
- More on the FIBO Summit and other FIBO related news from The Semantic Web Blog at semanticweb.com
Intelligence, Defense, and Security
“Highly Expressive yet Scalable Knowledge for Intelligence, Defense, and Security” by Benjamin Grosof. Keynote presentation at STIDS 2013 conference (Semantic Technology for Intelligence, Defense, and Security), Fairfax, VA, November 13, 2013.
“Making Very Expressive Rules Practical in Logic and Text” by Benjamin Grosof. Invited talk at the Decision CAMP 2013 conference on decision management, November 5, 2013, San Jose, CA.
“Advanced Decision Analytics via Deep Reasoning on Diverse Data: For Health Care and More” by Benjamin Grosof and Janine Bloomfield. (slides for 35-min. presentation). Presented at DecisionCAMP 2016, July 8, 2016.
“Rulelog as Theoretical Foundation for Universal Health Exchange Language.” By Benjamin Grosof. (slides for 20-min. presentation). Universal Health Exchange Language Workshop, Encinitas, CA, June 25, 2013.
Probabilistic Reasoning (key for integrating machine learning)
Probabilistic reasoning is critical for integrating knowledge from machine learning with other knowledge. The following papers, co-authored by Teri Swift of the Coherent team, treat some of the key technical aspects of Coherent’s approach to probabilistic reasoning. These papers were written for a research audience.
Probabilistic Logic Programming Under the Distribution Semantics by Fabrizio Riguzzi and Terrance Swift (preliminary version). (2014). To appear in a book of collected papers that is a Festschrift in honor of David S. Warren, based on the 2012 symposium “Declarative Logic Programming: Theory, Systems, and Applications”, ed. Michael Kifer and Annie Liu. Surveys and integrates work on techniques for combining deep probabilistic reasoning with declarative logic programs, and thus with Rulelog.
Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics by Fabrizio Riguzzi and Terrance Swift. Theory and Practice of Logic Programming 13(2): 279-302 (2013). Preliminary Version appeared in Italian Conference on Computational Logic (2010).
The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty by Fabrizio Riguzzi and Terrance Swift Theory and Practice of Logic Programming 11(4-5). pp. 433-449. (2011) and presented at International Conference on Logic Programming.
Note: Theresa (Teri) Swift was formerly known as Terrance (Terry) Swift.
“The Power of Deep Reasoning with Large Graph Data” (45-minute presentation) by Benjamin Grosof and Janine Bloomfield, presented at Smart Data Conference 2015, August 18-20, 2015, San Jose, CA.
“The Power of Deep Reasoning with Large Graph Data – with bonus technology drill downs” by Benjamin Grosof and Janine Bloomfield, presented at Seattle Semantic Technology and Smart Data Meetup, October 28, 2015.
“Acquiring Rich Knowledge from Text” (45-minute presentation) by Benjamin Grosof and Paul Haley, from the Semantic Technology & Business Conference (SemTechBiz SF), June 3, 2013. Accompanying that presentation is a mini-demo video of authoring Rulelog-type logical knowledge from an English sentence using Automata Inc.’s Linguist™ software. Overall, the presentation includes a case study as well as some medium-level technical details about a research prototype of our core technology.
- “Hilog, Defeasibility, and the Foundations of Practical Meta-Knowledge: A Brief Introduction” by Benjamin Grosof. Ontolog Forum, October 31, 2013. Recorded and Archived.
- “Survey of Knowledge Representations for Rules and Ontologies” by Benjamin Grosof. Ontolog Forum, October 24, 2013. Recorded and Archived.
- “Rulelog: Highly Expressive yet Scalable Logic enabling Cost-Efficient Ontologies” by Benjamin Grosof and Paul Haley. (slides for 90-min. talk via webconference). Ontolog Forum, June 20, 2013. Recorded and archived. Supplementary mini-demo video (2-min.) of authoring logical knowledge from an English sentence, using Automata Inc.’s Linguist ™ software.
- RIF-Rulelog specification, version of of May 24, 2013, Michael Kifer, ed. RIF-Rulelog is a powerful dialect of W3C Rule Interchange Format (RIF) that is in draft as a submission from RuleML to W3C.
Several industry standards in the areas are based heavily on our team’s contributions to the authoring/editing of the specifications and conducting the underlying research and earlier-phase standards design. These include most notably the two most important industry standards on rules knowledge:
- W3C Rule Interchange Format (RIF), which is primarily based on the RuleML standards design (semantic web rules)
- W3C OWL 2 RL Profile (rule-based web ontologies)
Key research papers and presentations about Coherent’s technology:
- Benjamin Grosof, Michael Kifer, and Paul Fodor. “Rulelog: Deep KRR for Cognitive Computing”. Conference Tutorial (half-day) presented at the 31st AAAI Conference on Artificial Intelligence (AAAI-17) in San Francisco, CA, USA, February 4, 2017. Tutorial Syllabus (includes abstract and speaker bios). Tutorial Slides.
- Benjamin Grosof, “High-Power Logical Representation via Rulelog for Neuro-Symbolic”. Presentation (30 min.) at the 11th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy’16), New York, NY, July 16-17, 2016. Short paper (position paper extended abstract) is in the Proceedings. Note: The presentation includes additional content not found in the paper.
- Benjamin Grosof, Michael Kifer, and Paul Fodor. “Rulelog: Rule-based Knowledge Representation and Reasoning”. Tutorial Slides (half-day). Conference Tutorial presented at the 25th International Joint Conference on Artificial Intelligence (IJCAI-16) in New York City, July, 2016.
- Kifer, Michael, Theresa Swift and Benjamin Grosof. “Practical Knowledge Representation and Reasoning in Ergo”: Abstract and Tutorial Slides (90 minute talk). Conference Tutorial at the 10th International Web Rule Symposium (RuleML-2016). This talk largely focuses on features for advanced debugging of knowledge and other new features recently completed. Example Ergo files (zip file) referred to in the tutorial.
- Benjamin Grosof, Michael Kifer, and Paul Fodor. “Powerful Practical Semantic Rules in Rulelog: Fundamentals and Recent Progress”: extended abstract (3 pages) and slides for 1.5 hour tutorial. 9th International Web Rule Symposium (RuleML-2015), Berlin, Germany, August 5, 2015.
- Benjamin Grosof. “On Representing Activity Context via Semantic Rule Methods”. Invited Keynote Presentation. AAAI-13 Workshop on Activity Context-aware Architectures, Seattle, Washington, July 14, 2013.
- Benjamin Grosof. “Rapid Text-based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog (paper)”. (Slides for 60-min. Invited Talk). 7th International Web Rule Symposium (RuleML-2013), Seattle, Washington, July 12, 2013. Accompanying that presentation is a mini-demo video of authoring logical knowledge from an English sentence using Automata Inc.’s Linguisttm software.
- Benjamin Grosof, Michael Kifer, and Mike Dean. “Semantic Web Rules: Fundamentals, Applications, and Standards” (abstract). Conference Tutorial (Slides for 4-hour tutorial), 27th AAAI Conference on Artificial Intelligence (AAAI-13), Bellevue, Washington, July 15, 2013.
- Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin Grosof, Michael Kifer, Senlin Liang and Terrance Swift (NB: order of authorship is alphabetic). “Advanced Knowledge Base Debugging for Rulelog (paper)”. (Slides for 15-minute talk). 7th International Rule Challenge, part of 7th International Web Rule Symposium (RuleML-2013), Seattle, Washington, July 11, 2013. Best demo award (i.e., winner of the Rule Challenge).
- Benjamin Grosof and Terrance Swift. “Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs”. (Slides for 15-minute talk). 27th Conference on Artificial Intelligence (AAAI-13), Bellevue, Washington, July 17, 2013.
- Hui Wan, Benjamin Grosof, Michael Kifer, Paul Fodor, and Senlin Liang, “Logic Programming with Defaults and Argumentation Theories” (slides for 25-min. talk), 25th International Conference on Logic Programming (ICLP-2009), Pasadena, California, July 2009.
Research open-source software:
- Flora-2 is an open-source semantic rule system that implements reasoning in a subset of the logic Rulelog. Coherent’s Ergo Suite platform product much extends, and matures, the functionality of Flora-2. Coherent contributes to maintaining Flora-2, in order to help researchers.
Our team has published dozens of other research papers and presentations in the area of our core technology and its applications. Many of these are available via the project website of the SILK research effort which prototyped the logical portion of our core technology. For more, see the team members’ individual websites.