You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than that, it is about a particular way of dealing with those subjects, known as Discourse Representation Theory, or DRT. DRT is an approach towards natural language semantics which, some thirteen years ago, arose out of attempts to deal with two distinct problems. The first of those was the semantic puzzle that had been brought to contempo rary attention by Geach's notorious "donkey sentences" - sentences like If Pedro owns some donkey, he beats it, in which the anaphoric connection we perceive between the indefinite noun phrase some donkey and the pronoun it may seem to conflict with the existential meaning of the word some. The second problem had to do with tense and aspect. Some languages, for instance French and the other Romance languages, have two morphologically distinct past tenses, a simple past (the French Passe Simple) and a continuous past (the French Imparfait). To articulate precisely what the difference between these tenses is has turned out to be surprisingly difficult.
Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than that, it is about a particular way of dealing with those subjects, known as Discourse Representation Theory, or DRT. DRT is an approach towards natural language semantics which, some thirteen years ago, arose out of attempts to deal with two distinct problems. The first of those was the semantic puzzle that had been brought to contempo rary attention by Geach's notorious "donkey sentences" - sentences like If Pedro owns some donkey, he beats it, in which the anaphoric connection we perceive between the indefinite noun phrase some donkey and the pronoun it may seem to conflict with the existential meaning of the word some. The second problem had to do with tense and aspect. Some languages, for instance French and the other Romance languages, have two morphologically distinct past tenses, a simple past (the French Passe Simple) and a continuous past (the French Imparfait). To articulate precisely what the difference between these tenses is has turned out to be surprisingly difficult.
This book offers a new approach to the representation of meaning of temporally-located utterances and discourses. Temporality, the author suggests, should be taken to mean degrees of certainty, understood in turn as degrees of acceptability concerning the eventuality referred to in the speaker's utterance.
The Current Research in the Semantic / Pragmatics Interface series has carved out a new and vibrant area of research. This volume offers the reader a state-of-the-art record of new and established research in this area. Von Heusinger and Turner's careful selection of topics and contributors ensures that each chapter integrates semantic and pragmatic facts into a single theory, that each finds an adequate division of theoretical labour and that each attempts to design and corroborate an elegant account of meaning and use that would be compatible with other aspects of human behaviour. Importantly, each paper in the volume focuses on linguistic detail, not merely abstract discussions of a theor...
This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on High Performance Computing for Computational Science, VECPAR 2002, held in Porto, Portugal in June 2002. The 45 revised full papers presented together with 4 invited papers were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on fluids and structures, data mining, computing in chemistry and biology, problem solving environments, computational linear and non-linear algebra, cluster computing, imaging, and software tools and environments.
Researchers in areas such as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realize that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. In all these areas, attention is now being focused on the content of information rather than on just the formats and languages used to represent information. The clearest example of this development is provided by the many initiatives growing up around the project of the Semantic Web. And, as t...
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.
Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory
This book provides an in-depth view of the current issues, problems and approaches in the computation of meaning as expressed in language. Aimed at linguists, computer scientists, and logicians with an interest in the computation of meaning, this book focuses on two main topics in recent research in computational semantics. The first topic is the definition and use of underspecified semantic representations, i.e. formal structures that represent part of the meaning of a linguistic object while leaving other parts unspecified. The second topic discussed is semantic annotation. Annotated corpora have become an indispensable resource both for linguists and for developers of language and speech technology, especially when used in combination with machine learning methods. The annotation in corpora has only marginally addressed semantic information, however, since semantic annotation methodologies are still in their infancy. This book discusses the development and application of such methodologies.