We present a novel statistical approach to semantic parsing, WASP, for constructing a complete, formal meaning representation of a sentence. A semantic parser is learned given a set of sentences annotated with their correct meaning representations. The main innovation of WASP is its use of state-of-the-art statistical machine translation techniques. A word alignment model is used for lexical ac...

The problem of artificial precision demonstrates the inadequacy of näıve fuzzy semantics for vagueness. This problem is, nevertheless, satisfactorily remedied by fuzzy plurivaluationism; i.e., by taking a class of fuzzy models (a fuzzy plurivaluation), instead of a single fuzzy model, for the semantics of a vague concept. Such a fuzzy plurivaluation in turn represents the class of models of a f...

Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuitive meaning, mainly addressed to the business management community and low-level foundational notations, with a detailed and formal semantics, mainly addressed to the computer science community. Role activity diagrams ar...

A key reason for the slow adoption of the Platform for Privacy Preferences (P3P) is the lack of a formal semantics. Without a formal semantics, a P3P policy may be semantically inconsistent and may be interpreted and represented differently by different user agents. In this paper, we redress these problems by proposing a relational formal semantics for P3P policies, which precisely models the r...

State-of-the-art requirements modeling tools rely on predefined notations. In contrast, requirements engineers and stakeholders often sketch requirements in arbitrary notations during early elicitation phases. Engineers must then manually transform the sketches into semi-formal models, which is a timeconsuming and error-prone task. We propose to investigate how early sketching and the transform...

Formal Semantics and Distributional Semantics are two very influential semantic frameworks in Computational Linguistics. Formal Semantics is based on a symbolic tradition and centered around the inferential properties of language. Distributional Semantics is statistical and data-driven, and focuses on aspects of meaning related to descriptive content. The two frameworks are complementary in the...

Normally is not intended to incite the listener to speak ill of those people who are not his or her friends An accent on our friends does however change the meaning of the sentence in this direction In the aforementioned textbooks a remark on accent such as this one is usually presented as part of a discussion on informal logic which which bears little or no relation to the material on formal p...

There are at least two distinct ways of conceiving of syntax: the set of rules that enable speakers and listeners to combine the meaning of expressions (compositional syntax), or the set of formal constraints on the combinations of expressions (formal syntax). The question that occupies us in this paper is whether all languages include a significant formal syntax component or whether there are ...

Symbol Grounding tries to answer the question as to how it is possible for a computer program to use symbols which are not arbitrarily inter-pretable. Whereas the signs in conventional programs are just \parasitic on the meaning in our heads", grounded symbols should possess at least some \intrinsic meaning." This paper gives a brief overview of what Symbol Grounding is and summarizes some of t...