A distributed multi-agent task cooperation method based on linear temporal logic

A linear sequential logic and multi-agent technology, applied in data processing applications, instruments, calculations, etc., can solve problems such as multi-agent task decoupling, achieve the effects of reducing time complexity, accelerating speed, and improving coping capabilities

Active Publication Date: 2022-07-26
BEIJING INSTITUTE OF TECHNOLOGYGY
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0008] In view of this, the present invention provides a distributed multi-agent task collaboration method based on linear sequential logic, which solves the problem of multi-agent task decoupling

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A distributed multi-agent task cooperation method based on linear temporal logic
  • A distributed multi-agent task cooperation method based on linear temporal logic
  • A distributed multi-agent task cooperation method based on linear temporal logic

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0043] The following description takes a robot as an agent as an example.

[0044] see figure 1 and figure 2 , the distributed multi-robot task cooperation method based on linear sequential logic of the present invention comprises the following steps:

[0045] ●Under normal working conditions, each robot independently constructs its own decoupling product Büchi automaton, and constructs its own action sequence through the automaton. The decoupled product Büchi automata here is the result of adding coupled sets to the product Büchi automata. The coupling set records the coupling edge and its triggering conditions, and the endpoints of the coupling edge correspond to the actions that require cooperation.

[0046] When each robot independently executes the local action sequence using the decoupling product Büchi automaton, determine whether the currently executed action and its corresponding trigger condition are in the coupling set, and if so, the currently executed action i...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses a distributed multi-agent task cooperation method based on linear sequential logic, which solves the problem of multi-agent task decoupling. Each agent constructs its own decoupling product Büchi automaton by detecting the coupling edge, and constructs its own action sequence through the decoupling product Büchi automaton; the endpoints of the coupling edge correspond to the actions that require cooperation; When the decoupled product Büchi automaton independently executes its own action sequence, it determines whether the currently executed action and its corresponding trigger condition are in the coupling set. Make an action; when an agent fails, elect the agent responsible for inheritance to inherit the task of the failed agent.

Description

technical field [0001] The invention belongs to the field of artificial intelligence, in particular to a distributed multi-agent task cooperation method based on linear sequential logic. Background technique [0002] Linear temporal logic (Linear Temporal Logic) is a technical field with research prospects in the current artificial intelligence field. Linear temporal logic can use a stylized language to model a series of complex tasks with temporal relationships, and transfer the language through a graphical model, so that complex temporal relationships can be constrained by a series of conditional transfers. Due to its completeness, this method has been used in a wide range of fields. In the multi-agent field, the multi-agent system is difficult to be modeled by some traditional methods due to its complex tasks and the coupling of time-series relationships, while linear time-series logic can model the multi-agent system well. complex tasks. [0003] For the sequential lo...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Patents(China)
IPC IPC(8): G06Q10/06
CPCG06Q10/0631G06Q10/067
Inventor 方浩田戴荧陈杰杨庆凯曾宪琳尉越陈仲瑶
Owner BEIJING INSTITUTE OF TECHNOLOGYGY
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap