Language for Description of Worlds

We will reduce the task of creating AI to the task of finding an appropriate language for description of the world. This will not be a programing language because programing languages describe only computable functions, while our language will describe a somewhat broader class of functions. Another specificity of this language will be that the description will consist of separate modules. This will enable us look for the description of the world automatically such that we discover it module after module. Our approach to the creation of this new language will be to start with a particular world and write the description of that particular world. The point is that the language which can describe this particular world will be appropriate for describing any world

Asynchronous games 4 : A fully complete model of propositional linear logic

International audienceWe construct a denotational model of propositional linear logic based on asynchronous games and winning uniform innocent strategies. Every formula A is interpreted as an asynchronous game [A] and every proof pi of A is interpreted as a winning uniform innocent strategy pi of the game A. We show that the resulting model is fully complete: every winning uniform innocent strategy sigma of the asynchronous game A is the denotation pi of a proof pi of the formula A

The construction and validation of a series of color film loops to illustrate selected women's lacrosse techniques recommended for beginners

The purpose of this study was to construct and validate a series of color film loops to illustrate selected women's lacrosse techniques for beginners. The content to be included in the film loop series was based on a careful search of the lacrosse literature and the responses to a questionnaire by well known experts in the field. The film loop series consisted of ten techniques: THE GRIP-CRADLE, PIVOTING, CATCHING, THE OVERARM PASS, THE UNDERARM PASS, PICKING-UP: BALL STATIONARY - BALL ROLLING AWAY FROM PLAYER, PICKING-UP: BALL ROLLING TOWARD PLAYER, DODGING, BODY CHECKING, and CROSSE CHECKING. Each film loop consisted of the title, followed by execution of the technique three times at 24 frames per second and two times at 70 frames per second for each angle viewed. Two members of the 1973 United States Women's Lacrosse Team served as performers of the techniques included in the film loop series