Type-checking in formally non-typed systemsguage understanding: question answering and textual ‘entailment’
Details
Event
2008-06-20
Speakers
Tracy Holloway King
Event
Type-checking in formally non-typed systemsguage understanding: question answering and textual ‘entailment’
Type checking defines and constrains system output and intermediate representations. We report on the advantages of introducing multiple levels of type checking in deep parsing systems, even with untyped formalisms.
Additional information
Focus Areas
Our work is centered around a series of Focus Areas that we believe are the future of science and technology.
Licensing & Commercialization Opportunities
We’re continually developing new technologies, many of which are available for Commercialization.
News
Our scientists and staffers are active members and contributors to the science and technology communities.