On Multi-agent Systems Specification via Deontic Logic

Authors:
Alessio Lomuscio;Marek J. Sergot
Affiliations:
-;-
Venue:
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Year:
2001

Citing 11
Cited 3

Knowledge and common knowledge in a distributed environment

Journal of the ACM (JACM)
Model checking vs. theorem proving: a manifesto

Artificial intelligence and mathematical theory of computation
What can machines know?: On the properties of knowledge in distributed systems

Journal of the ACM (JACM)
First steps in modal logic

First steps in modal logic
Reasoning about knowledge

Reasoning about knowledge
Deontic logic: a concise overview

Deontic logic in computer science
Knowledge in multiagent systems: initial configurations and broadcast

ACM Transactions on Computational Logic (TOCL)
Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science
On the Relation between Interpreted Systems and Kripke Models

Proceedings of the Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
Computationally Grounded Theories of Agency

ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Extending interpreted systems with some deontic concepts

TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge

The bit transmission problem revisited

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
A state/event temporal deontic logic

DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
GOAL agents instantiate intention logic

Logic Programs, Norms and Action

Quantified Score

Hi-index	0.00

Visualization

Abstract

We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The resulting logic, KD45ni-j, is a stronger version of KD, the system often referred to as Standard Deontic Logic. We discuss these issues and present some simple examples.