{"title":"Multiresolutional semiotic systems","authors":"A. Meystel","doi":"10.1109/ISIC.1999.796654","DOIUrl":"https://doi.org/10.1109/ISIC.1999.796654","url":null,"abstract":"It turns out that intelligent systems cannot be completely and consistently described without reference to semiotics. Semiotics is a discipline that focuses upon maintenance of the systems of signs and symbols so that they could convey the intended meaning. Semiotics differs from mathematics and mathematical logic by its close attention to the operation of symbol grounding. Semiotics conducts this operation not only in the beginning and in the end of the problem solving process but at all stages of it. An important property of semiotic closure holds in the intelligent system as the paradigm for verification of consistency of its functioning. If a symbol demonstrates any changes in interpretation, this is recorded, and the required transformations continue under shifted interpretation. This paper outlines the set of theoretical premises required for constructing a pragmatically complete, logically consistent, and mathematically formalized semiotic system for interpretation and control.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130300713","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"FMS job-shop scheduling under disruptions with consideration of time and sequence deviation","authors":"Li Zhu, Y. Soh","doi":"10.1109/ISIC.1999.796644","DOIUrl":"https://doi.org/10.1109/ISIC.1999.796644","url":null,"abstract":"In this paper, we present a two-stage procedure off-line scheduling algorithm based on the Lagrangian relaxation method to maintain minimum mean weighted flow time for solving FMS job shop problems. On the other hand, uncertainties in the production environment inevitably result in deviations from the initial schedules. Five types of disruptions are considered in the case of rescheduling with an objective of maximum stability. Regarding the stability (time and sequence deviation) and efficiency (makespan), the simulation results of both short time and long time machine breakdown are illustrated for discussion.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123345597","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Comparison of relational methods and attribute-based methods for data mining in intelligent systems","authors":"Boris Kovalerchuk, E. Vityaev","doi":"10.1109/ISIC.1999.796648","DOIUrl":"https://doi.org/10.1109/ISIC.1999.796648","url":null,"abstract":"Most of the data mining methods in real-world intelligent systems are attribute-based machine learning methods such as neural networks, nearest neighbors and decision trees. They are relatively simple, efficient, and can handle noisy data. However, these methods have two strong limitations: (1) a limited form of expressing the background knowledge and (2) the lack of relations other than \"object-attribute\" makes the concept description language inappropriate for some applications. Relational hybrid data mining methods based on first-order logic were developed to meet these challenges. In the paper they are compared with neural networks and other benchmark methods. The comparison shows several advantages of relational methods.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130131234","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Symbol systems in constructed complex systems","authors":"C. Landauer, K. Bellman","doi":"10.1109/ISIC.1999.796653","DOIUrl":"https://doi.org/10.1109/ISIC.1999.796653","url":null,"abstract":"This paper is about a particular technical problem in the study of autonomy in constructed complex systems: how can a computing system decide that it needs a new symbol system to re-express all of its own processes? We have shown earlier that a constructed complex system will need to change its symbol system, by proving two theorems that limit what it can do with a fixed symbol system. To change that phenomenon, we need construction mechanisms that can themselves be changed and elaborated. In this paper, we show how a constructed complex system can decide that it needs to change its symbol system, and how it can do it. We think that if we can change the construction mechanisms, then we have another way to escape the trap of creeping rigidity: we can elaborate the units out from underneath the existing structures. This brings us directly to computational semiotics, which is the study of the treatment and use of symbols in computing systems. This paper is primarily intended to stimulate discussion and further research in these areas.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130265568","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Automatic creation of both the topology and parameters for a robust controller by means of genetic programming","authors":"J. Koza, O. Stiffelman","doi":"10.1109/ISIC.1999.796679","DOIUrl":"https://doi.org/10.1109/ISIC.1999.796679","url":null,"abstract":"The paper describes a general automated method for synthesizing the design of both the topology and parameter values for controllers. The automated method automatically makes decisions concerning the total number of processing blocks to be employed in the controller, the type of each block, the topological interconnections between the blocks, the values of all parameters for the blocks, and the existence, if any, of internal feedback between the blocks of the overall controller. Incorporation of time-domain, frequency-domain, and other constraints on the control or state variables (often analytically intractable using conventional methods) can be readily accommodated. The automatic method described in the paper (genetic programming) is applied to a problem of synthesizing the design of a robust controller for a plant with a second-order lag. A textbook PID compensator preceded by a lowpass pre-filter delivers credible performance on this problem. However, the automatically created controller employs a second derivative processing block (in addition to proportional, integrative, and derivative blocks and a pre-filter). It is better than twice as effective as the textbook controller as measured by the integral of the time-weighted absolute error, has only two-thirds of the rise time in response to the reference (command) input, and is 10 times better in terms of suppressing the effects of disturbance at the plant input.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134341091","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A new method for modular supervision of timed discrete event systems","authors":"Tan-Jan Ho","doi":"10.1109/ISIC.1999.796637","DOIUrl":"https://doi.org/10.1109/ISIC.1999.796637","url":null,"abstract":"It is known that modular synthesis for discrete event systems can render better design flexibility than centralized synthesis. This paper extends the author's previous centralized method (1997) to a new method for modular supervision of timed discrete event systems (TDES). Control problems are expressed in terms of forbidden conditions on the base state space of TDES. For tackling such control problems, the proposed modular method, like the centralized method, treats a tick event standing for the passage of a clock tick as an abstract entity in the implementation of control policies. As a result, the implementation of control synthesis can be accomplished without recourse to the construction of exact event trajectories of TDES which may result in state explosion. As such, the proposed method is quite often efficient by trading off an optimal solution for a simpler appropriate solution. The design approach is applied to a modular supervisory control of a simplified model of a manufacturing system with three robots.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128331416","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Controller synthesis for hybrid systems with linear vector fields","authors":"P. Manon, C. Valentin-Roubinet","doi":"10.1109/ISIC.1999.796623","DOIUrl":"https://doi.org/10.1109/ISIC.1999.796623","url":null,"abstract":"Presents a method which can synthesize a trajectory to drive a hybrid system with linear vector fields from an initial state to a final state. All the possible states and evolutions of the process are modeled by a hybrid automata. Then a controllability analysis is carried out in state-space with geometric calculus and a controller which fulfils the specifications is synthesized.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"143 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127504873","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"ICa: middleware for intelligent control","authors":"R. Sanz, J. Clavijo, A. de Antonio, M. Segarra","doi":"10.1109/ISIC.1999.796686","DOIUrl":"https://doi.org/10.1109/ISIC.1999.796686","url":null,"abstract":"The effective development of intelligent process controllers of high complexity relies deeply on integration issues. CORBA technology offers a good infrastructure for complex controller integration and deployment. Integrability of heterogeneous technologies (like neural networks or expert systems), distributed nature of large plant controllers, modularized designs or construction and deployment are addressed effectively by means of distributed object computing. We show our developments in this area of integration middleware for intelligent process control. They are mostly related with the developments done in the ESPRIT DIXIT Project.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"110 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126355396","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"How piecewise affine neural networks can generate a stable nonlinear control","authors":"Charles-Albert Lehalle, R. Azencott","doi":"10.1109/ISIC.1999.796624","DOIUrl":"https://doi.org/10.1109/ISIC.1999.796624","url":null,"abstract":"Deals with the difficulty of designing an artificial neural network to control a nonlinear dynamical system. It is known that controlling a dynamical system that is not exactly modelled is difficult. The capabilities of artificial neural networks in the area of nonlinear control have been explored for instance by Jagannarthan (1998) and Sontag (1997). We have shown (1998) that piecewise affine perceptrons (PAP), a subclass of perceptrons, can be initialized to control a given nonlinear system. Besides they have the same useful properties as classical perceptrons: the universal approximation property and the generalization property. Here we give stability results for nonlinear systems controlled by PAPs. The stability results given are obtained by constructing piecewise quadratic Lyapunov functions. The paper first establishes a result about PAP that is used to adapt a result about stability of piecewise affine continuous-time systems, then a similar result is obtained for discrete-time ones, after that a methodology to tune PAP for control of nonlinear systems is given and finally this is illustrated by an example: the control of an engine combustion model by a PAP.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128148608","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Mechanisms underlying the evolution of robust nonlinear control in biology","authors":"H. Bolouri","doi":"10.1109/ISIC.1999.796695","DOIUrl":"https://doi.org/10.1109/ISIC.1999.796695","url":null,"abstract":"A number of papers have highlighted remarkably high levels of robustness in the biochemical processes that control cellular function. This robustness is achieved in spite of the 'inexact' and highly stochastic nature of molecular interactions. Averaging, thresholding, resynchronization, and feedback are used extensively in biological systems to achieve robustness. How did incremental evolutionary changes lead to such sophisticated control algorithms? Can these principles be abstracted and used to artificially evolve robust nonlinear control in engineered systems? We present an analysis of the mechanisms underlying biological evolution and offer a model of molecular evolution as incremental model building and optimization.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114677369","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}