1000 resultados para semântica das lógicas paraconsistentes


Relevância:

20.00% 20.00%

Publicador:

Resumo:

En el marco de la gramática contrastiva entre inglés y castellano, asumimos la perspectiva generativista, según la cual la sintaxis humana resulta de procesos derivacionales que combinan, por medio de mecanismos innatos, elementos capaces de codificar significados primitivos. Trabajamos con datos, ya sea reales o inventados, que ilustran los distintos tipos de oraciones ?gramaticales? posibles en una lengua natural. Nos centramos en la noción de ?ergatividad?, utilizada por distintas teorías para explicar fenómenos sintácticos y semánticos no siempre coincidentes. Desde el Funcionalismo/Cognitivismo norteamericano, Scott DeLancey (2001) compara distintas lenguas y distingue morfológicamente los sujetos ?agentivos? en estructuras causadas de los sujetos ?afectados? en estructuras no causadas. Según la Lingüística Sistémica Funcional (Halliday 1985, 2004), la ergatividad abarca, no sólo la presencia o ausencia de Causa en un proceso particular, sino también la relación causal que vincula distintos procesos entre sí. El esquema ergativo de Halliday incluye, además de pares constituidos por eventos de cambio de estado no causados y de causa externa, eventos inergativos de causa externa, y eventos transitivos instigados por otro proceso, expresado lingüísticamente o bien inferido. Desde la perspectiva de la Semántica Relacional (Mateu, 2002), reducimos el número de ?constructos primitivos? disponibles de tres a dos. Consideramos dos alternancias: la ergativo-transitiva y la causa interna/externa con inergativos. No vinculamos ni sintáctica ni derivacionalmente las construcciones transitivas con los eventos inferidos que las instigan. Justificamos la relación derivacional que vincula las construcciones pasivas estáticas con las construcciones ergativas de verbos naturalmente alternantes, por un lado, y, con las construcciones transitivas de verbos de ?locatum? y de inergativos, por el otro. Reanalizamos, respecto de la bibliografía canónica, la naturaleza del clítico ?se? en las construcciones ergativas españolas. Este análisis orienta de manera teórica el abordaje de las construcciones pertinentes, y ofrece equivalencias posibles que pueden resultar útiles para la traducción

Relevância:

20.00% 20.00%

Publicador:

Resumo:

En el presente trabajo, rebatimos la clásica distinción entre oraciones pasivas con SE e impersonales con SE . Abordamos el análisis de ambas construcciones desde la perspectiva del Programa Minimalista (Chomsky 1995, 2001, 2005) y de la Semántica Relacional (Mateu i Fontanals 2002). Presentamos evidencia semántica y sintáctica con el fin de demostrar que las oraciones pasivas con SE comparten, con las impersonales transitivas con SE , una misma estructura semántico-relacional. Por hipótesis, las pasivas con SE son un subtipo de las impersonales con SE , ya que ambas proyectan, en su constructo semántico relacional, un sujeto indefinido y genérico, invariablemente materializado por un pronombre nulo (pro), cuyos rasgos de persona y número concuerdan con la flexión verbal. Por el contrario, las pasivas morfológicas o perifrásticas no proyectan un sujeto de estas características. Aunque estas construcciones comparten una misma estructura semántico-relacional con las pasivas con SE , las primeras, a diferencia de la segundas, contienen un argumento externo destematizado interpretable como una entidad definida y no genérica, lo cual justifica en términos morfosintácticos la concordancia que establece la flexión verbal con el argumento interno. Postulamos que, mientras las oraciones pasivas con SE deberían ?en términos estrictamente gramaticales? presentar concordancia verbal con su sujeto nulo pro, la concordancia superficial que se establece con el sintagma nominal en posición de objeto directo sería consecuencia de ciertos fenómenos sintácticos y/o pragmáticos. Observamos, además, que esta concordancia no podría darse bajo ciertas condiciones morfosintácticas

Relevância:

20.00% 20.00%

Publicador:

Resumo:

