Annotated logic

Xem 1-6 trên 6 kết quả Annotated logic
  • We consider the problem of learning context-dependent mappings from sentences to logical form. The training examples are sequences of sentences annotated with lambda-calculus meaning representations. We develop an algorithm that maintains explicit, lambda-calculus representations of salient discourse entities and uses a context-dependent analysis pipeline to recover logical forms. The method uses a hidden-variable variant of the perception algorithm to learn a linear model used to select the best analysis.

    pdf9p hongphan_1 14-04-2013 14 4   Download

  • Intelligent systems, known as expert systems, serve to this purpose in the extent that they have signed as facilitators in this process. These are systems that are based on expert knowledge, on any subject, in order to emulate human expertise in the specific field. To obtain this knowledge, the knowledge engineers, also called software engineers, need to develop methodologies for intelligent systems. In this area there is still no unified methodology that provides effective methods, notations and tools to aid in development....

    pdf128p crius75 02-01-2013 22 9   Download

  • We propose a novel approach to constraint-based type inference based on coinductive logic. Constraint generation corresponds to translation into a conjunction of Horn clauses P, and constraint satisfaction is defined in terms of the coinductive Herbrand model of P. We illustrate the approach by formally defining this translation for a small object-oriented language similar to Featherweight Java, where type annotations in field and method declarations can be omitted.

    pdf330p hotmoingay 03-01-2013 19 2   Download

  • One goal of natural language generation is to produce coherent text that presents information in a logical order. In this paper, we show that topological fields, which model high-level clausal structure, are an important component of local coherence in German. First, we show in a sentence ordering experiment that topological field information improves the entity grid model of Barzilay and Lapata (2008) more than grammatical role and simple clausal order information do, particularly when manual annotations of this information are not available. ...

    pdf10p hongdo_1 12-04-2013 14 2   Download

  • Compositional question answering begins by mapping questions to logical forms, but training a semantic parser to perform this mapping typically requires the costly annotation of the target logical forms. In this paper, we learn to map questions to answers via latent logical forms, which are induced automatically from question-answer pairs. In tackling this challenging learning problem, we introduce a new semantic representation which highlights a parallel between dependency syntax and efficient evaluation of logical forms. ...

    pdf10p hongdo_1 12-04-2013 26 2   Download

  • Previous work on quantifier scope annotation focuses on scoping sentences with only two quantified noun phrases (NPs), where the quantifiers are restricted to a predefined list. It also ignores negation, modal/logical operators, and other sentential adverbials. We present a comprehensive scope annotation scheme. We annotate the scope interaction between all scopal terms in the sentence from quantifiers to scopal adverbials, without putting any restriction on the number of scopal terms in a sentence. ...

    pdf6p hongdo_1 12-04-2013 26 2   Download


Đồng bộ tài khoản