In this thesis we will deal with the logic of public announcement which is a dynamic extension of epistemic logic. First we will explain the logic of truthful public announcement for the multiagent S5 system. Then we will examine what the public announcement can look like in systems weaker than S5. We will focus namely on systems in which the T axiom is invalid and the epistemic modality is interpreted not as a "knowledge" but as a "belief". We will create new semantics of public announcement which is not necessarily truthful but it is believed to be true. We will also try to axiomatize systems that have arisen in this way. Keywords: public announcement logic, logic for belief

Public announcement systems have since long been a key communication method for airports. Visualcommunication, in the form of display systems, in conjunction with vocal announcements reach a broadaudience. Automating the process of generating announcements can increase effectiveness and profitability ofairports. Additionally modern text to speech technologies present airports with the possibility of announcing information in numerous languages, independent of employee language knowledge. This thesis includes the development process and result of a web-based announcement system for use in airport environments. The system utilizes modern text to speech technologies to achieve intelligibleannouncements created through an intuitive and user friendly interface.

There is a recent trend of extending epistemic logic (EL) with dynamic operators that allow to express the evolution of knowledge and belief induced by knowledge-changing actions. The most basic such extension is public announcement logic (PAL), which is obtained from EL by adding an operator for truthful publix announcements. In this paper, we consider the computational complexity of PAL and show that it coincides with that of EL. This holds in the single- and multi-agent case, and also in the presence of common knowledge operators. We also prove that there are properties that can be expressed exponentially more succint in PAL than in EL. This shows that, despite the known fact that PAL and EL have the same expressive power, ther eis a benefit in adding the public announcement operator to EL: it exponentially increases the succinctness of formulas without having negative effects on computational complexity.

Le projet de cette thèse émane du constat d'une scission entre épistémologie d'une part et logique épistémique d'autre part. Si des tentatives de conciliation se sont avérées fructueuses, nous explorons ici la possibilité d'une réconciliation entre épistémologie et logique épistémique à travers l'argumentation.Étudier la logique épistémique au sein d'une pratique argumentative, c'est-À-Dire au sein de dialogues, nous permet de bénéficier d'un cadre d'étude dynamique pour explorer le dynamisme et la signification du langage de la logique épistémique. Nous montrons que cette conciliation de l'épistémologie et de la logique épistémique dans une pratique argumentative est pertinente dans le domaine juridique car elle offre une approche originale de la notion de condition dans le droit. / The project of this thesis stems from the observation of a split between epistemology and epistemic logic.If some attempts at conciliation have been successful, here we explore the possibility of reconciliation between epistemology and epistemic logic through argumentation.Studying epistemic logic in argumentative practice, that is to say in dialogues, enables us to benefit from a dynamic framework to explore the dynamics and the meaning of the language of epistemic logic.We show that this reconciliation of epistemology and epistemic logic in an argumentative practice is relevant in the legal field because it offers an original approach to the notion of condition in law.

