Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments

•We present an extension of interpreted systems including probabilities and communication channels.•We introduce a new logic merging probabilities, knowledge, and social commitments.•We advocate a reduction-based technique to model check the logic and prove its soundness.•We implement the approach u...

Full description

Saved in:

Bibliographic Details
Published in:	Expert systems with applications Vol. 41; no. 14; pp. 6291 - 6304
Main Authors:	Sultan, Khalid, Bentahar, Jamal, Wan, Wei, Al-Saqqar, Faisal
Format:	Journal Article
Language:	English
Published:	Amsterdam Elsevier Ltd 15.10.2014 Elsevier
Subjects:	Agents (artificial intelligence) Applied sciences Checkers Computer science; control theory; systems Computer systems and distributed systems. User interface Exact sciences and technology Expert systems Information systems. Data bases Interpreted systems Knowledge Logic Logical, boolean and switching functions Memory organisation. Data processing Modal logic Multi-Agent Systems Prisms Probabilistic methods Probabilistic model checking Probability theory Simulation Social commitments Software Stochasticity Theoretical computing Verification Interpreted systems Probabilistic model checking Multi-Agent Systems Social commitments Verification Modal logic Knowledge Stochastic model Stochastic logic Logical programming Modeling Stochastic system Uncertain system Static analysis Model checking Validation Probabilistic approach Branching temporal logic CTL Social network Probabilistic logic Knowledge management Social responsibility Temporal logic Program verification Multiagent system Social interaction Artificial intelligence
ISSN:	0957-4174, 1873-6793
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!