Sprachverstehende maschinen

In this paper the author tries to disentangle some of the problems tied up in John Searle's famous Chinese-room-argument. In a first step to answer the question what it would be for a system to have not only syntax, but also semantics the author gives a brief account of the functioning of the language understanding systems (LUS) so far developed in the framework of AI research thereby making clear that systems like Winograd's SHRDLU are indeed doing little more than mere number crunching. But things would be entirely different, the author argues, if the database of a LUS were built up by the system itself via some perceptual component-at least, if this perceptual component had the capacity to distinguish objects having a certain property F from objects which do not. For in this case the system could store an internal representation of the fact that the object has the property F in its database if and only if the object in fact has that property. And this would be a good basis for calling such a system a genuine LUS. But Searle has objected to a very similar account of J. Fodor that nothing could be further from true language understanding. The reason for this complaint seems to be that Searle holds the view that a true LUS must e.g., know that the word hamburgers refers to hamburgers and that he moreover claims that this knowledge must be explicit or that the system must be aware of the reference of hamburgers to hamburgers. The author argues that this is asking too much. For it seems plausible to say that a system is able to understand e.g., the word hamburger even if it has only implicit knowledge of the fact that hamburger refers to hamburgers in the sense that it has the capacity to tell hamburgers from non hamburgers and the capacity to bring the word hamburger together just with objects of the former kind.     

Authorial intentions and metaphor comprehension

Three experiments investigated the role of authorial intentions in metaphor comprehension. In these studies, subjects read metaphoric (e.g., A family album is like a museum), literal (e.g., An art gallery is like a museum), and anomalous (e.g., A tortoise shell is like an art gallery) comparisons and rated their degreeof meaningfulness (Experiment 1), made speeded decisions as to whether each phrase was meaningful or not (Experiment 2), or wrote out interpretations of each comparison statement (Experiment 3). The subjects were tolt that the comparisons were written either by famous 20th century poets or by a computer program that randomly generated the statements from a list of words. Our general hypothesis was that knowing that intentional agents (the poets) authored the different comparisons should facilitate subjects' comprehension of the metaphors. Experiment 1 showed that subjects rated both metaphoric and literal comparisons as being more meaningful in the poet condition than when these statements were supposedly written by computer. Experiment 2 demonstrated that subjects were faster in making their meaningfulness judgments for metaphors in the poet condition than in the computer context, but that subjects were also slower in rejecting anomalous comparisons when these were supposedly written by the poets. Experiment 3 indicated that subjects produced more meanings or interpretations for comparisons presumably written by poets than by computer. These results highlight the improtance of implied, authorial intentions in understanding metaphorical statements. We discuss the implications of this work for psycholinguistic theories of figurative language comprehension, as well as for theories of literary interpretation.     

Intensional Completeness in an Extension of Gödel/Dummett Logic

We enrich intuitionistic logic with a lax modal operator and define a corresponding intensional enrichment of Kripke models M = (W, , V) by a function T giving an effort measure T(w, u) {} for each -related pair (w, u). We show that embodies the abstraction involved in passing from true up to bounded effort to true outright. We then introduce a refined notion of intensional validity M |= p : and present a corresponding intensional calculus iLC-h which gives a natural extension by lax modality of the well-known G: odel/Dummett logic LC of (finite) linear Kripke models. Our main results are that for finite linear intensional models L the intensional theory iTh(L) = {p : | L |= p : } characterises L and that iLC-h generates complete information about iTh(L).Our paper thus shows that the quantitative intensional information contained in the effort measure T can be abstracted away by the use of and completely recovered by a suitable semantic interpretation of proofs.     

Constructing comparative sentences: Linguistic marking and affect

