Overview of interactions

Q1. Tom Costello:

Do you have any formal results on whether or when your system is consistent?

A1. Speaker:

The beliefs of different agents do not have to be consistent.

C1-1. Tom Costello:

That was not my point; the point was whether the overall system which characterizes and reasons about all the agents is consistent. Consistency is an absolutely essential property of such systems; without it they are useless.

(Answer not recorded).

Q2. Erik Sandewall:

Does the account of the inference performed by each of the agents allow any nonmonotonicity, as required e.g. for prediction, or for default beliefs?

A2. Speaker:

Prediction: not yet. Default beliefs are obtained by context transfer.

Q3. Pat Hayes:

Can the agent believe  p _^ B¬ p  ?

A3. Speaker:

In the present system, it does not notice that problem.

This on-line debate page is part of a discussion at recent workshop; similar pages are set up for each of the workshop articles. The discussion is organized by the area Reasoning about Actions and Change within the Electronic Transactions on Artificial Intelligence (ETAI).

To contribute, please click [mail to moderator] above and send your question or comment as an E-mail message.