En stor del av den senaste forskningen har undersökt förvärv och tillämpning av tillämpad inferenskunskap. Sådan kunskap kan vanligtvis fångas upp som villkorsregler, tillämpas över syntaktiska representationer. En effektiv slutledning med sådan kunskap blir då ett grundläggande problem. Med utgångspunkt från en formalism för implementation-regel tillämpning presenterar vi en ny packad data-struktur och en motsvarande algoritm för dess skalbara genomförande. Vi bevisade den nya algoritmens giltighet och fastställde dess effektivitet analytiskt och empiriskt.
REF presenterar en effektiv metod för att dra slutsatser med sådan kunskap.
A Compact Forest for Scalable Inference over Entailment and Paraphrase Rules
{'venue': 'EMNLP', 'journal': None, 'mag_field_of_study': ['Computer Science']}