Transformational semantics on a tree bank

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)


Recently introduced Transformational Semantics (TS) formalizes, restraints and makes rigorous the transformational approach epitomized by QR and Transformational Grammars: deriving a meaning (in the form of a logical formula or a logical form) by a series of transformations from a suitably abstract (tecto-) form of a sentence. Unlike QR, each transformation in TS is rigorously and precisely defined, typed, and deterministic. The restraints of TS and the sparsity of the choice points (in the order of applying the deterministic transformation steps) help derive negative predictions and control over-generation. The rigorous nature of TS makes it easier to carry analyses mechanically, by a computer. We report on such a mechanical, fully automatic application of TS to a tree bank of FraCAS text entailment problems (generalized quantifier section). Set-theoretic logical formulas derived by TS as meanings for input sentences are submitted to an automatic first-order theorem prover to decide entailment. A characteristic feature of our approach is the exhaustive enumeration of quantifier and other such ambiguities. Overall TS proved just as capable as natural logic in inferences involving a variety of generalized quantifiers. Still open is the problem of mechanically dealing with bare plurals.

Original languageEnglish
Title of host publicationNew Frontiers in Artificial Intelligence - JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Revised Selected Papers
EditorsKoji Mineshima, Kazuhiro Kojima, Ken Satoh, Sachiyo Arai, Daisuke Bekki, Yuiko Ohta
PublisherSpringer Verlag
Number of pages12
ISBN (Print)9783319937939
Publication statusPublished - 2018
Event9th JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2017 - Tsukuba, Japan
Duration: 2017 Nov 132017 Nov 15

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10838 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other9th JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2017

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Transformational semantics on a tree bank'. Together they form a unique fingerprint.

Cite this