Página 1 dos resultados de 770 itens digitais encontrados em 0.007 segundos

The expressiveness of a university professor in his classroom performance: analysis of verbal resources and implications for nursing; A expressividade do docente universitário durante sua atuação na sala de aula: análise dos recursos verbais utilizados e suas implicações para a enfermagem; La expresividad del profesor universitario durante su actuación en la sala de clases: análisis de los recursos verbales utilizados y sus implicaciones para la enfermeira

ROMANO, Cristiane Conceição; ALVES, Liliana Amorim; SECCO, Iara Aparecida de Oliveira; RICZ, Lilian Neto Aguiar; ROBAZZI, Maria Lúcia do Carmo Cruz
Fonte: Escola de Enfermagem de Ribeirão Preto / Universidade de São Paulo Publicador: Escola de Enfermagem de Ribeirão Preto / Universidade de São Paulo
Tipo: Artigo de Revista Científica
ENG
Relevância na Pesquisa
27.23%
Expressiveness is the ability of individuals to make their thoughts alive through language and body, effectively transmitting information. This study investigated the expressiveness of a university professor during nursing classes in relation to verbal resources from the perspective of students. This descriptive and quantitative study was carried out in a Higher Education Institution using specific instruments to assess expressiveness. The professor's class was video recorded and the video was first assessed by three speech and language experts and later assessed by 141 students with whom he had no previous contact. The results reveal that students and experts agreed in relation to the professors' expressive skills, which proved the ability of students to evaluate this communication skill.; A expressividade é a capacidade de o indivíduo tornar vivo seu pensamento pela linguagem e pela expressão corporal, permitindo a transmissão de informações de modo efetivo. O presente estudo objetivou investigar a expressividade do docente universitário de enfermagem ministrando aula, em relação aos seus recursos verbais, a partir do julgamento dos alunos. Trata-se de investigação descritiva, quantitativa, desenvolvida em uma instituição de ensino superior...

Expressividade e visão de mundo: o léxico de Mário de Andrade na poesia da década de 20; Expressiveness and worldview: the lexicon of Mário de Andrade in the 20's poetry

Ferreira, Eliana Maria Azevedo Roda Pessoa
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 17/03/2010 PT
Relevância na Pesquisa
37.07%
O objetivo desta dissertação é estudar as escolhas e as criações lexicais de Mário de Andrade nas suas obras poéticas mais representativas da década de 20: Pauliceia desvairada; Losango cáqui e Clã do jabuti. Sob a ótica da Estilística Léxica e com auxílio da Semântica, recolhemos e analisamos as criações lexicais resultantes da necessidade estilística. Entendemos que elas foram escolhidas por Mário de Andrade para acentuar a expressividade de seu texto e procuramos demonstrar, através da sua inserção em campos-léxico-semânticos, a existência de temas reveladores da visão de mundo do autor e da época. As obras analisadas evidenciam a ampliação do território poético de Mário de Andrade que parte da cidade de São Paulo, em processo de urbanização, para abraçar o país multicultural. Através dos temas e das escolhas lexicais feitas, o poeta-enunciador, ao usar a máscara do arlequim, transfigura-se em poeta-arlequim, poeta-soldado e em poeta-antropólogo sugerindo, assim, a aproximação ou o afastamento de determinado grupo social.; The purpose of this dissertation is to study the choices and the lexical creations by Mário de Andrade in his most representative poetic works in the twenties: Pauliceia desvairada...

O julgamento da expressividade do professor universitário de enfermagem ministrando aula; The Judgment of the expressiveness of a teacher teaching at a nursing school

