Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
The semantics of programming languages: an elementary introduction using structural operational semantics
Artificial intelligence and mathematical theory of computation
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
LFCS '94 Proceedings of the Third International Symposium on Logical Foundations of Computer Science
Specifying Communicative Multi-Agent Systems (Invited Paper)
Proceedings of the Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
Modeling Dynamic Domains with ConGolog
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Open Multi-agent Systems: Agent Communication and Integration
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Knowledge preconditions for actions and plans
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
What robots can do: robot programs and effective achievability
Artificial Intelligence
What is planning in the presence of sensing?
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
A logic-based model of intentions for multi-agent subcontracting
Eighteenth national conference on Artificial intelligence
On the Semantics of Deliberation in Indigolog—from Theory to Implementation
Annals of Mathematics and Artificial Intelligence
ECASL: a model of rational agency for communicating agents
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A logic-based model of intention formation and action for multi-agent subcontracting
Artificial Intelligence
Conceptual Modeling: Foundations and Applications
A logic-based model of intention formation and action for multi-agent subcontracting
Artificial Intelligence
Modeling mental states in the analysis of multiagent systems requirements
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
A model of rational agency for communicating agents
AC'04 Proceedings of the 2004 international conference on Agent Communication
Modeling mental states in agent-oriented requirements engineering
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
| Hi-index | 0.00 |
This paper addresses the problem of ensuring that agents' plans are epistemically feasible in multiagent systems specifications. We propose some solutions within the Cognitive Agents Specification Language (CASL). We define a subjective execution construct Subj that causes the plan to be executed in terms of the agent's knowledge state, rather than in terms of the world state. The definition assumes that the agent does not do planning or lookahead, and chooses arbitrarily among the actions allowed by the plan. We also define another deliberative execution operator Delib for smarter agents that do planning. We show how these notions can be used to express whether a process is epistemically feasible for its agent(s) in several types of situations. More generally, the paper shows how a formalization of epistemic feasibility can be integrated with a transition-system semantics for an agent programming/specification language.