{"title":"智能代理的反推理","authors":"Xue Li, W. Huang","doi":"10.1109/TOOLS.2000.885911","DOIUrl":null,"url":null,"abstract":"The essence of counter inference is intelligence competition and critical decision making that will result in chained reactions in an open system environment. Intelligent agents are capable not only of carrying out negotiations but also playing games. A negotiation could have win-win (or lose-lose) outcomes while a game may result in win-lose situations. The paper proposes counter inference as a unified reasoning paradigm to allow intelligent agents to execute reasoning tasks in either cooperative or non-cooperative ways. Based on logic theory, we discuss a framework of counter inference. Some examples of counter inference are also given to illustrate its reasoning scenario.","PeriodicalId":393932,"journal":{"name":"Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000","volume":"18 4 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Counter inference of intelligent agents\",\"authors\":\"Xue Li, W. Huang\",\"doi\":\"10.1109/TOOLS.2000.885911\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The essence of counter inference is intelligence competition and critical decision making that will result in chained reactions in an open system environment. Intelligent agents are capable not only of carrying out negotiations but also playing games. A negotiation could have win-win (or lose-lose) outcomes while a game may result in win-lose situations. The paper proposes counter inference as a unified reasoning paradigm to allow intelligent agents to execute reasoning tasks in either cooperative or non-cooperative ways. Based on logic theory, we discuss a framework of counter inference. Some examples of counter inference are also given to illustrate its reasoning scenario.\",\"PeriodicalId\":393932,\"journal\":{\"name\":\"Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000\",\"volume\":\"18 4 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2000-10-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TOOLS.2000.885911\",\"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 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TOOLS.2000.885911","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The essence of counter inference is intelligence competition and critical decision making that will result in chained reactions in an open system environment. Intelligent agents are capable not only of carrying out negotiations but also playing games. A negotiation could have win-win (or lose-lose) outcomes while a game may result in win-lose situations. The paper proposes counter inference as a unified reasoning paradigm to allow intelligent agents to execute reasoning tasks in either cooperative or non-cooperative ways. Based on logic theory, we discuss a framework of counter inference. Some examples of counter inference are also given to illustrate its reasoning scenario.