Past research has demonstrated a greater naturalness of comparative constructions with the unmarked adjective. Not only do subjects typically create sentences of the form A is longer than B more frequently than B is shorter than A, but such constructions are also more quickly verified. One explanation for this preference is in terms of Linguistic Marking (e.g., Clark, 1969a, b). Because the semantic featural coding hypothesized for unmarked adjectives is simpler than that of marked adjectives, the observed facilitation effects would be expected. However, an equally viable explanation is in terms of the greater positive affect of the unmarked adjective (see Osgood et al., 1957). Since linguistic marking and affect are typically confounded in past research (the unmarked adjective is also the most affectively positive), the present experiment discriminates between these two interpretations by providing also contexts in which linguistic marking and affect are not confounded. Here, analysis of the comparatives constructed by 96 subjects revealed the preference for the unmarked adjective only where it was also the most affectively positive. Where the marked was the more positive, the reverse was observed, as predicted by Osgood (et al., 1957).     

An asymptotic likelihood ratio test for a markov chain with bernoullian or contingent input

A Markov chain with transition probabilitiesp _ij () that are functions of a parameter vector is defined. One oft input values is delivered to the chain on each trial. Under the hypothesis H₀ the parameter vector is independent of the input; under the hypothesis H₁ the vector is in general different for each different input. A likelihood ratio test for a single observation on a chain of great length is given for testing H₀ against H₁, given that the distribution of the inputs depends at most on the previous input and the present state of the chain. The test is therefore one of stationarity of the transition probabilities against a specific alternative form of nonstationarity. Application of the approach to a statistical test of lumpability of the states of a chain is indicated. Tests for other related hypotheses are suggested. Application of the test to within-subject effects for individual subjects is considered. Finally, some applications of the results in psychophysical contexts are suggested.Part of the final version of this paper was written at Stanford University during work sessions of a 1967 Summer Conference on Mathematical Models for Perception and Learning. Support was provided by the National Science Foundation through the Committee on Mathematics in the Social Sciences of the Institute for Advanced Study in the Behavioral Sciences.     

The relative consistency of system RRC* and some of its extensions

We present a relative consistency proof for second order systemRRC* and for certain important extensions of this system. The proof proceeds as follows: we prove first the equiconsistency of the strongest of such extensions (viz., systemH RRC*+(/CP**)) with second order systemT ^* . Now, N. Cocchiarella has shown thatT ^* is relatively consistent to systemT*+Ext; clearly, it follows thatH RRC*+(/CP**) is relatively consistent toT*+E _xt. As an immediate consequence, the relative consistency ofRRC* and the other extensions also follows, being all of them subsystems ofH RRC*+(/CP**).I am grateful to the referee for some modifications suggested to an earlier draft of this paper.Presented byMelvin Fitting     

The impact of generic word choices: An empirical investigation of age- and sex-related differences

Previous studies of receivers' responses to generic words have found that adults generally develop masculine imagery for neutral words and that men do this more than women. The present investigation of school-aged children (n=471) found that they, like adults, develop sex-specific masculine imagery in response to apparently neutral messages. Early adolescents, however, reported significantly more inclusive imagery than 6–7-year-olds. Different pronoun conditions elicited different mental imagery for the receivers of the messages with he/she eliciting more of a balance between male and female images and they eliciting more inclusive imagery.This work was supported by a grant from the Indiana University—Purdue University at Fort Wayne Research and Instructional Development Support Program.     

Is “some-other-time” sometimes better than “sometime” for proving partial correctness of programs?

The main result of this paper belongs to the field of the comparative study of program verification methods as well as to the field called nonstandard logics of programs. We compare the program verifying powers of various well-known temporal logics of programs, one of which is the Intermittent Assertions Method, denoted as Bur. Bur is based on one of the simplest modal logics called S5 or sometime-logic. We will see that the minor change in this background modal logic increases the program verifying power of Bur. The change can be described either technically as replacing the reflexive version of S5 with an irreflexive version, or intuitively as using the modality some-other-time instead of sometime. Some insights into the nature of computational induction and its variants are also obtained.This project was supported by the Hungarian National Foundation for Scientific Research, Grant No. 1810.     

“Anchor-range” results with “same” and “different” responses and similar and dissimilar stimuli

