Difference between revisions of "Vulcan"
(→Documents) |
(→Project Log) |
||
(29 intermediate revisions by the same user not shown) | |||
Line 4: | Line 4: | ||
1. [[MeetingNotes| Meeting Notes]]<br/> | 1. [[MeetingNotes| Meeting Notes]]<br/> | ||
− | 2. [[SystemStatus | System | + | 2. System Development |
+ | * [[SystemStatus | Status]]<br/> | ||
+ | * [[Vulcan/SystemTarget | Plan]]<br/> | ||
+ | * [[Vulcan/SystemPrototype | Prototype]] <br/> | ||
+ | * [[Vulcan/PrototypeToWorking| Prototype to a Working System]] <br/> | ||
3. [[Vulcan/Experiments| Experiments]]<br/> | 3. [[Vulcan/Experiments| Experiments]]<br/> | ||
+ | |||
+ | 4. [[Vulcan/ProjectPlan|Project Planning]] | ||
== Documents == | == Documents == | ||
Line 13: | Line 19: | ||
<ul> | <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/aug09/stepsinvolved.docx Inference steps for 10 propositions.]</li> | ||
− | <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> | <li>[http://homes.cs.washington.edu/~niranjan/vulcan/InferenceExamples-Stephen.docx Stephen's examples for quantification inference, and rule templates]</li> | ||
+ | <li>[[Vulcan/OpenIECoverage|Examples of Open IE coverage issues]]</li> | ||
+ | <li>[[Vulcan/XWordNet| Extended WordNet Overview and example]] from Stephen.</li> | ||
</ul> | </ul> | ||
=== Design Documents === | === Design Documents === | ||
− | [http://homes.cs.washington.edu/~niranjan/vulcan/system-design.pdf | + | * [http://homes.cs.washington.edu/~niranjan/vulcan/system-design.pdf Inference System Design] |
+ | |||
+ | * [[TextualMatching | Rule representation]] | ||
+ | |||
+ | * [[RuleTransformation | Transforming Rules into Tuffy's MLN syntax]] | ||
+ | |||
+ | * [[WeakEvidenceFinder| Textual Evidence Finder]] | ||
+ | |||
+ | * [[DefinitionsExtractor | Patterns for extracting definitions]] from Stephen. | ||
+ | |||
+ | * [[Vulcan/TupleRepresentation | Representing N-ary and Nested Tuples]] -- Email thread. | ||
− | [[ | + | * [[Vulcan/HandlingGaps| Handling gaps in inference.]] |
== Resources == | == Resources == | ||
Line 43: | Line 61: | ||
[http://homes.cs.washington.edu/~niranjan/vulcan/barrons/Barrons-Grade-4-Science-sentences.tsv Barrons Grade 4 Science Sentences] | [http://homes.cs.washington.edu/~niranjan/vulcan/barrons/Barrons-Grade-4-Science-sentences.tsv Barrons Grade 4 Science Sentences] | ||
+ | <!-- Retiring this section. No longer useful. | ||
=== Software === | === Software === | ||
+ | |||
[[Vulcan/inference_systems|Triplestores and Graph Inference Systems]] | [[Vulcan/inference_systems|Triplestores and Graph Inference Systems]] | ||
Line 51: | Line 71: | ||
[http://www2009.org/proceedings/pdf/p601.pdf OpenRuleBench: An Analysis of the Performance of Rule Engines] | [http://www2009.org/proceedings/pdf/p601.pdf OpenRuleBench: An Analysis of the Performance of Rule Engines] | ||
+ | --> | ||
== Demos and Services== | == Demos and Services== | ||
Line 57: | Line 78: | ||
<!-- : [http://trusty.cs.washington.edu:9099/facts/xml Verifying Propositions] -- This interface takes a natural language sentence as input and finds support for the tuples extracted from the sentence. e.g., [http://trusty.cs.washington.edu:9099/facts/xml?sentence=Antibiotics+killed+bacteria.&login=submit Antibiotics kill bacteria.] --> | <!-- : [http://trusty.cs.washington.edu:9099/facts/xml Verifying Propositions] -- This interface takes a natural language sentence as input and finds support for the tuples extracted from the sentence. e.g., [http://trusty.cs.washington.edu:9099/facts/xml?sentence=Antibiotics+killed+bacteria.&login=submit Antibiotics kill bacteria.] --> | ||
:<b>Proposition Verifier</b> -- 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. | :<b>Proposition Verifier</b> -- 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. | ||
+ | |||
+ | :<b>[http://rv-n16.cs.washington.edu:9191 Textual Evidence Finder]</b> -- Find tuples from study guide and definition sentences. | ||
+ | |||
+ | :<b>[http://rv-n16.cs.washington.edu:15555/solr/#/vulcan/query Solr instance behind Textual Evidence Finder]</b> | ||
+ | |||
+ | :<b>Open IE 4.0</b> -- Process input sentence using Open IE 4.0 (similar to Michael's nlpweb) [To Do] | ||
+ | |||
+ | :<b>Compound Noun Categorizer</b> -- Process text using fanse parser. [To Do] | ||
; Vulcan | ; Vulcan | ||
Line 74: | Line 103: | ||
2. [http://hazy.cs.wisc.edu/hazy/papers/tuffy-vldb11.pdf Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS] VLDB 2011. [http://hazy.cs.wisc.edu/hazy/papers/tuffy-vldb2011-slides.pdf Slides] | 2. [http://hazy.cs.wisc.edu/hazy/papers/tuffy-vldb11.pdf Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS] VLDB 2011. [http://hazy.cs.wisc.edu/hazy/papers/tuffy-vldb2011-slides.pdf Slides] | ||
+ | |||
+ | 3. [http://arxiv.org/abs/1304.4379 RockIt: Exploiting Parallelism and Symmetry for MAP Inference in Statistical Relational Models] AAAI 2013. |
Latest revision as of 06:45, 18 September 2013
This page has pointers to documents, resources, and demos.
Contents
Project Log
1. Meeting Notes
2. System Development
3. Experiments
Documents
Examples
- Inference steps for 10 propositions.
- Iron nail example in detail.
- Stephen's examples for quantification inference, and rule templates
- Examples of Open IE coverage issues
- Extended WordNet Overview and example from Stephen.
Design Documents
- Patterns for extracting definitions from Stephen.
- Representing N-ary and Nested Tuples -- Email thread.
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
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.
- Textual Evidence Finder -- Find tuples from study guide and definition sentences.
- Open IE 4.0 -- Process input sentence using Open IE 4.0 (similar to Michael's nlpweb) [To Do]
- Compound Noun Categorizer -- Process text using fanse parser. [To Do]
- 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
3. RockIt: Exploiting Parallelism and Symmetry for MAP Inference in Statistical Relational Models AAAI 2013.