[PDF] Top 20 A Logical Semantics for Feature Structures

... this grammar contains a large number several hundred of disjunctions, it has been necessary to extend the unification procedure so that it handles disjunctive values containing non-local[r] ... See full document

... 1986 "A logical semantics for feature structures." In Proceedings, 24th Annual Meeting of the Association for Computational Linguistics.. Dowty, Lauri Karttunen, and Arnold M.[r] ... See full document

... representation structures and a class of more abstract annotation ...distinguishing feature of the proposed methodology is that the semantics is defined for the structures of the abstract ... See full document

... cases, the models are implemented as described in §2, but since the items being compared are single terms rather than full tree structures, the composi- tion layer is not used, and the two models are not ... See full document

... formal semantics away from intuitions towards empirical data, resulting an identity crisis for the ...formal semantics should concretely determine its own identity by choosing between one of its two ... See full document

... Syntactic Parsing. We recase the resolved entity mentions and run a case-sensitive second-order con- ditional random field part-of-speech tagger (Laf- ferty et al., 2001). The hypergraph parser of Zhang and McDonald ... See full document

... The result of the tactical generator is a feature structure or a set of such structures in the case of multiple paraphrases containing among others the input logical form, the computed s[r] ... See full document

... munities; while it is generally assumed among for- mal semanticists that adequate semantic represen- tations for natural language demand higher-order logic or type theory (Carpenter, 1997), the domi- nant view in ... See full document

... of logical in- ference on DCS through the RTE ...semantic structures (Haghighi et ...and logical representations (Bos and Mark- ert, 2005; Raina et ... See full document

... In the present work, a framework in three-valued logic is suggested for defining the semantics of a feature structure description language, allowing for a more complete set of logical op[r] ... See full document

... Interest in grammatical words in general, and negation in particular, has recently risen thanks to the development of compositional DS models (Mitchell and Lapata 2010; Baroni 2013). A shared assumption within this ... See full document

... latter feature along with the availability of power- ful type structures make MTTs very useful for for- mal ...NL semantics has been proposed with exciting results as regards various issues of NL ... See full document

... THE NONDIRECTIONAL REPRESENTATION OF SYSTEMIC FUNCTIONAL GRAMMARS AND SEMANTICS AS TYPED FEATURE STRUCTURES T H E N O N D I R E C T I O N A L R E P R E S E N T A T I O N O F S Y S T E M I C F U N C T[.] ... See full document

... In what follows, I explore the state-­‐based approach in two different ways, proposing richer languages that bring out features beyond standard intuitionistic or modal views. I will use the temporal perspective ... See full document

... We argue that the effect of these proposals can be captured by means of one general, nonmonotonic, operation on feature structures, called default unification.. We provide a formal seman[r] ... See full document

... formal semantics, Horn logic, and partial evaluation for obtaining provably correct compiled ...continuation semantics of an imperative language can also be coded in Horn clause ... See full document

... Bounded agents and automata One issue is what idealized capacities we assign to agents in performing the tasks demanded by standard logical notions. Clearly, real agents operate under tight bounds on what they can ... See full document

... PROBABILISTIC TAGGING WITH FEATURE STRUCTURES P R O B A B I L I S T I C T A G G I N G W I T H F E A T U R I ~ STR,UCTUR,I;3S n trc I ( e m p e University of S t u t t g a r t , I n s t i t u t e for ([.] ... See full document

... In sections 3-1 to 3-4, we classified the temporal adverbs listed by Lu and Ma into four main classes. The subclasses in each main class are somewhat different from Lu and Ma’s although the majority are similar. Lu and ... See full document

... constructions. For example, the work by Dowman (2000) and Onnis et al. (2002) is focused mainly on the problem of negative evidence, and compares segments of toy grammars of varying degrees of complexity. The work by ... See full document