/
agent.subl
124 lines (107 loc) · 2.58 KB
/
agent.subl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
;; #$DeonticLogic
;;
;; (#$obligatedAgents #$Obligation #$Agent)
;; Find out how to make a coalition agent
;; ;; #$oughtToDo
;; (#$permittedToDo #$Agent ?PROP)
;; (#$forbiddenToDo #$Agent ?PROP)
;; (#$knows #$Agent #$Prop)
;; ;; #$knowsAbout
;; ;; #$knowsAboutIndirectlyVia
;; ;; can't find these
;; "everybody-knows" => {
;; examples => [
;; {
;; statement => "(everybody-knows G Phi)",
;; meaning => "Everybody in G knows",
;; },
;; {
;; statement => "(E_G Phi)",
;; meaning => "",
;; },
;; ],
;; operator => "E_G",
;; },
;; "distributed-knowledge" => {
;; examples => [
;; {
;; statement => "(distributed-knowledge G Phi)",
;; meaning => "It is distributed knowledge in G",
;; },
;; {
;; statement => "(D_G Phi)",
;; meaning => "",
;; },
;; ],
;; operator => "D_G",
;; },
;; "common-knowledge" => {
;; examples => [
;; {
;; statement => "(common-knowledge G Phi)",
;; meaning => "It is common knowledge in G",
;; },
;; {
;; statement => "(C_G Phi)",
;; meaning => "",
;; },
;; ],
;; operator => "C_G",
;; },
;; },
;; need assertion about BDI
;; (#$beliefs #$Agent #$Prop)
;; #$intends #$Agent #$Prop
;; ;; #$intends-SitType #$Agent #$Prop
;; ;; #$goals
;; #$desires
#$AbilityToFn
#$hasCapability
#$agentHasOpportunity
;; quick glance doesn't seem to have this
"Adversarial" => {
"enforce" => {
examples => [
{
statement => "(enforce C A)",
meaning => "",
},
],
},
},
"Temporal" => {
#$sometimesTrue
"sometime" => {
examples => [
],
},
#$alwaysTrue
"always" => {
examples => [
],
},
"eventually" => {
examples => [
],
},
"in-the-next-state" => {
examples => [
],
},
},
};
;; ask Doug does Cyc have stuff for LTL
;; individually obligatory
;; yes permissible/permitted
;; yes must
;; yes impermissible/forbidden/prohibited
;; nope: supererogatory/beyond the call of duty
;; yes obligatory/duty/required
;; indifferent || significant
omissible/non-obligatory
;; no the least one can do
;; no optional
;; no better than || best || good || bad
;; yes ought #$oughtToDo #$oughtToBe
claim || liberty || power || immunity
;; #$claims ;; no ;; yes #$powerInGroup #$power-Geopolitical #$power-Military #$power-Technological;; no