Difference between revisions of "Vulcan"
(→Documents) |
(→Documents) |
||
Line 9: | Line 9: | ||
== Documents == | == Documents == | ||
− | + | ===Examples=== | |
− | + | <ul> | |
+ | <li>[http://homes.cs.washington.edu/~niranjan/vulcan/aug09/stepsinvolved.docx Inference steps for 10 propositions.]</li> | ||
+ | <li> [[http://homes.cs.washington.edu/~niranjan/vulcan/inference-example.pdf Iron nail example in detail.]]</li> | ||
+ | <li>[http://homes.cs.washington.edu/~niranjan/vulcan/InferenceExamples-Stephen.docx Stephen's examples for quantification inference, and rule templates]</li> | ||
+ | </ul> | ||
− | + | === Design Documents === | |
+ | [http://homes.cs.washington.edu/~niranjan/vulcan/system-design.pdf Overall System Design] | ||
− | + | [[TextualMatching | Types of textual matching to be done during inference.]] | |
== Resources == | == Resources == |
Revision as of 16:45, 19 August 2013
This page has pointers to documents, resources, and demos.
Contents
Project Log
1. Meeting Notes
2. System development status
3. Experiments
Documents
Examples
- Inference steps for 10 propositions.
- [Iron nail example in detail.]
- Stephen's examples for quantification inference, and rule templates
Design Documents
Types of textual matching to be done during inference.
Resources
Questions
NY Regents Sample of 4th-12th grade questions.
Definitions
Concept and Definitions extracted from 4th grade specific resources by Harcourt and McMillan.
A subset of definitions covering 4th grade science syllabus. The definitions are extracted from about seven different dictionaries.
Wikipedia sentences covering the target concepts.
Study Guide materials
Barrons Grade 4 Science Topics
Barrons Grade 4 Science Sentences
Software
Triplestores and Graph Inference Systems
A comparison of semantic reasoners
OpenRuleBench: An Analysis of the Performance of Rule Engines
Demos and Services
- UW
- Proposition Verifier -- This interface will take in a natural language sentence as input, convert it into a proposition, and find evidence for it using UW's inference system.
- Vulcan
- Vulcan Evaluation Server -- Select the **SECOND** entry (Direct Question-Answering (XML returned)) and type in a question. If the UW question-answerer can return answers in the same structure, then the tester can interface with it and run the exams through.
Literature
Quantification
Aurelie Herbelot, Thesis.
BLP and MLNs
1. Learning to Read Between the Lines using Bayesian Logic Programs Raghavan and Mooney, ACL 2012.
2. Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS VLDB 2011. Slides