Felicitous
发表于 2025-3-28 18:10:54
From Information Assistance to Cognitive Automation: A Smart Assembly Use Casely available contextual knowledge on work procedures and concepts of the work domain. Our work is illustrated with examples in SWI-Prolog and the Soar cognitive architecture which is part of the Plant@Hand assembly assistance system.
Introvert
发表于 2025-3-28 22:25:29
Using Process Calculi for Plan Verification in Multiagent Planningli type systems for approximate verification of exchanged local plans. Furthermore, we introduce an alternative method to accomplish the above verification by a classical planner. Finally, we compare our approach with current state-of-the-art planner on an extensive benchmark set.
glowing
发表于 2025-3-28 23:23:08
Offline Norm Evolutionthm is used to evolve norms for an example system. Furthermore, some approaches to reducing the algorithm’s search space, including to employ a notion of ‘operational equivalence’ of norms, are discussed. It is demonstrated that an evolutionary algorithm may be a useful tool when designing norms for problem-solving multi-agent systems.
verdict
发表于 2025-3-29 04:38:49
http://reply.papertrans.cn/16/1513/151226/151226_44.png
MEN
发表于 2025-3-29 10:51:03
International Political Economy Seriesroduce the . . as a language to design norm controlled executable specifications of interaction protocols for social computers. Additionally, we describe a platform to process these specifications, giving them a computational realisation. We argue that . can be used to design, implement and execute algorithms in social computers.
CLEAR
发表于 2025-3-29 14:36:04
http://reply.papertrans.cn/16/1513/151226/151226_46.png
愚蠢人
发表于 2025-3-29 19:27:46
http://reply.papertrans.cn/16/1513/151226/151226_47.png
出汗
发表于 2025-3-29 19:58:40
http://reply.papertrans.cn/16/1513/151226/151226_48.png
刻苦读书
发表于 2025-3-30 02:59:10
http://reply.papertrans.cn/16/1513/151226/151226_49.png
macabre
发表于 2025-3-30 07:43:30
http://reply.papertrans.cn/16/1513/151226/151226_50.png