Minimal Answers

Minimal Answers

Author: Ana Lúcia Santos

Publisher: John Benjamins Publishing

Published: 2009

Total Pages: 314

ISBN-13: 9027253099

DOWNLOAD EBOOK

This book offers a new contribution to the debate concerning the acquisition of the syntax-discourse interface. It provides evidence that children acquiring European Portuguese have a very early ability to spontaneously produce VP ellipsis as answers to yes-no questions. It is also argued that the distribution of VP ellipsis in European Portuguese (including its co-existence with Null Complement Anaphora) supports the hypothesis that the identification condition on ellipsis is derivable from some innate knowledge of the syntax-discourse interface. Answers to yes-no questions also provide evidence concerning children's interpretation of questions containing a cleft or the operator só 'only'. The analysis of spontaneous production is complemented by a comprehension experiment, showing that children have two problems in the interpretation of these questions: (i) they do not understand that the cleft and só introduce a presupposition and (ii) they start with a default focus assignment strategy and may not access other focus interpretations.


Inconsistency Tolerance

Inconsistency Tolerance

Author: Leopoldo Bertossi

Publisher: Springer

Published: 2005-01-17

Total Pages: 300

ISBN-13: 3540305971

DOWNLOAD EBOOK

Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledge bases, and software systems. To address this situation, inconsistency tolerance is being built on foundational technologies for identifying and analyzing inconsistency in information, for representing and reasoning with inconsistent information, for resolving inconsistent information, and for merging inconsistent information. The idea for this book arose out of a Dagstuhl Seminar on the topic held in summer 2003. The nine chapters in this first book devoted to the subject of inconsistency tolerance were carefully invited and anonymously reviewed. The book provides an exciting introduction to this new field.


Logics in Artificial Intelligence

Logics in Artificial Intelligence

Author: Sergio Flesca

Publisher: Springer

Published: 2003-08-06

Total Pages: 589

ISBN-13: 3540457577

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the European Conference on Logics in Artificial Intelligence, JELIA 2002, held in Cosenza, Italy in September 2002.The 41 revised full papers presented together with 11 system descriptions and 3 invited contributions were carefuly reviewed and selected from more than 100 submissions. The papers are organized in topical sections on multi-agent systems, evolution and changes, description logic and the semantic web, complexity issues, probabilistic logic, AI planning, modal logic and causal reasoning, theory, reasoning under uncertainty, satisfiability, paraconsisten reasoning, actions and caution, logic for agents, semantics, and optimization issues in answer set semantics.


Foundations of Query Answering in Relational Data Exchange

Foundations of Query Answering in Relational Data Exchange

Author: André Hernich

Publisher: Logos Verlag Berlin GmbH

Published: 2010

Total Pages: 243

ISBN-13: 3832527354

DOWNLOAD EBOOK

Relational data exchange is the problem of translating relational data according to a given specification. It is one of the many tasks that arise in information integration. A fundamental issue is how to answer queries that are posed against the result of the data exchange so that the answers are semantically consistent with the source data. For monotonic queries, the certain answers semantics by Fagin, Kolaitis, Miller, and Popa (2003) yields good answers. For many non-monotonic queries, however, this semantics was shown to yield counter-intuitive answers. This dissertation deals with the problem of computing the certain answers to monotonic queries on the one hand. On the other hand, it presents and compares semantics for answering non-monotonic queries, and investigates how hard it is to evaluate non-monotonic queries under these semantics.


Logics for Databases and Information Systems

Logics for Databases and Information Systems

Author: Jan Chomicki

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 442

ISBN-13: 1461556430

DOWNLOAD EBOOK

Time is ubiquitous in information systems. Almost every enterprise faces the problem of its data becoming out of date. However, such data is often valu able, so it should be archived and some means to access it should be provided. Also, some data may be inherently historical, e.g., medical, cadastral, or ju dicial records. Temporal databases provide a uniform and systematic way of dealing with historical data. Many languages have been proposed for tem poral databases, among others temporal logic. Temporal logic combines ab stract, formal semantics with the amenability to efficient implementation. This chapter shows how temporal logic can be used in temporal database applica tions. Rather than presenting new results, we report on recent developments and survey the field in a systematic way using a unified formal framework [GHR94; Ch094]. The handbook [GHR94] is a comprehensive reference on mathematical foundations of temporal logic. In this chapter we study how temporal logic is used as a query and integrity constraint language. Consequently, model-theoretic notions, particularly for mula satisfaction, are of primary interest. Axiomatic systems and proof meth ods for temporal logic [GHR94] have found so far relatively few applications in the context of information systems. Moreover, one needs to bear in mind that for the standard linearly-ordered time domains temporal logic is not re cursively axiomatizable [GHR94]' so recursive axiomatizations are by necessity incomplete.


The Syntax of Portuguese

The Syntax of Portuguese

Author: Mary A. Kato

Publisher: Cambridge University Press

Published: 2023-04-06

Total Pages: 611

ISBN-13: 1009321692

DOWNLOAD EBOOK

