Construções relativas de novo

Documentos relacionados
Gramática Categorial Conectivo. Luiz Arthur Pagani (UFPR)

Observações iniciais para a descrição gramatical da conjunção e

Gramática Categorial: Inferência de informação morfológica verbo no passado. Luiz Arthur Pagani (UFPR)

Gramática Categorial Conectivo. Luiz Arthur Pagani (UFPR)

Impressões lingüísticas sobre duas axiomatizações para a Gramática Categorial

HL059 Língua Portuguesa VII

Representação semântica em analisadores gramaticais. Luiz Arthur Pagani (UFPR)

Nomes e sintagmas nominais, aula 3 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani

Gramática Categorial Independente

Gramática de Montague


1 Introdução. 2 Gramática Categorial e Diagrama de Prawitz. Luiz Arthur Pagani (UFPR) arthur 2.

Redução-β em Prolog SN :? N : M. Det :?

Um problema formal na interpretação dos sintagmas preposicionados. Luiz Arthur Pagani (UFPR)

A sintaxe do cálculo de predicados (II), cap. 7 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani

Analisadores Gramaticais em Prolog (Projeto de pesquisa)

Referência dinâmica. Luiz Arthur Pagani (UFPR)

IMPRESSÕES LINGÜÍSTICAS SOBRE DUAS

Escopo in situ. 1 Introdução. 2 Recursos iniciais. Luiz Arthur Pagani (UFPR) 2.1 Sintaxe

Sistemas de Equações Diferenciais Lineares

Introdução à Lógica de Predicados

Cap 03: Dilatação térmica de sólidos e líquidos

A sintaxe do cálculo de predicados (I), cap. 6 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani

ESTUDOS LINGÜÍSTICOS DOSSIÊ GRAMÁTICAS CATEGORIAIS

Corte por Arranque de Apara. Tecnologia Mecânica 1

Nota de Aplicação NA#10. Instalando driver USB para comunicação com no-breaks Engetron.

Cap 03: Dilatação térmica de sólidos e líquidos

Todos os pássaros têm pena. Nem todos os passáros voam. Todo inteiro primo maior que dois é ímpar


Fundamentos e começo, aula 1 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani

Gramática, reconhecimento e análise gramatical. Luiz Arthur Pagani

Modelagem Cinemática de Robôs Industriais. Prof. Assoc. Mário Luiz Tronco

Diagramas em árvore. Luiz Arthur Pagani (UFPR)

Apresentação em L A TEX

A forma canônica de Jordan

DANIEL MARTINESCHEN ANALISADOR GRAMATICAL POR DESLOCAMENTO E REDUÇÃO PARA GRAMÁTICAS CATEGORIAIS

05 - DEPTO. DE ENGENHARIA ELETRÔNICA E DE TELECOMUNICAÇÕES

Curso de Computação Gráfica (CG) 2014/2- Cap 2 parte 2 Transformações no espaço e projeções Trabalho 5 (individual) - Gabarito

massa do corpo: m; constante elástica da mola: k.

Metodologia do Trabalho Científico

ÒØ ÖÔÖ Ø Ó Ó ÔÖÓ ÒØ Ñ ÂÓ ÓÖ Æ ØÓ ² ÄÙ Þ ÖØ ÙÖ È Ò Í Èʵ ½ ÁÒØÖÓ ÙÓ ÆÙÑ Ø ÜØÓ ÒÓØ Ú Ð ÔÙ Ð Ó Ñ ½ ½ ÊÓ ÓÐ Ó ÁÐ Ö ½¾ ÙØ Ù ÒØÖ ÓÙØÖ Ó µ ÙÑ ÒÑ ÒÓ ÑÒØ Ó ÓÒ

Funções gramaticais: Sujeito e predicado. Luiz Arthur Pagani (UFPR)

Agentes que Raciocinam Logicamente. Prof. Júlio Cesar Nievola PPGIA PUC-PR

