Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| rewards |
| appearance as argument number 1 |
|
| (instance rewards BinaryPredicate) | Law.kif 80-80 | rewards is an instance of binary predicate |
| (domain rewards 1 AutonomousAgent) | Law.kif 81-81 | The number 1 argument of rewards is an instance of agent |
| (domain rewards 2 AutonomousAgent) | Law.kif 82-82 | The number 2 argument of rewards is an instance of agent |
| (documentation rewards EnglishLanguage "A relation between two Agents where the first represents some Organization, and is authorized by it to take some action for the second AutonomousAgent. Note that this does not include cases where one individual simply takes action for another individual, such as a parent rewarding a child for good behavior. It also must be a response to some real or perceived action, rather than spontaneous positive action. The Organization must in some sense want the reward to be given, either collectively or simply because the rewarder is an authorized representative who decides on the reward. Note that one agent could both punish and reward another agent.") | Law.kif 87-95 | The number 2 argument of rewards is an instance of agent |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept punishes rewards) | Law.kif 83-83 | punishes is internally related to rewards |
| (termFormat EnglishLanguage rewards "rewards") | Law.kif 84-84 | punishes is internally related to rewards |
| (format EnglishLanguage rewards "%1 rewards %2") | Law.kif 85-85 | punishes is internally related to rewards |
| antecedent |
|
|
| (=> (rewards ?A ?H) (exists (?P) (and (agent ?P ?A) (benefits ?P ?H)))) |
Law.kif 97-102 | If X rewards Y, then there exists Z such that X is an agent of Z and Y is a beneficiary of Z |
| (=> (rewards ?A ?H) (exists (?P) (and (agent ?P ?H) (wants ?A ?P)))) |
Law.kif 104-109 | If X rewards Y, then there exists Z such that Y is an agent of Z and X wants Z |
| (=> (rewards ?A ?H) (exists (?O ?P) (occupiesPosition ?A ?P ?O))) |
Law.kif 111-114 | If X rewards Y, then there exist Z and W such that X holds the position of W in Z |
| (=> (rewards ?A ?H) (exists (?O ?POS ?PROC) (and (occupiesPosition ?A ?POS ?O) (agent ?PROC ?A) (wants ?O ?PROC)))) |
Law.kif 116-122 | If X rewards Y, then there exist Z, W, V such that X holds the position of W in Z, X is an agent of V, and Z wants V |
|