En el marco de la gramática contrastiva entre inglés y castellano, asumimos la perspectiva generativista, según la cual la sintaxis humana resulta de procesos derivacionales que combinan, por medio de mecanismos innatos, elementos capaces de codificar significados primitivos. Trabajamos con datos, ya sea reales o inventados, que ilustran los distintos tipos de oraciones ?gramaticales? posibles en una lengua natural. Nos centramos en la noción de ?ergatividad?, utilizada por distintas teorías para explicar fenómenos sintácticos y semánticos no siempre coincidentes. Desde el Funcionalismo/Cognitivismo norteamericano, Scott DeLancey (2001) compara distintas lenguas y distingue morfológicamente los sujetos ?agentivos? en estructuras causadas de los sujetos ?afectados? en estructuras no causadas. Según la Lingüística Sistémica Funcional (Halliday 1985, 2004), la ergatividad abarca, no sólo la presencia o ausencia de Causa en un proceso particular, sino también la relación causal que vincula distintos procesos entre sí. El esquema ergativo de Halliday incluye, además de pares constituidos por eventos de cambio de estado no causados y de causa externa, eventos inergativos de causa externa, y eventos transitivos instigados por otro proceso, expresado lingüísticamente o bien inferido. Desde la perspectiva de la Semántica Relacional (Mateu, 2002), reducimos el número de ?constructos primitivos? disponibles de tres a dos. Consideramos dos alternancias: la ergativo-transitiva y la causa interna/externa con inergativos. No vinculamos ni sintáctica ni derivacionalmente las construcciones transitivas con los eventos inferidos que las instigan. Justificamos la relación derivacional que vincula las construcciones pasivas estáticas con las construcciones ergativas de verbos naturalmente alternantes, por un lado, y, con las construcciones transitivas de verbos de ?locatum? y de inergativos, por el otro. Reanalizamos, respecto de la bibliografía canónica, la naturaleza del clítico ?se? en las construcciones ergativas españolas. Este análisis orienta de manera teórica el abordaje de las construcciones pertinentes, y ofrece equivalencias posibles que pueden resultar útiles para la traducción

Relevância:

20.00% 20.00%

Publicador:

Resumo:

En el presente trabajo, rebatimos la clásica distinción entre oraciones pasivas con SE e impersonales con SE . Abordamos el análisis de ambas construcciones desde la perspectiva del Programa Minimalista (Chomsky 1995, 2001, 2005) y de la Semántica Relacional (Mateu i Fontanals 2002). Presentamos evidencia semántica y sintáctica con el fin de demostrar que las oraciones pasivas con SE comparten, con las impersonales transitivas con SE , una misma estructura semántico-relacional. Por hipótesis, las pasivas con SE son un subtipo de las impersonales con SE , ya que ambas proyectan, en su constructo semántico relacional, un sujeto indefinido y genérico, invariablemente materializado por un pronombre nulo (pro), cuyos rasgos de persona y número concuerdan con la flexión verbal. Por el contrario, las pasivas morfológicas o perifrásticas no proyectan un sujeto de estas características. Aunque estas construcciones comparten una misma estructura semántico-relacional con las pasivas con SE , las primeras, a diferencia de la segundas, contienen un argumento externo destematizado interpretable como una entidad definida y no genérica, lo cual justifica en términos morfosintácticos la concordancia que establece la flexión verbal con el argumento interno. Postulamos que, mientras las oraciones pasivas con SE deberían ?en términos estrictamente gramaticales? presentar concordancia verbal con su sujeto nulo pro, la concordancia superficial que se establece con el sintagma nominal en posición de objeto directo sería consecuencia de ciertos fenómenos sintácticos y/o pragmáticos. Observamos, además, que esta concordancia no podría darse bajo ciertas condiciones morfosintácticas

Relevância:

20.00% 20.00%

Publicador:

Resumo:

En el marco de la gramática contrastiva entre inglés y castellano, asumimos la perspectiva generativista, según la cual la sintaxis humana resulta de procesos derivacionales que combinan, por medio de mecanismos innatos, elementos capaces de codificar significados primitivos. Trabajamos con datos, ya sea reales o inventados, que ilustran los distintos tipos de oraciones ?gramaticales? posibles en una lengua natural. Nos centramos en la noción de ?ergatividad?, utilizada por distintas teorías para explicar fenómenos sintácticos y semánticos no siempre coincidentes. Desde el Funcionalismo/Cognitivismo norteamericano, Scott DeLancey (2001) compara distintas lenguas y distingue morfológicamente los sujetos ?agentivos? en estructuras causadas de los sujetos ?afectados? en estructuras no causadas. Según la Lingüística Sistémica Funcional (Halliday 1985, 2004), la ergatividad abarca, no sólo la presencia o ausencia de Causa en un proceso particular, sino también la relación causal que vincula distintos procesos entre sí. El esquema ergativo de Halliday incluye, además de pares constituidos por eventos de cambio de estado no causados y de causa externa, eventos inergativos de causa externa, y eventos transitivos instigados por otro proceso, expresado lingüísticamente o bien inferido. Desde la perspectiva de la Semántica Relacional (Mateu, 2002), reducimos el número de ?constructos primitivos? disponibles de tres a dos. Consideramos dos alternancias: la ergativo-transitiva y la causa interna/externa con inergativos. No vinculamos ni sintáctica ni derivacionalmente las construcciones transitivas con los eventos inferidos que las instigan. Justificamos la relación derivacional que vincula las construcciones pasivas estáticas con las construcciones ergativas de verbos naturalmente alternantes, por un lado, y, con las construcciones transitivas de verbos de ?locatum? y de inergativos, por el otro. Reanalizamos, respecto de la bibliografía canónica, la naturaleza del clítico ?se? en las construcciones ergativas españolas. Este análisis orienta de manera teórica el abordaje de las construcciones pertinentes, y ofrece equivalencias posibles que pueden resultar útiles para la traducción

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Fil: Alzugaray, Lucas. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