Universidade Federal de Pelotas Disciplina de Microeconomia 1 Professor Rodrigo Nobre Fernandez Lista 1 - Soluções

Álgebra Linear. Shin Takahashi, Iroha Inoue e Trend-Pro Co., Ltd. novatec

A FLEXÃO PORTUGUESA: ELEMENTOS QUE DESMISTIFICAM O CONCEITO DE QUE FLEXÃO E CONCORDÂNCIA SÃO CATEGORIAS SINTÁTICAS DEPENDENTES 27

TEORIA MICROECONÔMICA I N

DEMONSTRANDO UMA INTUIÇÃO EQUIVOCADA: *

Teoria da Computação Exame 1 30 de Junho de 2003

Introdução a uma abordagem formal da sintaxe Teoria X-barra, II

Instituto Superior de Engenharia de Lisboa Engenharia Informática e de Computadores

Hewlett-Packard. Cilindros. Aulas 01 a 02. Elson Rodrigues, Gabriel Carvalho e Paulo Luiz

Soluções da Colectânea de Exercícios

UERJ/DFNAE Física Geral - Lista /2

Teoria das Estruturas - Aula 07

Apesar de não ser um modelo de análise lingüística tão conhecido como GRAMÁTICA CATEGORIAL ATRAVÉS DE ESTRUTURA DE CARACTERÍSTICAS

(2) SN N (SP)/(Adj) {gerando por exemplo: SN = N-livro SP-de chocolate; SN = N-rabo Adj-amarelo]

UERJ/DFNAE Física Geral - Lista /2

CCI-22 FORMALIZAÇÃO CCI-22 MODOS DE SE OBTER P N (X) Prof. Paulo André CCI - 22 MATEMÁTICA COMPUTACIONAL INTERPOLAÇÃO

3 - Na figura a seguir, está esquematizado um aparato experimental que é utilizado. 1 - Dois raios de luz, um vermelho (v) e outro

Andamento da apresentação

Mecânica Geral 2016/17

Semântica e Gramática Gerativa Aula 3

Note-se que pelo Teorema de Euler. a φ(n) 1 (mod n) logo existe k nas condições da definição acima e. Raízes Primitivas. Ordem de um elemento

ESTIMATIVAS DA PRODUÇÃO AGRÍCOLA BRASILEIRA PARA O FINAL DO SÉCULO XXI

Rede de Bravais. Cap 1 KITTEL Cap 4 ASHCROFT- MERMIN (todo) Cap 7 ASHCROFT- MERMIN (parte) Cap 4 IVAN

Derivadas Parciais - parte 1. 1) Determine as derivadas parciais de primeira ordem da função.

ES009 - Estabilidade Global e Análise de Peças Esbeltas

Um dos principais filtros impostos pela estrutura de superfície é o filtro de Caso. O filtro de Caso pode ser expresso da seguinte maneira:

Linguagens Livres de Contexto

Soluções da Colectânea de Exercícios

As linguagens regulares são I.C Proposição Qualquer linguagem regular é independente de contexto.

Classes gramaticais: Pronome. Luiz Arthur Pagani (UFPR)

ELETRÔNICA DE POTÊNCIA I Retificadores trifásicos a diodo em ponte completa

Introdução Análise Sintática Descendente Análise Sintática Ascendente. Aula Prática. Fernando Antônio Asevedo Nóbrega

Formas normais. Forma normal de Greibach (FNG) todas as produções são da forma

CAPÍTULO IV APLICAÇÕES

Hewlett-Packard CIRCUNFERÊNCIA. AULAS 01 e 02. Prof. Elson Rodrigues, Gabriel Carvalho e Paulo Luiz Ramos

Sistema dedutivo. Sistema dedutivo

Transformações Geométricas

Transformações Geométricas Grafos de Cena

O efeito interacção em modelos de equações estruturais

GRAMÁTICA MODERNA DA LÍNGUA PORTUGUESA

Semântica de Eventos Aula 1