Portuguese is the second most spoken Romance language in the world, and due to recent interest in comparative syntax, the literature on its syntax has increased exponentially, resulting in exciting discoveries of a range of aspects that have hitherto been overlooked. This book provides a theoretically grounded overview of the major syntactic properties of Portuguese, focusing on the differences between European and Brazilian Portuguese. It shows from a theoretical point of view how different syntactic properties are interconnected by comparing and contrasting the variances between pronominal and agreement systems, null subjects, null complements, and word order. It also highlights how small differences in the specification of syntactic properties may yield quite different dialects. It introduces key theoretical points without technical jargon, making the content accessible to specialist and non-specialists alike. It is essential reading for both academic researchers and students of Portuguese language, comparative syntax, Romance linguistics, and theoretical syntax.


Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

Author: Helene Kirchner

Publisher: Springer

Published: 2003-08-02

Total Pages: 550

ISBN-13: 3540457194

DOWNLOAD EBOOK

This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9–13, 2002, in Saint-Gilles-les-Bains, R ́eunion Island, France. The major goal of the AMAST conferences is to promote research that may lead to setting software technology on a ?rm mathematical basis. This goal is achieved through a large international cooperation with contributions from both academia and industry. Developing a software technology on a mathematical basis p- duces software that is: (a) correct, and the correctness can be proved mathem- ically, (b) safe, so that it can be used in the implementation of critical systems, (c) portable, i. e. , independent of computing platforms and language generations, (d) evolutionary, i. e. , it is self-adaptable and evolves with the problem domain. All previous AMAST conferences, which were held in Iowa City (1989, 1991), Twente (1993), Montreal (1995), Munich (1996), Sydney (1997), Manaus (1999), and Iowa City (2000), made contributions to the AMAST goals by reporting and disseminating academic and industrial achievements within the AMAST area of interest. During these meetings, AMAST attracted an international following among researchers and practitioners interested in software technology, progr- ming methodology, and their algebraic, and logical foundations.


Conceptual Structures: Knowledge Visualization and Reasoning

Conceptual Structures: Knowledge Visualization and Reasoning

Author: Peter Eklund

Publisher: Springer

Published: 2008-07-14

Total Pages: 321

ISBN-13: 3540705961

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. The 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from over 70 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. The papers present a family of Conceptual Structure approaches that build on techniques derived from artificial intelligence, knowledge representation, applied mathematics and lattice theory, computational linguistics, conceptual modeling, intelligent systems and knowledge management.


Courtroom Talk and Neocolonial Control

Courtroom Talk and Neocolonial Control

Author: Diana Eades

Publisher: Walter de Gruyter

Published: 2008-09-25

Total Pages: 413

ISBN-13: 3110208326

DOWNLOAD EBOOK

The book uses critical sociolinguistic analysis to examine the social consequences of courtroom talk. The focus of the study is the cross-examination of three Australian Aboriginal boys who were prosecution witnesses in the case of six police officers charged with their abduction. The analysis reveals how the language mechanisms allowed by courtroom rules of evidence serve to legitimize neocolonial control over Indigenous people. In the propositions and assertions made in cross-examination, and their adoption by judicial decision-makers, the three boys were constructed not as victims of police abuse, but rather in terms of difference, deviance and delinquency. This identity work addresses fundamental issues concerning what it means to be an Aboriginal young person, as well as constraints about how to perform or live this identity, and the rights to which Aboriginal people can lay claim, while legitimizing police control over their freedom of movement. Understanding this courtroom talk requires analysis of the sociopolitical and historical actions and structures within which the courtroom hearing was embedded. Through this analysis, the interrelatedness of structure, agency, constraint and change, which is central to critical sociolinguistics, becomes apparent. In its investigation of language ideologies that underpin courtroom talk, as well as the details of how language is used, and the social consequences of this talk, the book highlights the need for far-reaching changes to courtroom rules of evidence.


Discourse Markers

Discourse Markers

Author: Deborah Schiffrin

Publisher: Cambridge University Press

Published: 1988-02-26

Total Pages: 376

ISBN-13: 1316582302

DOWNLOAD EBOOK

Discourse markers - the particles oh, well, now, then, you know and I mean, and the connectives so, because, and, but and or - perform important functions in conversation. Dr Schiffrin's approach is firmly interdisciplinary, within linguistics and sociology, and her rigourous analysis clearly demonstrates that neither the markers, nor the discourse within which they function, can be understood from one point of view alone, but only as an integration of structural, semantic, pragmatic, and social factors. The core of the book is a comparative analysis of markers within conversational discourse collected by Dr Schiffrin during sociolinguistic fieldwork. The study concludes that markers provide contextual coordinates which aid in the production and interpretation of coherent conversation at both local and global levels of organization. It raises a wide range of theoretical and methodological issues important to discourse analysis - including the relationship between meaning and use, the role of qualitative and quantitative analyses - and the insights it offers will be of particular value to readers confronting the very substantial problems presented by the search for a model of discourse which is based on what people actually say, mean, and do with words in everyday social interaction.