{"title":"规范多智能体系统中的博弈规范:trias politica","authors":"G. Boella, Leendert van der Torre","doi":"10.1109/IAT.2004.1343006","DOIUrl":null,"url":null,"abstract":"We formalize the specification of games in the trias politico using Rao and Georgeff's specification language BDI/sub CTL*/. In particular, we generalize Rao and Georgeff's specification of single agent decision trees to multiagent games, for which we introduce observations and recursive modelling, in this setting we formalize obligations, and we characterize four kinds of agents, called legislators, judges, policemen and citizens. Legislators are characterized by their power to create and revise obligations, judges are characterized by their power to count behavior of citizens as violations, and policemen are characterized by their ability to sanction behavior.","PeriodicalId":281008,"journal":{"name":"Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2004. (IAT 2004).","volume":"12 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":"{\"title\":\"Game specification in normative multiagent system: the trias politica\",\"authors\":\"G. Boella, Leendert van der Torre\",\"doi\":\"10.1109/IAT.2004.1343006\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We formalize the specification of games in the trias politico using Rao and Georgeff's specification language BDI/sub CTL*/. In particular, we generalize Rao and Georgeff's specification of single agent decision trees to multiagent games, for which we introduce observations and recursive modelling, in this setting we formalize obligations, and we characterize four kinds of agents, called legislators, judges, policemen and citizens. Legislators are characterized by their power to create and revise obligations, judges are characterized by their power to count behavior of citizens as violations, and policemen are characterized by their ability to sanction behavior.\",\"PeriodicalId\":281008,\"journal\":{\"name\":\"Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2004. (IAT 2004).\",\"volume\":\"12 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-09-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"9\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2004. (IAT 2004).\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IAT.2004.1343006\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2004. (IAT 2004).","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IAT.2004.1343006","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Game specification in normative multiagent system: the trias politica
We formalize the specification of games in the trias politico using Rao and Georgeff's specification language BDI/sub CTL*/. In particular, we generalize Rao and Georgeff's specification of single agent decision trees to multiagent games, for which we introduce observations and recursive modelling, in this setting we formalize obligations, and we characterize four kinds of agents, called legislators, judges, policemen and citizens. Legislators are characterized by their power to create and revise obligations, judges are characterized by their power to count behavior of citizens as violations, and policemen are characterized by their ability to sanction behavior.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
