NDLI: On the interaction between knowledge and social commitments in multi-agent systems

Content Provider	Springer Nature Link
Author	Al Saqqar, Faisal Bentahar, Jamal Sultan, Khalid El Menshawy, Mohamed
Copyright Year	2014
Abstract	Both knowledge and social commitments have received considerable attention in Multi-Agent Systems (MASs), specially for multi-agent communication. Plenty of work has been carried out to define their semantics. However, the relationship between social commitments and knowledge has not been investigated yet. In this paper, we aim to explore such a relationship from the semantics and model checking perspectives with respect to CTLK logic (an extension of CTL logic with modality for reasoning about knowledge) and CTLC logic (an extension of CTL with modalities for reasoning about commitments and their fulfillments). To analyze this logical relationship, we simply combine the two logics in one new logic named CTLKC. The purpose of such a combination is not to advocate a new logic, but only to express and figure out some reasoning postulates merging both knowledge and commitments as they are currently defined in the literature. By so doing, we identify some paradoxes in the new logic showing that simply combining current versions of commitment and knowledge logics results in a logical language that violates some fundamental intuitions. Consequently, we propose CTLKC+, a new logic that fixes the identified paradoxes and allows us to reason about social commitments and knowledge simultaneously in a consistent manner. Furthermore, we address the problem of model checking CTLKC+ by reducing it to the problem of model checking GCTL∗, a generalized version of CTL∗ with action formulae. By doing so, we directly benefit from CWB-NC, the model checker of GCTL∗. Using this reduction, we also prove that the computational complexity of model checking CTLKC+ is still PSPACE-complete for concurrent programs as the complexity of model checking CTLK and CTLC separately.
Starting Page	235
Ending Page	259
Page Count	25
File Format	PDF
ISSN	0924669X
Journal	Applied Intelligence
Volume Number	41
Issue Number	1
e-ISSN	15737497
Language	English
Publisher	Springer US
Publisher Date	2014-02-23
Publisher Place	Boston
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Multi-agent systems Social commitments Agent communication Knowledge Artificial Intelligence (incl. Robotics) Mechanical Engineering Manufacturing, Machines, Tools
Content Type	Text
Resource Type	Article
Subject	Artificial Intelligence

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Communication constraints multi-agent territory exploration task

Multi levels semantic architecture for multimodal interaction

Multi-agent plan based information gathering

Multi-criteria expertness based cooperative Q-learning

Specifying distributed multi-agent systems in chemical reaction metaphor

FMAP: Distributed cooperative multi-agent planning

A Reusable Multi-Agent Architecture for Active Intelligent Websites

Constraint satisfaction as a tool for modeling and checking feasibility of multiagent commitments

Learning Communication Strategies in Multiagent Systems

On the interaction between knowledge and social commitments in multi-agent systems

Similar Documents

Communication constraints multi-agent territory exploration task

Multi levels semantic architecture for multimodal interaction

Multi-agent plan based information gathering

Multi-criteria expertness based cooperative Q-learning

Specifying distributed multi-agent systems in chemical reaction metaphor

FMAP: Distributed cooperative multi-agent planning

A Reusable Multi-Agent Architecture for Active Intelligent Websites

Constraint satisfaction as a tool for modeling and checking feasibility of multiagent commitments

Learning Communication Strategies in Multiagent Systems

On the interaction between knowledge and social commitments in multi-agent systems