Logic for computer science: foundations of automatic theorem proving
Logic for computer science: foundations of automatic theorem proving
A theory of diagnosis from first principles
Artificial Intelligence
Journal of Automated Reasoning
Modal resolution in clausal form
Theoretical Computer Science
Deontic logic: a concise overview
Deontic logic in computer science
First-order logic and automated theorem proving (2nd ed.)
First-order logic and automated theorem proving (2nd ed.)
Applications of distributed artificial intelligence in industry
Foundations of distributed artificial intelligence
Organizational intelligence and distributed artificial intelligence
Foundations of distributed artificial intelligence
Computational organization theory
Multiagent systems
Management Information Systems: Organization and Technology
Management Information Systems: Organization and Technology
Autonomous Agents and Multi-Agent Systems
A Modal Action Logic Based Framework for Organization Specification and Analysis
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Formal Specification of Security Requirements using the Theory of Normative Positions
ESORICS '92 Proceedings of the Second European Symposium on Research in Computer Security
Relationships between actions performed by institutional agents, human agents or software agents
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Artificial Intelligence and Law - Special issue on Deontic Logic and Normative Systems
Reasoning about coalitional agency and ability in the logics of "bringing-it-about"
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that aggregate a set of (real) agents, being capable to act (by means of real agents actions) and to whom deontic qualifications may be associated. In order to analyse how institutional agents interact with the external world, the following aspects are characterised: how the obligations flow from the institutional agent to the real agents that support him, and how the actions of the latter count as actions of the former. The fundamental concept supporting these aspects is the concept of role.Institutional agents are specified and analysed by means of a first-order role based deontic/action modal logic. The analysis is automated by means of a tableaux theorem proving method extended with additional rules to deal with the proposed classical action and deontic modalities.