Summary Blocks of pairs of dissimilar (anchor-like) circles were unexpectedly followed by single pairs of similar circles and vice versa. The dissimilar circles were 3 and 10 mm in diameter, and the similar circles were 3 and 5 mm, 5 and 7 mm, and 7 and 10 mm in diameter. In a second experiment, the dissimilar and similar circles did not overlap in size (e.g., they were 1.5 and 5 mm and 7 and 10 mm, respectively). The same responses to the unexpected same pairs of similar circles were faster than the same responses to the identical pairs in the blocks. In contrast, the different responses to the unexpected different pairs of similar circles were slower than the different responses to the identical pairs in the blocks. Similar stimuli accelerate same responses and slow down different responses. So the time results (and the error results as well) suggest that the context of the block dissimilar circles increased the perceived similarity of the unexpected similar circles. These anchor-range results are not explained by Thurstonian theories, which are based on the absolute properties of stimuli. Instead, they imply that the relation between the similar circles in the context of the relation between the dissimilar circles affected performance.     

On superintuitionistic logics as fragments of proof logic extensions

Coming fromI andCl, i.e. from intuitionistic and classical propositional calculi with the substitution rule postulated, and using the sign to add a new connective there have been considered here: Grzegorozyk's logicGrz, the proof logicG and the proof-intuitionistic logicI set up correspondingly by the calculiFor any calculus we denote by the set of all formulae of the calculus and by the lattice of all logics that are the extensions of the logic of the calculus, i.e. sets of formulae containing the axioms of and closed with respect to its rules of inference. In the logiclG the sign is decoded as follows: A = (A & A). The result of placing in the formulaA before each of its subformula is denoted byTrA. The maps are defined (in the definitions of x and the decoding of is meant), by virtue of which the diagram is constructedIn this diagram the maps, x and are isomorphisms, thereforex ^–1 = ; and the maps and are the semilattice epimorphisms that are not commutative with lattice operation +. Besides, the given diagram is commutative, and the next equalities take place: ^–1 = ^–1 and = ^–1 x. The latter implies in particular that any superintuitionistic logic is a superintuitionistic fragment of some proof logic extension.     

On a certain class ofm-address machines

Conclusion It follows from the proved theorems that ifM =Q, (whereQ={0,q ₁,q ₂,...,q }) is a machine of the classM _F then there exist machinesM _i such thatM _i(1,c)=M (q _i,c) andQ _i={0, 1, 2, ..., +1} (i=1, 2, ..., ).And thus, if the way in which to an initial function of content of memorycC a machine assigns a final onecC is regarded as the only essential property of the machine then we can deal with the machines of the formM ={0, 1, 2, ..., }, and processes (t) (wheret=1,c,cC) only.Such approach can simplify the problem of defining particular machines of the classM _F , composing and simplifying them.Allatum est die 19 Januarii 1970     

The narcissistic personality in group psychotherapy

The author presents an interesting version of the Narcissus myth which she combines with the legend of Peter Pan for a better understanding of the narcissistic personality in group therapy. A lively case is presented of a young man named Jeffrey, whose narcissistic defenses were dismantled during a three-year group participation. A particular encounter between Jeffrey and another client and a powerful intervention by the therapist is described. The therapeutic importance of the group therapist as a firm but protective parent for these clients is emphasized. Definitions of narcissistic are given and some generalizations about these personalities in group therapy are explored.She has completed a book entitledChange in the Context of Group Therapy to be published by Brunner/Mazel in 1984.     

Effects of NP type on the resolution of word-order ambiguities

Locally ambiguous NP₁ NP₂ V clauses in Dutch are preferably assigned a subject-object rather than an object-subject interpretation, presumably on the basis of structurally based principles such as the Active-Filler Strategy. The present study investigates whether this preference can be affected by a nonconfigurational factor, namely the nature of NP₂. The type of an NP (indefinite NPs, full definite NPs, pronouns) conveys information about the discourse status of the NP referent, which, in turn, is associated with a specific syntactic position. More specifically, pronouns are used to refer to given, salient entities in the discourse (topics); and NPs with such referents are generally encoded in subject position. A self-paced reading experiment shows that NP₁ NP₂ V relative clauses are preferably interpreted as subject-object when NP₂ is a full definite NP (e.g., de vrouwen the women), but not when NP₂ is the second person pronoun jullie (you-PL). This suggests that the structural bias for a subject-first order is not as strong as has been previously assumed, but is influenced by discourse information encoded in the NPs. Implications for parsing models are discussed.     

