{"title":"认知主体语言的动态语义","authors":"N. Ogata","doi":"10.1109/KMN.2002.1115181","DOIUrl":null,"url":null,"abstract":"I propose a language of cognitive agents and its formal semantics by exploiting the idea of dynamic semantics. The language is an extension of first-order concurrent dynamic logic (CDL). In this semantics, the expressions of the language are interpreted as actions or state transitions of private viewpoint models (PVM), which are models of environments recognized by a cognitive agent, are based on ecological realism, and are modeled by a metaphor of cameras and camera works. The invariance of truth of motion independent of viewpoints, actions on viewpoint resettings and empathizing with other agents can also be treated with this language and semantics, which give us a formal basis of communications between cognitive agents on recognized contents and how to recognize them.","PeriodicalId":215129,"journal":{"name":"Proceedings. IEEE Workshop on Knowledge Media Networking","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2002-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Dynamic semantics of cognitive agent language\",\"authors\":\"N. Ogata\",\"doi\":\"10.1109/KMN.2002.1115181\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"I propose a language of cognitive agents and its formal semantics by exploiting the idea of dynamic semantics. The language is an extension of first-order concurrent dynamic logic (CDL). In this semantics, the expressions of the language are interpreted as actions or state transitions of private viewpoint models (PVM), which are models of environments recognized by a cognitive agent, are based on ecological realism, and are modeled by a metaphor of cameras and camera works. The invariance of truth of motion independent of viewpoints, actions on viewpoint resettings and empathizing with other agents can also be treated with this language and semantics, which give us a formal basis of communications between cognitive agents on recognized contents and how to recognize them.\",\"PeriodicalId\":215129,\"journal\":{\"name\":\"Proceedings. IEEE Workshop on Knowledge Media Networking\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2002-07-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. IEEE Workshop on Knowledge Media Networking\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/KMN.2002.1115181\",\"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 Workshop on Knowledge Media Networking","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/KMN.2002.1115181","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
I propose a language of cognitive agents and its formal semantics by exploiting the idea of dynamic semantics. The language is an extension of first-order concurrent dynamic logic (CDL). In this semantics, the expressions of the language are interpreted as actions or state transitions of private viewpoint models (PVM), which are models of environments recognized by a cognitive agent, are based on ecological realism, and are modeled by a metaphor of cameras and camera works. The invariance of truth of motion independent of viewpoints, actions on viewpoint resettings and empathizing with other agents can also be treated with this language and semantics, which give us a formal basis of communications between cognitive agents on recognized contents and how to recognize them.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
