Modelling Dynamic Aspects of a Multi-Agent System Using Transparent Intensional Logic

机译：使用透明内涵逻辑对多智能体系统的动态方面建模

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper, we focus on the communication and reasoning of agents in Multi-Agent Systems. We propose a method of modelling dynamic behaviour of these systems using Transparent Intensional Logic. We also describe several issues where the formalization affects the implementation of both the system and the agents, and propose solutions to the problems that may arise. In order to make the paper easily readably, we illustrate our approach by a simple example.

机译：在本文中，我们专注于多智能体系统中智能体的交流和推理。我们提出了一种使用透明内涵逻辑对这些系统的动态行为进行建模的方法。我们还描述了形式化影响系统和代理程序实施的几个问题，并提出了可能出现的问题的解决方案。为了使本文易于阅读，我们通过一个简单的示例来说明我们的方法。

著录项

来源
《Information modelling and knowledge bases XXIII》|2011年|p.352-361|共10页
会议地点 Tallinn(EE);Tallinn(EE)
作者
Jakub MACEK; Tomas FRYDRYCH;
展开▼
作者单位

VSB-Technical University Ostrava 17. listopadu 15, 70833 Ostrava, Czech Republic;

VSB-Technical University Ostrava 17. listopadu 15, 70833 Ostrava, Czech Republic;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类信息处理（信息加工）;人工智能理论;
关键词
transparent intensional logic; temporal logic; multiagent system; active agent; passive agent; communication; rule; decision;

机译：透明的内涵逻辑；时间逻辑；多主体系统；活性剂被动剂通讯;规则;决定;

相似文献

外文文献
中文文献
专利

1. A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems [J] . Jingwen Xu, Yanhong Huang, Jianqi Shi, 计算机科学技术学报（英文版） . 2021,第006期

机译：A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems
2. Logic-based modeling of information transfer in cyber-physical multi-agent systems [J] . Christian Kroiss, Tomas Bures Future generation computer systems . 2016,第MARa期

机译：网络物理多代理系统中基于逻辑的信息传递建模
3. Modeling of multi-agent systems in mathematical logic [J] . R. DEMOLOMBE ONERA Scientific and Technical Activities . 2006,第期

机译：数学逻辑中的多智能体系统建模
4. Transparent Intensional Logic and Multiagent Systems [C] . Jaroslav Muller International MultiConference of Engineers and Computer Scientists . 2006

机译：透明的密集逻辑和多算系统
5. Modeling and analysis of the collective dynamics of large-scale multi-agent systems [D] . Tosic, Predrag 2006

机译：大型多主体系统集体动力学的建模与分析
6. Modeling Early Stages of Bone and Joint Infections Dynamics in Humans: A Multi-Agent Multi-System Based Model [O] . Salma Alsassa, Thomas Lefèvre, Vincent Laugier, 2020

机译：建模人类骨骼和关节感染动力学的早期阶段：基于多代理多系统的模型
7. Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems [O] . 2015

机译：基于逻辑的网络物理多智能体系统中信息传递建模
8. Role of Dynamic-Network Multi-Agent Models of Socio-Political Systems in Policy [R] . Louie, M. A. , Carley, K. M. 2007

机译：动态网络多智能体社会政治制度模型在政策中的作用

Modelling Dynamic Aspects of a Multi-Agent System Using Transparent Intensional Logic

摘要

著录项

相似文献

相关主题

期刊订阅