【技术实现步骤摘要】
【国外来华专利技术】Argumentation Dialogues(
基于合理假设的论证对话的通用框架
)”(Artif.Intell.
,第
216
卷第
20
‑
54
页,
2014
年,
doi
:
10.1016/j.artint.2014.06.001)
的论文中找到另一个示例
。
[0009]对话博弈
[0010]如上所述,论证协议是描述代理如何通信
(
抽象地说,要交换什么信息,以什么顺序等
)
的过程描述
(
规则集合
)。
对话
(
博弈
)
是在这种通信期间创建的对象,例如话语集合
。
[0011]通常,对话博弈承认主要主张,其经由
(
某个设备的
)
初始话语来表达,设备针对接受该主张而争论
。
目的是使设备对主要主张进行评估,即集体接受或拒绝该主张,同时对对话中 ...
【技术保护点】
【技术特征摘要】
【国外来华专利技术】1.
一种用于与第二设备协调确定第一设备是否能够执行第一动作的计算机实现的方法,所述方法包括:向所述第二设备发送
(202)
第一消息,其中,所述第一消息包括:
i)
要由所述第一设备执行的所述第一动作的指示,以及
ii)
指示所述第一动作何时要被执行的第一时间间隔;以及根据在所述第一设备与所述第二设备之间定义的论证协议,从所述第二设备接收
(204)
第二消息,其中,所述第二消息包括:
i)
与所述第一设备是否能够执行所述第一动作相关的第一响应,以及
ii)
其中所述第一响应适用的第二时间间隔;以及其中,如果所述第二时间间隔与所述第一时间间隔重叠,则根据所述论证协议,所述第一响应有效
。2.
根据权利要求1所述的方法,还包括:根据所述论证协议,与所述第二设备交换后续消息,其中,每个后续消息包括:
i)
与所述第一动作相关的后续响应,以及
ii)
其中所述响应适用的对应的后续时间间隔;以及其中,如果所述对应的后续时间间隔与所述第一时间间隔重叠,则根据所述论证协议,每个后续响应有效
。3.
根据权利要求1或2所述的方法,其中,所述第一消息包括以下形式的元组:
<a
i
,a
j
,T,C,ID,S>
;其中,
a
i
是所述第一设备的标识符,
a
j
是所述第二设备的标识符,
T
是目标标识号,
ID
是所述第一消息的标识号,
C
包括要由所述第一设备执行的所述第一动作的所述指示,并且
S
是所述第一时间间隔
。4.
根据权利要求3所述的方法,其中,
S
的形式是间隔
S
=
(t1,t2)
,并且其中,所述第一动作要在时间
t1
与
t2
之间执行
。5.
根据前述权利要求中任一项所述的方法,其中,所述第二消息中的所述第一响应识别所述第一设备执行所述第一动作与第一目标之间的冲突,并且其中,所述第一时间间隔还被用于在所述第一时间间隔期间基于所述第一动作相较于所述第一目标的优先级来解决所述冲突
。6.
根据权利要求1至4中任一项所述的方法,其中,所述第二消息中的所述第一响应识别所述第一设备在所述第一时间间隔执行所述第一动作和所述第二设备在所述第二时间间隔执行第二动作导致关于第一目标的冲突
。7.
根据权利要求6所述的方法,其中,所述第一时间间隔的长度和所述第二时间间隔的长度被用于确定所述第一动作相对于所述第二动作的优先级,并且因此解决所述冲突
。8.
根据权利要求6或7所述的方法,其中,所述第一目标与所述第一设备相关联,并且其中,所述第二动作的执行与针对所述第二设备的第二目标相关联;以及其中,所述第一目标相较于所述第二目标的相对优先级被用于确定所述第一动作相对于所述第二动作的优先级,并且因此解决所述冲突
。9.
根据前述权利要求中任一项所述的方法,其中,发送
(202)
所述第一消息的步骤进一步包括:根据
<C,
更新所述第一设备使用所述第一动作
C
和所述第一时间间隔
S
做出的承诺集合
10.
根据前述权利要求中任一项所述的方法,还包括:从所述第二设备接收所述第一设备可在所述第一时间间隔中执行所述第一动作的商定;以及在所述第一时间间隔发起所述第一动作的执行
。11.
根据前述权利要求中任一项所述的方法,其中,所述方法由所述第一设备执行
。12.
根据权利要求1至
10
中任一项所述的方法,其中,所述方法由所述第一设备的第一数字孪生执行,并且其中,所述第一数字孪生响应于从所述第一设备接收到所述第一设备打算在所述第一时间间隔执行所述第一动作的指示而执行所述方法
。13.
根据前述权利要求中任一项所述的方法,其中,所述第一消息被发送到所述第二设备的数字孪生
。14.
一种用于与第一设备协调确定所述第一设备是否能够执行第一动作的计算机实现的方法,所述方法包括:从所述第一设备接收
(302)
第一消息,其中,所述第一消息包括:
i)
要由所述第一设备执行的所述第一动作的指示,以及
ii)
指示所述第一动作何时要被执行的第一时间间隔;以及根据在所述第一设备与所述第二设备之间定义的论证协议,向所述第一设备发送
(304)
第二消息,其中,所述第二消息包括:
i)
与所述第一设备是否能够执行所述第一动作相关的第一响应,以及
ii)
其中所述第一响应适用的第二时间间隔;以及其中,如果所述第二时间间隔与所述第一时间间隔重叠,则根据所述论证协议,所述第一响应有效
。15.
根据权利要求
14
所述的方法,还包括:根据所述论证协议,与所述第一设备交换后续消息,其中,每个后续消息包括:
i)
与所述第一动作相关的后续响应,以及
ii)
其中所述响应有效的对应的后续时间间隔;以及其中,如果所述对应的后续时间间隔与所述第一时间间隔重叠,则根据所述论证协议,每个后续响应有效
。16.
根据权利要求
14
或
15
所述的方法,其中,所述第二消息包括以下形式的元组:
<a
i
,a
j
,T,C,ID,S>
;其中,
a
i
是所述第二设备的标识符,
a
j
是所述第一设备的标识符,
T
是目标标识号,
ID
是所述第二消息的标识号,
C
包括所述第一响应,并且
S
是所述第二时间间隔
。17.
根据权利要求
16
所述的方法,其中,
S
的形式是间隔
S
=
(t3,t4)...
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。