Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

ATAL
2015
Springer

favoriteEmaildiscussreport

25views Intelligent Agents» more ATAL 2015»

Budget-Constrained Knowledge in Multiagent Systems

8 years 11 days ago

Budget-Constrained Knowledge in Multiagent Systems

Download cs.brynmawr.edu

The paper introduces a modal logical system for reasoning about knowledge in which information available to agents might be constrained by the available budget. Although the system lacks an equivalent of the standard Negative Introspection axiom from epistemic logic S5, it is proven to be sound and complete with respect to an S5-like Kripke semantics. Categories and Subject Descriptors I.2.11 [Distributed Artiﬁcial Intelligence]: Multiagent systems; F.4.1 [Mathematical Logic] Keywords modal logic, epistemology, axiomatization, completeness General Terms Theory, Economics

Pavel Naumov, Jia Tao

Real-time Traffic

ATAL 2015 | Intelligent Agents |

claim paper

Related Content

» A Complete STIT Logic for Knowledge and Action and Some of Its Applications

» Model checking knowledge strategies and games in multiagent systems

» Overview of Game Theory and Using to model the Knowledge of multiagent system

» An algorithmic approach to knowledge evolution

» Explicit Evidence Systems with Common Knowledge

» Adversarial Behavior in Multiagent Systems

» Static Knowledge Representation of MultiAgent Systems Specification by Description Logic

» Bounded model checking for knowledge and real time

» Using answer set programming to model multiagent scenarios involving agents knowledge abou...

» Social Knowledge in Multiagent Systems

Post Info
More Details (n/a)

Added	16 Apr 2016
Updated	16 Apr 2016
Type	Journal
Year	2015
Where	ATAL
Authors	Pavel Naumov, Jia Tao

Comments (0)