24/09/2010 SINTAXE PARTE 2. SCC5869 Tópicos em Processamento de Língua Natural. Thiago A. S. Pardo PARSING PROBABILÍSTICO

Exemplo 7 1 I. p q: Se o time joga bem, então o time ganha o campeonato. q s: Se o time ganha o campeonato então. s: Os torcedores não estão felizes.

REDAÇÃO PARA CONCURSOS

ALGUMAS PRÁTICAS PARA ENSINAR GEOMETRIA COM O GEOGEBRA. Palavras-chave: Dificuldades. Aprendizagem. Matemática. Tecnologias. GeoGebra.

Engenharia de Software Processo de Desenvolvimento. Ciclo de Vida - Modelo Cascata

Preliminares, cap. 3 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani

Teste Mann-Whitney. Contrapartida não-paramétrica para. Teste-t para amostras independentes

MÉTODOS ESTATÍSTICOS PARA ANÁLISE DE DADOS

MAP Exercício programa Data de entrega: 21/11/2012

ESCOPO E VARIÁVEIS LIGADAS TÍPICAS DO PORTUGUÊS BRASILEIRO

Passo-a-passo para desenvolver um Programa usando a Linguagem Python

TS03. Teste de Software ESTÁGIOS DO TESTE DE SOFTWARE. COTI Informática Escola de Nerds

Definições Hierarquia de Chomsky Exemplos de gramáticas. Gramáticas. Objetivo de ensinar o inglês pelo computador e conseguir um tradutor de línguas

EXTRAÇÃO DO SUJEITO: A ANÁLISE DE STEEDMAN E ANÁLISES DA TEORIA GERATIVA

UNIVERSIDADE FEDERAL DE CAMPINA GRANDE CENTRO DE ENGENHARIA ELÉTRICA E INFORMÁTICA DEPARTAMENTO DE ENGENHARIA ELÉTRICA ELETRÔNICA

1 [30] O programa abaixo, que calcula a raiz quadrada de 6, está errado. Identifique o erro, e explique como corrigi-lo.

Transcrição:

Construções relativas de novo Luiz Arthur Pagani (UFPR) http://wwwufprbr/arthur arthur@ufprbr Esta apresentação foi preparada no sistema LATEX, através de uma de suas implementações para Linux o TEXLive e de um programa de integração (IDE) o Kile ambos instalados em computadores funcionando com o sistema operacional Kurumin (Linux), dentro das diretrizes do chamado software livre

1 Introdução Resumo de Borges (1999, cap 8), sobre as construções relativas na Gramática Categorial Críticas à solução de Borges Nova proposta de solução VIII Encontro do CELSUL 1 Porto Alegre, 29 a 31 de outubro de 2008

2 Borges 1999, cap 8 Três tipos de construções relativas: Sociolingüisticamente não-marcada e só na escrita Padrão Sociolingüisticamente marcadas Cortadora Com pronome ressumptivo VIII Encontro do CELSUL 2 Porto Alegre, 29 a 31 de outubro de 2008

21 Exemplos Relativas de sujeito: Uma amiga que é ótima (padrão/cortadora) Uma amiga que ela é ótima (pronome ressumptivo) Relativas de objeto direto: Uma amiga que você conhece (padrão/cortadora) Uma amiga que você conhece ela (pronome ressumptivo) Relativas oblíquas (de objeto indireto): Uma amiga de que eu gosto(padrão) Uma amiga que eu gosto(cortadora) Uma amiga que eu gosto dela(pronome ressumptivo) VIII Encontro do CELSUL 3 Porto Alegre, 29 a 31 de outubro de 2008

22 Recursos da Gramática Categorial : X/Y : φ Y : α X : φ(α) Y : α Y \X : φ X : φ(α) Redução-β: λxφ(α) φ x α Exemplo: Pedro N : p Lx corre N\S : λxc(x) S : λxc(x)(p) = redβ C(p) Lx VIII Encontro do CELSUL 4 Porto Alegre, 29 a 31 de outubro de 2008

