Difference between revisions of "Talk:Agent problems"
m (→Is CAT Call) |
|||
| Line 4: | Line 4: | ||
Second comment: this is a well known CAT call, caused by the (unsound) inheritance relation 'X[A] is subtype of X[B]' if 'A is subtype of B'. --[[User:Schoelle|Schoelle]] 09:26, 21 November 2006 (CET) | Second comment: this is a well known CAT call, caused by the (unsound) inheritance relation 'X[A] is subtype of X[B]' if 'A is subtype of B'. --[[User:Schoelle|Schoelle]] 09:26, 21 November 2006 (CET) | ||
| + | |||
| + | This article is in a very early state, so don't bother commenting to much on it. The intention is to list all the problems of the mechanism. Especially the fact that one has to type in a whole lot of type information for very little guarantees from the type system. | ||
| + | |||
| + | I am aware that I am not the first one to be aware of this problem. But I am not sure whether this problem is revered to as a CAT call. When it is, and when the new CAT call solution will indeed be implemented, what are the consequences? You can only make agents to features with arguments of detachable type? --[[User:konradm|konradm]] | ||
Revision as of 08:54, 21 November 2006
Is CAT Call
First comment: I assume you are missing a 'l_f := f'.
Second comment: this is a well known CAT call, caused by the (unsound) inheritance relation 'X[A] is subtype of X[B]' if 'A is subtype of B'. --Schoelle 09:26, 21 November 2006 (CET)
This article is in a very early state, so don't bother commenting to much on it. The intention is to list all the problems of the mechanism. Especially the fact that one has to type in a whole lot of type information for very little guarantees from the type system.
I am aware that I am not the first one to be aware of this problem. But I am not sure whether this problem is revered to as a CAT call. When it is, and when the new CAT call solution will indeed be implemented, what are the consequences? You can only make agents to features with arguments of detachable type? --konradm
