{"title":"对象、规则和过程控制","authors":"E. Bristol","doi":"10.23919/ACC.1989.4790403","DOIUrl":null,"url":null,"abstract":"Artificial Intelligence (AI) suggests the paradox of the solution of problems not subject to any systematic analysis. In Process Control, this impression is attractive - we need solutions. It is also unacceptable - we need formal confidence in our designs. This paper adopts three bases to overcome the paradox: *The formal analysis of such AI structures as Rules and Objects; *The analysis of higher level control system issues that might be fruitfully modeled by AI structures; *The discussion of computer-aided methods for analyzing and validating Process Control AI systems. Specifically, this paper examines Objects and Rules as examples of Self-Marshaling Functions, and their utility for modeling, documenting, and implementing control systems.","PeriodicalId":383719,"journal":{"name":"1989 American Control Conference","volume":"36 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Objects, Rules, and Process Control\",\"authors\":\"E. Bristol\",\"doi\":\"10.23919/ACC.1989.4790403\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Artificial Intelligence (AI) suggests the paradox of the solution of problems not subject to any systematic analysis. In Process Control, this impression is attractive - we need solutions. It is also unacceptable - we need formal confidence in our designs. This paper adopts three bases to overcome the paradox: *The formal analysis of such AI structures as Rules and Objects; *The analysis of higher level control system issues that might be fruitfully modeled by AI structures; *The discussion of computer-aided methods for analyzing and validating Process Control AI systems. Specifically, this paper examines Objects and Rules as examples of Self-Marshaling Functions, and their utility for modeling, documenting, and implementing control systems.\",\"PeriodicalId\":383719,\"journal\":{\"name\":\"1989 American Control Conference\",\"volume\":\"36 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1989-06-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"1989 American Control Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.23919/ACC.1989.4790403\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"1989 American Control Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.23919/ACC.1989.4790403","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Artificial Intelligence (AI) suggests the paradox of the solution of problems not subject to any systematic analysis. In Process Control, this impression is attractive - we need solutions. It is also unacceptable - we need formal confidence in our designs. This paper adopts three bases to overcome the paradox: *The formal analysis of such AI structures as Rules and Objects; *The analysis of higher level control system issues that might be fruitfully modeled by AI structures; *The discussion of computer-aided methods for analyzing and validating Process Control AI systems. Specifically, this paper examines Objects and Rules as examples of Self-Marshaling Functions, and their utility for modeling, documenting, and implementing control systems.