{"title":"用于智能规范系统的语言","authors":"F. Golshani, W. T. Scott, P. D. White","doi":"10.1109/ICCL.1988.13078","DOIUrl":null,"url":null,"abstract":"By writing specifications as theories of a logic system, the authors use proof theory to ensure that (a) the consequences of theory are properties of the object being specified, and (b) any known property of the object can be proven as a theorem of the theory. They define an extension of first-order logic that deals with events with actions. The resulting logic is a special type of modal logic with a notation similar to that of Hoare-style logics. Specifications are theories of this logic.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"18 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Languages for intelligent specification systems\",\"authors\":\"F. Golshani, W. T. Scott, P. D. White\",\"doi\":\"10.1109/ICCL.1988.13078\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"By writing specifications as theories of a logic system, the authors use proof theory to ensure that (a) the consequences of theory are properties of the object being specified, and (b) any known property of the object can be proven as a theorem of the theory. They define an extension of first-order logic that deals with events with actions. The resulting logic is a special type of modal logic with a notation similar to that of Hoare-style logics. Specifications are theories of this logic.<<ETX>>\",\"PeriodicalId\":219766,\"journal\":{\"name\":\"Proceedings. 1988 International Conference on Computer Languages\",\"volume\":\"18 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1988-10-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. 1988 International Conference on Computer Languages\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICCL.1988.13078\",\"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. 1988 International Conference on Computer Languages","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCL.1988.13078","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
By writing specifications as theories of a logic system, the authors use proof theory to ensure that (a) the consequences of theory are properties of the object being specified, and (b) any known property of the object can be proven as a theorem of the theory. They define an extension of first-order logic that deals with events with actions. The resulting logic is a special type of modal logic with a notation similar to that of Hoare-style logics. Specifications are theories of this logic.<>
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
