A modal approach to model computational trust

Le concept de confiance est un concept sociocognitif qui adresse la question de l'interaction dans les systèmes concurrents. Quand la complexité d'un système informatique prohibe l'utilisation de solutions traditionnelles de sécurité informatique en amont du processus de développement (solutions dites de type dur), la confiance est un concept candidat, pour le développement de systèmes d'aide à l'interaction. Dans cette thèse, notre but majeur est de présenter une vue d'ensemble de la discipline de la modélisation de la confiance dans les systèmes informatiques, et de proposer quelques modèles logiques pour le développement de module de confiance. Nous adoptons comme contexte applicatif majeur, les applications basées sur les architectures orientées services, qui sont utilisées pour modéliser des systèmes ouverts telle que les applications web. Nous utiliserons pour cela une abstraction qui modélisera ce genre de systèmes comme des systèmes multi-agents. Notre travail est divisé en trois parties, la première propose une étude de la discipline, nous y présentons les pratiques utilisées par les chercheurs et les praticiens de la confiance pour modéliser et utiliser ce concept dans différents systèmes, cette analyse nous permet de définir un certain nombre de points critiques, que la discipline doit aborder pour se développer. La deuxième partie de notre travail présente notre premier modèle de confiance. Cette première solution basée sur un formalisme logique (logique dynamique épistémique), démarre d'une interprétation de la confiance comme une croyance sociocognitive, ce modèle présentera une première modélisation de la confiance. Apres avoir prouvé la décidabilité de notre formalisme. Nous proposons une méthodologie pour inférer la confiance en des actions complexes : à partir de notre confiance dans des actions atomiques, nous illustrons ensuite comment notre solution peut être mise en pratique dans un cas d'utilisation basée sur la combinaison de service dans les architectures orientées services. La dernière partie de notre travail consiste en un modèle de confiance, où cette notion sera perçue comme une spécialisation du raisonnement causal tel qu'implémenté dans le formalisme des règles de production. Après avoir adapté ce formalisme au cas épistémique, nous décrivons trois modèles basés sur l'idée d'associer la confiance au raisonnement non monotone. Ces trois modèles permettent respectivement d'étudier comment la confiance est générée, comment elle-même génère les croyances d'un agent et finalement, sa relation avec son contexte d'utilisation.The concept of trust is a socio-cognitive concept that plays an important role in representing interactions within concurrent systems. When the complexity of a computational system and its unpredictability makes standard security solutions (commonly called hard security solutions) inapplicable, computational trust is one of the most useful concepts to design protocols of interaction. In this work, our main objective is to present a prospective survey of the field of study of computational trust. We will also present two trust models, based on logical formalisms, and show how they can be studied and used. While trying to stay general in our study, we use service-oriented architecture paradigm as a context of study when examples are needed. Our work is subdivided into three chapters. The first chapter presents a general view of the computational trust studies. Our approach is to present trust studies in three main steps. Introducing trust theories as first attempts to grasp notions linked to the concept of trust, fields of application, that explicit the uses that are traditionally associated to computational trust, and finally trust models, as an instantiation of a trust theory, w.r.t. some formal framework. Our survey ends with a set of issues that we deem important to deal with in priority in order to help the advancement of the field. The next two chapters present two models of trust. Our first model is an instantiation of Castelfranchi & Falcone's socio-cognitive trust theory. Our model is implemented using a Dynamic Epistemic Logic that we propose. The main originality of our solution is the fact that our trust definition extends the original model to complex action (programs, composed services, etc.) and the use of authored assignment as a special kind of atomic actions. The use of our model is then illustrated in a case study related to service-oriented architecture. Our second model extends our socio-cognitive definition to an abductive framework that allows us to associate trust to explanations. Our framework is an adaptation of Bochman's production relations to the epistemic case. Since Bochman approach was initially proposed to study causality, our definition of trust in this second model presents trust as a special case of causal reasoning, applied to a social context. We end our manuscript with a conclusion that presents how we would like to extend our work

An architectural framework for self-configuration and self-improvement at runtime