Romano, Cristiane da Conceição
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 31/08/2010 PT
Relevância na Pesquisa
37.62%
A comunicação é um processo que se encontra internamente relacionado com a expressividade. Há profissionais que usam demasiadamente a comunicação e a expressividade, como é o caso do professor, que atua transmitindo informações as quais devem chegar de maneira efetiva aos seus alunos. O objetivo geral do estudo foi investigar a expressividade do professor universitário de enfermagem ministrando aula, por meio do julgamento dos alunos. Trata-se de estudo descritivo com abordagem quantitativa, realizado em uma instituição de ensino superior de enfermagem de uma universidade pública. Alunos matriculados (141) nos cursos de bacharelado e licenciatura de enfermagem, distribuídos em três turmas, realizaram a avaliação da expressividade de um professor da instituição, sendo que este possuía experiência profissional, estava em atividade regular e não era conhecido por este alunado. A avaliação da expressividade foi realizada por meio de seis minutos de filmagem de uma aula ministrada por esse professor. Esta mesma filmagem foi avaliada por três experts fonoaudiólogos, especialistas em voz e experientes em expressividade. A pesquisa contou com quatro fases (preparo dos instrumentos, no qual foi utilizado protocolo de avaliação fonoaudiológica e instrumento para os alunos; questionário para avaliação do aluno...

Curso a distância para professores: Conhecendo os segredos da voz e da expressividade; Distance course for teachers: Knowing the Secrets of Voice and Expressiveness

Santos, Aline Robertina dos
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 28/02/2012 PT
Relevância na Pesquisa
27.23%
O professor necessita ter uma voz saudável, com boa qualidade e um bom desempenho comunicativo para obter sucesso profissional. O uso da internet pode facilitar o acesso destes profissionais a tais informações. O presente estudo objetivou elaborar um curso à distância para professores sobre saúde vocal e expressividade que capacite essa população a cuidar da voz e aprimorar a comunicação em sala de aula e que traga satisfação aos usuários. Foi desenvolvido um site com conteúdo teórico intitulado Conhecendo os Segredos da Voz e da Expressividade, o qual foi disponibilizado para os professores em 3 módulos: 1º- A voz e os problemas de voz; 2º- Saúde Vocal e 3º- A voz e a oratória em sala de aula. Participaram efetivamente desta pesquisa 10 professores, sendo 9 mulheres e 1 homem, com idades entre 25 e 54 anos, pertencentes a escolas públicas de ensino Fundamental e Médio dos municípios de Bauru, Suzano e Poá, do estado de São Paulo. Os participantes responderam a questionários antes e após a conclusão do curso, que teve duração de no máximo 30 dias. Para verificar o conhecimento e os hábitos dos participantes antes e após o curso, os resultados dos questionários foram submetidos à análise estatística (teste t pareado). Após o curso foi aplicado um questionário de satisfação...

Protocolo de análise da voz, da expressividade e dos hábitos de professores por meio de registros audiovisuais; Protocol of voice assessment and teachers habits and expressiveness by means of audiovisual records

Pires, Iana da Costa
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 19/12/2012 PT
Relevância na Pesquisa
27.56%
A compreensão sobre o uso da voz pelo professor no ambiente e no contexto profissional deve ser considerada em ações sobre saúde vocal. Assim, o objetivo do presente estudo foi construir e analisar um protocolo de avaliação da voz e da expressividade de professores por meio de registros audiovisuais, que contemplem os aspectos da realidade desse profissional in loco e verificar se esses aspectos se relacionam ao gênero, ao tempo de docência e à carga horária semanal dos professores. Foram realizadas filmagens de 17 docentes em situação de aula durante 15 minutos. O Protocolo foi elaborado e desenvolvido com base na literatura e a parte I foi constituída por 10 parâmetros vocais, além de quatro parâmetros relacionados à expressão vocal e à expressão corporal. O desvio do padrão optimal de cada parâmetro foi registrado por três juízes em escala analógica visual de 100 mm e houve concordância satisfatória para a maioria dos atributos analisados. Os parâmetros vocais com valores médios de desvio mais acentuados foram grau global de desvio vocal (16,86 mm), tensão (13,37 mm) e entonação (13,31 mm). Dentre os parâmetros de expressividade, a expressividade geral foi considerada mais desviada pelos juízes (23...

Expressiveness and definability in circumscription

Ferreira,Francicleber Martins; Martins,Ana Teresa
Fonte: UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência Publicador: UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência
Tipo: Artigo de Revista Científica Formato: text/html
Publicado em 01/06/2011 EN
Relevância na Pesquisa
37.07%
We investigate expressiveness and definability issues with respect to minimal models, particularly in the scope of Circumscription. First, we give a proof of the failure of the Löwenheim-Skolem Theorem for Circumscription. Then we show that, if the class of P; Z-minimal models of a first-order sentence is Δ-elementary, then it is elementary. That is, whenever the circumscription of a first-order sentence is equivalent to a first-order theory, then it is equivalent to a finitely axiomatizable one. This means that classes of models of circumscribed theories are either elementary or not Δ-elementary. Finally, using the previous result, we prove that, whenever a relation Pi is defined in the class of P; Z-minimal models of a first-order sentence Φ and whenever such class of P; Z-minimal models is Δ-elementary, then there is an explicit definition ψ for Pi such that the class of P; Z-minimal models of Φ is the class of models of Φ ∧ ψ. In order words, the circumscription of P in Φ with Z varied can be replaced by Φ plus this explicit definition ψ for Pi.

The expressiveness of a university professor in his classroom performance: analysis of verbal resources and implications for nursing

Romano,Cristiane Conceição; Alves,Liliana Amorim; Secco,Iara Aparecida de Oliveira; Ricz,Lilian Neto Aguiar; Robazzi,Maria Lúcia do Carmo Cruz
Fonte: Escola de Enfermagem de Ribeirão Preto / Universidade de São Paulo Publicador: Escola de Enfermagem de Ribeirão Preto / Universidade de São Paulo
Tipo: Artigo de Revista Científica Formato: text/html
Publicado em 01/10/2011 EN
Relevância na Pesquisa
27.23%
Expressiveness is the ability of individuals to make their thoughts alive through language and body, effectively transmitting information. This study investigated the expressiveness of a university professor during nursing classes in relation to verbal resources from the perspective of students. This descriptive and quantitative study was carried out in a Higher Education Institution using specific instruments to assess expressiveness. The professor's class was video recorded and the video was first assessed by three speech and language experts and later assessed by 141 students with whom he had no previous contact. The results reveal that students and experts agreed in relation to the professors' expressive skills, which proved the ability of students to evaluate this communication skill.

Parental Expressiveness as a Moderator of Coparenting and Marital Relationship Quality

Kolak, Amy M.; Volling, Brenda L.
Fonte: PubMed Publicador: PubMed
Tipo: Artigo de Revista Científica
Publicado em /12/2007 EN
Relevância na Pesquisa
27.42%
Driven by theory and extant research on the communication of emotions within the family, the current investigation examined marital quality and parents’ emotional expressiveness as determinants of coparenting in a sample of 57 couples with young children. Specifically, mothers’ and fathers’ expressiveness was examined as moderators of the association between marital quality and coparenting behavior. Though negative expressiveness did not emerge as a significant predictor of coparenting when considered in conjunction with marital quality, parents’ positive expressiveness made unique and interactive contributions to coparenting. Thus, it appears that positive expressiveness, especially fathers’, may be beneficial to family functioning. Positively expressive husbands protected couples from negative coparenting interactions in the face of less supportive marriages. Couples in distressed marriages may benefit from work with practitioners and family life educators who consider the role that the communication of emotions plays in the context of coparenting.

Emotional Expressiveness in Sleep-Deprived Healthy Adults

Minkel, Jared; Htaik, Oo; Banks, Siobhan; Dinges, David
Fonte: PubMed Publicador: PubMed
Tipo: Artigo de Revista Científica
Publicado em //2011 EN
Relevância na Pesquisa
27.23%
The purpose of this study was to evaluate the influence of sleep deprivation on emotional expression and subjective emotional experience in a highly controlled, laboratory setting. Twenty-three healthy adult participants watched positive (amusing) and negative (sad) film clips before and after they were randomly assigned to a night of sleep deprivation or a normal sleep control condition. The intensity of their facial expressiveness while viewing the films was coded by human judges and compared to their subjective emotional responses. Relative to the control group, sleep-deprived participants demonstrated less expressiveness, especially in response to positive stimuli. Subjective responses were not significantly different between the sleep-deprived and control groups. These preliminary results suggest that sleep deprivation is associated with attenuated emotional expressiveness in healthy adults.

Simplicity-Expressiveness Tradeoffs in Mechanism Design

Dütting, Paul; Fischer, Felix; Parkes, David C.
Fonte: Association for Computing Machinery Publicador: Association for Computing Machinery
Tipo: Monograph or Book
EN_US
Relevância na Pesquisa
37.23%
A fundamental result in mechanism design theory, the so-called revelation principle, asserts that for many questions concerning the existence of mechanisms with a given outcome one can restrict attention to truthful direct-revelation mechanisms. In practice, however, many mechanisms use a restricted message space. This motivates the study of the tradeoffs involved in choosing simplified mechanisms, which can sometimes bring benefits in precluding bad or promoting good equilibria, and other times impose costs on welfare and revenue. We study the simplicity-expressiveness tradeoff in two representative settings, sponsored search auctions and combinatorial auctions, each being a canonical example for complete information and incomplete information analysis, respectively. We observe that the amount of information available to the agents plays an important role for the tradeoff between simplicity and expressiveness.; Engineering and Applied Sciences

An investigation of the effects of a school-based intervention on feelings of personal expressiveness in multi-problem adolescent youth

Albrecht, Richard E.
Fonte: FIU Digital Commons Publicador: FIU Digital Commons
Tipo: Artigo de Revista Científica Formato: application/pdf
Relevância na Pesquisa
27.23%
This study was conducted to determine the effects of the Changing Lives Program intervention on troubled adolescents' feelings of personal expressiveness, believed to be one domain of positive identity development. Forty-three intervention and twenty nonintervention comparison control participants were given a battery of pre-, post-, and follow-up assessments including the Personally Expressive Questionnaire (Waterman, 1995), which was used to derive participants' feelings of personal expressiveness scores. Using Repeated Measures Analysis of Multivariate Analysis (RMANOVA), a significant four-way interaction of Time X Condition X Gender X Ethnicity was found relative to the Control, Roy's Ɵ = .166, F(2,47) = 3.899, p < .027 indicating that intervention participants' feelings of personal expressiveness did increase significantly relative to the control group. Furthermore, the results suggest differential outcomes based on ethnicity, suggesting the need for future study with respect to specificity of effects and mechanisms of identity formation in differing ethnic subgroups.

Os parâmetros expressivos na execução ao cravo e suas abordagens : um estudo sobre a expressividade cravística = Expressive parameters in the harpsichord performance: a harpsichord expressiveness study; Expressive parameters in the harpsichord performance : a harpsichord expressiveness study

Nivia Gasparini Zumpano
Fonte: Biblioteca Digital da Unicamp Publicador: Biblioteca Digital da Unicamp
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 06/11/2013 PT
Relevância na Pesquisa
27.34%
O presente trabalho apresenta uma reflexão a respeito da expressividade cravística com ênfase em alguns parâmetros da execução. Para tanto, foram delimitados fatores associados à expressividade a partir da literatura especializada e, na etapa seguinte, realizou-se um estudo sobre sua influência na sonoridade do instrumento, procurando-se destacar questões relativas à possibilidade de dinâmica no cravo. Com o objetivo de verificar a maneira como a expressividade tem sido abordada no contexto de aprendizado cravístico e a forma como os estudantes manipulam os parâmetros analisados, realizou-se também uma pesquisa com alunos e ex-alunos de diversas Instituições de Ensino do país. Ao final, a análise dos resultados obtidos possibilitou a visualização da forma como os parâmetros podem influenciar acusticamente a sonoridade na execução, permitindo concluir que sua manipulação pelo intérprete amplia as possibilidades expressivas do instrumento.; In this thesis we offer a discussion about harpsichord's expressiveness with emphasis on some performance parameters. Thus, we defined some factors associated to the expressiveness from the specialized literature and in the next step we performed a study about its influence on harpsichord's sound...

Expressividade e expressão nas aulas de Técnica de Dança Clássica

Leite, Mariana Morgado de Oliveira
Fonte: Instituto Politécnico de Lisboa Publicador: Instituto Politécnico de Lisboa
Tipo: Dissertação de Mestrado
Publicado em /07/2013 POR
Relevância na Pesquisa
27.42%
Relatório Final de Estágio apresentado à Escola Superior de Dança, com vista à obtenção do grau de Mestre em Ensino da Dança.; A expressividade nas aulas de Técnica de Dança Clássica foi o tema escolhido para este projeto de estágio curricular, no âmbito do Mestrado em Ensino de Dança, da Escola Superior de Dança. O objetivo a que nos propusemos, vai para além de refletir sobre a relação entre técnica e expressividade na dança, visando estimular e valorizar a expressividade nas aulas de Técnica de Dança Clássica, não só como elemento potenciador de uma técnica sólida, mas também como fator responsável pela exteriorização de intenções, sentimentos e ações, inerente ao Homem. Procurou-se relevar a importância do domínio técnico do bailarino, sem contudo descurar nem inibir a sua expressão. O aluno/bailarino deve traduzir no movimento consolidado tecnicamente, as suas experiências, a sua identidade, a expressão integral da dança – expressividade da técnica e expressão interior - reforçando a importância de uma comunicação mais verdadeira entre bailarinos e públicos. Neste sentido, o papel da técnica é também colocado em relevo, na medida em que esta agiliza e suporta a expressividade do movimento.; ABSTRACT - Expressiveness in Classical Dance Technique classes was the theme chosen for this internship project...

Relationships between maternal emotional expressiveness and children's sensitivity to teacher criticism

Mizokawa, Ai
Fonte: Frontiers Media S.A. Publicador: Frontiers Media S.A.
Tipo: Artigo de Revista Científica
Publicado em 08/11/2013 EN
Relevância na Pesquisa
27.34%
Caregivers' emotional responses to children influence children's social and emotional development. This study investigated the association between maternal emotional expressiveness in the context of mother–child interactions and young children's sensitivity to teacher criticism. Sensitivity to teacher criticism was assessed among 53 Japanese preschoolers using hypothetical scenarios in which a puppet child representing the participant made a small error, and a puppet teacher pointed out the error. Self-report questionnaires were used to measure maternal expressiveness. The results demonstrated that negative maternal expressiveness toward one's own children was positively related to children's ratings of their own ability and negatively related to children's motivation to continue with the task after teacher criticism. Positive maternal expressiveness was not related to children's sensitivity to criticism. These findings suggest that children who have experienced more negative emotion from mothers may be more likely to hold negative beliefs about how others will respond to their behavior more generally. This may, in turn, lead to a defensively positive view of one's own abilities and a disinclination to persevere as protection from additional opportunities for teacher evaluation.

Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

Baeten, Jos C. M.; Luttik, Bas; Muller, Tim; van Tilburg, Paul
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 29/11/2010
Relevância na Pesquisa
27.34%
The languages accepted by finite automata are precisely the languages denoted by regular expressions. In contrast, finite automata may exhibit behaviours that cannot be described by regular expressions up to bisimilarity. In this paper, we consider extensions of the theory of regular expressions with various forms of parallel composition and study the effect on expressiveness. First we prove that adding pure interleaving to the theory of regular expressions strictly increases its expressiveness up to bisimilarity. Then, we prove that replacing the operation for pure interleaving by ACP-style parallel composition gives a further increase in expressiveness. Finally, we prove that the theory of regular expressions with ACP-style parallel composition and encapsulation is expressive enough to express all finite automata up to bisimilarity. Our results extend the expressiveness results obtained by Bergstra, Bethke and Ponse for process algebras with (the binary variant of) Kleene's star operation.; Comment: In Proceedings EXPRESS'10, arXiv:1011.6012

Relative Expressiveness of Defeasible Logics

Maher, Michael
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 05/10/2012
Relevância na Pesquisa
27.42%
We address the relative expressiveness of defeasible logics in the framework DL. Relative expressiveness is formulated as the ability to simulate the reasoning of one logic within another logic. We show that such simulations must be modular, in the sense that they also work if applied only to part of a theory, in order to achieve a useful notion of relative expressiveness. We present simulations showing that logics in DL with and without the capability of team defeat are equally expressive. We also show that logics that handle ambiguity differently -- ambiguity blocking versus ambiguity propagating -- have distinct expressiveness, with neither able to simulate the other under a different formulation of expressiveness.

Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics

Crafa, Silvia; Gebler, Daniel E.
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 25/08/2015
Relevância na Pesquisa
27.23%
This volume contains the proceedings of the Combined 22nd International Workshop on Expressiveness in Concurrency and the 12th Workshop on Structural Operational Semantics (EXPRESS/SOS 2015) which was held on 31 August 2015 in Madrid, Spain, as an affiliated workshop of CONCUR 2015, the 26th International Conference on Concurrency Theory. The EXPRESS workshops aim at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. Their focus has traditionally been on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, and rewrite systems) on the basis of their relative expressive power. The EXPRESS workshop series has run successfully since 1994 and over the years this focus has become broadly construed. The SOS workshops aim at being a forum for researchers, students and practitioners interested in new developments, and directions for future investigation, in the field of structural operational semantics. One of the specific goals of the SOS workshop series is to establish synergies between the concurrency and programming language communities working on the theory and practice of SOS. Since 2012...

Expressiveness of Logic Programs under General Stable Model Semantics

Zhang, Heng; Zhang, Yan
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 01/12/2014
Relevância na Pesquisa
27.23%
The stable model semantics had been recently generalized to non-Herbrand structures by several works, which provides a unified framework and solid logical foundations for answer set programming. This paper focuses on the expressiveness of normal and disjunctive programs under the general stable model semantics. A translation from disjunctive programs to normal programs is proposed for infinite structures. Over finite structures, some disjunctive programs are proved to be intranslatable to normal programs if the arities of auxiliary predicates and functions are bounded in a certain way. The equivalence of the expressiveness of normal programs and disjunctive programs over arbitrary structures is also shown to coincide with that over finite structures, and coincide with whether NP is closed under complement. Moreover, to capture the exact expressiveness, some intertranslatability results between logic program classes and fragments of second-order logic are obtained.; Comment: Technical report, an extended version of arXiv:1304.0620

Decomposing, Comparing, and Synthesizing Access Control Expressiveness Simulations (Extended Version)

Garrison III, William C.; Lee, Adam J.
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Relevância na Pesquisa
27.34%
Access control is fundamental to computer security, and has thus been the subject of extensive formal study. In particular, *relative expressiveness analysis* techniques have used formal mappings called *simulations* to explore whether one access control system is capable of emulating another, thereby comparing the expressive power of these systems. Unfortunately, the notions of expressiveness simulation that have been explored vary widely, which makes it difficult to compare results in the literature, and even leads to apparent contradictions between results. Furthermore, some notions of expressiveness simulation make use of non-determinism, and thus cannot be used to define mappings between access control systems that are useful in practical scenarios. In this work, we define the minimum set of properties for an *implementable* access control simulation; i.e., a deterministic "recipe" for using one system in place of another. We then define a wide range of properties spread across several dimensions that can be enforced on top of this minimum definition. These properties define a taxonomy that can be used to separate and compare existing notions of access control simulation, many of which were previously incomparable. We position existing notions of simulation within our properties lattice by formally proving each simulation's equivalence to a corresponding set of properties. Lastly...

EXPRESSIVENESS AND DEFINABILITY IN CIRCUMSCRIPTION

Ferreira, Francicleber Martins; Martins, Ana Teresa
Fonte: UNICAMP-CLE-Publicações Publicador: UNICAMP-CLE-Publicações
Tipo: info:eu-repo/semantics/article; info:eu-repo/semantics/publishedVersion; Artigo Avaliado pelos Pares; Formato: application/x-empty
Publicado em 29/11/2015 POR
Relevância na Pesquisa
37.07%
We investigate expressiveness and definability issues with respect to minimal models, particularly in the scope of Circumscription. First, we give a proof of the failure of the Löwenheim-Skolem Theorem for Circumscription. Then we show that, if the class of P; Z-minimal models of a first-order sentence is ∆- elementary, then it is elementary. That is, whenever the circumscription of a firstorder sentence is equivalent to a first-order theory, then it is equivalent to a finitely axiomatizable one. This means that classes of models of circumscribed theories are either elementary or not ∆-elementary. Finally, using the previous result, we prove that, whenever a relation Pi is defined in the class of P; Z-minimal models of a firstorder sentence φ and whenever such class of P; Z-minimal models is ∆-elementary, then there is an explicit definition ψ for Pi such that the class of P; Z-minimal models of φ is the class of models of φ ∧ ψ. In order words, the circumscription of P in φ with Z varied can be replaced by φ plus this explicit definition ψ for Pi.