Herbrand's Theorem and Equational Reasoning: Problems and Solutions

The famous Herbrand's theorem of mathematical logic plays an important role in automated theorem proving. In the first part of this article, we recall the theorem and formulate a number of natural decision problems related to it. Somewhat surprisingly, these problems happen to be equivalent. One of these problems is the so-called simultaneous rigid E-unification problem. In the second part, we survey recent result on the simultaneous rigid E-unification problem.

Kanger's Choices in Automated Reasoning

This article explains these choices and their place in modern automated deduction.

Níveis de julgamento de alunos de 1., 2. e 3. graus de ensino

Os níveis de julgamen to dos alunos de 1 2 , 22 e ,:3 2 graus de ensino da Rede de E'sco las Particulares e da ~~ndação Universitária da cidade de Lages - Santa Catari ~a -, é um estudo teórico e de investigação prática, que -pretende verificar e discutir as relações entre a quali~ . dade ou maturidade de julgamento .. ' . e as var~ave~s idade grau de escolaridade, capacidade intelectual e nível só- --ci.o-econômico dos alunos ,sujeitos da pesquisa. A amostra foi sorteada aleatoriamente entre to- dos os alunos da 8! série do 12 grau, 2~' série do 29 grau e 3! série do 3 2 grau, num percentual aproximado de 20% da população total visada. Constituiu-se, assim, uma amos tra de 152 sujeitos, extTa{da de uma população de 898 a~ . . lunos. Os objetivos específicos que orientaram o estu- , ." ... . .' ,.., . do resumem-se na anal~se e discussao das relaçoes entreo nível de julgamento e as demais variáveis, isto é, ida~ de, grau de escolaridade, capacidade intelectual e nível sócio-econômico dos ,alunos pesquisados. Os resultados indicam que: 1) a maioria absolu- , ta dos sujeitos tanto de 12 e 22 graus qcinnto os de .j2 grau não alcançou'os níveis de julgamento mais maduros - ou seja - julgamento imaginativo-explicativo e imaginati vo-explicati vo-compreensi vo.· .2) Os sujei tos revelam -a- centuada dificuldade de raciocínio e julgamento' em ,rela ção ao texto-teste de estrutura lógica. 3) As variáveis' ~dade, grau de escolaridade, nível 56cio~ecortômico rela- ',c~onam-se,. em geral, positivamente com o nível de julga- ~mento, embora, no caso desta pesquisa, essa relação seja :fraca, possivelmente em função da pou.ca dispersão ougra!! de homog'eneic.ade' dos escores obtidos pelos sujeitos. Es- -sa homogeneidade de resultados levanta problemas que me- receriam novos estudos para maiores esclarecimentos sobre as condiç;es de desenvolvimento do processo de julga- mento, sejam internas ou externas à escola. são levantadas questões relativas, principalmen- te, à ação da escola, aos livros textos nela utilizados às condições precárias dos professores, à concepção tradi ciônal de educação e sobre o sistema ou contexto social a tual dentro do qual a escola é um sub-sistema. são sugeridas, no final do trabalho, pesquisas e estudos que visem amplioar o c onhecimento a raspei to do d~ senvolvimento do processo de julgar, bem como, pesquisas que procurem relacionar o nível sócio-econômico do profes sor e a quantidade e qualidade de leituras feitas por ele com o desempenho dos alunos.

A tarefa crítica: uma nova perspectiva em analise ocupacional

Uma nova abordagem sobre Análise de Trabalho é o que norteia esta dissertação. Partindo de uma. avaliação preliminar sobre as metodologias existentes, visa oferecer uma perspectiva inovadora no plano técnico e metodológico, através de um m:x3.elo especifico, aqui, denominado - TAREFA CRÍTICA. Nesta trajetória a temática envolve, preliminarmente, uma. reavaliação em termos organizacionais dos aspectos administrativos e comportamentais, vinculados ao estudo do trabalho humano. Sucessivamente, são postos em discussão os problemas específicos das metodologias utilizadas em Análise de Trabalhe, revistos em suas noções básicas. Esta primeira avaliação permite enfrentar uma análise subsequente englobando uma revisão dos métodos, através de termos coordenadores aptos a levantar a diretriz lógica dos processos classificatórios existentes. Desta forma, são fixados e discutidos critérios destinados a classificar as classificações dos métodos, no intuito de se entender a própria lógica subjacente ao sentido e aos objetivos de cada um. A Análise, até certo ponto, exaustiva desses termos, além de propiciar a sistematização conceitual da relação e interação dos métodos frente aos seus objetivos e respectivos resultados, conduziu à proposta metodológica que constitui objeto desta tese. A TAREFA CRÍTICA pretende conciliar, definitivamente, a análise do binômio trabalho-trabalhador, pelo emprego de um raciocínio em parte construtivista, e em parte essencialista; superando, de um lado, os radicalismos operacionais e, de outro, os impasses empiristas em análise de Trabalho. Seu desenvolvimento se originou da hipótese de que sempre há um núcleo fundamental no comportamento do trabalhador a ser definido a partir dos eventos ou dados positivos do trabalho, e susceptivel de explicitar uma significação enucleada nas metas organizacionais que lhe correspondem.

OpenWordNet-PT: an open brazilian wordnet for reasoning

Brazilian Portuguese needs a Wordnet that is open access, downloadable and changeable, so that it can be improved by the community interested in using it for knowledge representation and automated deduction. This kind of resource is also very valuable to linguists and computer scientists interested in extracting and representing knowledge obtained from texts. We discuss briefly the reasons for a Brazilian Portuguese Wordnet and the process we used to get a preliminary version of such a resource. Then we discuss possible steps to improving our preliminary version.