En el presente trabajo, rebatimos la clásica distinción entre oraciones pasivas con SE e impersonales con SE . Abordamos el análisis de ambas construcciones desde la perspectiva del Programa Minimalista (Chomsky 1995, 2001, 2005) y de la Semántica Relacional (Mateu i Fontanals 2002). Presentamos evidencia semántica y sintáctica con el fin de demostrar que las oraciones pasivas con SE comparten, con las impersonales transitivas con SE , una misma estructura semántico-relacional. Por hipótesis, las pasivas con SE son un subtipo de las impersonales con SE , ya que ambas proyectan, en su constructo semántico relacional, un sujeto indefinido y genérico, invariablemente materializado por un pronombre nulo (pro), cuyos rasgos de persona y número concuerdan con la flexión verbal. Por el contrario, las pasivas morfológicas o perifrásticas no proyectan un sujeto de estas características. Aunque estas construcciones comparten una misma estructura semántico-relacional con las pasivas con SE , las primeras, a diferencia de la segundas, contienen un argumento externo destematizado interpretable como una entidad definida y no genérica, lo cual justifica en términos morfosintácticos la concordancia que establece la flexión verbal con el argumento interno. Postulamos que, mientras las oraciones pasivas con SE deberían ?en términos estrictamente gramaticales? presentar concordancia verbal con su sujeto nulo pro, la concordancia superficial que se establece con el sintagma nominal en posición de objeto directo sería consecuencia de ciertos fenómenos sintácticos y/o pragmáticos. Observamos, además, que esta concordancia no podría darse bajo ciertas condiciones morfosintácticas

Relevância:

20.00% 20.00%

Publicador:

Resumo:

