On the automated translation of a scientific abstract by M. Sergot et al. into logical representations

Gregers Koch (Copenhagen University)

Here we shall discuss the automated construction of a translation
mechanism capable of translating from any given textual input into
some preferred logical notation. By constructing a syntax tree for
the input text, we can augment it with semantic features through a
dataflow analysis, in such a way that the parser in the shape of a
definite clause grammar or Prolog program may be extracted
immediately. Over the years, our methods building on those
principles, have been developed so that they seem now to be ripe for
manipulating normal complicated texts meant for human

Here we consider scientific abstracts to be very interesting. In what follows we shall discuss the analysis of a particular scientific abstract, namely that from an article by M. Sergot et al. [*]. The text simply reads "The formalization of legislation and the development of computer systems to assist with legal problem solving provide a rich domain for developing and testing artificial-intelligence technology".

Comparing with some important alternative approaches like Kamp et al., Schank et al., Kawaguchi et al., leads to a tentative conclusion that our approach seems unique in its capability of handling the design of representation and in its partial solutions to problems of manual programming and automated program synthesis.

[*] M. Sergot et al., Communications of the ACM, vol. 29 no. 5 pp. 370-386.