Báo cáo khoa học: "Semantic construction in Feature-Based TAG" ppt

... emu- lating beta reduction using term unification l . Ins- tead of applying a function to its argument and re- ducing the resulting lambda term using beta reduc- tion, functors are represented using ... property) and returning a pro- position. Using a flat semantics, this intuition can be captured by having adjectives binding both an individual and a label variable. Thus in Fig. 4, the adje...

Ngày tải lên: 08/03/2014, 21:20

... modify a definition. In each case, the same methods are available for making definitions, and are independent of the modifier type being defined. When creating or modifying a meaning, users ... TEL1 to begin learning about a new domain, the system spends from five to thirty minutes, depending on the complexity of the application, obtaining basic information about each table in the...

Ngày tải lên: 17/03/2014, 20:20

... amalgamating or splitting axioms while leaving overall content unchanged (thus ensuring that exactly the same inferences are drawn by a reasoning engine); such rules are often used in reasoning algorithms. ... For instance, any set of SubClassOf axioms can be amalgamated into a single ‘metaconstraint’ (Horrocks, 1997) of the form   M, where  is the class containing all individuals in t...

Ngày tải lên: 20/02/2014, 04:20

... community in the language-oriented fields has very little knowledge about using a computer to write interesting programs to gain a deeper understanding of the problems in their domain 2) ... their view of the computer being a giant adding machine with the more adequate view of being s general information processing device. We challenged their views thinking about the compute...

Ngày tải lên: 08/03/2014, 18:20

... men- tions being coreferent when making a final as- signment. This is exactly the kind of con- straint that integer linear programming (ILP) is ideal for, but, surprisingly, previous work applying ILP ... at training time we created data for all mention pairs. 2.2 Integer Linear Programming to Enforce Transitivity Because of the ad-hoc manner in which transitiv- ity is enforced in our base...

Ngày tải lên: 23/03/2014, 17:20

... rule to fail, or a new binding list to be used in the instantiation phase. This feature allows representation of functional constraints. • An optional final flag, indicating that the output from ... language interfaces by "echoing," or including additional information such as paraphrases in the generated text to confirm that the computer has chosen the correct meaning of...

Ngày tải lên: 24/03/2014, 01:21

... that contain some lexicographically useful information about that lexeme or feature. In contradistinction to all the ex- isting bibliographic catalogs, our BBD contains bibli- ographic information ... all in all several dozen features. Programs now existing g{ve the following options: marking the vocabulary by a feature presented as a list of words; compiling lists of words po...

Ngày tải lên: 24/03/2014, 05:21

... both glucagon and insulin in pancreatic islets. Insulin secretion is stimulated by AMPA, KA and NMDA in MIN6 cells derived from insulin-secreting pancreatic b cells [58], and also induced by both ... subtype GLAST 543 Brain, retina, testis, bone GLT-1 576 Brain, retina, liver EAAC1 524 Brain, intestine, kidney, retina, liver, heart EAAT4 564 Brain, placenta EAAT5 560 Retina, liver Vesicul...

Ngày tải lên: 30/03/2014, 13:20

... information to be used both in interpretation and in generation. Our current and anticipated research in- cludes: refining and implementing our algorithms (including developing an inference mechanism ... both in interpretation and generation. 1 Introduction In this paper we present algorithms for the interpretation and generation of a certain kind of conversational implicatur...

Ngày tải lên: 31/03/2014, 06:20

... domination links. Two nodes standing in this domination rela- tion could become the same, but they are necessarily distinct if adjoining takes place. Adjoining separates them by introducing ... obeying certain constraints, into TAGs. However, we are not only interested in mapping one formalism into another, but also in ex- ploring the relationship between concepts employed in t...

Ngày tải lên: 17/03/2014, 09:20