Thanh-Chi Le

Axel Carlier
email: axel.carlier@irit.fr

Pascal Maussion
email: pascal.maussion@laplace.univ-tlse.fr

Phan Quoc-Dzung

Measuring rotor speed with a smartphone camera

Keywords: speed measurement, region of interest, grayscale, frames per second, exposure time, background subtraction

This paper presents a new method to measure a rotor speed using a smartphone camera. An image processing algorithm is proposed to measure the rotation speed, based on the periodic detection of a mark placed on the rotor. Experiments demonstrate our method can estimate rotor speed with a good precision, provided that the camera frame rate is high enough. The method could be very useful for periodic speed measurement in applications where a sensor is prohibited, for example in picohydro-turbine for rural electrification. Since the smartphones are almost everywhere, they contribute to cost and environmental impact reductions in such solutions. The rest of the system is composed of reused components according to the principles of frugal innovation.

I. INTRODUCTION

Many developing countries have high potential of renewable energy resource, but the installed power is generally not high enough to cover the energy needs of the whole country. Beside, about 80% of population in rural areas and 75% of the households live without electricity for example in Cambodia. They survive by using battery, diesel engine, candle, kerosene for lighting, TV, multimedia and some other household appliances. A few of residents in northern part of the country use pico-hydro power units bought from neighbor countries in order to electrify their houses. In these systems, the output voltage and frequency are not really stable while the load under load or speed variations. Consequently, the lifetime of household appliances could be reduced or the items damaged and local repairs are needed. Moreover, millions of poor people cannot access neither benefit from the available energy resources due to two main factors: technology barriers and high investment cost. The research presented in this paper is a part of a whole lot: remove technology barriers by designing systems for rural electrification thanks to pico-hydro and PV generation with fast and simple installation, suitable for local applications with high quality of electrical supply at a low cost and reduced environmental impact. This is the basis of frugal innovation, well-known as "jugaad" [START_REF] Radjou | Jugaad Innovation[END_REF], which is very useful for the bottom of the social pyramid.

In rural areas where people are facing the lack of electrical supply and they cannot neither improve their living standard nor develop their community. Rich villagers use car batteries, PV and pico-hydro power while poor villagers use candle/kerosene for lighting. Local enterprises can provide renewable energy solutions but the prices are unaffordable and far from population expectations. Therefore, an original solution is proposed in this work by using wasted electric and electronic equipment (second-life components) to form new power generation systems devoted to remote rural areas.

To reach this goal, local solutions have to be based on local recycled products, such as PC power supplies for PV applications. Indeed, a huge number of electronic products are often discarded even before the end of their useful life. This is particularly the case for pc power supplies, when motherboard or hard disk are out of order. For cheap solutions, reusing electric motor in consumer products has been studied in [START_REF] Klausner | Reuse of Electric Motors in Consumer Products[END_REF]. The environmental impact of smartphone repurposing as compared to traditional refurbishing using life cycle assessment has been investigated in [Zink14]. An alternative to dismantling and recycling in an optimistic way has been successively studied by the same research team in [START_REF] Schofield | Second life of computer power supplies in PV battery charging applications[END_REF] [4] [START_REF] Rogers | ATX power supply derived MPPT converter for cell phone charging applications in the developing world[END_REF]. The main idea in these works is to transform a part of an ATX power supply, the active PFC front-end stage, into a new converter dedicated to MPPT control for photovoltaic generation but this needs a new PCB. On the contrary, [START_REF] Kim | Second Life of Power Supply Unit as Charge Controller in PV System and Environmental Benefit Assessment[END_REF] reuses the whole PC power supply with only few modifications on the existing PCB.

For AC supply, the use of reused induction machines has been investigated with Self-Excited Induction Generator (SEIG) in addition with capacitors [START_REF] Murthy | a novel self-excited self-regulated single phase induction generator[END_REF], as single-phase operation of three phase machines with different types of controllers and power converters [START_REF] Chan | Single-phase Operation of a Three-phase Induction Generator Using a Novel Line Current Injection Method[END_REF][9] or even with Double-Fed Induction Machine [START_REF] Pena | A doubly fed induction generator using back-to-back PWM converters supplying an isolated load from a variable speed wind turbine[END_REF]. This last solution as a high cost and a complexity which is not suitable for pico-hydro power in the rural areas of developing countries. As a "juugad" solution, simple low cost solution using a 3-phase induction motor as a single phase generator has been proposed in [START_REF] Madawala | Modeling and Analysis of a Novel Variable-Speed Cage Induction Generator[END_REF] [START_REF] Chrin | Modeling of 3-phase Induction Machine as Single Phase Generator for Electricity Generation from Renewable Energies in Rural Areas[END_REF] and [START_REF] Chrin | Renewable energy production with some wasted second-life components[END_REF].

Anyway, whatever the electro-mechanic solution, data must be measured on the system, continuously for voltage or frequency regulation, or from time to time for water flow control and operation speed of the electric machine. In this case as well, the measurement system must have the same characteristics as that of the electricity generation system: cheap, robust, efficient, easily and locally available. Smartphones are everywhere, even in remote areas where everybody over 15 has got one (or more) smartphone. Today, digital cameras have been used extensively, they are embedded on almost cell phones. With the price of mobile phones decreasing, there is reason to think about using cell phones for speed measurements instead of professional devices used in the industry, such as encoders.

II. GLOBAL CONTEXT

The application of reuse materials in islanded electric systems for remote areas in developing countries offers many possibilities. This local solution should not only reduce the environmental impacts, but could also be viewed at the same time as simple and favourable for local production or business and ensure production in large amount. The system which is proposed in this paper includes solar PV panels, modified power supply units (PSUs), modified uninterruptable power supply units (UPSs) a three phase induction machine turned into a single phase generator and used car batteries. Cheap microcontrollers with few interface components are added for control purposes. Fig 1 . describes the architecture of the whole system. Fig. 1; Architecture of the electrification system Smartphones has already been used for acoustic diagnostic purposes in [START_REF] Rzeszucinski | A signal processing approach to bearing fault detection with the use of a mobile phone[END_REF], but in this research a cell phone is used to record videos. Then from this video, the speed of the rotor can be measured after image processing. All we need is an android smartphone with a camera, and a sticker. It's a low-cost option to measure the speed of the rotor and it can be used with a lot of sizes of rotors. Fig. 2. presents a typical example of a picohydropower station in Cambodia.

A. Sensor for speed measurement

There are a lot of devices and methods used for speed measurement. A sensor is generally used to sense shaft speed, but may be too expensive in the targeted applications. Typical devices used for this purpose are shaft encoders (rotary pulse generators), proximity sensors, and photoelectric sensors. Each of these devices sends speed data in the form of pulses. Two factors affect the quality of this data:

Number of pulses per revolution of the shaft (referred to as PPR). Higher PPR values result in better resolution. Symmetry of pulses. The symmetry of one pulse to the next play a role in how consistent the RPM readings are. Symmetrical pulses give more accurate data. Shaft encoders are the best solution for the sensing device. They offer high resolution (typically 256 to 5000 PPR) and clearly defined, symmetrical pulses. However, sometimes it is not feasible to mount an encoder to the shaft being monitored. Proximity sensors provide medium-or low-resolution sensing, depending on the number of pulses measured per revolution. The best method of using a proximity sensor is to sense the teeth on a gear. This type of sensing typically has options for 60, 120, or 240 PPR, and the pulses are relatively clearly defined and symmetrical.

External photoelectric sensors usually provide low resolution, due to the low number of pulses measured per revolution. A photoelectric sensor must sense a reflective target on the shaft. If more than one target is used to increase the PPR, then the symmetry from one pulse to the next is likely to be poor.

B. Detecting the mark