[no abstract

ICTERI 2020: ІКТ в освіті, дослідженнях та промислових застосуваннях. Інтеграція, гармонізація та передача знань 2020: Матеріали 16-ї Міжнародної конференції. Том II: Семінари. Харків, Україна, 06-10 жовтня 2020 р.

This volume represents the proceedings of the Workshops co-located with the 16th International Conference on ICT in Education, Research, and Industrial Applications, held in Kharkiv, Ukraine, in October 2020. It comprises 101 contributed papers that were carefully peer-reviewed and selected from 233 submissions for the five workshops: RMSEBT, TheRMIT, ITER, 3L-Person, CoSinE, MROL. The volume is structured in six parts, each presenting the contributions for a particular workshop. The topical scope of the volume is aligned with the thematic tracks of ICTERI 2020: (I) Advances in ICT Research; (II) Information Systems: Technology and Applications; (III) Academia/Industry ICT Cooperation; and (IV) ICT in Education.Цей збірник представляє матеріали семінарів, які були проведені в рамках 16-ї Міжнародної конференції з ІКТ в освіті, наукових дослідженнях та промислових застосуваннях, що відбулася в Харкові, Україна, у жовтні 2020 року. Він містить 101 доповідь, які були ретельно рецензовані та відібрані з 233 заявок на участь у п'яти воркшопах: RMSEBT, TheRMIT, ITER, 3L-Person, CoSinE, MROL. Збірник складається з шести частин, кожна з яких представляє матеріали для певного семінару. Тематична спрямованість збірника узгоджена з тематичними напрямками ICTERI 2020: (I) Досягнення в галузі досліджень ІКТ; (II) Інформаційні системи: Технології і застосування; (ІІІ) Співпраця в галузі ІКТ між академічними і промисловими колами; і (IV) ІКТ в освіті

Dipterocarps protected by Jering local wisdom in Jering Menduyung Nature Recreational Park, Bangka Island, Indonesia

Apart of the oil palm plantation expansion, the Jering Menduyung Nature Recreational Park has relatively diverse plants. The 3,538 ha park is located at the north west of Bangka Island, Indonesia. The minimum species-area curve was 0.82 ha which is just below Dalil conservation forest that is 1.2 ha, but it is much higher than measurements of several secondary forests in the Island that are 0.2 ha. The plot is inhabited by more than 50 plant species. Of 22 tree species, there are 40 individual poles with the average diameter of 15.3 cm, and 64 individual trees with the average diameter of 48.9 cm. The density of Dipterocarpus grandiflorus (Blanco) Blanco or kruing, is 20.7 individual/ha with the diameter ranges of 12.1 – 212.7 cm or with the average diameter of 69.0 cm. The relatively intact park is supported by the local wisdom of Jering tribe, one of indigenous tribes in the island. People has regulated in cutting trees especially in the cape. The conservation agency designates the park as one of the kruing propagules sources in the province. The growing oil palm plantation and the less adoption of local wisdom among the youth is a challenge to forest conservation in the province where tin mining activities have been the economic driver for decades. More socialization from the conservation agency and the involvement of university students in raising environmental awareness is important to be done

Dinâmicas de MOODLiz@ção num agrupamento de escolas de Matosinhos: o caso do agrupamento vertical de escolas de Leça da Palmeira/Santa Cruz do Bispo

Doutoramento em Multimédia em EducaçãoO advento da Internet e da Web, na década de 1990, a par da introdução e desenvolvimento das novas TIC e, por consequência, a emergência da Sociedade da Informação e do Conhecimento, implicaram uma profunda alteração na forma de análise dos processos de ensino-aprendizagem, já não apenas segundo um prisma cognitivista, mas, agora, também social, isto é, segundo a(s) perspetiva(s) construtivista(s). Simultaneamente, torna-se imperativo que, para que possam transformar-se em futuros trabalhadores de sucesso, isto é, trabalhadores de conhecimento (Gates, 1999), os sujeitos aprendentes passem a ser efetivamente educados/preparados para a Sociedade da Informação e do Conhecimento e, tanto quanto possível, através da educação/formação ao longo da vida (Moore e Thompson, 1997; Chute, Thompson e Hancock, 1999). Todavia, de acordo com Jorge Reis Lima e Zélia Capitão, não se deve considerar esta mudança de paradigma como uma revolução mas, antes, uma evolução, ou, mais concretamente ainda, uma “conciliação de perspectivas cognitivas e sociais” (Reis Lima e Capitão, 2003:53). Assim, às instituições de ensino/formação cumprirá a tarefa de preparar os alunos para as novas competências da era digital, promovendo “a aprendizagem dos pilares do conhecimento que sustentarão a sua aprendizagem ao longo da vida” (Reis Lima e Capitão, Ibidem:54), isto é, “aprender a conhecer”, “aprender a fazer”, “aprender a viver em comum”, e “aprender a ser” (Equipa de Missão para a Sociedade da Informação, 1997:39; negritos e sublinhados no original). Para outros, a Internet, ao afirmar-se como uma tecnologia ubíqua, cada vez mais acessível, e de elevado potencial, “vem revolucionando a gestão da informação, o funcionamento do mercado de capitais, as cadeias e redes de valor, o comércio mundial, a relação entre governos e cidadãos, os modos de trabalhar e de comunicar, o entretenimento, o contacto intercultural, os estilos de vida, as noções de tempo e de distância. A grande interrogação actual reside em saber se a Internet poderá também provocar alterações fundamentais nos modos de aprender e de ensinar” (Carneiro, 2002:17-18; destaques no original). Trata-se, portanto, como argumenta Armando Rocha Trindade (2004:10), de reconhecer que “Os requisitos obrigatórios para a eficácia da aprendizagem a ser assim assegurada são: a prévia disponibilidade de materiais educativos ou de formação de alta qualidade pedagógica e didáctica, tanto quanto possível auto-suficientes em termos de conteúdos teóricos e aplicados, bem como a previsão de mecanismos capazes de assegurar, permanentemente, um mínimo de interactividade entre docentes e aprendentes, sempre que quaisquer dificuldades destes possam manifestarse”. Esta questão é também equacionada pelo Eng.º Arnaldo Santos, da PT Inovação, quando considera que, à semelhança da “maioria dos países, a formação a distância em ambientes Internet e Intranet, vulgo e-Learning, apresenta-se como uma alternativa pedagógica em franca expansão. Portugal está a despertar para esta nova realidade. São várias as instituições nacionais do sector público e privado que utilizam o e-Learning como ferramenta ou meio para formar as suas pessoas” (Santos, 2002:26). Fernando Ramos acrescenta também que os sistemas de educação/formação que contemplam componentes não presenciais, “isto é que potenciam a flexibilidade espacial, têm vindo a recorrer às mais variadas tecnologias de comunicação para permitir a interacção entre os intervenientes, nomeadamente entre os professores e os estudantes. Um pouco por todo o mundo, e também em Portugal, se têm implantado sistemas (habitualmente designados como sistemas de ensino a distância), recorrendo às mais diversas tecnologias de telecomunicações, de que os sistemas de educação através de televisão ou os sistemas de tutoria por rádio ou telefone são exemplos bem conhecidos” (Ramos, 2002b:138-139). Ora, o nosso estudo entronca precisamente na análise de um sistema ou plataforma tecnológica de gestão de aprendizagens (Learning Management System - LMS), o MOODLE, procurando-se, deste modo, dar resposta ao reconhecimento de que “urge investigar sobre a utilização real e pedagógica da plataforma” (Carvalho, 2007:27). Por outro lado, não descurando o rol de interrogações de outros investigadores em torno da utilização do MOODLE, nem enveredando pelas visões mais céticas que inclusive pressagiam a sua “morte” (Fernandes, 2008b:134), também nós nos questionamos se esta ferramenta nem sequer vai conseguir transpor “a fase de final de entusiasmo, e tornar-se uma ferramenta de minorias e de usos ocasionais?” (Fernandes, Op. cit.:133).The beginning of Internet and of the Web, in the nineties, along with the introduction and development of new ICT and, as a consequence, the emergence of the Information and Knowledge Society, implied a profound change in the ways o of the teaching and learning processes, not any longer according to a single cognitivist prism, but, now, also social, i.e., according to the constructivist perspective(s). Simultaneously it becomes imperative that , so as to become future success workers, that is, knowledge workers (Gates, 1999), learners have to be effectively educated/prepared for the Information and Knowledge Society and, as much as possible, through lifelong education/training (Moore e Thompson, 1997; Chute, Thompson e Hancock, 1999). However, according to Jorge Reis Lima and Zélia Capitão, one cannot consider this change of paradigm as a revolution but rather as an evolution, or, more precisely yet, a “conciliation of cognitive and social perspectives” (Reis Lima and Capitão, 2003:53). Therefore, it is up to the teaching/training institutions to fulfil the task of preparing students for the new competences of the digital era, promoting “the learning of the principles of knowledge that will sustain the learning throughout life” (Reis Lima and Capitão, Ibidem:54), that is, “learning to know”, “learning to do”, “learning to live in common”, and “Learning to be” (Equipa de Missão para a Sociedade da Informação, 1997:39; bold and underlines in the original). For other, the Internet, affirming itself as an ubiquitous technology, more and more accessible and of high potential, “has been revolutionising the management of information, the functioning of the market of capitals, the chains and networks of value, the world commerce, the relationships between governments and citizens, the modes of working and of communicating, entertainment, the intercultural contact, life styles, the notions of time and distance. The great question at present resides in knowing whether the Internet can provoke fundamental changes in the ways of learning and teaching” (Carneiro, 2002:17-18; highlights in the original). We face, therefore, as Armando Rocha Trindade (2004:10) argues, the recognition that “The compulsory requisites for effective learning to be thus assured are: prior availability of educational or training materials of high pedagogical and didactic quality, as far as possible self sufficient in terms of theoretical and applied content, as well as the provision of mechanisms capable of assuring, permanently, a minimum of interactivity between teachers and learners, whenever any difficulty is manifested”. This issue is also equated by Engineer Arnaldo Santos, from PT Inovação, when he considers that, as it happens in the “majority of countries, distance education in Internet and Intranet environments, generally labelled e-Learning, is presented as a pedagogical alternative in overt expansion. Portugal is awakening for this new reality. There are various national public and private sector institutions that use e-Learning as a tool or means to train their people” (Santos, 2002:26). Fernando Ramos also adds that the systems of education/training that contemplate non face-to-face components “that is, that potentiate spatial flexibility, have been resorting to the most varied technologies of communication to allow interaction amongst participants, namely between teachers and students. A little throughout the world, and also in Portugal, have implanted systems (habitually known as distance learning systems), resorting the most diverse telecommunications technologies, of which the systems of education by TV or the tutoring systems by radio or telephone are well known examples” (Ramos, 2002b:138-139). Now, our study is rooted precisely on the analysis of a system or technological platform for the management of learning (Learning Management System - LMS), MOODLE, seeking, therefore, to find answers for the recognition that “it is urgent to study the real and pedagogical use of the platform” (Carvalho, 2007:27). On the other hand, not setting aside the array of questions from other researchers on the use of MOODLE, nor taking for granted the more sceptical views that include the premonition of its “death” (Fernandes, 2008b:134), we also question whether this tool will be able to overcome “the final phase of enthusiasm, and become a tool of the minorities and of occasional use” (Fernandes, Op. cit.:133)

Desarrollo de una herramienta computacional para el estudio de los marcadores discursivos

Los marcadores discursivos son un conjunto heterogéneo de unidades con significación subjetiva, idiosincrásica e intraducible (Martí Sánchez, 2009). Introducen información relacionada con la actividad comunicativa, contribuyen a construir texto o discurso, facilitando así la interpretación de los mensajes, y siempre comunican más de lo que explícitamente expresan. Es más, su uso y entendimiento implican madurez lingüística. Según esta definición, al grupo de los marcadores discursivos pertenecen términos de distintos tipos, cuyo significado puede variar según el uso y el contexto, y que, además, se clasifican en tipos que pueden ser rasgos distintivos de los diferentes tipos de textos. Asimismo, los marcadores discursivos de cada lengua son elementos propios de la misma. Todo lo antedicho constituye el motivo por el que hemos elegido los marcadores discursivos como objeto de estudio para nuestro análisis contrastivo de textos. Se trata de un elemento lingüístico que caracteriza el tipo de texto y los usos discursivos que se dan en el mismo; por tanto, un emisor competente en una lengua dada se ajustará al uso característico de los marcadores según el tipo de texto. Su estudio y el conocimiento de la frecuencia de uso de cada tipo de marcador atendiendo al contexto, es algo de gran utilidad para profesionales de la traducción, la enseñanza o la escritura