SOAR: an architecture for general intelligence
Artificial Intelligence
An architecture for Real-Time Reasoning and System Control
IEEE Expert: Intelligent Systems and Their Applications
An architecture of a normative system: counts-as conditionals, obligations and permissions
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Interaction in Normative Multi-Agent Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A game theoretic approach to contracts in multiagent systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Enterprise Architecture at Work: Modelling, Communication, and Analysis
Enterprise Architecture at Work: Modelling, Communication, and Analysis
An architecture of a normative system: counts-as conditionals, obligations and permissions
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Ten problems of deontic logic and normative reasoning in computer science
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
Compliance with normative systems
AICOL'11 Proceedings of the 25th IVR Congress conference on AI Approaches to the Complexity of Legal Systems: models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and software agents
| Hi-index | 0.00 |
Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding to the functionality of logical components. We illustrate how the architectural approach can be used to develop a logic of a normative system based on logics of counts-as conditionals, institutional constraints, obligations and permissions. In this example we adapt for counts-as conditionals and institutional constraints a proposal of Jones and Sergot, and for obligations and permissions we adapt the input/output logic framework of Makinson and van der Torre. We use our architecture to study logical relations among counts-as conditionals, institutional constraints, obligations and permissions. We show that in our logical architecture the combined system of counts-as conditionals and institutional constraints reduces to the logic of institutional constraints, which again reduces to an expression in the underlying base logic. Counts-as conditionals and institutional constraints are defined as a pre-processing step for the regulative norms. Permissions are defined as exceptions to obligations and their interaction is characterized.