There are two methods often used for rpm measurement: the "Frequency" measurement method and the "Period" measurement method. People often use the Frequency measurement method to measure high PPR solutions. When using high PPR sensors, such as shaft encoders or proximity sensors sensing gear teeth, the easiest way to determine RPM is to monitor the pulse frequency from the sensor using a digital input module. Then, the RPM can be calculated using equation [START_REF] Radjou | Jugaad Innovation[END_REF].

(1) Period measurement method is also used to measure low PPR solutions. Because it can be measured with higher resolution, measuring the pulse period is the best method of measuring RPM when using low PPR sensors such as photoelectric sensors, or proximity sensors sensing a bolt head. Period is the time from the start of one pulse to the start of the next pulse. Equation [START_REF] Klausner | Reuse of Electric Motors in Consumer Products[END_REF] shows the relationship between rpm and period.

(2)

IV. OVERVIEW OF THE METHOD

In order to estimate the rotor speed, the number of rounds of the rotor must be counted. In this work, it is decided to place a white sticker as a mark to be counted. Every time the mark passes in front of the camera, we know there was a round. Fig. 3. shows a picture on the smartphone of the rotating shaft on which a sticker has been placed. Unfortunately, detecting the mark is not an easy task. The rotor has a reflective surface, which, as can be seen on Fig. 4, creates a horizontal bright line around the center of the image. In addition, since a rotor operates at hundreds of rounds per minutes, the mark appears blurry on the image. The mark can be seen on Fig. 4 on the top-left side of the rotor and appears quite wide because of the blur. Finally, the frequent illumination changes make it even more difficult to detect the white mark, which appears over a grey background. For all these reasons, the proposed method is only focused on detecting the presence of the mark on the current image. To do so, we first detect a region of interest, in which the mark search will be performed. Then, we characterize the area of this region of interest inside which the mark is probably present for each frame. Those two steps are explained in the next section.

V. REGION-OF-INTEREST AND MARK DETECTION

A. Detecting the region of interest

The first step towards detecting the mark is to restrict the search area on the image, i.e. to detect a region of interest in which the mark has the highest probability to be found. To do so, it is assumed that if the camera does not change its focus, most of the image pixels do not vary in color. The pixels that should display the highest color variability are those which change color periodically as the mark passes. These pixels basically switch from grey to white. A simple way to exhibit those pixels is to compute the standard deviation of the pixel colors over Nf frames. In our implementation, Nf = 50 is chosen. Fig. 5 shows a grey-level image of the standard deviation computation: the whitest pixels are those with the highest standard deviation. This image is binarized by keeping the 10% pixels with the highest standard deviation value. The result of this step is displayed in Fig. 6. Finally, since these operations are sensitive to noise (illumination changes, camera motion, etc.), the connected components are computed and only the one with the largest area as a region of interest are kept. The result on our example is shown in Fig. 7. The region of interest to consider for mark detection is the bounding box around this region.

B. Detecting the marks

