A framework for modeling the consequences of the propagation of automation degradation: application to air traffic control systems

International audienceThis paper presents a modelling approach for representing consequences of automation degradation in the context of a socio-technical network. This modelling approach involves two different notations. In previous work we have proposed a synergistic approach integrating these two views for describing the evolution of system performances under automation degradation. In the current paper we propose a more global approach encompassing the previous contribution and being specifically addressing the representation of consequences flowing from the occurrence of automation degradation. In this approach, four modelling levels of consequences are studied: direct consequences of automation propagation, consequences on the capacity to respond, consequences on resilience capacity and consequences on network performance. This stepwise refinement aims at acquiring and modelling additional information needed for being able to assess the consequences of automation degradation. The approach is exemplified on a case study in the domain of Air Traffic Management and more precisely Terminal Manoeuvre Area including an Arrival Manager (AMAN). Due to space constraints only the first level is fully presented

MOVIE CLIPS AS A MEDIA TO TEACHING WRITING OF NARRATIVE TEXTS

This paper reports on student’s perception on the effect of teaching writing of narrative texts using media movie clips. Movie clip is one kind of audio visual media which is very useful in teaching learning process if the teacher carefully prepares it and then she/he uses it effectively to support the explanation of the lesson.This research uses mixed method design with explanatory type design by means of three data collection techniques : pre test and post test, document test, and interview. The sample of this research was 12 students of ten grade from one Vocational High School in Tasikmalaya. The result of this research shows the significant effect with normality test is 0.63≥ 0.05 so that H0 is accepted. Then value of pretest comes from populations that are normally distributed, and that significant value of post test is 0.15 ≥0.05, so that H0 is accepted. The improvement made by movie clips is an avarage pretest amounting 63.58 and 77.5 for posttest. It means that there is an improvement, and the perception obtained from interview shows a lot of positive comment. Meanwhile, each student has different scores, high and low, that are able to influence how their learning achievement are in the classroom, but they have the same goal in writing class in that they want to write well and correctly. Before writing, they must also have good exercise and skill in order to get correct writing results and to achieve success in this course.Keywords: mixed method. movie clips, writin

Proceedings of the Workshop on Linear Logic and Logic Programming

Declarative programming languages often fail to effectively address many aspects of control and resource management. Linear logic provides a framework for increasing the strength of declarative programming languages to embrace these aspects. Linear logic has been used to provide new analyses of Prolog\u27s operational semantics, including left-to-right/depth-first search and negation-as-failure. It has also been used to design new logic programming languages for handling concurrency and for viewing program clauses as (possibly) limited resources. Such logic programming languages have proved useful in areas such as databases, object-oriented programming, theorem proving, and natural language parsing. This workshop is intended to bring together researchers involved in all aspects of relating linear logic and logic programming. The proceedings includes two high-level overviews of linear logic, and six contributed papers. Workshop organizers: Jean-Yves Girard (CNRS and University of Paris VII), Dale Miller (chair, University of Pennsylvania, Philadelphia), and Remo Pareschi, (ECRC, Munich)

Towards a Computational Model of Anaphora in Discourse: Reference to Events and Actions

When people talk or write, they refer to things, objects, events, actions, facts and/or states that have been mentioned before. Such context-dependent reference is called anaphora. In general, linguists and researchers working in artificial intelligence have looked at the problem of anaphora interpretation as that one of finding the correct antecedent for anaphor - that is, the previous words or phrases to which the anaphor is linked. Lately, people working in the area of anaphora have suggested that in order for anaphors to be interpreted correctly, they must be interpreted by reference to entities evoked by the previous discourse rather than in terms of their antecedents. In this recent work, people have focused on entities of type concrete individual (an x) or set of such individuals (some xs) or generic class of such individuals (xs). This proposal focuses on anaphora interpreted as referring to entities of type event and action. It considers four issues: (i) what aspects of the discourse give evidence of the events and actions the speaker is talking about, (ii) how actions and events are represented in the listener\u27s discourse model, (iii) how to delimit the set of events and actions which correspond to possible choices for a particular anaphor, and (iv) how to obtain the speaker\u27s intended referent to an action or event from that set of possible choices. Anaphoric forms that are used to refer to entities of type action and event include sentential-it, sentential-that pronominalizations as well as do it, do that, and do this forms. I will concentrate on the four previously mentioned issues along with other mechanisms that will provide us with better tools for the successful interpretation of anaphoric reference in discourse

Suspense of Plot in Alana Matthews’s Novel “Waterford Point”

This thesis is a research about Suspense of Plot in Alana Matthews‘s Novel “Waterford Point”. The objectives of this research are (1) to describe how suspense built in the plot in the novel “Waterford Point” by Alana Matthews (2) to know what kind of suspense is built in the plot “Waterford Point” by Alana Matthews The method used in this research is descriptive qualitative method. Then, the object and the source of the data is the novel ―Waterford Point‖ by Alana Matthews, which was published in 2011 and consists of 21 chapters and 281 pages. Moreover, the instrument of this research is note taking. The theory which is used to analyze the data is structural affect theory. Based on the findings and discussion, the writer concluded suspense is built in the plot based on structural affect theory. In structural affect theory, suspense is evoked by postponing the story‘s outcome. The process of suspense consists of initiating event that leads the readers in the story and foreshadowing that produces the readers emotions with heightens or generates suspense through the hints in the story. In this research, the writer found there are nineteen initiating event data and thirty two foreshadowing data. The implication of this thesis is to give understanding to the readers how suspense becomes the important aspect to create a good story especially in literature. Expexctantly, this thesis can give many benefits for the readers and all of the students of English and Literature to learn more about suspense