Although 1972 was the year that Winograd published his now classic natural language Study of the blocks world, that fact had not yet penetrated to the ACL. At that time people with AI computational interests were strictly in a minority in the association and it was a radical move to appoint Roger Schank as program chairman for the year's meeting. That was also the year that we didn't have a pre...

On promoting the type IIA side of the N = 1 Heterotic/type IIA dual pairs of [1] to M-theory on a 'barely G 2 Manifold' of [2], by spectrum-matching we show a possible triality between Heterotic on a self-mirror Calabi-Yau, M-theory on the above 'barely G 2-Manifold' constructed from the Calabi-Yau on the type IIA side and F-theory on an elliptically fibered Calabi-Yau 4-fold fibered over a tri...

Let n denote the lattice of partitions of an n-set, ordered by reenement. We show that for all large n there exist antichains in n whose size exceeds n 1=35 S (n; K n). Here S (n; K n) is the largest Stirling number of the second kind for xed n, which equals the largest rank within n. Some of the more complicated aspects of our previous proof of this result are avoided, and the variance of a ce...

In the physical world, an object is a moving object if its position changes over time. In a symbolic dynamic system such as a computer program or a blocks world, what are the moving objects? In this paper, we propose a definition, consider ways to generate moving objects and their “positions”. We also introduce the flow graph of a moving object. It depicts the “trajectory” of the object, thus s...

We study ‘Myers effect’ for a bunch of D1-branes with IIB superstrings moving in one direction along the branes. We show that the ‘blown-up’ configuration is the helical D1-brane, which is self-supported from collapse by the axial momentum flow. The tilting angle of the helix is determined by the number of D1-branes. The radius of the helix is stabilized to a certain value depending on the numb...

We introduce a new language learning setting relevant to building adaptive natural language interfaces. It is inspired by Wittgenstein’s language games: a human wishes to accomplish some task (e.g., achieving a certain configuration of blocks), but can only communicate with a computer, who performs the actual actions (e.g., removing all red blocks). The computer initially knows nothing about la...

Recent work on the automatic generation of frame axioms from action specifications that have complete fluent change specifications is extended to extract action invariants. An action invariant expresses a property that is preserved by all actions of that class. The extraction is achieved by combining automatically generated frame axioms and the original action axioms relativised to those states...