首页 > 最新文献

12th International Conference of the Chilean Computer Science Society, 2002. Proceedings.最新文献

英文 中文
Data warehouse design: a schema-transformation approach 数据仓库设计:模式转换方法
Adriana Marotta, R. Ruggia
This paper addresses DW design problems, with the goal of improving the DW logical design process. Some of the existing work in transformation oriented methodologies for DW design construct the DW starting from an entity-relationship model of the source database, and arrive to a conceptual or high-level-logical dimensional model of the DW. We propose a mechanism for obtaining the DW logical schema through pre-defined transformations applied to the source logical schema, which can be used as a complement to the existing DW design methodologies. The transformations allow a refined logical design of the DW and provide a trace of the design and a mapping between the source and DW logical structures.
本文讨论了数据仓库的设计问题,旨在改进数据仓库的逻辑设计过程。面向转换的数据仓库设计方法中的一些现有工作是从源数据库的实体-关系模型开始构建数据仓库,并到达数据仓库的概念或高级逻辑维度模型。我们提出了一种机制,通过应用于源逻辑模式的预定义转换来获得DW逻辑模式,该机制可以作为现有DW设计方法的补充。转换允许对DW进行精细化的逻辑设计,并提供设计的跟踪以及源和DW逻辑结构之间的映射。
{"title":"Data warehouse design: a schema-transformation approach","authors":"Adriana Marotta, R. Ruggia","doi":"10.1109/SCCC.2002.1173188","DOIUrl":"https://doi.org/10.1109/SCCC.2002.1173188","url":null,"abstract":"This paper addresses DW design problems, with the goal of improving the DW logical design process. Some of the existing work in transformation oriented methodologies for DW design construct the DW starting from an entity-relationship model of the source database, and arrive to a conceptual or high-level-logical dimensional model of the DW. We propose a mechanism for obtaining the DW logical schema through pre-defined transformations applied to the source logical schema, which can be used as a complement to the existing DW design methodologies. The transformations allow a refined logical design of the DW and provide a trace of the design and a mapping between the source and DW logical structures.","PeriodicalId":130951,"journal":{"name":"12th International Conference of the Chilean Computer Science Society, 2002. Proceedings.","volume":"4 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120914365","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}
引用次数: 41
Cost effective vision system for mobile robots 具有成本效益的移动机器人视觉系统
Juan F. Martin, L. Chiang
A Webcam-based vision system for performing image processing in real time in a restricted environment is presented. A color based image segmentation algorithm is the fundamental part of the system. Algorithm efficiency was very important due to hardware limitations. This led to a simple and cost-effective vision system that is able to detect and identify several mobile robots through successive frames. The main achievements of the presented system can be described as robust object detection under relative constant illumination and sufficient refresh rate at image processing to evaluate position and direction of movement of target objects with a rough idea of speed.
提出了一种基于网络摄像头的视觉系统,用于在受限环境下进行实时图像处理。基于颜色的图像分割算法是该系统的基础部分。由于硬件的限制,算法效率非常重要。这导致了一个简单而经济的视觉系统,能够通过连续的帧检测和识别几个移动机器人。该系统的主要成果可以描述为在相对恒定光照下的鲁棒目标检测和足够的图像处理刷新率,以粗略的速度概念评估目标物体的位置和运动方向。
{"title":"Cost effective vision system for mobile robots","authors":"Juan F. Martin, L. Chiang","doi":"10.1109/SCCC.2002.1173172","DOIUrl":"https://doi.org/10.1109/SCCC.2002.1173172","url":null,"abstract":"A Webcam-based vision system for performing image processing in real time in a restricted environment is presented. A color based image segmentation algorithm is the fundamental part of the system. Algorithm efficiency was very important due to hardware limitations. This led to a simple and cost-effective vision system that is able to detect and identify several mobile robots through successive frames. The main achievements of the presented system can be described as robust object detection under relative constant illumination and sufficient refresh rate at image processing to evaluate position and direction of movement of target objects with a rough idea of speed.","PeriodicalId":130951,"journal":{"name":"12th International Conference of the Chilean Computer Science Society, 2002. Proceedings.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131060339","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}
引用次数: 1
Incremental, collaborative software process improvement in a tiny software group 在一个小型软件组中进行增量的、协作的软件过程改进
Pablo A. Straub, D. Guzmán
Defined software processes using quality models like CMM have proven to be effective means to develop software in large organizations. The effort required to define or tailor a process for a very small group may easily exceed available resources. Our aim is to define a software process compatible with CMM level 3 for a 1-dozen engineer organization, without committing significant resources. We have defined a model for processes based upon small process elements and a collaborative method to incrementally describe processes from actual practice. The model is implemented using XML.
使用质量模型(如CMM)定义的软件过程已被证明是在大型组织中开发软件的有效手段。为非常小的团队定义或定制流程所需的工作可能很容易超过可用的资源。我们的目标是为一个12个工程师组织定义一个与CMM级别3兼容的软件过程,而不需要投入大量资源。我们已经定义了一个基于小过程元素的过程模型,以及一个从实际实践中增量地描述过程的协作方法。该模型是使用XML实现的。
{"title":"Incremental, collaborative software process improvement in a tiny software group","authors":"Pablo A. Straub, D. Guzmán","doi":"10.1109/SCCC.2002.1173193","DOIUrl":"https://doi.org/10.1109/SCCC.2002.1173193","url":null,"abstract":"Defined software processes using quality models like CMM have proven to be effective means to develop software in large organizations. The effort required to define or tailor a process for a very small group may easily exceed available resources. Our aim is to define a software process compatible with CMM level 3 for a 1-dozen engineer organization, without committing significant resources. We have defined a model for processes based upon small process elements and a collaborative method to incrementally describe processes from actual practice. The model is implemented using XML.","PeriodicalId":130951,"journal":{"name":"12th International Conference of the Chilean Computer Science Society, 2002. Proceedings.","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126015508","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}
引用次数: 3
Comparing visual component composition environments 比较视觉组件组成环境
A. Cechich, Manuel E. Prieto
Current visual programming environments offer a variety of composition possibilities. Most of these environments provide drag and drop facilities of components on a form and let the interaction between components be defined by selecting suitable components and checking the incompatibilities of the resulting composition. Thus, the special nature of component-based development environments induces requirements for capabilities such as identification, retrieval and integration of components. We propose a framework for comparing visual component composition techniques and environments. We identify basic and specific features that compose the framework and we show its use by comparing four visual composition environments.
当前的可视化编程环境提供了多种组合可能性。这些环境中的大多数都提供了窗体上组件的拖放功能,并允许通过选择合适的组件和检查结果组合的不兼容性来定义组件之间的交互。因此,基于组件的开发环境的特殊性质导致了对诸如组件的识别、检索和集成等功能的需求。我们提出了一个比较视觉组件组成技术和环境的框架。我们确定了组成框架的基本和特定功能,并通过比较四种视觉组合环境来展示它的使用。
{"title":"Comparing visual component composition environments","authors":"A. Cechich, Manuel E. Prieto","doi":"10.1109/SCCC.2002.1173197","DOIUrl":"https://doi.org/10.1109/SCCC.2002.1173197","url":null,"abstract":"Current visual programming environments offer a variety of composition possibilities. Most of these environments provide drag and drop facilities of components on a form and let the interaction between components be defined by selecting suitable components and checking the incompatibilities of the resulting composition. Thus, the special nature of component-based development environments induces requirements for capabilities such as identification, retrieval and integration of components. We propose a framework for comparing visual component composition techniques and environments. We identify basic and specific features that compose the framework and we show its use by comparing four visual composition environments.","PeriodicalId":130951,"journal":{"name":"12th International Conference of the Chilean Computer Science Society, 2002. Proceedings.","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121624591","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}
引用次数: 4
A constraint parser for contextual rules 上下文规则的约束解析器
Diego Garat, Dina Wonsever
In this paper we describe a constraint analyser for contextual rules. Contextual rules constitute a rule-based formalism that allows rewriting of terminals and/or non terminal sequences taking in account their context. The formalism allows also to refer to portions of text by means of exclusion zones, that is, patterns that are only specified by a maximum length and a set of not allowed categories. The constraint approach reveals particularly useful for this type of rules, as decisions can be taken under the hypothesis of non existence of the excluded categories. If these categories are finally deduced, all other categories inferred upon the non existence of the former ones are automatically eliminated. The parser has been implemented using Constraint, Handling Rules. Some results with a set of rules oriented to the segmentation of texts in propositions are shown.
本文描述了一个上下文规则的约束分析器。上下文规则构成了基于规则的形式体系,允许根据上下文重写终端和/或非终端序列。形式主义还允许通过排除区域引用文本的部分内容,即仅由最大长度和一组不允许的类别指定的模式。约束方法对这种类型的规则特别有用,因为可以在排除的类别不存在的假设下做出决策。如果这两个范畴最后被推演出来,那么根据前两个范畴不存在而推演出来的其他一切范畴就自动地被排除了。解析器是使用约束、处理规则实现的。本文给出了一组基于规则的命题文本分割的结果。
{"title":"A constraint parser for contextual rules","authors":"Diego Garat, Dina Wonsever","doi":"10.1109/SCCC.2002.1173200","DOIUrl":"https://doi.org/10.1109/SCCC.2002.1173200","url":null,"abstract":"In this paper we describe a constraint analyser for contextual rules. Contextual rules constitute a rule-based formalism that allows rewriting of terminals and/or non terminal sequences taking in account their context. The formalism allows also to refer to portions of text by means of exclusion zones, that is, patterns that are only specified by a maximum length and a set of not allowed categories. The constraint approach reveals particularly useful for this type of rules, as decisions can be taken under the hypothesis of non existence of the excluded categories. If these categories are finally deduced, all other categories inferred upon the non existence of the former ones are automatically eliminated. The parser has been implemented using Constraint, Handling Rules. Some results with a set of rules oriented to the segmentation of texts in propositions are shown.","PeriodicalId":130951,"journal":{"name":"12th International Conference of the Chilean Computer Science Society, 2002. Proceedings.","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114610345","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}
引用次数: 6
Modeling EAI [Enterprise Application Integration] EAI建模[企业应用集成]
F. Losavio, D. Ortega, M. Pérez
Software integration has been a solution to the problem of connecting dissimilar systems for many years. Integration is still a challenging issue. EAI is defined as the process of integrating enterprise systems with existing applications. Since software integration research has yielded a variety of different concepts, we survey and discuss this terminology. EAI arises as an evolution of the CASE technology approach. The main goal of this work is the modeling of EAI in order to obtain a more organized and unified view of the main aspects involved. The EAI model presented was constructed extending the known Brown's (1994) Conceptual Model of Integration. One contribution of this paper is the identification of architectural styles and patterns and the specification of a quality model based on the ISO 9126-1 standard for enterprise systems (ES). This quality model specifies the quality characteristics that the systems in the EAI domain should hold.
多年来,软件集成一直是连接不同系统问题的解决方案。整合仍然是一个具有挑战性的问题。EAI被定义为将企业系统与现有应用程序集成的过程。由于软件集成研究产生了各种不同的概念,我们对这些术语进行了调查和讨论。EAI是作为CASE技术方法的演进而出现的。这项工作的主要目标是对EAI进行建模,以便对所涉及的主要方面获得更有组织和统一的视图。本文提出的EAI模型是对Brown(1994)集成概念模型的扩展。本文的一个贡献是确定了体系结构风格和模式,以及基于企业系统(ES)的ISO 9126-1标准的质量模型规范。这个质量模型指定了EAI域中的系统应该保持的质量特征。
{"title":"Modeling EAI [Enterprise Application Integration]","authors":"F. Losavio, D. Ortega, M. Pérez","doi":"10.1109/SCCC.2002.1173194","DOIUrl":"https://doi.org/10.1109/SCCC.2002.1173194","url":null,"abstract":"Software integration has been a solution to the problem of connecting dissimilar systems for many years. Integration is still a challenging issue. EAI is defined as the process of integrating enterprise systems with existing applications. Since software integration research has yielded a variety of different concepts, we survey and discuss this terminology. EAI arises as an evolution of the CASE technology approach. The main goal of this work is the modeling of EAI in order to obtain a more organized and unified view of the main aspects involved. The EAI model presented was constructed extending the known Brown's (1994) Conceptual Model of Integration. One contribution of this paper is the identification of architectural styles and patterns and the specification of a quality model based on the ISO 9126-1 standard for enterprise systems (ES). This quality model specifies the quality characteristics that the systems in the EAI domain should hold.","PeriodicalId":130951,"journal":{"name":"12th International Conference of the Chilean Computer Science Society, 2002. Proceedings.","volume":"134 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130982239","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}
引用次数: 11
Implementing wireless networks with transition mechanisms 实现具有过渡机制的无线网络
Edgard Jamhour, Simone Storoz
The deployment of wireless networks based on IPv4 is spreading quickly all over the world. However, there is a strong shortage of public IPv4 addresses. Because of this, IPv6 has recently, received a new push of development. Most of the advances related to IPv6 are concerned to the development of transition mechanisms allowing IPv6 hosts to communicate through an existing IPv4 infrastructure or yet, permitting the communication between IPv4 and IPv6 hosts. This paper addresses the issue of using private IP addresses for implementing Mobile IP in wireless networks using IPv4/IPv6 transition mechanisms. An overview of the published IPv4/IPv6 transition mechanisms is presented, then, a new mechanism, called Transparent IPv6, which combines features of existing mechanisms, is proposed. The Transparent IPv6 mechanism consists in virtually assigning IPv6 addresses to IPv4 hosts without modifying user devices. This technique could be used to permit the deployment of wireless networks without requiring public IPv4 addresses, using legacy IPv4 equipments.
基于IPv4的无线网络的部署正在全球范围内迅速普及。然而,公网IPv4地址严重短缺。正因为如此,IPv6最近又受到了新的发展推动。大多数与IPv6相关的进展都涉及到过渡机制的发展,允许IPv6主机通过现有的IPv4基础设施进行通信,或者允许IPv4和IPv6主机之间的通信。本文讨论了在使用IPv4/IPv6转换机制的无线网络中使用私有IP地址实现移动IP的问题。在概述IPv4/IPv6转换机制的基础上,提出了一种新的机制,称为透明IPv6,它结合了现有机制的特点。透明IPv6机制是指在不修改用户设备的情况下,虚拟地为IPv4主机分配IPv6地址。这种技术可以用来部署无线网络,而不需要公共IPv4地址,使用传统的IPv4设备。
{"title":"Implementing wireless networks with transition mechanisms","authors":"Edgard Jamhour, Simone Storoz","doi":"10.1109/SCCC.2002.1173175","DOIUrl":"https://doi.org/10.1109/SCCC.2002.1173175","url":null,"abstract":"The deployment of wireless networks based on IPv4 is spreading quickly all over the world. However, there is a strong shortage of public IPv4 addresses. Because of this, IPv6 has recently, received a new push of development. Most of the advances related to IPv6 are concerned to the development of transition mechanisms allowing IPv6 hosts to communicate through an existing IPv4 infrastructure or yet, permitting the communication between IPv4 and IPv6 hosts. This paper addresses the issue of using private IP addresses for implementing Mobile IP in wireless networks using IPv4/IPv6 transition mechanisms. An overview of the published IPv4/IPv6 transition mechanisms is presented, then, a new mechanism, called Transparent IPv6, which combines features of existing mechanisms, is proposed. The Transparent IPv6 mechanism consists in virtually assigning IPv6 addresses to IPv4 hosts without modifying user devices. This technique could be used to permit the deployment of wireless networks without requiring public IPv4 addresses, using legacy IPv4 equipments.","PeriodicalId":130951,"journal":{"name":"12th International Conference of the Chilean Computer Science Society, 2002. Proceedings.","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123455846","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}
引用次数: 1
Modeling data using fuzzy attributes 使用模糊属性建模数据
Angélica Urrutia, José Galindo, M. Piattini
We present a proposal for the application of fuzzy logic to conceptual modeling as an extension to the EER model. In order to do this, we extend some EER components to fuzzy ERR and we propose a notation for fuzzy representations, such as fuzzy values in the attributes, the degree in each value of an attribute and the degree in a set of values of diverse attributes, as well as fuzzy entities treated as a degree in all the instances of the entity. In the case of the degrees we have found that these may have a different meaning to that which we are trying to represent.
我们提出了将模糊逻辑应用于概念建模的建议,作为EER模型的扩展。为了做到这一点,我们将一些EER组件扩展到模糊ERR,并提出了模糊表示的表示法,例如属性中的模糊值,属性中每个值的程度和不同属性的一组值的程度,以及在实体的所有实例中作为程度处理的模糊实体。在度的情况下,我们已经发现,这些可能有一个不同的意义,我们试图表示。
{"title":"Modeling data using fuzzy attributes","authors":"Angélica Urrutia, José Galindo, M. Piattini","doi":"10.1109/SCCC.2002.1173182","DOIUrl":"https://doi.org/10.1109/SCCC.2002.1173182","url":null,"abstract":"We present a proposal for the application of fuzzy logic to conceptual modeling as an extension to the EER model. In order to do this, we extend some EER components to fuzzy ERR and we propose a notation for fuzzy representations, such as fuzzy values in the attributes, the degree in each value of an attribute and the degree in a set of values of diverse attributes, as well as fuzzy entities treated as a degree in all the instances of the entity. In the case of the degrees we have found that these may have a different meaning to that which we are trying to represent.","PeriodicalId":130951,"journal":{"name":"12th International Conference of the Chilean Computer Science Society, 2002. Proceedings.","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116044689","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}
引用次数: 13
Quality of service for ad hoc wireless network 自组织无线网络的服务质量
A. Roche, Carlos Becker Westphall, P. A. C. K. G. V. Mecklenburg
Wireless networks represent the new computer paradigm. They have as main function to provide users with permanent access, independently of their physical location. With the decrease in the costs of portable devices and the increase in their capacity, a new concept called ad hoc network appeared. Through this technology, communication is made directly between mobile computers. In this paper, the proposal and validation of a mechanism based on the bandwidth management principle are done to guarantee QoS (Quality of Service) in ad hoc wireless networks. Therefore, a software is developed to simulate ad hoc environments, making connections following the approach of the already proposed mechanism. Several experiences demonstrating the advantages of this method were carried out. They proved that this method guarantees a better use of the transmission channel and, at the same time, accepts more connections.
无线网络代表了新的计算机范式。它们的主要功能是为用户提供永久访问,而不受其物理位置的影响。随着便携式设备成本的降低和容量的增加,出现了一个新的概念——自组织网络。通过这项技术,移动计算机之间可以直接通信。本文提出并验证了一种基于带宽管理原理的自组织无线网络服务质量保证机制。因此,开发了一个软件来模拟临时环境,按照已经提出的机制的方法进行连接。通过实例说明了该方法的优越性。他们证明,这种方法保证了更好地利用传输信道,同时接受更多的连接。
{"title":"Quality of service for ad hoc wireless network","authors":"A. Roche, Carlos Becker Westphall, P. A. C. K. G. V. Mecklenburg","doi":"10.1109/SCCC.2002.1173179","DOIUrl":"https://doi.org/10.1109/SCCC.2002.1173179","url":null,"abstract":"Wireless networks represent the new computer paradigm. They have as main function to provide users with permanent access, independently of their physical location. With the decrease in the costs of portable devices and the increase in their capacity, a new concept called ad hoc network appeared. Through this technology, communication is made directly between mobile computers. In this paper, the proposal and validation of a mechanism based on the bandwidth management principle are done to guarantee QoS (Quality of Service) in ad hoc wireless networks. Therefore, a software is developed to simulate ad hoc environments, making connections following the approach of the already proposed mechanism. Several experiences demonstrating the advantages of this method were carried out. They proved that this method guarantees a better use of the transmission channel and, at the same time, accepts more connections.","PeriodicalId":130951,"journal":{"name":"12th International Conference of the Chilean Computer Science Society, 2002. Proceedings.","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124036758","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}
引用次数: 11
On procedure recognition in the Situation Calculus 论情景演算中的程序识别
Jorge A. Baier
The aim of our ongoing research is to give a method to construct intelligent tutoring systems for agents who are executing typical procedures in dynamic environments based on a logical framework. Typical procedures are similar to plans in the sense that they describe the actions an agent should execute to achieve a certain goal. In this paper we address what we consider is the first step toward the construction of this kind of system: procedure recognition. We formalize what it means that an agent is performing a procedure in the Situation Calculus, a logical first-order language extended with induction. Based upon this formalization, we give two different implementations. The first, which is directly based in our formalization, is proved to be quite inefficient. The second, significantly more efficient, arises from a logical reformulation of the original formalization. Procedures are represented through CONGOLOG programs, a logical interpreted language based on the Situation Calculus.
我们正在进行的研究的目的是提供一种基于逻辑框架的方法,为在动态环境中执行典型过程的代理构建智能辅导系统。典型的过程类似于计划,因为它们描述了代理为实现某个目标应该执行的操作。在本文中,我们讨论了我们认为是构建这种系统的第一步:程序识别。我们在情境演算中形式化agent正在执行一个过程的含义,情境演算是一种扩展了归纳的一阶逻辑语言。基于这种形式化,我们给出了两种不同的实现。第一个直接基于我们的形式化的方法被证明是非常低效的。第二种方法的效率要高得多,它源于对原始形式化的逻辑重新表述。程序通过CONGOLOG程序来表示,CONGOLOG程序是一种基于情景演算的逻辑解释语言。
{"title":"On procedure recognition in the Situation Calculus","authors":"Jorge A. Baier","doi":"10.1109/SCCC.2002.1173171","DOIUrl":"https://doi.org/10.1109/SCCC.2002.1173171","url":null,"abstract":"The aim of our ongoing research is to give a method to construct intelligent tutoring systems for agents who are executing typical procedures in dynamic environments based on a logical framework. Typical procedures are similar to plans in the sense that they describe the actions an agent should execute to achieve a certain goal. In this paper we address what we consider is the first step toward the construction of this kind of system: procedure recognition. We formalize what it means that an agent is performing a procedure in the Situation Calculus, a logical first-order language extended with induction. Based upon this formalization, we give two different implementations. The first, which is directly based in our formalization, is proved to be quite inefficient. The second, significantly more efficient, arises from a logical reformulation of the original formalization. Procedures are represented through CONGOLOG programs, a logical interpreted language based on the Situation Calculus.","PeriodicalId":130951,"journal":{"name":"12th International Conference of the Chilean Computer Science Society, 2002. Proceedings.","volume":"10 8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127282602","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}
引用次数: 3
期刊
12th International Conference of the Chilean Computer Science Society, 2002. Proceedings.
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1