Reasoning about knowledge
Modelling Agent Societies: Co-ordination Frameworks and Institutions
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Electronic Institutions: Future Trends and Challenges
CIA '02 Proceedings of the 6th International Workshop on Cooperative Information Agents VI
Classificatory Aspects of Counts-as
Journal of Logic and Computation
On the logic of normative systems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Counts-as: classification or constitution? an answer using modal logic
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Group beliefs and the distinction between belief and acceptance
Cognitive Systems Research
Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Towards a logical model of social agreement for agent societies
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Unifying the intentional and institutional semantics of speech acts
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
| Hi-index | 0.00 |
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding ('nomos') itself ('auto') independently of any external normative constraint specified by a designer. In particular, a MAS is autonomous if it is able to maintain its social institutions (i.e. rule-governed social practices) only by way of the agents' attitudes. In order to specify an autonomous MAS, we propose the logic AL (Acceptance Logic) in which the acceptance of a proposition by the agents qua group members (i.e. group acceptance) is introduced. Such propositions are true w.r.t. an institutional context and correspond to facts that are instituted in an attitude-dependent way (i.e. normative and institutional facts). Finally, we contend that the present approach paves the way for a foundation of legal institutions, for studying the interaction between social and legal institutions and, eventually, for understanding and modeling institutional change.