23 Padrão/cortadora de sujeito que Lx conhece Pedro (N C \N C )/(N\S) : N\S : λp 2 λp 1 λx(p 1 (x) P 2 (x)) C(p) N C \N C : λp 2 λp 1 λx(p 1 (x) P 2 (x))(c(p)) = redβ λp 1 λx(p 1 (x) C(p)(x)) D VIII Encontro do CELSUL 5 Porto Alegre, 29 a 31 de outubro de 2008

uma amiga que conhece Pedro Lx Lx D N/N C : N C : N C \N C : λp 3 λp 4 z(p 3 (z) P 4 (z)) A λp 1 λx(p 1 (x) C(p)(x)) N C : λp 1 λx(p 1 (x) C(p)(x))(A) = redβ λx(a(x) C(p)(x)) N : λp 3 λp 4 z(p 3 (z) P 4 (z))(λx(a(x) C(p)(x))) = redβ λp 4 z(λx(a(x) C(p)(x))(z) P 4 (z)) = redβ λp 4 z((a(z) C(p)(z)) P 4 (z)) VIII Encontro do CELSUL 6 Porto Alegre, 29 a 31 de outubro de 2008

24 Padrão/cortadora de objeto direto que Lx Pedro conhece (N C \N C )/(S/N) : S/N : λp 2 λp 1 λx(p 1 (x) P 2 (x)) λyc(y)(p) N C \N C : λp 2 λp 1 λx(p 1 (x) P 2 (x))(λyc(y)(p)) = redβ λp 1 λx(p 1 (x) λyc(y)(p)(x)) = redβ λp 1 λx(p 1 (x) C(x)(p)) D VIII Encontro do CELSUL 7 Porto Alegre, 29 a 31 de outubro de 2008

uma amiga que Pedro conhece Lx Lx D N/N C : N C : N C \N C : λp 3 λp 4 z(p 3 (z) P 4 (z)) A λp 1 λx(p 1 (x) C(x)(p)) N C \N C : = redβ λp 1 λx(p 1 (x) C(x)(p))(A) = redβ λx(a(x) C(x)(p)) N : λp 3 λp 4 z(p 3 (z) P 4 (z))(λx(a(x) C(x)(p))) = redβ λp 4 z(λx(a(x) C(x)(p))(z) P 4 (z)) = redβ λp 4 z((a(z) C(z)(p)) P 4 (z)) VIII Encontro do CELSUL 8 Porto Alegre, 29 a 31 de outubro de 2008

25 Pronome ressumptivo de sujeito que Lx ela conhece Pedro (N C \N C )/S : S : λp 2 λp 1 λx(p 1 (x) P 2 (x)) λyc(p)(y) N C \N C : λp 2 λp 1 λx(p 1 (x) P 2 (x))(λyc(p)(y)) = redβ λp 1 λx(p 1 (x) λyc(p)(y)(x)) = redβ λp 1 λx(p 1 (x) C(p)(x)) D VIII Encontro do CELSUL 9 Porto Alegre, 29 a 31 de outubro de 2008

uma amiga que ela conhece Pedro Lx Lx D N/N C : N C : N C \N C : λp 3 λp 4 z(p 3 (z) P 4 (z)) A λp 1 λx(p 1 (x) C(p)(x)) N C \N C : = redβ λp 1 λx(p 1 (x) C(p)(x))(A) = redβ λx(a(x) C(p)(x)) N : λp 3 λp 4 z(p 3 (z) P 4 (z))(λx(a(x) C(p)(x))) = redβ λp 4 z(λx(a(x) C(p)(x))(z) P 4 (z)) = redβ λp 4 z((a(z) C(p)(z)) P 4 (z)) VIII Encontro do CELSUL 10 Porto Alegre, 29 a 31 de outubro de 2008

