Reason Maintenance Systems: Tools for Foundations-based Belief Revision

Dynamic and distributed environments are hard to model since they suffer from unexpected changes, incomplete knowledge, and conflicting perspectives and, thus, call for appropriate knowledge representation and reasoning (KRR) systems. Such KRR systems must handle sets of dynamic beliefs, be sensitive to communicated and perceived changes in the environment and, consequently, may have to drop current beliefs in face of new findings or disregard any new data that conflicts with stronger convictions held by the system. Not only do they need to represent and reason with beliefs, but also they must perform belief revision to maintain the overall consistency of the knowledge base. One way of developing such systems is to use reason maintenance systems (RMS). In this paper we provide an overview of the most representative types of RMS, which are also known as truth maintenance systems (TMS), which are computational instances of the foundations-based theory of belief revision. An RMS module works together with a problem solver. The latter feeds the RMS with assumptions (core beliefs) and conclusions (derived beliefs), which are accompanied by their respective foundations. The role of the RMS module is to store the beliefs, associate with each belief (core or derived belief) the corresponding set of supporting foundations and maintain the consistency of the overall reasoning by keeping, for each represented belief, the current supporting justifications. Two major approaches are used to reason maintenance: single-and multiple-context reasoning systems. Although in the single-context systems, each belief is associated to the beliefs that directly generated it—the justification-based TMS (JTMS) or the logic-based TMS (LTMS), in the multiple context counterparts, each belief is associated with the minimal set of assumptions from which it can be inferred—the assumption-based TMS (ATMS) or the multiple belief reasoner (MBR).

Intercultural awareness through. Digital storytelling

In today’s globalized world, communication students need to be capable of efficiently communicating across the globe. At ISCAP, part of the 3rd year syllabus in Translation and New Technologies course is focused on culture and the need to be culturally knowledgeable. We argue the approach to incorporate cultural aspects in HE needs to be studentcentered, in order to encompass not only intercultural awareness, but also the 21st century skills students need to be successful and competent citizens. Additionally, as studies have shown, the manipulation of digital tools fosters greater student involvement in learning activities. We have adopted Digital Storytelling - multimodal storytelling technique - to promote a personal, student-centered reflection on intercultural communication. We intend to present student and teacher perspectives on this learning experience and assess its relevance in HE contexts, based on the content analysis of student expressed perspectives on this activity as well as a multimodal analysis of the digital stories created. A preliminary analysis of our case study has demonstrated that Digital Storytelling potentiates two complimentary types of reflection: on the one hand, students felt the need to reflect on their own intercultural knowledge, create and adapt their finding in the form of a story; on the other hand, viewing others’ stories they have raised questions and demonstrated points of view otherwise ignored.

Miocene marine-continental correlations in the Lisbon area and some discussion related to personnal experience

Sandpit exploitation near Lisbon allowed collecting of many Miocene, non marine fossils. These sands are part of the mostly marine Miocene series in the Lower Tagus basin. The particularly favourable situation led several researchers to deal with marine-continental correlations. Difficulties often concern methodologic aspects. Some poorly based interpretations exerced a lasting influence. A critical approach is presented. Analysis requires data. Methods based upon models often lead to the temptation of fitting data in order to confirm a priori conclusions, or of mixing up data as if of equal statistic value while they have not at all the same weight. Erroneous interpretations' uncritical repetition for many years "upgraded" them into absolute truth. Another point is endemism vs. europeism. Miocene mammals from Lisbon compared well with corresponding French, contemporaneous taxa, while this was apparently not true for Spanish ones. Too much accent had been put on the endemic character of Spanish, or even regional, mammalian faunas. Nationalist bias and sensationalism also weigh, albeit negatively. Meanwhile nearly all the more evident examples as the rhinoceros Hispanotherium are discredited as Iberian endemisms. Taxa may appear as endemic just because they have not yet been found elsewhere. At least for the medium to large-sized mammals, with their huge geographic distribution, faunal differences depend much more on ecology, climate and environmental conditions. Emphasis on differences may also result from researchers that are often in a precarious situation and need very much to achieve short-term, preferably sensational results. Overvalued differences may mask real similarities. Unethic and not scientific behaviour are further enhanced by "nomina nuda" tricks that may simply be a way to circunvent or cheat the Priority Rule. On the other hand, access to communication networks may present as sensational novelties items that are not new at all, misleading the audience. A new class of "science people" arose, created by the media and not by the value of their real achievements. Discussion is presented on sedimentation processes and discontinuities that are often regarded as absolute precision dating tools, as well as on some geochemical and paleomagnetic interpretations. A very good chronologie frame has been obtained for the basin under study on the basis of an impressive set of data, providing a rather detailed and accurate frame for Miocene marine-continental correlations.

Petri nets based components within globally asynchronous locally synchronous systems

Dissertação apresentada na Faculdade de Ciências e Tecnologias da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e Computadores

Proposta de melhoria da presença online da marca Cabeça, Aldeia Natal

Relatório de estágio apresentado à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Publicidade e Marketing.

