At the Commonsense workshop in January, Graham White presented an article on the use of linear logic for reasoning about actions and change. He has now submitted an article on that same topic to the ETAI, and it is open for review discussion.

The following article has been received by the present ETAI area, which means that it will be open for a three-month discussion period, followed by the closed peer-review decision on whether it will be accepted by the ETAI. All readers of this Newsletter are invited to participate in the discussion.

Please don't be shy to ask questions; it is actually in the author's interest to receive tough questions. Just like at an internal seminar, they give him or her a chance to show that he/she is able to answer well, and they give valuable feedback. Also, since the article has already been published (but not yet refereed), it is citable from now on, so tough questions do not deprive the author of being "on record" with the article.

Clicking the title of the article leads to the official cover page where it was published, with links e.g. to its full text. Clicking "[interactions]" leads to the on-going question-answer debate about the article, with options for submitting a question or comment to the present Newsletter editor.

Graham White
Simulation, Ramification, and Linear Logic.
[Interactions]

Abstract: This article first argues that formalisations of the "frame problem" should have certain desirable logical features; it then proposes a treatment of the frame problem, using linear logic together with modal operators, which fulfils these desiderata and seems to be successful in other respects.