Pseudo-contractions in belief revision

Belief Revision addresses the problem of how to change epistemic states, usually represented in the literature by sets of logical sentences. Solid theoretical results were consolidated with the AGM paradigm, which deals with theories (logically closed sets of sentences). After that, the theory was extended to belief bases, that is, arbitrary sets of sentences. Besides all this theoretical framework, AI researchers face serious difficulties when trying to implement belief revision systems. One of the major complications is the closure required by AGM theory, which cannot be easily computed. Even belief bases, which do not require closure, seem to be improper for practical purposes, since their changes are usually very rigid (syntax dependent). Some operations, known as pseudo-contractions, are in the middle ground between belief set change and belief base change. In the present work we have proposed a new pseudo-contraction operation, studied its properties and characterized it. We have also found connections between this operator and some other pseudo-contractions.

Artigos e possessivos na história do português paulista

Esta dissertação teve como objetivo articular um estudo do determinante diante das formas possessivas com base em um corpus histórico jornalístico composto de anúncios e cartas de leitores e redatores extraídos de jornais paulistas do século XIX. Focalizamos as formas possessivas seu/seus/sua/suas pré-nominais, observando a presença versus ausência do artigo definido e seus diferentes contextos. Nossas hipóteses buscaram resolver algumas questões teóricas relacionadas à estrutura do DP possessivo no PB, entre elas a da opcionalidade aparente do determinante e a da variação na realização de Número no interior da estrutura. Desenvolvemos respostas e análises às questões a partir da associação de dois quadros teóricos: a teoria dos Princípios & Parâmetros (CHOMSKY 1981, 1986) incluindo alguns refinamentos do Programa Minimalista (CHOMSKY 1995, 1998, 2000, 2001, 2004), e os pressupostos elaborados dentro da Sociolinguística Variacionista (cf. WEINREICH, LABOV e HERZOG (WLH) (1968); LABOV (1972, 1994, 2000)). Consideramos também estudos posteriores que conciliaram a mudança paramétrica internalista da língua (ROBERTS (2007)) com fatores extragramaticais que determinam o percurso das formas linguísticas no tempo histórico (KROCH (1989, 1994, 2000)). Para o estudo da estrutura do DP possessivo usamos a análise sobre os Bare Nouns de Cyrino & Espinal (2014). Os resultados obtidos mostraram que a média geral de ausência do determinante diante de DPs possessivos se manteve a mesma nos dois períodos analisados, configurando uma variação estável. Concluímos que não houve, portanto, indícios de oscilação no uso de uma ou outra variante que pudesse demonstrar o avanço de uma delas em detrimento de outra.