Proposta de modelo de avaliação de desempenho das marcas no facebook

Relatório de estágio apresentado à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Publicidade e Marketing.

Projeto de desenvolvimento de App de apoio ao cliente para operador de telecomunicações

Trabalho de projeto apresentado à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Publicidade e Marketing.

‘Thy love afar is spite at home' Emerson, Thoreau and Carey: an alternative perspective of communication in US

The conquest of the West by the stagecoaches and then by railway, Ford and the automobile civilization, the Moon landing by Apollo 11, Microsoft, Apple, CNN, Google and Facebook have appeared to us as celebratory examples of the willingness and ability of the US to overcome the distance and the absence through so-called modern progress of transportation and communication. Undoubtedly, the imaginary and the instrumental power associated to transports and communication of the last century and a half are identified with the mental images that the world has of the US. A world that has eagerly imported and copy their technology and technological culture. Beyond the illusions, this attempting, which has always been praised to transcende space and eclipse the time to get to places and peole increasingly distant and fast, has always a dark side: the political control of population, commercial advertising, the spread of the rumors, noise and gossip. However, since at least the nineteenth century, the political project incorporated in modern transportation and communication technologies was not shared by some of the most remarkable thinkers in the US not only in that century, but also in the 20th century. This paper begins by rescue Ralph W. Emerson and Henry D. Thoreau legacy regarding to communication. Emerson conceived communication as a give-and-take with no coordination between the two, and does not involve contact with the other. Thoreau, in turn, argued that modern trasnportation and communications inventions are but pretty toys which distract attention from serious things, nothing more than 'improved means to an end that is not perfected.' Secondly, we show that this skeptical view of the techological improvement of transport and communication was proceed in an original way with James W. Carey, a media studies thinker who became known for his criticism of the transmission view of communication.

Modelação de organismos com crescimento logarítmico: aplicação às amonites *

This work refers to the development of modelling tools to create Ammonite shells in order to produce animated models for scientific dissemination and didactic purposes. In the approach here proposed we assume that the growth of those shells from an initial stage – the protoconch – can be interpreted as a succession of revolutions in turn of a central axis; thus the conch’s section will increase as a non-linear progression. So, we emphasise that the shape of many type of shells, e.g. gastropods and bivalves, is based on the equation of the logarithmic spiral deduced by R. Descartes. Pixels 3d (Pixels Digital Inc., 2005) is a TCL – scriptable modelling and animation software that allows extendable interapplication communication. Hence a standalone prototype (Shellia) with shell assignable parameters was produced and some of their issues and results will be presented here.

A relevância da comunicação integrada no web marketing: estudo de um caso prático

Dissertação de Mestrado apresentada ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Marketing Digital, sob orientação do Prof. Paulo Alexandre Pires

As newsletters com vídeos incorporados como instrumento de comunicação. O caso da clínicas Persona

Dissertação de Mestrado apresentada ao Instituto Superior de Contabilidade e Administração do Porto, para obtenção do grau de Mestre em Marketing Digital, sob orientação da Prof. Sandrina Teixeira

Remote operation of embedded controllers designed using IOPT Petri-nets

This paper presents a new communication architecture to enable the remote control, monitoring and debug of embedded-system controllers designed using IOPT Petri nets. IOPT Petri nets and the related tools (http://gres.uninova.pt) have been used as a rapid prototyping and development framework, including model-checking, simulation and automatic code generation tools. The new architecture adds remote operation capabilities to the controllers produced by the automatic code generators, enabling quasi-real-time remote debugging and monitoring using the IOPT simulator tool. Furthermore, it enables the creation of graphical user interfaces for remote operation and the development of distributed systems where a Petri net model running on a central system supervises the actions of multiple remote subsystems. © 2015 IEEE.

Distributed controllers modeling through Petri nets with multi-asynchronous-channels

This paper proposes the concept of multi-asynchronous-channel for Petri nets. Petri nets extended with multi-asynchronous-channels and time-domains support the specification of distributed controllers, where each controller has a synchronous execution but the global system is asynchronous (globally-asynchronous locally-synchronous systems). Each multi-asynchronous-channel specify the interaction between two or more distributed controllers. These channels, together with the time-domain concept, ensure the creation of network-independent models to support implementations using heterogeneous communication networks. The created models support not only the systems documentation but also their validation and implementation through simulation tools, verification tools, and automatic code generators. An application example illustrates the use of a Petri net class extended with the proposed channels. © 2015 IEEE.

Group-to-group bidirectional Wi-Fi direct communication with two relay nodes

The current capabilities of mobile phones in terms of communication, processing and storage, enables its use to form autonomous networks of devices that can be used in case of collapse or inexistent support from a communication infrastructure. In this paper, we propose a network configuration of nodes that provides high-speed bidirectional device-to-device communication, with symmetrical data transfer rates, in Wi-Fi Direct multi-group scenarios, without using performance hindering broadcasts. Copyright © 2015 ICST.

Petri net model decomposition - a model based approach supporting distributed execution

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica, Especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia