Issue 98072 | Editor: Erik Sandewall | [postscript] | ||
21.9.1998 |
|
|||
Today |
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.
|
ETAI Publications |
Received research articlesThe 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
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.
|