Made available in DSpace on 2016-04-27T16:32:43Z (GMT). No. of bitstreams: 1 Ide Moraes dos Santos.pdf: 960064 bytes, checksum: d4905ed3729cbd3ede2dce4f36761ab1 (MD5) Previous issue date: 2013-02-26 / Secretaria da Educação do Estado de São Paulo / The purpose of this study is to analyze the Portuguese Language Teacher Profiles that were published to determine eligibility to take the Entrance Examinations to be considered for positions with the São Paulo State Schools. This study focuses on the published profile announcements for the Entrance Exams for the years 1992, 1998, and 2003. Further stated, this study looks only at a fraction of the public announcements which correspond to the Entrance Examinations for the subtests of General Education Knowledge and Specific Portuguese Language Knowledge during this time. There have been very few studies done on the topic of Entrance Examination Profiles in the São Paulo State System and those that have been done have been restricted to, in most cases, an analysis of the test itself and not the profile requirements to take the test. Consequently, the requirements published to take the entrance examinations do not encompass all of the considerations of best preparation and best practice to ensure high standards of teaching. Therefore, the candidates who take the test may be ill prepared to pursue a successful teaching career. Due to this discrepancy, the test itself and the public announcement that determines eligibility to test must be considered separately. The Portuguese Language Teacher Profile public announcements determining eligibility to take the examination during the period cited above are very problematic. Upon closer consideration, the public announcements at times advertised for the ideal candidate who would become a successful teacher yet at other times, the announcements reflected a standard that was insufficient to fulfill the basic duties of a teacher. This may be explained by the fact that the public announcements for eligibility to take the Entrance Exams are crafted by and often reflect the interests of the local governing bodies and serve to legitimize and publicize their own agendas. These agendas more often than not do not reflect best educational practices. Once these announcements are published, they may be construed as appropriate educational practice by the general public. A more grave consideration is that these faulty proclamations become the basis for legislation that negatively impacts educational policy for all schools in São Paulo State. With respect to the curricula content in the discipline of Portuguese during the time cited above, it was found that there were wildly divergent aspects in the published announcements. This was most blatantly seen on the list of literary classics from 1992 / Esta pesquisa tem por finalidade buscar o perfil do professor de Língua Portuguesa requerido nas publicações apresentadas nos editais de concurso de ingresso de professores da rede estadual paulista, dos anos de 1992, 1998 e 2003. Em linhas gerais, investiga-se a fração dos editais de concursos públicos correspondente aos programas dos Conhecimentos Gerais de Educação e dos Conhecimentos Específicos da disciplina de Língua Portuguesa. Os estudos que discutem a temática dos concursos públicos da rede estadual paulista se restringem, quase que em sua totalidade, às análises das provas, mas os conteúdos apresentados nos programas dos editais de concurso não abarcam todas as questões das avaliações, por isso prova e edital precisam ser analisados separadamente. Da temática dos editais de concursos problematiza-se qual é o perfil do professor de Língua Portuguesa descrito nos programas dos editais de concurso de ingresso de docentes, do período citado. Da investigação propriamente dita infere-se que o perfil do docente, expresso nas publicações apresentadas dos programas de concursos de ingresso e, num mesmo edital, ora figura como ideal e ora como incapacitado para o exercício da docência. Isso porque tais perfis refletem os interesses dos órgãos centrais de legitimar determinados discursos sobre a educação. Tal legitimação se consolida por intermédio dos documentos que legislam sobre as questões educacionais que envolvem as ações da escola pública paulista. Quanto aos conhecimentos da disciplina de Língua Portuguesa, averiguou-se que há aspectos convergentes e divergentes na apresentação dos conteúdos dos editais e das propostas curriculares, sobretudo do que é postulado sobre a lista dos clássicos da literatura, descrita no edital de 1992

First, we consider different kinds of representation of uncertainty and the meth- ods for updating each of them by conditioning. We focus on the generic frame- work of (conditional) plausibility spaces, since it generalises all the introduced representations. Further, we select three frameworks and list the properties that need to be added to a conditional plausibility space in order to recover each of these frameworks. The main goal of this work, however, is to show how public announcement on single-agent plausibility models, ranking structures, and pos- sibility structures realised by their corresponding update mechanisms, can be embedded into the framework of conditional plausibility spaces. At the very end we briefly illustrate a general update model using plausibility measures. Keywords: belief revision, dynamic logic, epistemic logic, plausibility space, pub- lic announcement, uncertainty, update.

Orientador: Marcio Aurelio Pires de Almeida / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Artes / Made available in DSpace on 2018-08-14T23:11:31Z (GMT). No. of bitstreams: 1 Canhameiro_CarlosEduardo_M.pdf: 4022831 bytes, checksum: 57a384e83a2f52a1be9289dfa41ac2df (MD5) Previous issue date: 2009 / Resumo: Não informado / Abstract: This research examined the creation process from the play CHALAÇA a peça, directed by Mareio Aurelio, based on the novel "O Chalaça" by Jose Roberto Torero, with actors from the Les Commediens Tropicales Theater Company. The analysis begun with the conception of the project coniemplated by award "Prêmio Estímulo Flávio Rangel-20Q5"\ granted by Secretary of State for Culture from the Government of São Paulo, made an overview on rehearses process until the premiere of the play and its circulation - and maintenance - since 2006. The focus has been given the relations of production set by a theater company newly created by graduating students of the Performing Arts by UNJCAMP, supported by public funds to create a spectacle and, consequently, the importance of these funds on the company path's. Ultimately the research effort here was to build a genetic critical over the play CHALAÇA a peça, where the generating process of the work and its relations of production were more significant than the final result to obtain the critical mentioned / Mestrado / Mestre em Artes