{"title":"A simplified protocol operational semantics for multiagent protocols","authors":"Jean-Luc Koning","doi":"10.1109/COGINF.2002.1039295","DOIUrl":"https://doi.org/10.1109/COGINF.2002.1039295","url":null,"abstract":"Multiagent systems are based on the notion that if one gathers simple autonomous systems (agents) within a society and they are endowed with interaction skills, then such a society may show complex behaviors not implemented in any individual (distributed intelligence). Agents interact. The communication issue is typically addressed by means of interaction protocols. Their usual representation by means of graphs only offers a syntactic description of the protocol. No semantic information can be taken into consideration. Moreover, the particular family of protocols that are thus addressed falls in the class of regular languages. This means multiagent systems with such protocols deny themselves any chance of a larger interaction expression power. We go beyond this limit by relying on the protocol operational semantics (POS), inspired by the structural operational semantics of programming languages. It is a formalism based on algebraic data types and pattern-matching which enables to easily describe interaction protocols at an agent level. Such a model is not only a theoretical framework, but also a computational one due to the existence of adequate programming languages.","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121686722","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 fuzzy paradigm approach for the cognitive process of categorization","authors":"Cristina Maria Varachiu, N. Varachiu","doi":"10.1109/COGINF.2002.1039302","DOIUrl":"https://doi.org/10.1109/COGINF.2002.1039302","url":null,"abstract":"An example of using the fuzzy paradigm in categorization/pattern recognition process is presented, emphasizing also that fuzziness is a useful alternative to randomness in dealing with uncertainty. In real world situations many experiences, occurrences, processes are non-deterministic, and the arising uncertainty is a natural and important component of human, social and technical systems. We try to demonstrate that in the cognitive process of categorization, to deal with uncertainty-with an important one, the fuzzy uncertainty-is a useful approach, and the uncertainty is an important component of the real word; and we have to cope with it, not to consider it as a \"residual\" problem.","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126056433","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 framework for object identification and refinement process in object-oriented analysis and design","authors":"R. S. Wahono, B. Far","doi":"10.1109/COGINF.2002.1039317","DOIUrl":"https://doi.org/10.1109/COGINF.2002.1039317","url":null,"abstract":"There are many projects focusing on computer aided software engineering (CASE) tools for object-oriented analysis and design. However, there are certain limitations to such solutions, as they concentrate on object-oriented notation and forward/reverse engineering, and the methodology for object identification and refinement is not implemented well. This paper presents a methodology for object identification and refinement from software requirements, based on object-based formal specification (OBFS). This methodology provides a means for understanding the object-oriented paradigm easily, and supports object identification and refinement. As a case study for a comprehensive explanation of how to use this methodology, an example of a software project for an air traffic control system is given.","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124427758","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":"Problems, solutions and information systems development","authors":"D. Patel","doi":"10.1109/COGINF.2002.1039281","DOIUrl":"https://doi.org/10.1109/COGINF.2002.1039281","url":null,"abstract":"In this paper, we adapt Polya's (1957) work, which is based around solving mathematical problems to information systems development. We propose a generic reusable business object model based on general systems theory. We also show how these approaches can be integrated to provide a strategy for understanding business problems and developing integrated solutions within a given industrial sector. We also briefly discuss cognitive informatics and its relevance to understanding problems and solutions.","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124900582","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 software engineering cognitive knowledge discovery framework","authors":"Vincent Chiew","doi":"10.1109/COGINF.2002.1039294","DOIUrl":"https://doi.org/10.1109/COGINF.2002.1039294","url":null,"abstract":"Knowledge discovery has been proven useful in many areas such as marketing, signal processing and strategic military planning. Many approaches have been implemented to increase the discovered knowledge value and knowledge intelligence. This paper suggests one approach by proposing a cognitive knowledge discovery framework based on cognitive informatics. The discussions in this paper draw parallels between computer science technologies and cognitive science concepts, which involve the correlation between software engineering using decision tree technique and cognitive psychology.","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"333 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124691894","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":"Software agents: quality, complexity and uncertainty issues","authors":"B. Far","doi":"10.1109/COGINF.2002.1039290","DOIUrl":"https://doi.org/10.1109/COGINF.2002.1039290","url":null,"abstract":"In software engineering community there is an increasing effort of design and development of multiagent systems (MAS). Among several issues emerging from this initiative, complexity, quality and uncertainty issues have not yet received much attention. The main factors affecting quality of MAS are complexity and knowledgeability. Complexity of MAS can be defined in terms of structural and algorithmic complexity in either objective or subjective way. Knowleageability of MAS can be defined in terms of problem solving and cognitive capabilities and the ability to cope with interactions, such as cooperation, coordination and competition. In this paper we define and address the quality and complexity issues of MAS and define metrics to measure the quality and complexity. The metrics are used for devising a candidate set of agents for MAS design. Furthermore, we address the knowledgeability of MAS and devise models and techniques to cope with uncertainty in competitive situations.","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114539585","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":"Cognitive models of the brain","authors":"Yingxu Wang, Y. Wang","doi":"10.1109/COGINF.2002.1039306","DOIUrl":"https://doi.org/10.1109/COGINF.2002.1039306","url":null,"abstract":"The human brain is the most complicated organ in the universe and a new frontier yet to be explored in an interdisciplinary approach. Investigation of the brain is a unique problem that requires recursive mental power to explore the brain using the brain. This paper attempts to develop functional and cognitive models of the brain by using cognitive informatics and formal methodologies. This paper adopts a memory-based approach to explore the brain, and to demonstrate that memory is the foundation for any natural intelligence. Structures of memories are explored and cognitive models of the natural intelligence are proposed. Cognitive mechanisms of the brain, including hypotheses and theories on the thinking engine of the brain, long-term memory establishment, and roles of sleep in long-term memory development, are investigated. The models and theories are applied to explain a number of fundamental physiological and psychological phenomena.","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"228 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128901785","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":"Theoretical and practical aspects of computer speech processing","authors":"Z. Ciota","doi":"10.1109/COGINF.2002.1039310","DOIUrl":"https://doi.org/10.1109/COGINF.2002.1039310","url":null,"abstract":"The design process of computer speech systems is presented. Going over the solutions of neural networks, the systolic structure gives the biggest possibility for smart realization of a speech processor. A speech processing system, built generally as software surroundings, occupies an immense memory space. For real-time application it is necessary to combine the existing algorithms. Further increasing of the speed can be also achieved by using hardware-software co-design. The approach presented in this paper, permits to design such effective systems of human voice synthesis and speech identification. Since the spoken language can be very often ambiguous, then it was useful to include a fuzzy logic approach and also artificial neural networks, to obtain more effective methods of speech processing. Mixed analog-digital realizations are also discussed. Practical realizations of the current mode building blocks ensure the cheapest realization of CMOS integrated circuits.","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130265579","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":"Software metrics and human factors for WIBIS (WWW and Internet based information systems)","authors":"M. Azuma","doi":"10.1109/COGINF.2002.1039285","DOIUrl":"https://doi.org/10.1109/COGINF.2002.1039285","url":null,"abstract":"World Wide Web and Internet based information systems (WIBIS) have been widely used due to popularization of high performance personal computers, the Internet and related communication services supported by information technologies such as hypermedia and graphical user interfaces. WIBIS should be able to adapt themselves to both changes in the environment and information needs. In order to satisfy these requirements, WIBIS should integrate software development systems and supporting systems, including both human and computer parts. In this paper, a three-layer system architecture for WIBIS, which integrates a development support system, development system and operation system, is proposed. Software metrics and human factors issues are then discussed for each layer. Human factors issues are also explained using the human cognitive information process model.","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133309769","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":"Cognitive informatics: a knowledge engineering perspective","authors":"Christine W. Chan","doi":"10.1109/COGINF.2002.1039282","DOIUrl":"https://doi.org/10.1109/COGINF.2002.1039282","url":null,"abstract":"This paper presents knowledge engineering and development of an ontology for structuring the knowledge base of an expert system. Ontological engineering is a process that facilitates construction of the knowledge base of an intelligent system, which can be defined as a computer program that can duplicate problem-solving capabilities of human experts in specific areas. In this case, the system can automate the operator's experiences in monitor and control an oil production and processing facility. Ontology is the study of the organization and classification of knowledge. Ontological engineering in artificial intelligence (AI) has the practical goal of constructing frameworks for knowledge that allow computational systems to tackle knowledge-intensive problems and supports knowledge sharing and reuse. We present in this paper the processes of knowledge acquisition (KA), analysis, and representation using a conceptual modeling tool, the inferential modeling technique (IMT), as a basis for ontology construction in the domain of monitoring of a petroleum production and processing facility. The objectives of developing an expert system for the oil production facility are to enable remote monitoring of the important processing parameters in different sections of the facilities and facilitate generation of operational and management reports from the gathered data for the petroleum production facility located in Saskatchewan, Canada.","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125148847","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}