Tools, Demos and Datasets
From Inference Web
(Redirected from Tools)
Contents |
Tools
Online Tools
- IW browser: a Web-based tool for viewing and browsing PML documents that encode justification traces and provenance information
- example1: Tony's Specialty
- example2: UIMALogic's Mississippi Automated System
- example3: Ramazi-has-office
- PML validator: a Web-based tool for validating PML documents.
- IW search: a Web-based PML document search engine.
- IW registrar: a Web-based tool for publishing PML provenance elements.
Offline Tools
Demos
- TPTP-IW
- Combine and Improve TPTP Proofs -- a demo showing how TPTP proofs (converted in PML) can be combined and improve existing proofs
- TrustTab in Wikipedia: demonstrating trust computation models and PML based trust representation.
- Wine Agent: demonstrating machine interface to a knowledge base ("KB") using a web-based ontological mark-up language.
- Explanation Visualization for KANI: demonstrating user interface for tracking knowledge provenance encoded in PML.
- CALO
- Monitoring and Managing Tasks (year 2): overview of CALO task management in year 2; mentions the role of explanation
- Managing Tasks in CALO (year 3): overview of the CALO year 3 task system, including explaining task execution
- Explaining Cognitive Assistants that Learn (year3): detailed example of one application of Inference Web in CALO
- ICEE: The Integrated Cognitive Explanation Environment: step-by-step annotated demonstration of ICEE in CALO.
