blob: d299dc8ff68dc35427e0bab0c2f4d71e079795f9 (
plain)
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
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
|
--# -path=.:prelude:resource-1.0/abstract:resource-1.0/common
incomplete concrete GodisSystemI of GodisSystem = PredefCnc **
open Prelude, Grammar, Extra, GodisLang, ConstructX, ParamX in {
lincat
Move = Utt ** Punctuation;
[Move],
S = Text;
ShortAns = NP;
Proposition = Cl ** ClauseForm;
[Proposition],
Question,
YNQ, AltQ = QCl ** ClauseForm;
VPProposition = VP;
[VPProposition] = [VPI];
Action = VP ** ClauseForm;
Reason = S;
lin
----------------------------------------------------------------------
-- questions
action_Q = isDoing **
QuestSlash whatSg_IP (AdvSlash (SlashVVV2 (UsePron i_Pron) can_VV do_V2)
(PrepNP for_Prep you_NP));
issue_Q = isDoing **
QuestCl (PredVP you_NP (ComplVV want_VV
(ComplV2 have_V2 (DetCN someSg_Det (UseN information_N)))));
ynq p = clauseForm p ** QuestCl p;
altq qs = qs;
BaseProposition p q = clauseForm p ** disjunct_QCl (QuestCl p) (QuestCl q);
ConsProposition p qs = clauseForm p ** disjunct_QCl (QuestCl p) qs;
----------------------------------------------------------------------
-- propositions
not p = p ** negate_Cl p;
-- done a = clauseForm a ** PredVP (UsePron i_Pron) (VPing a);
{-
fail q r = hasDone **
negate_Cl (PredVP (UsePron i_Pron)
(AdvVP (ComplVQ know_VQ (UseQCl TPres (anter q) PPos q))
(SubjS because_Subj r)));
-}
----------------------------------------------------------------------
-- vp-propositions
action a = a;
{-
issue q = ComplVQ know_VQ (useQCl q);
-}
vp_ynq p = isDoing ** QuestCl (PredVP you_NP (ComplVV want_VV p));
vp_altq qs = isDoing ** QuestCl (PredVP you_NP (ComplVPIVV want_VV (ConjVPI or_Conj qs)));
BaseVPProposition p q = BaseVPI (MkVPI p) (MkVPI q);
ConsVPProposition p qs = ConsVPI (MkVPI p) qs;
----------------------------------------------------------------------
-- short answers
notS a = PredetNP not_Predet a;
----------------------------------------------------------------------
-- dialogue moves
answer_yes = fullStop ** yes;
answer_no = fullStop ** no;
greet = fullStop ** hello;
quit = fullStop ** goodbye;
shortAns a = fullStop ** UttNP a;
request a = fullStop ** UttImpSg PPos (ImpVP a);
ask q = questMark ** UttQS (useQCl q);
askYNQ q = questMark ** UttQS (useQCl q);
askAltQ q = questMark ** UttQS (useQCl q);
answer p = fullStop ** UttS (useCl p);
answerVP p = fullStop ** vp2Utt p;
confirm a = fullStop ** UttS (useCl (clauseForm a ** PredVP (UsePron i_Pron) (VPing a)));
reportFailure a r = fullStop **
UttS (UseCl TPast ASimul PPos
(PredVP (UsePron i_Pron)
(AdvVP (ComplVV fail_VV a) (SubjS because_Subj r))));
answerFailure q r = fullStop ** UttS r;
----------------------------------------------------------------------
-- ICM
icm_acc_pos = fullStop ** icm_acc_pos;
icm_con_neg = fullStop ** icm_con_neg;
icm_per_neg = fullStop **
UttQS (UseQCl TPast ASimul PPos (QuestSlash whatSg_IP
(SlashV2 you_NP (UseVS say_VS))));
icm_per_int = questMark ** what_did_you_say;
icm_sem_neg = fullStop ** i_dont_understand;
icm_sem_int = questMark ** what_do_you_mean;
icm_und_neg = fullStop ** i_dont_understand;
icm_reraise = fullStop ** icm_reraise;
icm_loadplan = fullStop ** icm_loadplan;
icm_accommodate = fullStop ** icm_accommodate;
icm_per_pos x = fullStop ** icm_per_pos x;
icm_und_int_prop p = questMark ** (UttS (useCl p));
icm_und_pos_prop p = questMark ** (UttS (useCl p));
icm_acc_neg_prop p = fullStop ** cncUtt (UttS (useCl p)) not_valid_Post;
icm_acc_neg_que q = fullStop **
cncUtt cant_answer_que_Pre (UttAdv (AdvSC (EmbedQS (useQCl q))));
icm_sem_pos_move m = fullStop ** m;
icm_sem_pos_shortAns a = fullStop ** UttNP a;
icm_und_pos_vp p = questMark ** (UttS (useCl (you_want_to_VP p ** isDoing)));
icm_und_int_vp p = questMark ** cncUtt (UttS (useCl (you_want_to_VP p ** isDoing))) is_that_correct_Post;
icm_reraise_act a = fullStop **
cncUtt returning_to_act_Pre (vp2Utt a); -- (VPing a));
icm_und_int_altq q = questMark ** UttAdv (AdvSC (EmbedQS (useQCl q)));
icm_reraise_whq q = fullStop ** requestion q returning_to_Pre;
icm_reraise_ynq q = fullStop ** requestion q returning_to_Pre;
icm_reraise_altq q = fullStop ** requestion q returning_to_issue_Pre;
icm_accommodate_whq q = questMark ** icm_accommodate;
icm_accommodate_ynq q = questMark ** icm_accommodate;
icm_accommodate_altq q = questMark ** icm_accommodate;
icm_reaccommodate_whq q = questMark ** requestion q returning_to_issue_Pre;
icm_reaccommodate_ynq q = questMark ** requestion q returning_to_issue_Pre;
icm_reaccommodate_altq q = questMark ** requestion q returning_to_issue_Pre;
oper requestion : (QCl ** ClauseForm) -> Utt -> Utt
= \q,s -> cncUtt s (UttAdv (AdvSC (EmbedQS (useQCl q))));
lin
BaseMove m = consText m m TEmpty;
ConsMove m = consText m m;
godis_utterance x = x;
}
|
