Applying automated deduction to natural language understanding

  title={Applying automated deduction to natural language understanding},
  author={Johan Bos},
  journal={J. Applied Logic},
Very few natural language understanding applications employ methods from automated deduction. This is mainly because (i) a high level of interdisciplinary knowledge is required, (ii) there is a huge gap between formal semantic theory and practical implementation, and (iii) statistical rather than symbolic approaches dominate the current trends in natural language processing. Moreover, abduction rather than deduction is generally viewed as a promising way to apply reasoning in natural language… CONTINUE READING
Highly Cited
This paper has 34 citations. REVIEW CITATIONS


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 38 references


C. Weidenbach, B. Afshordel, +4 authors C. Theobalt
Topic, System description: Spass version 1.0.0, in: H. Ganzinger (Ed.), 16th International Conference on Automated Deduction, CADE-16, in: Lecture Notes in Artificial Intelligence, vol. 1632, Springer-Verlag, Berlin • 1999
View 7 Excerpts
Highly Influenced

Automatic Proofs and Counterexamples for Some Ortholattice Identities

Inf. Process. Lett. • 1998
View 11 Excerpts
Highly Influenced

Presupposition Projection as Anaphora Resolution

J. Semantics • 1992
View 14 Excerpts
Highly Influenced

The design and implementation of VAMPIRE

View 4 Excerpts
Highly Influenced

An Electronic Lexical Database

C. Fellbaum Ed, WordNet
View 3 Excerpts
Highly Influenced

Introduction to artificial intelligence

Addison-Wesley series in computer science • 1985
View 4 Excerpts
Highly Influenced

DORIS 2001: Underspecification

J. Bos
resolution and inference for discourse representation structures, in: P. Blackburn, M. Kohlhase, (Eds.), ICoS-3, Inference in Computational Semantics, 2001, pp. 117–124. 8 In fact, one of the first versions of the MACE model builder supported sorted languages, but this feature seems not to be suppor • 2009
View 2 Excerpts

Formal and computational semantics: A case study

S. Pulman
in: Proceedings of Seventh International Workshop on Computational Semantics IWCS-7 • 2007
View 1 Excerpt