File Information
File: 05-lr/acl_arc_1_sum/cleansed_text/xml_by_section/abstr/86/c86-1121_abstr.xml
Size: 33,481 bytes
Last Modified: 2025-10-06 13:46:18
<?xml version="1.0" standalone="yes"?> <Paper uid="C86-1121"> <Title>Two Approaches to Commonsense Inferencing for Discourse Analysis.</Title> <Section position="1" start_page="0" end_page="514" type="abstr"> <SectionTitle> Abstract: </SectionTitle> <Paragraph position="0"> The dominant philosophy regarding the formalization of Commonsense Inferencing in the physical domain consists in the exploitation of the &quot;tarskian&quot; scheme axiomatization <-> interpretation borrowed from mathematical logic.</Paragraph> <Paragraph position="1"> The commonsense postulates constitute the axiomatization, and the real world provides the &quot;model&quot; for this axiomatization.</Paragraph> <Paragraph position="2"> The observation of the effective activity of linguistic communication and of the commonsense inferencing processes which are involved in it show the unacceptability of this scheme.</Paragraph> <Paragraph position="3"> An alternative is proposed, where the notion of &quot;conceptual category&quot; plays a principal role, and where the principle of logical adequation of an axiomatization to a model is replaced by a notion of &quot;projection&quot; of a conceptual structure onto the observed reality.</Paragraph> <Paragraph position="4"> 1. Commonsense Inferencing in context: Commonsense and tile linguistic process.</Paragraph> <Section position="1" start_page="0" end_page="0" type="sub_section"> <SectionTitle> 1.1 Disambiguation and Commonsense. </SectionTitle> <Paragraph position="0"> Let's consider the following text fragment: &quot;Mary ch~opped the plate on the table. It broke.&quot; fT. Winograd) It is quite clear that the disambiguation of the pronominal lexical reference of &quot;if' (table or plate) involves, in addition to the syntactic and semantic constraints (where &quot;semantics&quot; is taken in a narrow sense of &quot;formal semantics&quot;) a certain understanding of the natural structure of the described events. This understanding, shared by all members of the linguistic community, we can name it &quot;Commonseuse&quot;.</Paragraph> <Paragraph position="1"> In the case at hand, commonsense informs us that: i) a plate dropped on a table will in all likelihood collide with the table. ii) when such a collision happens, it is not unlikely for the plate to break, but quite abnormal for the table to break.</Paragraph> <Paragraph position="2"> This shared Commonsense knowledge is taken into account at the pragmatical discourse level both by the speaker and the hearer, and allow the speaker to reconstruct, with the help of Gricean-type conventions of communication, the meaning intended by the speaker and therefore the correct pronominal reference: &quot;it&quot; refers to the plate.</Paragraph> </Section> <Section position="2" start_page="0" end_page="512" type="sub_section"> <SectionTitle> 1.2 Linguistic Acceptability and Commonsense. </SectionTitle> <Paragraph position="0"> The disambiguation problem just considered is closely linked to the problem of the linguistic acceptability of a text fragment. In the following example, the acceptability/unacceptability of the 2 texts is due to the possibility/impossibility on the part of the listener to reconstitute a direct causal link between the first element and the second element of each text: &quot;John's parachute had teared to pieces. He crashed on the ground.&quot; *&quot;John's parachute had got damped by the rain. He crashed on the ground.&quot; 1.3 Reconstitution of the information implicit in discourse and commonsense.</Paragraph> <Paragraph position="1"> The previous examples showed already a relatively limited form of implicit information reconstitution in a piece of discourse: the text fragment was acceptable if it was possible for the listener to restore an implicit causal link in the text at hand. Here is now a more impressive example of implicit information reconstitution by the listener of a piece of discourse (fig. 1).</Paragraph> <Paragraph position="2"> Here, the reconstitntion of the informations implicitely contained in the original text makes use of at least 3 different domains of comreonsense: - commonsense in the physico/biological domain: to fall, to collide, disruptive consequences of collision, to be hurt, to die.</Paragraph> <Paragraph position="3"> - conmaonsense in the psychological domain: a murder consists in an intentional killing, i.e. with a plan the goal of which is the death of somebody.</Paragraph> <Paragraph position="4"> - commonsense in the social domain: the way in which society treats crime.</Paragraph> <Paragraph position="5"> &quot;John was condemned to deat..h by th, e court. He had puslted his Wife out of the Window of t.heir 1Oth floor apartment&quot; Implicit modellzatlon reconstructx, d by the listener: - dohm~ pushes his wife out of the lOth floor window - she fells fr~ thl 10th floor to the ~ound, ~athering speec all the ~lle - she collidas vlolentl~ with the ground - she i~ Seve~el~ httrt she dies on Inqulr~ I~ made - (he inqulr~ demonstrates the Intentlonallt V of doh~'$ act a coUrt ~eet5 o~d renders It~ verdict: doM is condemned to death for the et~der of his wife.</Paragraph> <Paragraph position="6"> Figure 1 This example may serve to remind us of the easiness and the swiftness with which we are able to reconstruct a complex set of iaforntations implicit in a piece of discourse fi'om our mastery of Commonsense in a variety of domains simultaneously. However, iu the previously given examples, only the &quot;physical&quot; domain Cnatural phenomena&quot;) was made use of, and in the remainder of this paper, we will essentially restrict ourselves to this domain of Commonsense. 2. The dominant model for Commonsense Inferencing in the physical domain.</Paragraph> <Paragraph position="7"> A considerable interest has arosen recently in A.I. for Commonsense modelizations of natural phenomena. The articles of Pat Hayes <Hayes 1978> seem to have set the tone for the philosophy presently predominant in the domain, of which the collections of papers <Hobbs, Moore (eds) 1985> and <Hobbs et at. 1985> can provide recent examples.</Paragraph> <Paragraph position="8"> The outlines of this attitude - which we call the Direct Interpretation approach (DI approach ) - towards Conuuonsense are the following: -The relation between theory and predictions is conceived ,as similar to what it is in &quot;scientific&quot; physics, but rite natural laws which are encoded in the theory are different: essentially they are of a nmre &quot;qualitative&quot; and less &quot;namericar' kind.</Paragraph> <Paragraph position="9"> -The inferential procedure is made in tbe deductive mode (in the sense of &quot;deductive logic&quot;, opposed to &quot;inductive&quot;).</Paragraph> <Paragraph position="10"> ~Like &quot;scientific&quot; physics, &quot;naive&quot; physics should be able to predict - in a deductive manner - the greatest possible number of phenomena from the smallest possible number of general &quot;natural laws&quot;, -&quot;Naive&quot; physics is a strictly objectivist physics: it describes reality &quot;as it is&quot;: to be valuable, the laws and the consequences of the laws must be &quot;true&quot;. -The description of the physical world is done through an axiomatization, typically in first-order logic, which respects the &quot;tarskian&quot; schema of semantical adequation of a logical theory to its model. In this schema, borrowed from mathematical logic (fig. 2.a), the real world is supposed to provide a model for the axiomadzation, which is a set of axioms representing physical laws which are verified in the model (fig. 2.b): 3. Problems with the dominant model.</Paragraph> <Paragraph position="11"> 3.1. Deduction or Induction? 3.1.1. The linguistic examples given in section 1 demonstrate how difficult it is to consider the commonsense inferences which appear there as a process of purely deductive type.</Paragraph> <Paragraph position="12"> Thus, to take example 1.3, there is no logical necessity to the sequence of implicit events reconstructed by the listener: these informations are not deducible from the explicit informations &quot;John was condemned by the court&quot; and &quot;John had pushed his wife out of the window&quot;: Maybe there was a safety net in place, and maybe John murdered a policeman 3 days later, and so on and so forth...</Paragraph> <Paragraph position="13"> Actually, the analysis of the type of inferencing which are involved in the reconstitution of implicit informations in the examples of section 1 is complicated by the fact that Commonsense is not alone in the picture here: pragmatical conventions of communication come also into play and exploit the elements of pure commonsense knowledge which are the ~ beliefs of the speaker and the hearer; place is lacking here for full discussion of this problem, but let's be satisfied with the following brief comments: At the level of discourse pragmatics, several types of intersentential &quot;syntactical&quot; relations between two contiguous declarative statements are possible: Cause, Parallel, Exemplification, Explanation ....</Paragraph> <Paragraph position="14"> <Hobbs 1984>. In the case at hand, it is the syntactical relation of Explanation which is realized between the first statement &quot;John was condemned by the court&quot; and the second statement &quot;John had pushed his wife out of the window&quot;.</Paragraph> <Paragraph position="15"> This relation of Explanation can only be validated ~ Commonsense Inferencing is capable to provide a &quot;natural&quot; explicative chain between the first statement and the second statement.</Paragraph> <Paragraph position="16"> Finally, the speaker and the hearer share conventions (in the sense of Grice's &quot;conventional implicature&quot; <Levinson 1983> which allow them to &quot;agree&quot; about which of the admissible reconstructions is the intended one, perhaps with the help of a common evaluation of the degree of &quot;naturalness&quot; of the different admissible evenemcntial chains.</Paragraph> <Paragraph position="17"> At any rate, the commonsense inferencing level per se - which is exploited by the pragmatic level - seems difficult to reconcile with a purely deductive process. In fact, the type of commonsense inferencing used in the examples of 1.3 presents certain striking similarities with the two following inductive/recognitive processes (by order of increasing complexity): If I observe a bike leaning behind a tree trunk hiding its central parts from me, 1 will have no difficulty to induce the existence of a unique bike, and not of 2 bike-halves placed in this exact position by a malevolent aesthete.</Paragraph> <Paragraph position="18"> In a movie, a sequence of two shots, the first one showing a woman writing a letter, the second one showing a man reading a letter will be interpreted as having a certain structural unity: it is the same letter, it has been sent by tbe woman and received by the man, etc... (Here again, as cinema is a communication medium, one must take into account not only the commonsense level, but also pragmatical conventions).</Paragraph> <Paragraph position="19"> 3.1.2. Several attempts have been made recently to extend the standard deduction mechanisms of logic into &quot;non-monotonic logics&quot;. These attempts have been relatively successfull in accounting for several types of &quot;default reasoning&quot;, but I am not aware of any application of these techniques to the extended &quot;gestalt-type&quot; reasoning exemplified in 3.1.1.</Paragraph> <Paragraph position="20"> 3.1.3. One of the other problems with the deductive approach of figure 2 is due to the difficulty there is to maintain the coherence of the thousands of axioms likely to be involved in any serious attempt to axiomatize any commonsense domain, at least if one supposes &s direct a relation of interpretation as the one in figure 2. The coherence of such an axiomatization is easy to guarantee in planar geometry for instance -, thanks to the fact that the structure of the RxR model is mathematically limpid, and that the correctness of the axiomatization is assured by its adequation to its model. Quite other is the situation when we endeavour to use &quot;reality&quot; as our model, for we have no clear idea of the structure of this model prior to our attempt at an axiomatization.</Paragraph> <Paragraph position="21"> 3.2. Commonsense observed.</Paragraph> <Paragraph position="22"> Another important difficulty with the approach of fig. 2 is due to its stricly &quot;objectivist&quot; character, i.e. its insistance that Commonsense formalizations should strictly respect the &quot;reality&quot; of natural phenomena.</Paragraph> <Paragraph position="23"> However, numerous psychological studies have unambiguously shown that our intuitive comprehension of physical phenomena differs considerably from the objective (scientific) physical state of affairs. Thus, the following experiment has been reported <Mc. Closkey 1983>: a sample of &quot;naive&quot; subjects were asked what they believed is the trajectory followed by a ball thrown horizontally. The results wem: 5 % of the subjects believed that the ball travels first in a straight horizontal line, then falls straight down.</Paragraph> <Paragraph position="24"> 35 % of the subjects believed that it travels first horizontally in a straight line, then curves down for a while, then falls straight down.</Paragraph> <Paragraph position="25"> 30% of the subjects believed that it begins to curve down immediately but eventually falls straight down.</Paragraph> <Paragraph position="26"> (The scientific answer is that the ball follows a downward-oriented curve (close to a parabola) all the while).</Paragraph> <Paragraph position="27"> The many observations of this kind make it difficult, if not downright impossible, to establish a system of physics which is at the same time &quot;naive&quot; and &quot;objective&quot;, unless one considers that naive physics does not necessarily have to copy the commonsense structure which is observed in human individuals. This attitude might be admissible - at least theoretically -, if one were attempting to give robots some understanding of the external world, but not if one seeks to modelize the processes which are at the root of linguistic communication, for these constantly make use of commonsense abilities actually present in Man. 3.3. The diversity of phenomena accounted for by Commonsense.</Paragraph> <Paragraph position="28"> Perhaps the most important source of troubles with the deductive approach of section 2 has to do with the fact that, contrarily to &quot;scientific physics&quot;, Commonsense is not free to delimit its experimental domain in an &quot;ideal&quot; way. It has to give an account, at its own level, of our cn:de experience of the world, as it presents itself &quot;naturally&quot;, whether or not this experience conforms to universal physical laws. But this experience is extremely varied and undisciplined: for instance, although most physical bodies show a &quot;natural tendency&quot; to &quot;fall&quot; if unsupported, this is neither the case with spinning-tops, nor of moving bicycles, nor the case of mercury in an upside-down thermometer, nor clouds, nor planes, nor the case of the Moon, etc...</Paragraph> <Paragraph position="29"> It is difficult to imagine that there exist universal qualitative &quot;naive&quot; postulates from which one might deduce at the same time \]/.0.tit on one hand the unstability of a pencil set up on its point, and on the other hand the stability of a spinning-top or of a bicycle in movement.</Paragraph> <Paragraph position="30"> Also, many phenomena which Commonsense has no trouble giving an a posteriori account for are impossible to deduce from general laws, not only Commonsense laws, but often ~ laws too (in this instance, they are impossible or very difficult to deduce in practice, but more rarely in principle): for instance, the fact that a stone dropped into water will produce such-and-such a splash (a complex physico-mathematical fact); or, more dramatically, the fact that a cherry kernel planted into the ground will produce a cherry-tree, or even the fact that a moving bicycle is highly stable (even the experts do not seem to agree on the exact reason why it is so), etc...</Paragraph> <Paragraph position="31"> However, although all these phenomena are impossible to deduce from general physical laws, Commonsense succeeds in partially InRtJy.aliag them and them a posteriori with the help of general principles and schemata.</Paragraph> <Paragraph position="32"> (An enlightening discussion of the opposition between deduction and motivation in the domain of lexical semantics can be found in <Lakoff 1985>.) Let's give an illustration of what is to be understood by this a posteriori &quot;structuration&quot; of experience: our understanding of the behaviour of a spinning-top.</Paragraph> <Paragraph position="33"> 4. Structuration of Experience: the Spinning-Top, I~ and without claim to psychological accuracy (no experimental verification was made), Fig. 3 gives an idea of what an intuitive structuration of a spinning-top could look like: - Oo~ted obJ~ot, s~Jmn'~trtca) avouc~d an axll - set upright on it= po~ - hav~9 ~ fast rotattona |movement ~rotm~ Its =xts - tht axis oscillates around the yert~al d~rect~ - tht &quot;rotmno~l lml~etul&quot; fl =low~.y ~*ri~ll ~ut - t~o &quot;~tlqe~tst teed/notes&quot; are fl~tk~ 9 agak,~t each other : a) &quot;natural t~ndenC/V&quot; of the object to fall dow~ b) t~nder~ 9 of the lxls to Ira U (c)~se to the vertical dtre(c)t~on this last teMer~ V Is in I relMIon of meaotoat~-Iacreas~g ~etth Its Its &quot;C/ausl&quot; : the rotattonil rhovemea~ of the object ~rou~d its axis Figure 3 Once structured in this manner, the spinning-top phenomenon is not any more a raw experience, but has become an informed experience: what we can call, following <Lakoff 1985> a &quot;natural category&quot;.</Paragraph> <Paragraph position="34"> Several points should be noted: The structure of Fig.3 has only a remote connection to the actual mechanical structure of the phenomenon: there is no physical sense in speaking about a &quot;tendency to stay vertical&quot;, and it is very problematical from the physics point of view to divide the phenomenon into causes and consequences.</Paragraph> <Paragraph position="35"> The spinning-top category has been structured with the help of a process of metaphorical importation <Lakoff, Johnson 1980> of pre-existing conceptual structures (which are categories too, but of a more abstract type, see section 5), most notably the structure of &quot;two antagonist tendencies fighting against each other&quot;. This type of sUncture seems to be of wide use in language and thought and has been extensively studied by Len Talmy <Talmy 1985>.</Paragraph> <Paragraph position="36"> Another imported conceptual structure which has served to build the spinning-top category is the category of &quot;natural impetus loss&quot; which specializes here to a structure of &quot;rotational impetus loss&quot;. (For a related notion, see the discussion of &quot;Ohm's p-prim&quot; in <DiSessa 1980>). TILe structure which has been given to tile spinning-top category is &quot;explicative&quot; (and &quot;predictive&quot;) for a whole class of behavionrs of the spinning-top: thus, file fact that it is impossible for the top to stay vertical if it is not rotating, the top's stability loss with time (because of the loss of rotational impetus), etc...</Paragraph> <Paragraph position="37"> Tile structure of the spinning-top category is, in an essential way, nest-experimental: for an observer without experience of gyroscopic-type behaviour, the top should have &quot;fallen&quot; and it would not have constituted a priori a special category. From tile standpoint of such an observer, a cartoon showing a &quot;spinning-top&quot; losing its balance in the same way as a pen set on its point would have been perceived as the normal thing and would have constituted a dynamic category (see section 5) built with tile parallel-event construct (which is an abstract category) out of 2 subcategories: &quot;l~tll of an unbalanced body in contact with a surface&quot; and &quot;rotative movement of a symetrical body around its axis&quot;. What happens when the first actual spinning-tops experiments are observed is the fact that the observer becomes aware that this possible structuring of the experiments has to be rejected - it obviously does not fit the observed facts - and that a new &quot;reading&quot; of the experiments has to be built: a new category must be created, which ~ in a novel manner, on the one hand the rotational movement and on the other hand the natural tendency of the top to fall, by rendering these two factors causally dependent in the way given in fig. 3.</Paragraph> <Paragraph position="38"> 5. An alternative to the Direct Interpretation Approach.</Paragraph> <Paragraph position="39"> In the remaining space, we would like to point out to another direction that research on Commonsense lnferencing could pursue. This will be done with the help of a &quot;speech analysis metaphor&quot;. This metaphor should really be justified by a careful analysis of the inferencing processes that are at work in the modem generative approach to linguistics (as exemplified e.g. in <Kay 1979>), which space does not permit to be given here. Such an analysis would show that generative syntax - although it can indeed be reinterpreted in FOL, in about the same way as a high-level-language program can be reinterpreted in machine code - really relies on a quite different approach to interpretation than the tarskian theory/model approach. Namely, the same linguistic input can be interpreted by different competing ,511~~. Adding new predeflned structural descriptions to the linguistic theory (i.e. the grammar) will increase the range of the accepted linguistie-imputs, whereas adding axioms to a logical &quot;theory of the world&quot; decreases the range of accepted situation-inputs.</Paragraph> <Paragraph position="40"> 5.1. A speech-analysis Metaphor for Commonsense Infemncing.</Paragraph> <Paragraph position="41"> The main features of the metaphor are illustrated in fig. 4: st,'uct~e &quot;read&quot; b~l the hm~lv&quot; (.-.$~eech cleat n .-.') 5\[ruct~Q ~rtod&quot; b~ thin obleruet ~('ituolion ir~ tht real ~orli~J words ~ ,i,ple conceptual eQXegori,s higher level ~truetures 0 0 higher level conceptual categories Figure 4 In the metaphor, a parallel is made between: The unanalysed real world, wltich Commonsense &quot;observes&quot; and has to &quot;make sense&quot; of. I The unanalysed acoustical string, which the linguistic agent (here tile hearer) &quot;observes&quot; and has to &quot;make sense&quot; of. Tile FD (Functional Descriptions <Kay 1979>) of words are the elementary &quot;blocks&quot; out of which the linguistic structures are built / The simple conceptual categories (e.g. cat, dance ) are the elementary blocks out of which higher conceptual structures are builL The higher level FDs (e.g. those corresponding to VP) are used to build more complex linguistic structures. (There is really only a difference of level between this case and the preceding one.) / The higher level conceptual categories (e.g. the parallel-events category, the time-sequence-of-events category (see section 5.3)) are used to build more complex conceptual structures. (Same remark as before.) The linguistic structure &quot;projecls &quot; onto the sound-chain. There must be some &quot;fit&quot;, bat it need not be perfect: the sound-chain may be nolsy and lacunary / The conceptual s~ructure &quot;projects &quot; onto the observed situation in the real world. There must be some &quot;fit&quot;, but it need not be perfect: in fact the interpretative freedom is much more important here then in the speech-analysis case (see section 3.2).</Paragraph> </Section> <Section position="3" start_page="512" end_page="514" type="sub_section"> <SectionTitle> 5.2 The different dimensions along which categories can be ordered. </SectionTitle> <Paragraph position="0"> One can distinguish 4 axes along wich conceptual categories can be ordered informally: Along file complexity dimension, one can place, from simple to complex, categories representing: &quot;simple objects&quot;: a chair, ,an apple &quot;simple events&quot;: to eat &quot;complex objects&quot;: a pair of shoes, a road network &quot;complex events&quot;: a spinning top, a plane flying Along tile abstraction dimension, one can place, from concrete to abstract, categories representing: &quot;concrete&quot; categories: an apple, a cat more &quot;abstract&quot; categories: free fall of physical bodies, quantity-conserving pouring &quot;abstract&quot; categories: an oriented graph, causal sequencing of events Along the productivity dimension, one can place, from fixed to productive, categories representing: fixed categories: John's bicycle more productive categories: an apple productive categories: causal sequencing of events The fourth axis, that of staticity/dynamicity is discussed in next section. 5.3 How new categories are formed.</Paragraph> <Paragraph position="1"> The metaphor of section 5.1 between commonsense inferencing and the process of linguistic interpretation permits to transpose the generative approach of syntax to the plane of commonsense inferencing (fig. 5): tniUal blsi$ of st;bUt C/~te~or%$ ~ eat'Odegri'$ a: 2-ant.agoni~ct-tendencles e: dPopplng b: naturol-i~petus-loss 9: ~Pir~lng-~oP c: tlme-s~quenclng-of-eu~nt$ L: john-takes-spinning-top-then-drops-it d: tok i ng-obj ec t- i n-hands Figure 5 In this figure, there appear several types of categories: - i) The categories belonging to the &quot;initial basis of static categories&quot;. They constitute the initial structural &quot;stock&quot; from which new categories are formed by the process of generation. In fig. 5 a, c, etc.., are the categories two-antagonist-tendencies, time-sequencing of events, which form the basis upon which higher categories are built.</Paragraph> <Paragraph position="2"> - ii) The categories belonging to the &quot;extended basis of static categories&quot;. They are obtained through integration and coordination of several already existing static categories. An example that we have already seen is the example of the spinning-top category, which integrates (among others) the structures of two-antagonist-tendencies, natural-impetus-loss, and other structnres which we have not spoken of, as for instance that of abstract-containment. Static categories, contrarily to dynamic categories (see iii next), correspond to classes of reproducible phenomena, which, once structured into a conceptual category, become of general utility for commonsense processes and therefore need to be memorized permanently. For instance, once the spinning-top category has been formed to account for the experiences one has had of effectively observed spinning-tops, this category becomes of a general utility to: 1) identify a spinning-top phenomenon as an instance of the spinning-top category.</Paragraph> <Paragraph position="3"> 2) infer properties of this phenomenon thanks to the previous identification of the category. These properties are not directly perceivable in the phenomenon, but are described in the structure of the category which has just been identified. In the same way, to take a simpler example, once the static category of bicycle has been identified in a real situation, the perception of a fuzzy spot on the bicycle's front is sufficient to infer immediately the presence of a headlamp which is not directly perceivable (gestalt-type processing).</Paragraph> <Paragraph position="4"> Thus, the stock of already existing static categories serves to give structure to new categories of phenomena. We have seen in section 4. that these structures are, in many cases, necessarily post-experimental and cannot be O_C/.d.u.f,g~ a priori.</Paragraph> <Paragraph position="5"> The existence of categories pre-existing to the experiencing of new phenomena permits to the active observer to LC/C.0ggJ~ in the experience of a phenomenon the presence of simple or complex categories which are already known by him. Thus, if the observed phenomenon had been different (for instance if the top behaved differently from what is the actual case), other pre-existing structures would have come into play: there would be in any case adaptation of the modelization to the observed experience. The difference with the philosophy of section 2 appears clearly here.</Paragraph> <Paragraph position="6"> - iii) The &quot;dynamically produced categories&quot;.</Paragraph> <Paragraph position="7"> Dynamic categories (wbich we have also called &quot;theorizations&quot;) differ mainly from static categories in that dynamic categories only &quot;serve once&quot; to structure an actually present concrete situation which is irreproducible (by definition, for it is &quot;this&quot; situation here and now). They are therefore created on the spot and are only temporary structures. For instance, the dynamic category t of fig. 5 corresponds to the concrete situation &quot;John takes the spinning-top in his hand then drops it on the ground&quot;: The structuration of this category is partially shown on fig. 5: it is a category formed by integration of the categories spinning-top, taking-object-in-hands, dropping with (and &quot;under&quot;) the productive category time-sequencing-of-events (we do not elaborate here on the question of what happens to a ~ top when it is taken in hands!).</Paragraph> <Paragraph position="8"> Space is lacking here for us to give a detailed discussion of dynamic categories and of the inferencing processes which manipulate them, which discussion must be postoned to a later study, but let us just give another illustration, related to the example of section 1.3: &quot;John was condemned to death...&quot;. In this case, the speaker, who is supposed to have been the direct &quot;observer&quot; of the situation, has built a dynamic category which represents his understanding of the situation he has observed, and which is an integration of the dynamic categories &quot;John pushes his wife out of the window&quot;, &quot;she falls from the 10th floor to the ground&quot;, etc.., themselves constituted from static categories: &quot;pushing&quot;, &quot;falling&quot;, &quot;dying&quot;, etc... Furthermore, it is this dynamic category (or a part of it) that he tries to transmit to his listener through an efficient linguistic coding which is highly elliptical, and it is this dynamic category (or a part of it) that tire listener succeeds in reconstructing.</Paragraph> <Paragraph position="9"> The principal feature of the process of formation of new categories, whether static or dynamic, is that it is not basically a process of dg.O.afdJflll, but a process of of structures. This recognition is done. on the basis of a set of p.arlia!. informations about the phenomenon, which is what gives it its status of ~. This is a crucial fact that cannot be detailed here.</Paragraph> <Paragraph position="10"> Let's only give one example: A sufficiently old child will ~ the abstract category quantity-conserving-interpouring in an ~ situation where Peter pours some wine from a bottle into a glass, although the invariance described by the category is not directly observable by her - indeed younger children, who do not yet possess this category, or a more abstract one over which this one is built, are not aware of this conservation, see <Piaget 1979>.</Paragraph> <Paragraph position="11"> Conclusion.</Paragraph> <Paragraph position="12"> We have tried to demonstrate the difficulties there are to apply a DI (direc t interpretation) approach to the formalization of our commonsense understanding oE the natural world. From a confrontation with linguistic phenomena and linguistic methodology, we have advocated a more indirect approach to interpretation. Work on a formal framework for this approach is currently under way.</Paragraph> <Paragraph position="13"> AKNOWLEDGMENTS: The author wishes to thank Len Talmy, Jerry Hobbs,Stan Rosenschein, Jane Robinson, Cbristian Boitet, Bob Moore and Pat Hayes for ideas, discussions and comments.</Paragraph> </Section> </Section> class="xml-element"></Paper>