De acordo com os últimos dados fornecidos pelo GAVE - Gabinete de Avaliação Educacional do Ministério da Educação, os resultados das provas de aferição, do 4º ano de escolaridade do 1º ciclo do ensino básico, revelam um fraco desempenho das crianças portuguesas nas tarefas de leitura e de escrita. A Inteligência, a Consciência Fonológica, e as Operações Lógicas assumem um papel de relevo na aprendizagem da leitura, porém não são conhecidos estudos para o pré-escolar que contemplem estes preditores em simultâneo. O objetivo deste estudo é analisar o nível das crianças nestes 3 preditores bem como a sua interligação e, complementarmente, a sua influência no conhecimento das letras do alfabeto. Neste estudo participaram 116 crianças com idades compreendidas entre os cinco e seis anos de idade e que frequentavam o ensino pré-escolar, prevenientes de estabelecimentos de ensino público da Região Autónoma da Madeira (RAM). Os instrumentos utilizados foram as Matrizes Progressivas Coloridas de Raven, a Prova de Consciência Fonológica e as Provas Piagetianas. Os resultados obtidos sugerem, ainda, que realmente existe uma estreita relação entre estas três variáveis (Inteligência, Consciência Fonológica e Operações Lógicas) em algumas das tarefas, como bons preditores na aquisição da leitura. Verificou-se, ainda, que as habilitações dos pais influenciam positivamente na aquisição desta habilidade metalinguística. Sugere-se a continuação deste estudo, possivelmente numa perspetiva longitudinal e albergando outros níveis, variáveis ou preditores e estabelecimentos de ensino.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The main hypothesis of this thesis is that the deve lopment of industrial automation applications efficiently, you need a good structuri ng of data to be handled. Then, with the aim of structuring knowledge involved in the contex t of industrial processes, this thesis proposes an ontology called OntoAuto that conceptua lly models the elements involved in the description of industrial processes. To validat e the proposed ontology, several applica- tions are presented. In the first, two typical indu strial processes are modeled conceptually: treatment unit DEA (Diethanolamine) and kiln. In th e second application, the ontology is used to perform a semantic filtering alarms, which together with the analysis of correla- tions, provides temporal relationships between alar ms from an industrial process. In the third application, the ontology was used for modeli ng and analysis of construction cost and operation processes. In the fourth application, the ontology is adopted to analyze the reliability and availability of an industrial plant . Both for the application as it involves costs for the area of reliability, it was necessary to create new ontologies, and OntoE- con OntoConf, respectivamentem, importing the knowl edge represented in OntoAuto but adding specific information. The main conclusions of the thesis has been that on tology approaches are well suited for structuring the knowledge of industrial process es and based on them, you can develop various advanced applications in industrial automat ion.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Cloud computing can be defined as a distributed computational model by through resources (hardware, storage, development platforms and communication) are shared, as paid services accessible with minimal management effort and interaction. A great benefit of this model is to enable the use of various providers (e.g a multi-cloud architecture) to compose a set of services in order to obtain an optimal configuration for performance and cost. However, the multi-cloud use is precluded by the problem of cloud lock-in. The cloud lock-in is the dependency between an application and a cloud platform. It is commonly addressed by three strategies: (i) use of intermediate layer that stands to consumers of cloud services and the provider, (ii) use of standardized interfaces to access the cloud, or (iii) use of models with open specifications. This paper outlines an approach to evaluate these strategies. This approach was performed and it was found that despite the advances made by these strategies, none of them actually solves the problem of lock-in cloud. In this sense, this work proposes the use of Semantic Web to avoid cloud lock-in, where RDF models are used to specify the features of a cloud, which are managed by SPARQL queries. In this direction, this work: (i) presents an evaluation model that quantifies the problem of cloud lock-in, (ii) evaluates the cloud lock-in from three multi-cloud solutions and three cloud platforms, (iii) proposes using RDF and SPARQL on management of cloud resources, (iv) presents the cloud Query Manager (CQM), an SPARQL server that implements the proposal, and (v) comparing three multi-cloud solutions in relation to CQM on the response time and the effectiveness in the resolution of cloud lock-in.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Suszko’s Thesis is a philosophical claim regarding the nature of many-valuedness. It was formulated by the Polish logician Roman Suszko during the middle 70s and states the existence of “only but two truth values”. The thesis is a reaction against the notion of many-valuedness conceived by Jan Łukasiewicz. Reputed as one of the modern founders of many-valued logics, Łukasiewicz considered a third undetermined value in addition to the traditional Fregean values of Truth and Falsehood. For Łukasiewicz, his third value could be seen as a step beyond the Aristotelian dichotomy of Being and non-Being. According to Suszko, Łukasiewicz’s ideas rested on a confusion between algebraic values (what sentences describe/denote) and logical values (truth and falsity). Thus, Łukasiewicz’s third undetermined value is no more than an algebraic value, a possible denotation for a sentence, but not a genuine logical value. Suszko’s Thesis is endorsed by a formal result baptized as Suszko’s Reduction, a theorem that states every Tarskian logic may be characterized by a two-valued semantics. The present study is intended as a thorough investigation of Suszko’s thesis and its implications. The first part is devoted to the historical roots of many-valuedness and introduce Suszko’s main motivations in formulating the double character of truth-values by drawing the distinction in between algebraic and logical values. The second part explores Suszko’s Reduction and presents the developments achieved from it; the properties of two-valued semantics in comparison to many-valued semantics are also explored and discussed. Last but not least, the third part investigates the notion of logical values in the context of non-Tarskian notions of entailment; the meaning of Suszko’s thesis within such frameworks is also discussed. Moreover, the philosophical foundations for non-Tarskian notions of entailment are explored in the light of recent debates concerning logical pluralism.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Objetivo - Adaptar e realizar a transculturação dos questionários DEMQOL e DEMQOL-Proxy para a população portuguesa, construídas por Smith et al, em 2005, que pretendem colmatar as lacunas existentes aos dados relacionados com a qualidade de vida no que remete a esta em utentes com demência leve, moderada e severa. Metodologia – A metodologia inclui a parte de revisão da literatura (problemática em questão) e o processo de adaptação dos questionários. O processo implica tradução, retroversão, revisão e adaptação cultural à nossa cultura. Foram recolhidos alguns dados demográficos, com o intuito de melhor caracterização da população. Resultados – Os questionários DEMQOL e DEMQOL_Proxy versão portuguesa demostraram muito boa consistência interna α = 0,747 e 0,812, respetivamente. Apresentam excelente reprodutibilidade entre itens (ICC= 0,845 (-0,484 – 0,984; IC 95%) para o DEMQOL e 0,812 (0,636 – 0,928; IC 95%) para o DEMQOL-Proxy. Conclusões – Foi conseguida a equivalência semântica, conceptual e de conteúdo dos questionários que mostraram ser indicados para a população portuguesa, com bons indicadores em algumas das suas propriedades psicométricas, nomeadamente: consistência interna e reprodutibilidade entre itens.