26 Pronome ressumptivo de objeto direto que Lx Pedro conhece ela (N C \N C )/S : S : λp 2 λp 1 λx(p 1 (x) P 2 (x)) λyc(y)(p) N C \N C : λp 2 λp 1 λx(p 1 (x) P 2 (x))(λyc(y)(p)) = redβ λp 1 λx(p 1 (x) λyc(y)(p)(x)) = redβ λp 1 λx(p 1 (x) C(x)(p)) D VIII Encontro do CELSUL 11 Porto Alegre, 29 a 31 de outubro de 2008

uma amiga que Pedro conhece ela Lx Lx D N/N C : N C : N C \N C : λp 3 λp 4 z(p 3 (z) P 4 (z)) A λp 1 λx(p 1 (x) C(x)(p)) N C \N C : = redβ λp 1 λx(p 1 (x) C(x)(p))(A) = redβ λx(a(x) C(x)(p)) N : λp 3 λp 4 z(p 3 (z) P 4 (z))(λx(a(x) C(x)(p))) = redβ λp 4 z(λx(a(x) C(x)(p))(z) P 4 (z)) = redβ λp 4 z((a(z) C(z)(p)) P 4 (z)) VIII Encontro do CELSUL 12 Porto Alegre, 29 a 31 de outubro de 2008

3 Críticas Só funciona quando as lacunas aparecem nas extremidades das expressões, mas não em sintagmas como uma amiga que Pedro conhece desde o ano passado Postulação da categoria S, com denotação do mesmo tipo que a de N\S ( e, t ) A categoria N, quando identica sintagmas como uma amiga que Pedro conhece é um quanticador generalizado, então deveria corresponder a S/(N\S), quando no sujeito, e a (S/N)\S, quando no objeto direto (Ou antes, ambos como N S, mas isso nos levaria muito além do escopo desta apresentação) VIII Encontro do CELSUL 13 Porto Alegre, 29 a 31 de outubro de 2008

4 Soluções 41 Conectivo A : y n B : α B A : λyα I n VIII Encontro do CELSUL 14 Porto Alegre, 29 a 31 de outubro de 2008

411 que Pedro conhece desde o ano passado que Pedro conhece Lx Lx Lx 1 D (N C \N C )/(S N) : N : (N\S)/N : N : S\S : λp 2 λp 1 λx(p 1 (x) P 2 (x)) p C y AP S : AP (C(y)(p)) S N : λyap (C(y)(p)) N C \N C : λp 2 λp 1 λx(p 1 (x) P 2 (x))(λyap (C(y)(p))) = redβ λp 1 λx(p 1 (x) λyap (C(y)(p))(x)) = redβ λp 1 λx(p 1 (x) AP (C(x)(p))) D I 1 VIII Encontro do CELSUL 15 Porto Alegre, 29 a 31 de outubro de 2008

42 Conectivo B A : α B : x E n A : β A : α(λxβ) n VIII Encontro do CELSUL 16 Porto Alegre, 29 a 31 de outubro de 2008

421 uma amiga que Pedro conhece ela que Pedro conhece ela Lx Lx Lx Lx (N C \N C )/S : N : (N\S)/N : N S : λp 2 λp 1 λx(p 1 (x) P 2 (x)) p C λzz S : C(y)(p) S : λzz(λyc(y)(p)) = redβ λyc(y)(p) N C /N C : λp 2 λp 1 λx(p 1 (x) P 2 (x))(λyc(y)(p)) = redβ λp 1 λx(p 1 (x) λyc(y)(p)(x)) = redβ λp 1 λx(p 1 (x) C(x)(p)) N : y E 0 D 0 VIII Encontro do CELSUL 17 Porto Alegre, 29 a 31 de outubro de 2008

5 Conclusões Unicação de (N C \N C )/(N\S) e (N C \N C )/(S/N) como (N C \N C )/(S N) Eliminação de S Perspectiva: unicar (N C \N C )/(S N) e (N C \N C )/S VIII Encontro do CELSUL 18 Porto Alegre, 29 a 31 de outubro de 2008