The mark detection is based on computing the difference between consecutive frames. The assumption is that any major change in color in the region of interest is due to the mark passing in front of the camera. As a consequence, our algorithm simply computes, for every frames, the absolute value of the difference between the current frame and the previous frame. Then, only the difference values located inside the region of interest are considered and the number of pixels that are above a threshold are counted. The threshold has been fixed to 50, based on the assumption that the mark is white and the rotor is grey. As explained in the following section, the local maxima of these values across time to obtain the number of periods are detected. It can then infer the speed of the rotor using equation ( 3 There are some steps in the above algorithm:

-Measure the number of white point in ROI of each frame and store data into numPixels array, -Find local maximum in numPixels array, -Count the number of frames between the two consecutive frames which have the maximum white points, -Calculate the speed of rotor based on this result and frames per second.

VI. LIMITS AND CONSTRAINTS OF THE METHOD

A. Waveform analysis in continuous domain and necessary length of mark

When a video of the rotor with camera is recorded, there are two areas: a visible area and an invisible area as introduced in Fig. 9. By using background subtraction [START_REF] Piccardi | Background subtraction techniques: a review[END_REF], it can easily be understood that:

-when the mark goes through visible area, the difference will be increased from zero to maximum, then be decreased to zero. -when the mark goes through invisible areas, the difference will be zero. Assuming that the exposure time is much smaller than the period of rotor and the length of the mark (m) is much smaller than the circumference of the rotor (2 r), the difference will be graphed as follows in Fig. 10. In order to find the correct result, the time between two successive frames must be as written in (4): Ti = 1/fps < arccos(r/l)×T/ (4)

f rotor < arccos(r/l)×fps/ (5)
This ensures that at least one frame when the mark crosses the visible area could be always recognized. Thus, the frequency of the rotor has an upper limit given by [START_REF] Rogers | ATX power supply derived MPPT converter for cell phone charging applications in the developing world[END_REF]. On the other hand, to identify one period with certainty, at least one frame when the mark is in the visible area and one frame when the mark is in the invisible area are needed. Inequation [START_REF] Kim | Second Life of Power Supply Unit as Charge Controller in PV System and Environmental Benefit Assessment[END_REF] gives the maximum frequency of the rotor which must be:

f rotor < fps/2 (6)
The problem is to increase the time during which the rotor is in the visible region from arccos(r/l)×T/ to T/2. This problem is solved by increasing the mark length as in Fig. 11.

B. Waveform analysis in discrete domain

In the discrete domain, the received waveform will look like in Fig. 12. Based on this figure, the necessary length of the mark can be deduced as in eq. ( 7) m = ( -2×arccos(r/l)) × r [START_REF] Murthy | a novel self-excited self-regulated single phase induction generator[END_REF] Fig. 12. Waveform in discrete domain

A local maximum can be used to find the maximum difference of each period, the time between two maxima is the period of rotor. However, the maximum difference in discrete domain is not the maximum difference in continuous domain. Therefore, there is a difference between the real frequency of rotor and the result achieved from this method. By increasing the number of observed pulses, precision can be increased, simply by increasing the length of the video.

VII. EXPERIMENTAL RESULTS

This section presents the experimental results for the proposed algorithm based on the following parameters:

-Frame per second = 30fps or 118fps -Video time = 5s or 15s -Synchronous speed of the rotor = 1500 rpm

A. Experimental results for different camera frame rates

Table I and Fig. 14 present the results of the speed calculation for different supply frequencies of the induction motor without any load and in an open loop control mode. It can easily be seen that precision is quite good as soon as speed remains lower than 900rpm. Above this limit, the number of fps is not high enough to achieve correct speed evaluation as equation ( 6) is not valid. In the case of a better smartphone with 118 fps, the precision remains good for the considered speeds as depicted in Table II and Fig. 15 because expression ( 6) is still valid

B. Experimental results for different video lengths

It can be seen in Table III that the results have higher precision but not much increased. Therefore, a compromise has to be found between processing time and accuracy. The final purpose of this project is pico-hydro-turbine speed measurement just with a smartphone, using the camera for videos of course, but also embedded signal processing on the smartphone. Then, Fig. 14 presents an example of a small size turbine made of PVC in our facilities but which could easily be made of wood in other countries. As before, the smartphone allows video captures as shown in An image processing algorithm has been proposed to calculate the speed of the rotor through a video, which is just recorded by the camera of a cellphone. The experiments have acceptable results with high precision. This method is a simple and economic solution for sensorless speed measurement of a lot of rotors with the camera of cellphone and a sticker. It is a good candidate for periodic turbine speed measurements in electrification systems in rural areas in developing countries where cost is a key factor.

Fig. 2 .

 2 Fig.2. Example of small hydro-systems in Cambodia

Fig. 3 .

 3 Fig. 3. One picture of the rotating shaft from the video on the smartphone

Fig. 4 .

 4 Fig. 4. A frame in a video with a high level of light reflection

Fig. 5 .

 5 Fig. 5. Image of the standard deviations of the pixels

Fig. 6 .

 6 Fig. 6. Pixels which have 10% highest standard deviation (for overall)

Fig. 7 .

 7 Fig. 7. Region of interest in the image

Fig. 8 .

 8 Fig. 8. Flowchart of the speed measurement algorith

Fig. 9 .

 9 Fig. 9. Visible area and invisible areas on the rotor

Fig. 10 .

 10 Fig. 10. Differences between two adjacent frames

Fig. 11 .

 11 Fig. 11. Find the necessary length of mark

Fig. 14 .

 14 Fig. 14. Results when fps = 30 and video time = 5s

Fig. 15 .

 15 Fig. 15. Results when fps = 118 and video time = 5s

  Fig 15 with a static image. The development of dedicated applications for low speed high precision measurements with the smartphone only is currently under work.

Fig. 14 .

 14 Fig.14. Examples of small hydro-turbine in our facility

TABLE I .

 I FPS = 30, VIDEO TIME = 5S

Order Fps = 30, video time = 5s

		Electric frequency (Hz)	Real speed (rpm)	Calculation results (rpm)	Error (%)
	1	5	144.83	147.54	1.87
	2	10	290.83	295.52	1.61
	3	20	581.67	591.43	1.68
	4	30	873.33	875.00	0.19
	5	40	1,163.33	616.78	46.98
	6	50	1,455.00	317.65	78.17

TABLE II .

 II

		Electric frequency (Hz)	Real speed (rpm)	Calculation results (rpm)	Error (%)
	1	5	144.83	148.12	2.27
	2	10	290.83	297.25	2.21
	3	20	581.67	595.28	2.34
	4	30	873.33	894.19	2.39
	5	40	1,163.33	1,192.30	2.49
	6	50	1,455.00	1,491.80	2.53

FPS = 118, VIDEO TIME = 5S Order Fps = 118, video time = 5s

TABLE III

 III

		.	FPS = 118, VIDEO TIME = 15S
			Fps = 30, video time = 15s
	Order	Electric frequency (Hz)	Real speed (rpm)	Calculation results (rpm)	Error (%)
	1	5	144.83	148.03	2.27
	2	10	290.83	297.41	2.21
	3	20	581.67	595.74	2.34
	4	30	873.33	894.06	2.39
	5	40	1,163.33	1,192.10	2.49
	6	50	1,455.00	1,490.10	2.53
		VIII. FUTURE WORK


Patrick Saint-Dizier
email: stdizier@irit.fr

A two-level approach to generate synthetic argumentation reports

Keywords: Argument mining, natural language processing, knowledge representation, Generative Lexicon Qualia Structure

Given an issue and related propositions for or against it, a major challenge to make these propositions accessible to readers is to produce a synthesis that is readable, synthetic enough, and relevant for various types of needs and points of view. Based on the Generative Lexicon (GL) Qualia Structure, which is a kind of lexical and knowledge repository, that we have enhanced in different manners and associated with inferences and language patterns, we show, via a number of preliminary experiments, how to construct a synthesis that outlines the typical elements found in propositions for or against a controversial issue. We propose a two-level approach: a synthesis of the propositions that have been mined, and navigation facilities that allow users to access arguments, structured in clusters, in order to get more details. This approach contributes to characterize why and how propositions support or attack an issue or some facets of that issue.

Aims and challenges

One of the main goals of argument mining is, given an issue, to identify in a set of texts the propositions for or against that issue. These propositions are supports (or justifications) or attacks of the issue or of some facets of the issue when the concepts in this issue are complex.These propositions may also attack or support other propositions which support or attack that issue, in order to reinforce or cancel out their impact. These propositions are difficult to identify, in particular when they are not adjacent to the issue, possibly not in the same text, because their linguistic, conceptual or referential links to that issue are rarely explicit but require knowledge and inferences. Within the framework of mining arguments, our aim is to identify as precisely as possible how and why these propositions become part of arguments for or against a given issue, in particular which facet(s) of the issue is concerned and how it is supported and attacked.

For example, given the issue: Vaccine against Ebola is necessary, identifying whether the following propositions participate in an argument and, if so, their argumentative orientation: Ebola adjuvant is toxic, Ebola vaccine production is costly, and 7 people died during Ebola vaccine tests, cannot be realized solely on the basis of linguistics data, but requires domain knowledge. As an illustration, a knowledge-based analysis of the third statement shows that it is irrelevant or neutral w.r.t. the issue, as shown in [START_REF] Dizier | The bottleneck of knowledge and language resources[END_REF], whereas a 'naive' reading would rather interpret it as an attack. We show in [START_REF] Dizier | Knowledge-driven argument mining based on the qualia structure[END_REF] that argument mining cannot be realized solely on surface form indicators such as linguistic clues but requires knowledge and various forms on inferences.

Constructing a synthesis of the propositions associated with a controversial issue is a necessary component of argument mining: it is frequent to mine in various types of texts and media, more than 100 reasons related to an issue, where a number of them may largely overlap. It is then difficult and inefficient for users to read long lists of unstructured propositions where some essential points may be missed. Looking at how users proceed, it turns out than even simple forms of synthesis, via e.g. clustering techniques, are essential to make argumentation accessible. So far very few efforts have been devoted to this aspect of argument mining. Designing an argument synthesis is a delicate task that requires input from users, e.g. they may be required to specify their profile and needs and the level of granularity they expect. A synthesis must be simple: complex graphs must be avoided since they are rarely readable by users.

To carry out a well-organized synthesis, our claim is that such a task requires the same type of knowledge and conceptual organization as for mining arguments. The remainder of this article develops this perspective for the generation of an argument synthesis. The results presented in this article are exploratory and based on simple experimentations. They remain relatively preliminary and need further investigations. They however induce research directions in this area that have not been explored so far in conjunction with argument mining. A set of preliminary investigations towards the construction of an efficient argument synthesis are discussed.

This article is organized as follows. Section 1 presents the challenges and the state of the art in argument mining and some relevant features of text summarization. Section 2 develops the features of our knowledge-driven argument mining system [START_REF] Dizier | Challenges of argument mining: Generating an argument synthesis based on the qualia structure[END_REF]. This section introduces knowledge representation aspects which will be used in the remainder of this article. These are inspired by and enhance the Qualia structure of the Generative Lexicon (Section 2.2). Section 3 shows how a network of concepts, relevant for a synthesis, can be induced from a given controversial issue. Sections 4 and 5 develop our synthesis approach and the set of language patterns which are necessary for that purpose.

Argument mining challenges

Argument mining is an emerging research area which introduces new challenges in natural language processing and generation. Argument mining research applies to written texts, e.g. [START_REF] Kirschner | Linking the thoughts: Analysis of argumentation structures in scientific publications[END_REF][START_REF] Palau | Argumentation mining: The detection, classification and structure of arguments in text[END_REF], for example for opinion analysis, e.g. [START_REF] Villalba | Some facets of argument mining for opinion analysis[END_REF], mediation analysis [START_REF] Janier | Towards a theory of close analysis for dispute mediation discourse[END_REF], scientific text analysis [START_REF] Green | Argumentation mining in scientific discourse[END_REF], advertising [START_REF] Baker | Arguments in advertising[END_REF], or transcribed argumentative dialog analysis, e.g. [START_REF] Budzinska | A model for processing illocutionary structures and argumentation in debates[END_REF][START_REF] Swanson | Argument mining: Extracting arguments from online dialogue[END_REF]. The analysis of the NLP techniques relevant for argument mining from annotated structures is reviewed and analyzed in e.g. [START_REF] Peldszus | From argument diagrams to argumentation mining in texts: A survey[END_REF]. Goal-based reasoning for argumentation analysis is developed in [START_REF] Walton | Goal-Based Reasoning for Argumentation[END_REF]. Annotated corpora of various types are now available, e.g. the AIFDB dialog corpora or works reported in [START_REF] Walker | A corpus for research on deliberation and debate[END_REF], among many others. These corpora are very useful to understand how argumentation is realized in texts and dialogs, e.g. to identify Argumentative Discourse Units (ADUs), linguistic cues at stake [START_REF] Nguyen | Extracting argument and domain words for identifying argument components in texts[END_REF], and argumentation strategies, in a concrete way, possibly in association with abstract argumentation schemes, as shown in e.g. [START_REF] Feng | Classifying arguments by scheme[END_REF]. Finally, reasoning aspects related to argumentation analysis are developed in e.g. [START_REF] Fiedler | Argumentation within deductive reasoning[END_REF][START_REF] Redmond | Logic, Argumentation and Reasoning[END_REF] and [START_REF] Winterstein | What but-sentences argue for: An argumentative analysis of 'but[END_REF] from a formal semantics perspective with e.g. a study of concessive and contrastive connectors.

In opinion analysis, the benefits of an argument mining synthesis are not only to identify the customers satisfaction level, but also to characterize why customers are happy or unhappy. Abstracting over arguments allows one to construct summaries and to infer customer preferences or value systems (e.g. low rates are preferred to localization or quality of welcome for some categories of hotel customers).

In [START_REF] Dizier | Knowledge-driven argument mining based on the qualia structure[END_REF], a corpus analysis identifies the types of knowledge and inferences that are required to develop argument mining within a symbolic perspective. The structure of this corpus is briefly reported in this paper. Then, we show, on the basis of that corpus, that the Generative Lexicon (GL) [START_REF] Pustejovsky | The Generative Lexicon[END_REF] could be an appropriate linguistic and conceptual model and organization, sufficiently expressive, to characterize the types of knowledge and lexical data that are required to accurately identify propositions related to an issue. This model develops the crucial conceptual aspects that relate propositions to an issue. The conceptual dimensions attacked or supported in arguments are indeed related to the roles, functions, and purposes of the head entities in the issue at stake, or how these entities came into being, were created or produced. The GL Qualia structure is therefore considered here for the conceptual and linguistic structure it offers, independently of the initial uses developed by its initiator, in particular to model language variations and metonymy construction [START_REF] Pustejovsky | The Generative Lexicon[END_REF].

Natural language synthesis vs. summarization

In natural language generation, the main projects on argumentation generation were developed as early as 2000 [START_REF] Zukerman | Using argumentation strategies in automatic argument generation[END_REF] and [START_REF] Fiedler | Argumentation within deductive reasoning[END_REF]. Focus was on the production and the organization of arguments from a semantic representation, via some forms of macro-planning, an essential component of natural language generation of texts. A synthesis, and in particular an argument synthesis is a much simpler operation which consists in grouping already existing propositions related to an issue on the basis of their similarity in order to enhance readability. It is therefore more superficial that the generation of arguments.

While there are currently several research efforts to develop argument mining, very little has been done recently to produce a synthesis of the mined arguments that is readable, synthetic enough and relevant for various types of users. This includes identifying the main features for or against a controversial issue, but also tasks such as eliminating redundancies and various types of fallacies which are less relevant in a synthesis that is aimed at being as neutral as possible. This synthesis may have the form of a short text, possibly including navigation links, or it may be represented by means of a network or by various types of graphical representations that organize the reasons or justifications for or against an issue. The major problems are readability, granularity and conceptual adequacy with respect to users.

In [START_REF] Dizier | Challenges of argument mining: Generating an argument synthesis based on the qualia structure[END_REF], we show how propositions that have been mined can be organized in hierarchically structured clusters, according to the conceptual organization proposed by the Generative Lexicon, so that readers can navigate over and within sets of related arguments. This approach turned out not to be synthetic enough, since over 100 reasons can be mined for a given issue, making the perception of the main attacks and supports quite difficult. Nevertheless, this initial approach allows the construction of an argument database with respect to an issue which is useful to readers who wish to access the exact form of arguments that have been mined. This is illustrated in Fig. 1, where the relation of the concept to the issue (part of, purpose, etc.) is specified to enhance the structure of the description. This figure simply shows a form of synthesis readers would like to have, independently of any knowledge representation consideration.

The present contribution goes one step further: it aims at producing a synthesis that is short and efficient where the concepts present in the GL Qualia structures are used to abstract over sets of propositions that support or attack an issue at stake. The structure of clusters of propositions is kept and made accessible via links from this synthesis.

This contribution to natural language argumentation synthesis is not really a summarization task, as e.g. developed in [START_REF] Mani | The Generative Lexicon[END_REF]. In our approach, no text or document is reduced to produce a summary. The synthesis that is proposed is simply a two level re-organization task of the reasons mined for or against an issue, that involves forms of clustering.

From that perspective, this work could be viewed as a preliminary step to a summarization procedure. A real summarization task would involve e.g. identifying prototypical arguments and themes, and then constructing summaries for each group of related arguments, but this is beyond the present research.

In terms of feature classification and relevance, we show below that the concepts used in the Qualia structure of the Generative Lexicon are appropriate for this synthesis task. The concepts in the Qualia are defined from a domain ontology, similarly to the features evaluated in most opinion analysis systems. We show that these features can be used as entry points to the cluster system and as a measure of the relevance of a proposition with respect to the issue at stake. A challenging point is that these concepts and their internal organization must correspond as much as possible to the user perception of the domain to which the issue belongs, otherwise the synthesis may not be so useful.

Features of a knowledge-based argument mining approach

Corpus analysis: Identification of the required knowledge

To explore and characterize the forms of knowledge that are required to develop argument mining in texts, we assembled and annotated four corpora based on four independent controversial issues as reported in [START_REF] Dizier | The bottleneck of knowledge and language resources[END_REF]. The main results are summarized below. These corpora are relatively small. They are designed to explore the problem, and to elaborate a model, not to design a comprehensive argument mining system. The texts considered are extracts from various sources, e.g.: newspaper articles and blogs from associations. Issues are:

(1) vaccination against Ebola is necessary, (2) women's situation in India has improved, (3) nuclear plants are not so dangerous and (4) organic agriculture is the future.

The total corpus includes 51 texts, a total of 24500 words for 122 different propositions that support or attack one of the above issues. From our manual analysis, the following polarities are observed: attacks: 51 occurrences, supports: 32, argumentative concessions: 17, argumentative contrasts: 18 and undetermined: 4.

Our analysis shows that for 95 propositions (78%), some form of knowledge is involved to establish an argumentative relation with an issue. An important result is that the number of concepts involved is not very large: 121 concepts for 95 propositions over 4 domains. Even if the notion of concept remains somewhat vague, these results are nevertheless interesting to develop large argument mining systems. These concepts are mainly related to purposes, functions, parts, properties, creation and development of the concepts in the issues. These are relatively well defined and implemented in the Qualia structure of the Generative Lexicon, which is the framework adopted in our modeling.

An introduction to the generative lexicon

The Generative Lexicon (GL) [START_REF] Pustejovsky | The Generative Lexicon[END_REF] is an attempt to structure lexical semantics knowledge in conjunction with domain knowledge. Its main structure is the Qualia structure. The notions used in the GL Qualia structure are not new: the roles postulated in the Qualia structure are derived from the Aristotelian class of causes: constitutive for material, formal for formal, telic for final and agentive for efficient. These roles do not overlap with the notions of grammatical roles or semantic roles. They are much more powerful from a semantic and knowledge representation point of view.

In the GL, the Qualia structure of an entity is both a lexical and knowledge repository composed of four fields called qualia roles:

• the constitutive role describes the various parts of the entity and its physical properties, it may include subfields such as material, parts, shape, etc. • the formal role describes what distinguishes the entity from other objects, i.e. the entity in its environment. It may be structured into several sub-roles such as shape, dimensions, position, etc. • the telic role describes the entity functions, uses, roles and purposes • the agentive role describes the origin of the entity, how it came into being, was created or produced.

To illustrate this conceptual organization, let us consider the controversial statement (1):

The vaccine against Ebola is necessary.

The main concepts in the Qualia structure of the head term of (1), vaccine are organized as follows:

Vaccine(X):

        CONSTITUTIVE: [ACTIVE_PRINCIPLE, ADJUVANT], TELIC:   MAIN: PROTECT_FROM(X, Y, D), AVOID(X, DISSEMINATION(D)), MEANS: INJECT(Z, X,Y)   , FORMAL: [MEDICINE, ARTIFACT], AGENTIVE: [DEVELOP(T, X), TEST(T, X), SELL(T, X)]        
The main concepts to be found in the Qualia structure of Ebola are:

Ebola:   FORMAL: [VIRUS, DISEASE],
TELIC:

INFECT(E 1 , EBOLA, P) ⇒ GET_SICK(E 2 , P) ⇒ ⋄DIE(E 3 , P) ∧ E 1 E 2 E 3  
The terms, predicates or constants, found in the different roles of any Qualia are defined on the basis of a domain ontology, when it exists, or via bootstrapping techniques on the web, if such an ontology does not exist for this domain. Besides these predicates and constants, we have included formula as attribute values. In the above example of Ebola, event variables E i have been added to deal with complex events. In the Qualia of vaccine, subtypes (e.g. MAIN, MEANS) have been added to provide a more accurate structure to the main four roles. More examples are available in [START_REF] Dizier | The bottleneck of knowledge and language resources[END_REF].

Qualia structures can be hierarchically organized, as in any ontology. Vaccine is a kind of medicine, it therefore inherits of the properties of a medicine, i.e. the predicates present in medicine are inherited, unless some blocking is formulated. Similarly, Ebola is a kind of disease, therefore it inherits of the properties of a disease. This rich organization greatly simplifies the description of Qualias. Some Qualia structure resources are available as payware at ELRA, from the SIMPLE-PAROLE EEC project.

Finally, from the two above Qualias and via formula expansion, the formal representation of the controversial issue is (using the modal symbols of necessity and possibility):

(protect_from(X, Y, (infect(E1, ebola, Y) ⇒ get_sick(E2, Y) ⇒ ♦ die(E3, Y))) ∧ avoid(X, dissemination(ebola)).

Using knowledge for argument mining

Originally, the Qualia structure was designed to characterize sense variations around a prototypical (or domain-stabilized) one, and the large number of potential combinations of NP arguments with predicates, in particular verbs. This was implemented via a mechanism called type coercion [START_REF] Pustejovsky | The Generative Lexicon[END_REF]. In our view, this is a specific interpretation of a more global typology of object descriptions.

In our approach, we view the Qualia structure as a means to represent knowledge associated with concepts in a functional way, via telicity (an subtypes of telicity), various types of functional and structural parts, and the way an object was created. This view allows us to introduce more flexibility and higher-order representations in Qualias, in particular complex structures such as formula, modalities, etc. instead of just atomic concepts. Manipulating such structures is more complex, but corresponds to the needs in terms of representation. Reasoning with these complex forms is addressed in [START_REF] Dizier | Challenges of argument mining: Generating an argument synthesis based on the qualia structure[END_REF].

Other types of resources such as FrameNet, WordNet or VerbNet do not contain the information found in Qualias, which is essential for argument mining. These latter resources are structured around predicative forms and mainly describe the type of arguments and adjuncts predicates can take and how they are combined. VerbNet introduces semantic representations based on primitives which may be of interest for our approach as a way to normalize the complex representations we have implemented and, possibly, the atomic concepts themselves.

In terms of data completeness, it is clear that Qualia descriptions will never be comprehensive knowledge repositories for a given concept, with all its facets. In our approach, due to a lack of existing resources, Qualias are mostly described manually. Even via the use of bootstrapping techniques, it is clear that the Qualia of a concept C (e.g. vaccine) essentially contains the most typical features. These are encoded via concepts, which themselves can originate Qualias. An incremental automatic acquisition of Qualia features would be crucial and helpful. This raises complex problems such as consistency or granularity management which are outside the scope of this article. Some elements for automatically acquiring Qualias are developed in [START_REF] Claveau | Automatic acquisition of generative lexicon resources, using an explanatory, symbolic technique[END_REF]. In this article, focus is on the model provided by the GL Qualia, which seems to be particularly relevant for knowledge-based argument mining, without excluding the use of other paradigms to specify e.g. the contents of constitutive roles (from WordNet) or verb arguments as implemented in VerbNet via primitives.

A network of qualias to characterize the generative expansion of arguments

Before generating any argument synthesis, it is necessary to organize the set of concepts in the controversial issue that is considered with respect to their possibility to be attacked or supported. Our observations show that propositions found in texts attack or support (1) specific concepts found in the Qualia of the head terms in the controversial issue (called root concepts) or (2) concepts found in one of the Qualias associated with these root concepts (called derived concepts). In particular, concepts associated with or derived from various types of parts of the concept, purposes, functions and uses of the concept are frequently found in arguments, whatever their polarity. For example, arguments can attack properties or purposes of the adjuvant (described in the adjuvant Qualia), or the way a vaccine avoids dissemination of a disease (described in the dissemination Qualia). Besides the telic role, the agentive is also a crucial role since, for example, arguments often attack the way a vaccine has been produced or tested, or its purchase cost.

From these observations, a network of Qualias can be defined to organize the concepts and knowledge structures involved in the arguments. This network is, for the time being, limited to three levels because derived concepts must remain functionally close to the root concepts to have a certain argumentative weight. However, some arguments, quite remote from the main concepts of the issue may have a strong weight because of the hot topics they include, e.g. vaccination prevents bio-terrorism.

Network construction

A Qualia Q i describes a number of functional and structural features of a concept. It can be formally defined as follows:

Q i : R X : T i,X j
, where:

• R X denotes the four roles: X ∈ {formal, constitutive, agentive, telic}, possibly sub-roles may be added as in the illustrations above, • T i,X j is a term which is a formula, a predicate or a constant T j in the role X of Q i .

• Nodes are of two types: [terminal concept], with no associated Qualia or [non terminal concept],

with an associated Qualia A network of Qualias, for a given controversial issue, is then defined as follows:

• the root is the semantic representation of the controversial issue and the Qualias Q i of its head concepts (in our four examples: vaccine and Ebola, women's conditions, nuclear plants and organic agriculture), • Step 1: the first level of the network is composed of the nodes which correspond to the concepts T i,X j in the roles of the Qualias Q i . The result of this step is the set T of terminal nodes {T i,X j } and non terminal nodes

{T i,X j , Q ′ i ′ : [R X : T 1 i ′ ,X j ′ ]}.
In the case of issue (1), nodes form the set T which corresponds to the terms in the Qualias of vaccine(X) and Ebola, some of which are terminal and others non-terminal.

• Step 2: similarly, the terms T 1 i ′ ,X j ′ from the Q ′ i ′ of step 1 introduce new nodes into the network together with their own Qualia when they are non-terminal concepts. They form the set T 1, derived from T .

• Step 3: the same operation is carried out on T 1 to produce T 2.

• Step 4 (final step): production of T 3. The set of concepts involved is:

{T ∪ T 1 ∪ T 2 ∪ T 3}.
This network of Qualias forms the backbone of the argument mining system. This network develops the argumentative generative expansion of the controversial issue. This network is also the organi-zation principle, expressed in terms of relatedness, that guides the generation of a synthesis where the different facets of the Qualias it contains are the structuring principles [START_REF] Dizier | Challenges of argument mining: Generating an argument synthesis based on the qualia structure[END_REF]. Natural language words or expressions that lexicalize each concept are associated with each network nodes.

An important concern is to evaluate if and how this network defines a kind of 'transitive closure' that would characterize the typical and most frequent concepts that appear in arguments that support or attack an issue. Obviously, unexpected arguments may arise with concepts not in this network, probably with a lower frequency and recurrence. The propositions which are not found are rather unexpected, but of much interest. These may indeed be related to specific local social or historical contexts. For example, propositions such as: vaccination prevents bio-terrorism, vaccination raises ethical and racial problems are found. These propositions are stored in a specific cluster called 'Other', so that they can be accessed from the synthesis.

The total number of concepts at stake in arguments for an average size issue, such as issues ( 1) and ( 3), is about 40 to 50 concepts, depending on the granularity implemented in Qualia. Quite different occurrence frequencies are observed. A rough estimate indicates that about 85% of the propositions related to an issue can be recognized on the basis of these concepts. The 'transitive closure' induced by this network is obviously not complete, but quite relevant.

An illustration

Let us now illustrate the construction of this network. For example, from 'vaccine', two nodes of the constitutive role are candidates: {active_principle, adjuvant}.

Assuming that, e.g. active_principle is a terminal concept, and adjuvant a non-terminal one, then, ac-tive_principle is associated with words such as active principle or stem cell which may be found in a terminology or a lexicon. The distinction between terminal and non-terminal concepts is defined a priori in domain ontologies or may be related to knowledge engineering decisions, not develop in this article. 'Adjuvant' being non-terminal, its Qualia is included into the network at step 1:

Adjuvant(Y, X1): FORMAL: [MEDICINE, CHEMICALS], TELIC: [DILUTE(Y, X1), ALLOW(M, INJECT(X1, P))]
The concepts in the formal and telic roles are stored in T1: {medicine, chemicals, dilute(Y, X1), allow(M, inject(X1, P) )}.

Those concepts which are non-terminal originate new Qualias. These are considered at step 2 to construct T2. The higher-order predicate 'allow' is not considered as a concept in this example, therefore inject(X1, P) is the concept that is considered. Natural language terms are associated to these concepts, e.g.: medicine, chemicals, inject, injection, dilute, dilution.

Similarly, test(T, X), in the agentive role of vaccine(X), applied to vaccines (and medicines more generally), originates a node in T, and additional nodes in T1 from its non-terminal concepts: Test(T, X):

      CONSTITUTIVE: [PARTS OF A TEST: DATA, PROTOCOL] TELIC: MAIN: EVALUATE(T, PROTECTION(X, Y, A)), EVALUATE(T, SIDE-EFFECTS(X, Y, A)) FORMAL: [SCIENTIFIC ACT] AGENTIVE: ELABORATE(T, X)      
From these two examples, T (root concepts) and T 1 (immediate daughter concepts) include the following elements, assuming that variables are bound within each set:

T = adjuvant(Y, X), test(T, X) .
T 1 = {medicine, chemicals, dilute(Y, X), allow (M, inject(X, P)), data, protocol, evaluate(T, protection(X, Y, A)), evaluate (T, side-effects(X, Y, A)), elaborate(T, X)}.

These concepts are associated with lexical terms or expressions, such as: lexicalization(T ) = {adjuvant, test, try out, experiment, etc.}. lexicalization(T 1) = {medicine, chemicals, inject, injection, dilute, dilution, evaluate protection, test protection, evaluate side effects, side effects, test protocol, etc.}.

Besides other elements, such as evaluative expressions, these lexicalizations are used to detect the utterance relatedness to the controversial issue and to possibly qualify it as an argument. The linguistic structure of propositions that may attack or support an issue is described in [START_REF] Dizier | Knowledge-driven argument mining based on the qualia structure[END_REF].

Then, propositions may attack or support concepts present in T or T1, such as the evaluation of the protection offered by the vaccine or the test protocol that has been used.

Generating an argumentative report from a controversial issue

Main arguments found in texts

Let us consider the arguments found in texts for issue (1) that must be included in a synthesis. Arguments mainly attack or support salient features of the main concepts of the issue or closely related ones by means of various forms of evaluative expressions. Contrasts in our terminology include propositions which are weak attacks, whereas concessions are weak supports. Among 50 non-overlapping arguments, the main arguments associated with issue (1) are, omitting associated discourse structures:

Supports:

vaccine protection is very good; Ebola is a dangerous disease; there are high contamination risks; vaccine has limited side-effects, there are no medical alternatives to vaccine, etc.

Attacks:

there is a limited number of cases and deaths compared to other diseases; 7 vaccinated people died in Monrovia, there are limited risks of contamination, there is a large ignorance of contamination forms, competent staff is hard to find and P4 lab is really difficult to develop; vaccine toxicity has been shown, vaccine may have high side-effects, Concessions or Contrasts: some side-effects; production and development costs are high; vaccine is not yet available; a systematic vaccination raises ethical and freedom problems.

Structure of a argumentation synthesis

Let us now characterize the form of the synthesis, as it can be derived from the examples given in Section 4.1. A synthesis of the examples given in Section 4.1 can be organized as follows, starting by the concepts which appear in the issue (root concepts in T ) and then considering those, more remote, which appear in the derived concepts constructed by the network of concepts, e.g. those in T 1.

To make the synthesis readable and informative, between parentheses, the total number of occurrences of arguments mined in texts for that concept is given as an indication. The goal is to outline strengths, recurrences and tendencies. This however remains informal because occurrence frequencies are very much dependent on how many texts have been processed and how many arguments have been mined. This number is also a link that points to the arguments that have been mined in their original textual form. For each line, the positive facet is presented first, followed by the negative one when they exist, independently of the occurrence frequency, in order to preserve a certain homogeneity in the reading:

Vaccine protection is good (3), bad (5). Vaccine avoids (5), does not avoid (3) dissemination. Vaccine is difficult (3) to develop. Vaccine is expensive (4). Vaccine is not (1) available. Ebola is (5) a dangerous disease. Humans may die (1) from Ebola. Tests of the vaccine show no (2), high (4) side-effects. Other arguments (4).

Each line of the synthesis is produced via a predefined language pattern. This is developed in the next sections. The comprehensive list of arguments is stored in clusters (Section 4.4) and are accessible via navigation links, represented in this synthesis by means of underlined numbers.

An alternative synthesis approach would have been to select for each concept an argument that is prototypical paired with a link to the other arguments related to the same concept. This approach sounds less artificial than the generation of abstract sentences, but (1) it is difficult to characterize what a prototypical argument is and ( 2) the formulation we propose is a priori shorter, more neutral and standardized. However, we feel that exploring other forms of synthesis, in close cooperation with users, should be investigated. For example, forms of rhetoric could be incorporated for non-neutral synthesis. Introductions to these aspects can be found, among many others, in [START_REF] Perelman | The New Rhetoric: A Treatise on Argumentation[END_REF], in [START_REF] Amossy | L'argumentation dans le Discours[END_REF] specific cases can be found in a number of articles of this journal.

Input data: Annotated arguments

The output of the mining system, which is the starting point of the synthesis construction, includes the following attributes [START_REF] Dizier | The bottleneck of knowledge and language resources[END_REF], associated with each argument:

• the argument identifier (an integer): in this first experiment, all arguments attack or support the controversial issue and no other arguments • the text span involved that delimits the argument compound and its kernel, which ranges from a few words to a paragraph. In the synthesis, only the kernel of the argument is considered. This text span is found between the different tags of the annotation, there is no specific attribute to represent it • the polarity of the argument with respect to the issue: support or attack. Additional intermediate values (argumentative concessions and contrasts) could be added in the future • the concepts involved, to identify the argument: list of the main concepts from the Qualias used in the mining process. Only the concepts found in the main argument section are considered. Those in adjoined discourse structures will be considered for higher-level synthesis in a later stage, to identify, e.g. restrictions • the strength of the argument, based on linguistic marks found in the argument, so far limited a priori to a few values: strong, average, moderate, weak. Investigations on this topic are ongoing: they show the high impact of context • the discourse structures in the compound, associated with the argument kernel, as processed by our discourse analysis platform TextCoop.

The 'ConceptsInvolved' attribute is structured from the root node, as a kind of path, so that the concept that is involved is clearly identified. This attribute may contain an ordered list of paths if several concepts are involved. A typical path is a sequence: root-concept/(Role/Concept)*, where the Concept is a predicate or a constant of a Qualia structure found under the role 'Role'. For example, the concept of 'protocol' is defined as follows: vaccine(X)/agentive/test(T, X)/constitutive/protocol, since 'protocol' is a concept associated with the constitutive role of the concept 'test' in T 1. Besides a non-ambiguous identification of the concept 'protocol', this path can be used as (1) a way to structure a synthesis and (2) a way to provide some explanation of why an utterance is an argument by outlining its relation(s) with the root concept.

In terms of annotations, for example, Proposition 11 attacks the claim on vaccination:

Even if the vaccine seems 100% efficient and without any side effects on the tested population, it is necessary to wait for more conclusive tests before making large vaccination campaigns. The national authority of Guinea has approved the continuation of the tests on targeted populations.

is composed of an kernel (it is necessary to wait for more conclusive tests before making large vaccination campaigns) modified by two discourse structures. This proposition is tagged as follows:

<argument Discourse structures are those defined within the RST framework (http://www.sfu.ca/rst/). At this stage no meta-data is considered such as the date of the statement or the author status. This notation was defined independently of any ongoing task such as ConLL15.

Clustering arguments

The last step before the production of a synthesis is to cluster arguments according to their relatedness with respect to the controversial issue. The network of Qualias together with the attributes 'relationWith', 'Polarity' and 'ConceptsInvolved' are the most crucial elements in the annotation system to generate clusters that correspond to the domain conceptual organization. Each concept of the Qualia network potentially defines a cluster.

The generation of clusters proceeds as follows:

(1) Each concept defines a cluster that contains the mined arguments that have this concept in their 'conceptsInvolved' attribute, with the constraint that the argument concerns the issue (relation-With=issue), the other arguments are treated as presented in (4) (2) When an argument involves several concepts, to avoid redundancy and large clusters, it is included into the concept cluster that is the highest in the network of concepts. In this experiment, clusters are defined around a single concept. However, there are cases where several concepts operate at the same level of relevance, and therefore clusters based on the conjunction of clusters must be constructed. This is the case for example for issue [START_REF] Budzinska | A model for processing illocutionary structures and argumentation in debates[END_REF] where arguments are often based on comparisons: nuclear wastes induce higher maintenance costs that coal wastes. Concepts involved are: nuclear wastes, coal wastes and maintenance costs. These should define a specific cluster. In the present experiment, only the concept 'nuclear waste' is considered, and the argument is tagged 'attack' (3) For each concept, related arguments are structured by polarity: first supports and then attacks, (4) To deal with the generation of a more comprehensive graph of attacks and supports, a further stage of the clustering process consists in considering that each argument that has been mined can also be an issue which can be attacked or supported by other arguments that have been mined. This is specified in the attribute 'relationWith'. Therefore, the same process as for the controversial issue can be applied, while keeping the same network of Qualias.

Let us consider the example on vaccination, then a set of clusters would be composed of the following arguments:

Clusters at level 0 of the concept graph: e.g.:

Cluster 1: Adjuvant: support: there are different types of adjuvants and most of them are fine, attack: adjuvant is toxic, adjuvant is unstable . . . Cluster 2: Dissemination: support: vaccine reduces disease dissemination . . . Cluster 3: Get-sick: concession: limited number of cases and deaths compared to other diseases, vaccination allows the definition of a protection belt around infected zones, . . .

Clusters at level 1:, e.g.:

Cluster 4: Production costs: attack: high production and development costs, need highly paid staff, . . . Cluster 5: Availability: support: vaccine can be produced in poor countries, contrast: vaccine not yet available, vaccine must be kept at a low temperature, etc.

Argument synthesis generation

Given the input data as specified in Section 4.3, the type of clusters of arguments that have been produced Section 4.4 and general form of a synthesis presented in Section 4.2, let us now develop the grammatical and lexical environment that allows the generation of this synthesis. The ordering of the items of the synthesis is based on the path mentioned in the 'conceptsInvolved' attribute of each argument cluster. Arguments are sorted on the basis of this attribute, starting by the level 0 of the network, i.e. by those concepts which appear in the issue, and then considering derived concepts: those in levels 1, 2 and 3, corresponding to T 1, T 2 and T 3 respectively.

The lexico-grammatical generation system

The synthesis of arguments is based on abstract linguistic patterns defined as follows:

(1) [HeadConcept, Be/Predicate, Evaluative, AttributeLexicalization].

or:

(2) [HeadConcept, Be/Predicate, AttributeLexicalization. Evaluative].

Let us now describe informally how the different symbols of these patterns generate natural language expressions. The symbol HeadConcept is the lexicalization of the rightmost (or leaf) concept in the attribute 'conceptsInvolved'. For example, in: conceptsInvolved= 'vaccine(X)/agentive/ test(T, X)' the rightmost concept is 'Test(T, Z)', its prototypical lexicalization, stored in a lexicon, is 'test'. For example:

word([test], noun, abstract, test(X, Y),

[[try, out], [analysis]]).

The function lexicalization(Word, Predicate) extracts the lexical item from the appropriate lexical entry. In this lexical entry, the last argument contains closely related lexical terms. These are used in particular to detect relatedness.

When complex forms are given as attributes, such as 'avoid(T, dissemination(X))', then the content that is lexicalized corresponds to the whole formula: 'avoids the dissemination'. In our current approach such formula are generated on the basis of predefined patterns, for example:

Verb(X, Predicate(Y)) ⇒ lexicalization(Verb(X)), lexicalization(Predicate(Y)),
In our example, avoids dissemination would be generated. Some morphological features need to be taken into account in the generation rules.

Finally, when the path given in 'conceptsInvolved' is long (from 2 concepts), in order to avoid any ambiguity, a lexicalization of the whole path is produced, e.g. for the example above: test of the vaccine instead of test alone, using the basic compound NP pattern:

[A of B] or [A of B of C]
where A, B and C are concepts of the path: 'C/role/B/role'/A.

Next, the symbol Be/Predicate in patterns (1) and ( 2) above entails the lexicalization of the main predicate of the sentence. It is either the neutral 'be' (is, are) or a specific lexicalization if the attribute value that is considered includes a higher-level predicate such as prevent, evaluate, allow, avoid. In that case, Be/Predicate is the lexicalization of the higher-level predicate found in the attribute. For example, the attribute: 'evaluate(T, protection(X,Y,A))' is lexicalized by: evaluate the protection of. The variables X, Y and A are lexicalized by other parameters in the patterns (1) or [START_REF] Baker | Arguments in advertising[END_REF].

When there are supports and attacks, this predicative form appears as such and is then modified by a negation so that supports and attacks can be differentiated in the synthesis, using the following patterns: Supports:

[is/are/Predicate, (Stats)],

Attacks:

[is not/ are not/do not Predicate/ does not Predicate, (Stats)]

In these patterns, Predicate represents the whole attribute. For example, an attack of the function of a vaccine avoid(X, dissemination(D)) produces the expression: does not avoid the dissemination.

Next, the symbol (Stats) indicates the number of arguments that have been mined with the 'con-ceptInvolved' path considered, i.e. the number of arguments in the corresponding cluster (Section 4.4). These statistics are indicative since they depend on the volume of text that has been mined. They also do not account for the strength of the argument. (Stats) is a link to the corresponding cluster of arguments that the reader may wish to inspect.

Next, the symbol Evaluative in the patterns ( 1) and ( 2) is an evaluative expression, often a scalar adjective, possibly modified by a negation depending on its polarity, the existence of an antonym (which could be prefered to avoid negation) or the polarity of the argument. Adjectives, as well as nouns, have these semantic characteristics stored in their lexical entry. The lexicalization of Evaluative is defined as follows:

(1) by default, the values good/bad for products and attitudes and easy/difficult for processes. However, these adjectives are not very accurate and specific values are preferred. (2) by a scalar adjective found in one of the arguments of the corresponding cluster. The adjective must be prototypical. For that purpose, we use a resource we defined for opinion analysis, where about 500 of the most standard adjectives are organized in non-branching proportional series [START_REF] Cruse | Lexical Semantics[END_REF].

Each series corresponds to a precise conceptual dimension, concrete or abstract, such as height, weight, danger, cost, temperature, difficulty, peace, availability, etc. Most series are composed of a few positively and negatively oriented terms and possibly a neutral term. Terms are structured with a partial order. Other series correspond to boolean adjectives and are simply composed of two elements. For example, starting from the most negative term:

• temperature: frozen -cold -mild -(warm, hot) -boiling. prototypical: cold/warm, neutral: mild.

• toxicity: poisonous -dangerous -neutral -recommended -beneficial. prototypical: dangerous/beneficial, neutral: neutral. • cost: expensive -(reasonable, appropriate) -fine-cheap, prototypical: expensive/cheap, neutral: reasonable.

In the cluster of arguments, the adjectives used as evaluators are collected and their inclusion in one or more non-branching proportional series is investigated. The terms that are the most frequently refereed to is kept, and both the positively and negatively oriented typical adjectives are used in the lexicalization. Finally, the symbol AttributeLexicalization is the lexical item that corresponds to the concept. In our approach this lexical item is stored in a lexicon where lexical entries include lexical items and their associated logical representations, as described above. When the attribute is propositional, the same strategy is used, in that case, an expression is produced via a pattern instead of a single item. This is the case for example with 'develop(T,X)' which gets the realization to develop. This synthesis generation system is quite simple at the moment. Besides domain lexical entries, related to the concepts in the Qualias (between 50 and 100 lexical entries depending on the issue), the system currently uses 22 patterns and sub-patterns that allow to produce the constructions presented in Section 4.2. These patterns are stable for the type of issues we consider, which are simple, with arguments which are direct and concern a single concept of the network.

This generation system needs further investigation for more abstract issues or complex situations such as controversial dialogs. In this first stage, only the relations between the controversial issue and arguments have been investigated. In a 'real' argumentation, arguments may attack or support other arguments instead of the issue. It is not clear at the moment whether the same generation procedure can be used. Probably, to keep the synthesis readable, additional devices such as navigation links would be needed to indicate that an argument gets supports or attacks from others.

The system described here is relatively simple to implement. A first implementation has been realized with the logic-based platform <TextCoop> we developed for discourse analysis. This platform can also be used for language generation since it is fully declarative and partly reversible. However, the strategy used in <TextCoop> needs to be revised so that the simplest structure is generated first. The parsing strategy that is used in <TextCoop> is indeed a priori oriented towards language parsing.

Features of an evaluation

This approach to argument synthesis generation is relatively simple and straightforward. The two levels: synthesis and links to the exact arguments stored as clusters seems to be a good compromise between proliferation of data and over generalization via a few synthetic lines. Elaborating an appropriate level of synthesis and the way to realize it linguistically needs a lot of experimentations and tunings.

An evaluation of the current system, in order to identify improvement, must be realized along at least the following main features:

• the overall linguistic adequacy of the generation system, based on the patterns presented in the previous section. These patterns produce short sentences that readers can understand. Their linguistic adequacy and language overall quality must be evaluated and possibly tuned. • the types of domains and controversial issues for which this system is adequate, from very concrete to more abstract, and for various quantities of arguments, from just a few to several hundreds, including duplicates. Our experience shows that Qualia structures can quite straightforwardly be specified for concrete areas. This is less easy for areas which manipulate abstract or very general purpose concepts, such as issue (3) of this experiment. An evaluation of the limits of the approach and the means to overcome difficulties must be carried out. • the load in linguistic and conceptual resource description for each domain where arguments are mined. This includes essentially Qualia structures, lexical entries and associated resources such as non-branching proportional series, a few generation patterns. Qualia structures are often related to a domain ontology. These resources are not very large for a domain, but they nevertheless require some manual effort. Another aspect is the management of the coherence of the resources when they are specified at different levels (e.g. lexical, conceptual). A strategy for automatically acquiring Qualias is developed in [START_REF] Claveau | Automatic acquisition of generative lexicon resources, using an explanatory, symbolic technique[END_REF]. • the adequacy of the conceptual model, here the Qualia structure. It is necessary to show that it is indeed sufficiently accurate in a large number of domains, or to identify additional paradigms that must be integrated into the system.

A higher level evaluation concerns the adequacy of this synthesis for professionals who want to access to an argument synthesis, where arguments do correspond to their own view and to the analysis they have of the domain. For example, in the hotel and restaurant domains, the features at stake are predefined by professionals in consumer evaluations. For more abstract or less common areas such as the issues given in Section 2.1, there is a need to make sure that the concepts developed in the Qualias do correspond to the vision of professional users, otherwise such a system will not be of much practical relevance.

We also feel there is no unique form of synthesis: several forms of synthesis could be foreseen that would depend on the reader's interests and profile. A real evaluation of the system presented here requires the development of adequate protocols to measure the relevance of various forms of synthesis, e.g. more abstract, more or less concise, using various types of concepts, with appropriate lexicalizations. This can only be done with large and diverse populations of users over several domains.

Conclusion and perspectives

Given a controversial issue, argument mining from texts in natural language is extremely challenging: besides linguistic aspects, domain knowledge is often required together with appropriate forms of inferences to identify arguments. A major challenge in argument mining is to organize the arguments which have been mined to generate a synthesis that is readable, synthetic enough and relevant for various types of users. This article is both an exploration of this latter issue and a simple preliminary proposal.

Based on the Generative Lexicon (GL) Qualia structure, which is a kind of lexical and knowledge repository, we have shown how to construct a synthesis that captures the typical elements found in arguments and their polarity. We propose a two-level approach: a synthesis of the arguments that have been mined and, associated with the elements of this synthesis, navigation facilities that allow to access the argument contents in order to get more details.

The work presented in this paper is a first, exploratory experiment. Constructing an argument synthesis from a large diversity of issues, and in various types of communication contexts (dialogs, consumer opinion expression, etc.), where arguments may also attack each other, is a complex task. The type of synthesis that would be really useful to the public and to professionals requires a close cooperation with opinion analysts and professional users. Additional features of arguments such as reliability, in-depth analysis of strength, validity, persuasion, etc. should also be incorporated at some future stage.

The next steps of our work include:

• the development of other types of controversial issues and the annotation of their related arguments by at least two annotators, this would entail a further validation of our model • the development of a larger argument mining system based on knowledge, in particular as structured in the Qualia • the development of procedures to facilitate language and Qualia structure acquisition • the development of tools that would contribute to the creation of Qualias from texts: some work is ongoing on this very crucial dimension • the development of adequate and relevant evaluation protocols that would analyze the adequacy of the type of synthesis that is produced, as such and with respect to users expectations and implicit model of the domain.

Fig. 1 .

 1 Fig. 1. Illustration of a synthesis.

This article is published online with Open Access and distributed under the terms of the Creative Commons Attribution Non-Commercial License (CC BY-NC 4.0).

Acknowledgements

The author is grateful to an anonymous reviewer for her/his insightful comments that contributed to improve this text. I also thank my institution, the CNRS.