engleski

MULTI-AGENT SYSTEMS: Some Relationships Among the Past Temporal Operator Has-Always-Been, the Future Temporal Operators, and Knowldge Operators

We characterize some relationships among the past temporal operator (the has-always-been operator) future temporal operators (the next operator, the eventually operator, the always operator, the until operaotr), and knowledge operators (Ki, Kj) in multi-agent systems. The relationships describe agent properties in multi-agent systems (the properties relate the knowledge of two agents): if agent i has always known F, then agent j will know F in the next step; if agent i has always known F, then j will eventually know F; if agent i has always known F, then agent j will allways know F; and if agent i has always known F, then agent i knows F until agent j knows F.

nije evidentirano

nije evidentirano