The
article
mentioned above has been submitted to the Electronic
Transactions on Artificial Intelligence, and the present page
contains the review discussion. Click here for
more
explanations and for the webpage of theauthors: Eyal Amir.
Overview of interactions
Q1. Anonymous Referee 1 (5.12):
- are the results of the article, as specified in the summary, of
significant interest for researchers in our area?
The results are relevant for all areas using logic for modelling
domains. Reasoning about action is one potential application area
among many.
- does the full text substantiate the claims made in the summary?
Yes
- is the text intelligible and concise?
Yes, although not always easy to read
- do you know of any previous publication of the same result?
No
- are there any other considerations that may affect the decision?
An interesting paper. The real value of the contribution can only
be determined after further modelling experience using the approach.
Q2. Anonymous Referee 2 (5.12):
- are the results of the article, as specified in the summary, of
significant interest for researchers in our area?
This paper provides a semantics for a so called "object-oriented" first =
order language, and a nonmonotonic semantics for an extension of the =
language.
The paper is interesting because it attempts to bring software =
engineering principles to bear on first order logic.=20
- does the full text substantiate the claims made in the summary?
Yes, the paper delivers on its promises.
- is the text intelligible and concise?
The paper is well written and convincing. Proofs of the results are =
included.
- do you know of any previous publication of the same result?
As far as I know this work is novel.
- are there any other considerations that may affect the decision?
The author explains the representation and sematics well, however more =
attention could be given to specific reasoning mechanisms and their =
complexity. The author might also consider providing more illustrative =
examples.
Background: Review Protocol Pages and the ETAI
This Review Protocol Page (RPP) is a part of the webpage structure
for the Electronic Transactions on Artificial Intelligence, or
ETAI. The ETAI is an electronic journal that uses the Internet
medium not merely for distributing the articles, but also for a
novel, two-stage review procedure. The first review phase is open
and allows the peer community to ask questions to the author and
to create a discussion about the contribution. The second phase -
called refereeing in the ETAI - is like conventional journal
refereeing except that the major part of the required feedback
is supposed to have occurred already in the first, review phase.
The referees make a recommendation whether the article is to be
accepted or declined, as usual. The article and the discussion
remain on-line regardless of whether the article was accepted or
not. Additional questions and discussion after the acceptance decision
are welcomed.
The Review Protocol Page is used as a working structure for the entire
reviewing process. During the first (review) phase it accumulates the
successive debate contributions. If the referees make specific
comments about the article in the refereeing phase, then those comments
are posted on the RPP as well, but without indicating the identity
of the referee. (In many cases the referees may return simply an
" accept" or " decline" recommendation, namely if sufficient feedback
has been obtained already in the review phase).
|