Distributed Default Logic for Context-Aware Computing in Multi-Agent Systems

Author(s):  
Dominik Ryżko ◽  
Henryk Rybiński
2013 ◽  
Vol 651 ◽  
pp. 943-948
Author(s):  
Zhi Ling Hong ◽  
Mei Hong Wu

In multi-agent systems, a number of autonomous pieces of software (the agents) interact in order to execute complex tasks. This paper proposes a logic framework portrays agent’s communication protocols in the multi-agent systems and a dynamic negotiation model based on epistemic default logic was introduced in this framework. In this paper, we use the constrained default rules to investigate the extension of dynamic epistemic logic, and constrained epistemic extension construct an efficient negotiation strategy via constrained epistemic default reasoning, which guarantees the important natures of extension existence and semi-monotonicity. We also specify characteristic of the dynamic updating when agent learn new knowledge in the logical framework. The method for the information sharing signify the usefulness of logical tools carried out in the dynamic process of information acquisition, and the distributed intelligent information processing show the effectiveness of reasoning default logic in the dynamic epistemic logic theory.


2016 ◽  
pp. 187-206 ◽  
Author(s):  
Andrei Olaru ◽  
Adina Magda Florea ◽  
Amal El Fallah Seghrouchni

2020 ◽  
Vol 34 (05) ◽  
pp. 7317-7324
Author(s):  
Leonit Zeynalvand ◽  
Tie Luo ◽  
Jie Zhang

Trust and reputation management (TRM) plays an increasingly important role in large-scale online environments such as multi-agent systems (MAS) and the Internet of Things (IoT). One main objective of TRM is to achieve accurate trust assessment of entities such as agents or IoT service providers. However, this encounters an accuracy-privacy dilemma as we identify in this paper, and we propose a framework called Context-aware Bernoulli Neural Network based


2011 ◽  
Vol 267 ◽  
pp. 599-604
Author(s):  
Mei Hong Wu

In this paper we explore the use of dynamic epistemic default logic to offer a natural way of communication policies for the management of inter-agent exchanges in the multi-agent systems. We firstly focus on the acquisition of the extension in the dynamic epistemic theory based multi-agent system when its background set absorbing new information constantly, then we add the constrained default sets to restrict the agent's inference behavior and manage to obtain the extension of constrained epistemic default logic theory via default reasoning. We also discuss the characteristic of the dynamic updating when agent meets incompatible knowledge in the logical framework of multi-agent systems and finally we proved the related theorem for knowledge updating.


Sign in / Sign up

Export Citation Format

Share Document