{"title":"解释系统和游戏结构","authors":"J. Koo","doi":"10.1109/IFOST.2012.6357653","DOIUrl":null,"url":null,"abstract":"An interpreted system is a formal description of the computations carried out by a set of agents. And also interpreted systems have been proven a suitable formalism for reasoning about temporal and epistemic properties of agents. Alternating-time temporal logic(ATL) is a temporal logic that incorporates some basic game theoretical notions. Interpreted systems and the concurrent game structures in ATL are closely related. So we study the differences and similarities between the interpreted systems and the game structures for the notions like time, knowledge, strategy for analyzing the behavior of agents and multi-agent systems.","PeriodicalId":319762,"journal":{"name":"2012 7th International Forum on Strategic Technology (IFOST)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Interpreted systems and game structures\",\"authors\":\"J. Koo\",\"doi\":\"10.1109/IFOST.2012.6357653\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"An interpreted system is a formal description of the computations carried out by a set of agents. And also interpreted systems have been proven a suitable formalism for reasoning about temporal and epistemic properties of agents. Alternating-time temporal logic(ATL) is a temporal logic that incorporates some basic game theoretical notions. Interpreted systems and the concurrent game structures in ATL are closely related. So we study the differences and similarities between the interpreted systems and the game structures for the notions like time, knowledge, strategy for analyzing the behavior of agents and multi-agent systems.\",\"PeriodicalId\":319762,\"journal\":{\"name\":\"2012 7th International Forum on Strategic Technology (IFOST)\",\"volume\":\"21 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-11-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2012 7th International Forum on Strategic Technology (IFOST)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IFOST.2012.6357653\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2012 7th International Forum on Strategic Technology (IFOST)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IFOST.2012.6357653","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
An interpreted system is a formal description of the computations carried out by a set of agents. And also interpreted systems have been proven a suitable formalism for reasoning about temporal and epistemic properties of agents. Alternating-time temporal logic(ATL) is a temporal logic that incorporates some basic game theoretical notions. Interpreted systems and the concurrent game structures in ATL are closely related. So we study the differences and similarities between the interpreted systems and the game structures for the notions like time, knowledge, strategy for analyzing the behavior of agents and multi-agent systems.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