Happiness and virtue in Socrates' moral theory

Conclusion In Section IV above we start with texts whose prima facie import speaks so strongly for the Identity Thesis that any interpretation which stops short of it looks like a shabby, timorous, thesis-saving move. What else could Socrates mean when he declares with such conviction that no evil can come to a good man (T19), that his prosecutors could not harm him (T16(a)), that if a man has not been made more unjust he has not been harmed (T20), that all of happiness is in culture and justice (T16(a)), that living well is the same as living justly (T15)? But then doubts begin to creep in. Recalling that inflation of the quantifier is normal and innocuous in common speech (that job means everything to him, he'll do anything to get it, will stick at nothing) we ask if there is really no chance at all that no evil in T19, not harmed in T20 might be meant in the same way? The shift from no harm at T16(a) to no great harm at T16(b), once noticed, strengthens the doubt. It gets further impetus in T21(b) when to explain how all of happiness is in culture and justice he depicts a relation (that recurs more elaborately in T22) which, though still enormously strong, is not quite as strong as would be required by identity. The doubt seeps into T15 when we note that current usage did allow just that relation as a respectable use of the same.At that point we begin to wonder if resort to the Identity Thesis might not be just a first approximation to a subtler, more finely nuanced, doctrine which would give Socrates as sound a foundation for what we know he wants to maintain at all costs - the Sovereignty of Virtue - without obliterating the eudaemonic value of everything else in his world. We cast about for a credible model of such a relation of virtue to happiness and hit on that multicomponent pattern sketched on p. 9 above. We ascertain that this will afford a comprehensively coherent eudaemonist theory of rational action, while its rival would not, and will fit perfectly a flock of texts in Section V which the latter will not fit at all. Are we not entitled to conclude that this is our best guide to the true relation of virtue to happiness in Socrates' thought - the one for which he would have declared if he had formulated explicitly those two alternative theses and made a reasoned choice between them?The Socrates of this paper is the protagonist of Plato's earlier dialogues. I list these (by self-explanatory abbreviations), borrowed from T. Irwin, Plato's Moral Theory [1974] (hereafter PMT): Ap., Ch., Cr., Eud., Eu., G., HMa., HMi, Ion, La., Ly., Pr., R., I. I assume, but shall not argue here, that in this segment of his corpus, Plato aims to recreate the doctrines and arguments of his teacher in dramatic scenes, all of which (except for the Ap.) may be, and most of which undoubtedly are, fictional; I shall be referring these works, under this proviso, as Plato's Socratic dialogues. (I did not include the Menexenus in the above list, since the parody of a funeral oration in this dialogue is implicitly dissociated from Socrates.)     

Phonological encoding and word comprehension

Summary A semantic categorization task was carried out on single words in order to determine under what circumstances a phonological code might be implicated in the process of getting from print to meaning. The subjects were asked whether or not a target word presented visually was a member of a superordinate category or sounded like a member of a category (e.g., PAIR; FRUIT). The target words were drawn from two groups, orthographically regular words (complying with grapheme-phoneme correspondences in English) and orthographically irregular words (exceptions to grapheme-phoneme correspondences).The results indicated that a phonological code may only be a necessary requirement for word comprehension in a task demanding phonological assessment (i.e., in the case of PAIR in the sounds like task). Furthermore, it was argued that some phonological effects, arising in single word comprehension, may be attributed to prelexical phonology while others may implicate postlexical phonology.     

Test of the violation of local realism in quantum mechanics with no use of Bell's inequalities

A novel and versatile polarization-entanglement scheme is adopted to investigate the violation of the EPR local realism for a non-maximally entangled two-photon system according to the recent nonlocality proof by Lucien Hardy. In this context the adoption of a sophisticated detection method allows direct determination of any element of physical reality (viz., determined with probability equal to unity in the words of Einstein, Podolsky and Rosen) for the pair system within complete measurements that are largely insensitive to the detector quantum-efficiencies and noise.     

Death and the “life review” in Halakhah

Coping with old age involves resolving the task of integrity versus despair, which demands a nondefensive confrontation with the inevitability of death. Halakhah (Jewish ethics) also considered this task critical in later years of life, spoke of death's inevitability, and attempted to discourage denial of death. The Jewish approach seems compatible with Butler's concept of life review as a reconciliation with death and a reintegration of one's identity that occurs throughout later years. While the Eriksonian goal is confronting old age with a certain capacity for wisdom, the rabbis maintained that such wisdom must culminate in the creative act of repentance.     

Linear programming techniques for multidimensional analysis of preferences

This paper offers a new methodology for analyzing individual differences in preference judgments with regard to a set of stimuli prespecified in a multidimensional attribute space. The individual is modelled as possessing an ideal point denoting his most preferred stimulus location in this space and a set of weights which reveal the relative saliences of the attributes. He prefers those stimuli which are closer to his ideal point (in terms of a weighted Euclidean distance measure). A linear programming model is proposed for external analysisi.e., estimation of the coordinates of his ideal point and the weights (involved in the Euclidean distance measure) by analyzing his paired comparison preference judgments on a set of stimuli, prespecified by their coordinate locations in the multidimensional space. A measure of poorness of fit is developed and the linear programming model minimizes this measure overall possible solutions. The approach is fully nonmetric, extremely flexible, and uses paired comparison judgments directly. The weights can either be constrained nonnegative or left unconstrained. Generalizations of the model to consider ordinal or interval preference data and to allow an orthogonal transformation of the attribute space are discussed. The methodology is extended to perform internal analysis,i.e., to determine the stimuli locations in addition to weights and ideal points by analyzing the preference judgments of all subjects simultaneously. Computational results show that the methodology for external analysis is unbiased—i.e., on an average it recovers the true ideal point and weights. These studies also indicate that the technique performs satisfactorily even when about 20 percent of the paired comparison judgments are incorrectly specified.The authors wish to express their deep appreciation to J. Douglas Carroll and Joseph B. Kruskal for their most valuable comments on an earlier version of this paper.     

Belief change as change in epistemic entrenchment

In this paper, it is argued that both the belief state and its input should be represented as epistemic entrenchment (EE) relations. A belief revision operation is constructed that updates a given EE relation to a new one in light of an evidential EE relation, and an axiomatic characterization of this operation is given. Unlike most belief revision operations, the one developed here can handle both multiple belief revision and iterated belief revision.The authors are thankful to John G. Bennett, Henry E. Kyburg, Jr., Norman Foo, Pavlos Pepas, Maurizio Pagnucco, Bob Hadley, members of the Knowledge Systems Group at the University of Sydney and participants of the AI'93 workshop on Belief Revision: Bridging the Gap Between Theory and Practice at Melbourne where a version of this paper was presented, for their suggestions. The authors also express their gratitude to the two anonymous referees for Synthese for their excellent comments and suggestions. Of course it is only the authors that are responsible for the errors that remain.     

The drive for meaning in William James' analysis of religious experience

Summary Now that we have looked at the characteristics of mystical experience, we are ready to discuss the assumption made in this paper that mystical experience can be translated into an understanding of integration or the drive for meaning which Fingarette pursues in a much more analytic fashion. Reviewing the conversion process as an integration process we have seen that for the sick-souled, beset with the meaninglessness or melancholy which paralyzes his will, his own awareness of wrong in his situation prevents him from opening up to larger views of reality. But, as James has described, at the same time as the subject is attending so strongly to his own sense of worthlessness, all the while the forces of mere organic ripening within him are going on towards their own prefigured result, and his conscious strainings are letting loose subconscious allies behind the scenes, which in their way work toward rearrangements. Yet the rearrangements can only come about by obeying the command of Chaung-Tse: Cease striving. The result is self-transformation in reconciling, unifying states. There is achieved a supersensuous meaning to the ordinary outward data of consciousness; facts already objectively before us fall into a new expressiveness and make a new connection with our active life.However, James cautions us to realize that the same incursions of the subconscious which produce such reconciling, unifying states can also produce pathological states, a diabolical mysticism, a sort of religious mysticism turned upside down. In such a state the meanings of events become dreadful and the ruling emotion is pessimism. To this possibility James applied the pragmatic test, By their fruits..., and concluded that the mystical experience which brings optimism to the individual is a genuine experience and one which brings truth. In our context then, we would say that real integration brings the subject away from the melancholy and meaninglessness he felt into the genuinely insightful resolution of which Fingarette speaks.Conversion, then, is a process in James's analysis of religious experience analogous to the process of integration and meaning-discovery while mysticism is analogous to the state in which integration or meaning-discovery is achieved. Conversion is climaxed by self-surrender; mysticism is characterized by new determination, self-transformation: two ways of describing an indivisible event. Furthermore, the four characteristics James applies to mysticism are indeed characteristic of the experience of integration.Two other points should be added here which are much in line with James's treatment of experience. In the first place, one of the basic principles of radical empiricism is that not only objects but relations between objects are the subject of experience. Such an experience of relationships, of wholeness, is exactly what characterizes integration. At the same time, the five senses are suspended, and the insight is experienced with such a strong immediacy that it is almost sensed. James refers to this quality of mystical states: The records show that even though the five senses be in abeyance in them, they are absolutely sensational in their epistemological quality, if I may be pardoned the barbarous expression, - that is, they are face to face presentations of what seems immediately to exist.I am not saying that every integration is a mystical experience. Rather I have been saying that James's discussion of religious experiences such as healthy-minded, sick-souled, melancholy, conversion, and mysticism provide analogues for better understanding the phenomenological processes and characteristics of the drive for meaning and integration which Fingarette analyzes. In fact, the very notion of religion itself for James bears not just an analogous resemblance but perhaps an identification with integration. For in his personal letters James had defined religious experience as Any moment of life that brings the reality of spiritual things more home to one. And in Varieties James defines religion as a man's total reaction upon life....; his attitude towards what he felt to be the primal truth.If we look upon this outlook of James toward religion as an exaggeration of the reality of integration, we can follow James to what he perceives as the importance of religion upon an individual's life. The man of religious feeling possesses the excitement of a higher kind of emotion, an enthusiastic temper of espousal in regions where morality strictly so called can at best but bow its head and acquiesce. So we are brought again to the area of creativity in which an individual has experienced the widening of the area of his immediate experience and is re-born in the karmic pattern, a valid pattern for both James and Fingarette. As Fingarette describes it, the converted individual creates values which the dead reality he had previously faced did not possess. The result of the achieved integration is explained by James when referring to religious experience as an excitement of the cheerful, expansive, dynamogenic order which, like any tonic, freshens our vital powers. This emotion overcomes temperamental melancholy [meaninglessness] and imparts endurances to the subject, or a zest, or a meaning, or an enchantment and glory to the common objects of life.We might sum up this discussion not by a criticism of the shortcomings of James's treatment of the religious life, such as his apparent insensitivity to the part played by institutions in the religious experience itself, but rather by underscoring the richness of the phenomenological analysis James has undertaken. James Edie acknowledges that James's studies of religious experience itself rather than of religion. ... are not only more sound phenomenologically than some of the studies which have, under the influence of Husserl, up to now explicitly invoked the phenomenological method, but they are also the first to establish any solid basis for a true phenomenology of religious experience.And John Wild has pointed out the parallel between James's concept of melancholy and Heidegger's concept of anxiety as the genesis of the process of becoming: beginning with the prospect of death and nothingness, the individual gropes toward new birth.As we have seen, then, James's analysis of the varieties of religious experience leads to a fruitful discussion of the psychological processes involved in melancholy and meaninglessness, rearrangement and integration. In all such experiences, a sense of inner unity is reached to which the following words of Fingarette would apply by analogy: The soul-racking death which leads to blissful rebirth is the death of the subjectively experienced, anxiety-generated self perception; it is the emergence into the freedom of introspective self-forgetfulness of the psychically unified self.