首页 > 最新文献

2014 13th Mexican International Conference on Artificial Intelligence最新文献

英文 中文
On Automatic Theorem Proving with ML 用ML自动证明定理
Pub Date : 2014-11-16 DOI: 10.1109/MICAI.2014.42
Juan Pablo Munoz Toriz, I. M. Ruiz, José Ramón Enrique Arrazola-Ramírez
In this paper, we describe the development of a series of automatic theorem provers for a variety of logics. Provers are developed from a functional approach. The first prover is for Classical Propositional Calculus (CPC), which is based on a constructive proof of Kalmar's Theorem. We also provide the implementation of a cut and contraction free sequent calculus for Intuitionistic Propositional Logic (IPC). Next, it is introduced a prover for ALCS4, which is the description logic ALC with transitive and reflexive roles only. This prover is also based on a cut and contraction free sequent calculus. We also provide a complexity analysis for each prover.
在本文中,我们描述了一系列用于各种逻辑的自动定理证明的发展。证明程序是从功能方法开发的。第一个证明是关于经典命题微积分的,它是基于卡尔玛定理的构造性证明。我们还为直觉命题逻辑(IPC)提供了一个无切割和收缩的序列演算的实现。接下来,介绍了ALCS4的证明程序,它是仅具有传递和自反角色的描述逻辑ALC。这个证明也是基于无切割和无收缩的序贯演算。我们还为每个证明程序提供了复杂性分析。
{"title":"On Automatic Theorem Proving with ML","authors":"Juan Pablo Munoz Toriz, I. M. Ruiz, José Ramón Enrique Arrazola-Ramírez","doi":"10.1109/MICAI.2014.42","DOIUrl":"https://doi.org/10.1109/MICAI.2014.42","url":null,"abstract":"In this paper, we describe the development of a series of automatic theorem provers for a variety of logics. Provers are developed from a functional approach. The first prover is for Classical Propositional Calculus (CPC), which is based on a constructive proof of Kalmar's Theorem. We also provide the implementation of a cut and contraction free sequent calculus for Intuitionistic Propositional Logic (IPC). Next, it is introduced a prover for ALCS4, which is the description logic ALC with transitive and reflexive roles only. This prover is also based on a cut and contraction free sequent calculus. We also provide a complexity analysis for each prover.","PeriodicalId":189896,"journal":{"name":"2014 13th Mexican International Conference on Artificial Intelligence","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128441709","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
Using Soft Similarity in Multi-label Classification for Reuters-21578 Corpus 基于软相似度的路透社-21578语料多标签分类
Pub Date : 2014-11-16 DOI: 10.1109/MICAI.2014.7
J. Trejo, G. Sidorov, Marco Moreno, Sabino Miranda-Jiménez, Rodrigo Cadena Martínez
In classification tasks one of the main problems is to choose which features provide best results, i.e., Construct a vector space model. In this paper, we show how to complement traditional vector space model with the concept of soft similarity. We use the combination of the traditional tf-idf model with latent Dirichlet allocation applied in multi-label classification. We considered multi-label files of the Reuters-21578 corpus as study case. The methodology is evaluated using the multi-label algorithm Rakell. We used the traditional tf-idf model as the baseline. We present the F1 measures for both models for various feature sets, preprocessing techniques and vector sizes. The new model obtains better results than the base line model.
在分类任务中,一个主要问题是选择哪些特征能提供最好的结果,即构造一个向量空间模型。在本文中,我们展示了如何用软相似度的概念来补充传统的向量空间模型。我们将传统的tf-idf模型与潜在的Dirichlet分配相结合,应用于多标签分类。我们以Reuters-21578语料库的多标签文件为研究案例。该方法使用多标签算法Rakell进行评估。我们使用传统的tf-idf模型作为基线。我们提出了针对各种特征集、预处理技术和矢量大小的两种模型的F1度量。新模型比基线模型得到了更好的结果。
{"title":"Using Soft Similarity in Multi-label Classification for Reuters-21578 Corpus","authors":"J. Trejo, G. Sidorov, Marco Moreno, Sabino Miranda-Jiménez, Rodrigo Cadena Martínez","doi":"10.1109/MICAI.2014.7","DOIUrl":"https://doi.org/10.1109/MICAI.2014.7","url":null,"abstract":"In classification tasks one of the main problems is to choose which features provide best results, i.e., Construct a vector space model. In this paper, we show how to complement traditional vector space model with the concept of soft similarity. We use the combination of the traditional tf-idf model with latent Dirichlet allocation applied in multi-label classification. We considered multi-label files of the Reuters-21578 corpus as study case. The methodology is evaluated using the multi-label algorithm Rakell. We used the traditional tf-idf model as the baseline. We present the F1 measures for both models for various feature sets, preprocessing techniques and vector sizes. The new model obtains better results than the base line model.","PeriodicalId":189896,"journal":{"name":"2014 13th Mexican International Conference on Artificial Intelligence","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129333343","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
Time Series Forecasting with PSO-Optimized Neural Networks 基于pso优化神经网络的时间序列预测
Pub Date : 2014-11-16 DOI: 10.1109/MICAI.2014.22
Daniel Alba-Cuellar, A. Zavala, A. H. Aguirre, E. E. P. D. L. Sentí, E. Díaz-Díaz
In this paper, we propose a new methodology to forecast values for univariate time series datasets, based on a Feed Forward Neural Network (FFNN) ensemble. Each ensemble element is trained with the Particle Swarm Optimization (PSO) algorithm, this ensemble produces a final sequence of time series forecasts via a bootstrapping procedure. Our proposed methodology is compared against Auto-Regressive Integrated Moving Average (ARIMA) models. This experiment gives us a good idea of how effective soft computing techniques can be in the field of time series modeling. The results obtained show empirically that our proposed methodology is robust and produces useful forecast error bounds that provide a clear picture of a time series' future movements.
本文提出了一种基于前馈神经网络(FFNN)集成的单变量时间序列数据集预测值的新方法。采用粒子群优化算法对集合元素进行训练,并通过自举过程生成最终的时间序列预测序列。我们提出的方法与自回归综合移动平均(ARIMA)模型进行了比较。这个实验让我们很好地了解了软计算技术在时间序列建模领域的有效性。结果表明,我们提出的方法是稳健的,并产生了有用的预测误差界限,提供了一个清晰的画面,一个时间序列的未来运动。
{"title":"Time Series Forecasting with PSO-Optimized Neural Networks","authors":"Daniel Alba-Cuellar, A. Zavala, A. H. Aguirre, E. E. P. D. L. Sentí, E. Díaz-Díaz","doi":"10.1109/MICAI.2014.22","DOIUrl":"https://doi.org/10.1109/MICAI.2014.22","url":null,"abstract":"In this paper, we propose a new methodology to forecast values for univariate time series datasets, based on a Feed Forward Neural Network (FFNN) ensemble. Each ensemble element is trained with the Particle Swarm Optimization (PSO) algorithm, this ensemble produces a final sequence of time series forecasts via a bootstrapping procedure. Our proposed methodology is compared against Auto-Regressive Integrated Moving Average (ARIMA) models. This experiment gives us a good idea of how effective soft computing techniques can be in the field of time series modeling. The results obtained show empirically that our proposed methodology is robust and produces useful forecast error bounds that provide a clear picture of a time series' future movements.","PeriodicalId":189896,"journal":{"name":"2014 13th Mexican International Conference on Artificial Intelligence","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129841429","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
Enhanced Knowledge Discovery Approach in Textual Case Based Reasoning 基于文本案例推理的增强知识发现方法
Pub Date : 2014-11-16 DOI: 10.1109/MICAI.2014.11
Islam Elhalwany, Ammar Mohammed, K. Wassif, H. Hefny
One of the successful approaches for developing TCBR applications is SOPHisticated Information Analysis (SOPHIA), which is distinguished by its ability to work without prior knowledge engineering, domain dependency, or language dependency. One of the critical challenges faced the application of TCBR is responding to enormous requests from users in acceptable performance. Another challenge is the complexity of adapting Arabic language. The main contribution of this paper is proposing an enhanced version of SOPHIA-TCBR, which provides higher accuracy and better time performance. The proposed approach is evaluated in the domain of Arabic Islamic Jurisprudence (fiqh), which is a challenge case study with its large case-base and enormous number of users' requests (questions) daily. This task actually requires a certain smart system that can help in fulfilling people's needs for answers by applying the proposed approach in this domain and overcoming challenges related to the language syntax and semantics.
开发TCBR应用程序的成功方法之一是复杂信息分析(SOPHisticated Information Analysis, SOPHIA),其特点是它能够在没有先验知识工程、领域依赖或语言依赖的情况下工作。TCBR应用程序面临的关键挑战之一是在可接受的性能下响应来自用户的大量请求。另一个挑战是适应阿拉伯语的复杂性。本文的主要贡献是提出了一种增强版的SOPHIA-TCBR,它提供了更高的精度和更好的时间性能。建议的方法在阿拉伯伊斯兰法学(fiqh)领域进行评估,这是一个具有挑战性的案例研究,其庞大的案例基础和每天大量的用户请求(问题)。这项任务实际上需要一个特定的智能系统,该系统可以通过应用该领域提出的方法并克服与语言语法和语义相关的挑战来帮助满足人们对答案的需求。
{"title":"Enhanced Knowledge Discovery Approach in Textual Case Based Reasoning","authors":"Islam Elhalwany, Ammar Mohammed, K. Wassif, H. Hefny","doi":"10.1109/MICAI.2014.11","DOIUrl":"https://doi.org/10.1109/MICAI.2014.11","url":null,"abstract":"One of the successful approaches for developing TCBR applications is SOPHisticated Information Analysis (SOPHIA), which is distinguished by its ability to work without prior knowledge engineering, domain dependency, or language dependency. One of the critical challenges faced the application of TCBR is responding to enormous requests from users in acceptable performance. Another challenge is the complexity of adapting Arabic language. The main contribution of this paper is proposing an enhanced version of SOPHIA-TCBR, which provides higher accuracy and better time performance. The proposed approach is evaluated in the domain of Arabic Islamic Jurisprudence (fiqh), which is a challenge case study with its large case-base and enormous number of users' requests (questions) daily. This task actually requires a certain smart system that can help in fulfilling people's needs for answers by applying the proposed approach in this domain and overcoming challenges related to the language syntax and semantics.","PeriodicalId":189896,"journal":{"name":"2014 13th Mexican International Conference on Artificial Intelligence","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115241292","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
Mining Academic Data Using Visual Patterns 使用视觉模式挖掘学术数据
Pub Date : 2014-11-16 DOI: 10.1109/MICAI.2014.20
G. Martínez-Luna, Jesús-Manuel Olivares-Ceja, Eric Ortega Villanueva, A. Guzmán-Arenas
The Mexican Educative System collects thousands of records each year, related with student performance to support academic decisions. In this paper the data analysis, structures and different visual alternatives are used to discover student trajectories and mobility patterns. A model and a software tool have been developed and complemented with available visualization tools to enable visual pattern detection. The development has been tested with samples of data from several Mexican states and the results encourage the proposal to be used as an alternative to discover data patterns following a visual approach. The implementation of the proposal facilitates timely detection of student progress and bottlenecks for the teacher to provide students with supplementary materials and guides focused towards knowledge acquisition, skills and master concepts, techniques, tools management or production and development of innovative ideas.
墨西哥教育系统每年收集数千份与学生表现有关的记录,以支持学术决策。本文采用数据分析、结构和不同的视觉选择来发现学生的轨迹和流动模式。已经开发了一个模型和一个软件工具,并补充了可用的可视化工具,以实现可视化模式检测。已经使用来自墨西哥几个州的数据样本对该开发进行了测试,结果鼓励将该建议用作按照可视化方法发现数据模式的替代方法。提案的实施有助于及时发现学生的进步和瓶颈,以便教师为学生提供补充材料和指导,重点是知识获取,技能和掌握概念,技术,工具管理或创新思想的产生和发展。
{"title":"Mining Academic Data Using Visual Patterns","authors":"G. Martínez-Luna, Jesús-Manuel Olivares-Ceja, Eric Ortega Villanueva, A. Guzmán-Arenas","doi":"10.1109/MICAI.2014.20","DOIUrl":"https://doi.org/10.1109/MICAI.2014.20","url":null,"abstract":"The Mexican Educative System collects thousands of records each year, related with student performance to support academic decisions. In this paper the data analysis, structures and different visual alternatives are used to discover student trajectories and mobility patterns. A model and a software tool have been developed and complemented with available visualization tools to enable visual pattern detection. The development has been tested with samples of data from several Mexican states and the results encourage the proposal to be used as an alternative to discover data patterns following a visual approach. The implementation of the proposal facilitates timely detection of student progress and bottlenecks for the teacher to provide students with supplementary materials and guides focused towards knowledge acquisition, skills and master concepts, techniques, tools management or production and development of innovative ideas.","PeriodicalId":189896,"journal":{"name":"2014 13th Mexican International Conference on Artificial Intelligence","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121098798","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}
引用次数: 0
Solving a Scholar Timetabling Problem Using a Genetic Algorithm - Study Case: Instituto Tecnologico De Zitacuaro 用遗传算法求解学者课程表问题-研究案例:济塔卡罗理工学院
Pub Date : 2014-11-16 DOI: 10.1109/MICAI.2014.36
Noel E. Rodríguez-Maya, J. Martínez-Carranza, J. Flores, Mario Graff
The Scholar Timetabling Problem consists of fixing a sequence of meetings between lecturers, classrooms and schedule to a set of groups and courses in a given period of time, satisfying a set of different constraints, where each course, lecturer, classroom, and time have special features, this problem is known to be NP-hard. Given the impossibility to solve this problem optimally, traditional and metaheuristic methods have been proposed to provide near-optimal solutions. This paper shows the implementation of a Genetic Algorithm (GA) using a real coding to solve the Scholar Timetabling Problem. A naive representation for chromosomes in a population-based heuristic search leads to high probabilities of violation of the problem constraints. To convert solutions that violate constraints (unfeasible solutions) into ones that do not (feasible solutions), we propose a repair mechanism. Based on the proposed mechanism, we present a possible solution to the Scholar Timetabling Problem applied to a real school (Instituto Tecnologico de Zitacuaro). Here we present experimental results based on different types of GA configurations to solve this problem and present the best GA configuration to solve the study case.
学者课程表问题包括在给定的时间段内将讲师、教室和课程表之间的会议序列固定到一组小组和课程中,满足一组不同的约束条件,其中每个课程、讲师、教室和时间都有特殊的特征,这个问题被称为np困难问题。鉴于不可能最优地解决这个问题,传统和元启发式方法被提出来提供接近最优的解决方案。本文介绍了一种采用实数编码的遗传算法来解决学者排课问题。在基于种群的启发式搜索中,对染色体的朴素表示导致违反问题约束的高概率。为了将违反约束的解决方案(不可行的解决方案)转换为不违反约束的解决方案(可行的解决方案),我们提出了一种修复机制。基于所提出的机制,我们提出了一个适用于实际学校(Instituto tecologico de Zitacuaro)的学者排课问题的可能解决方案。本文给出了基于不同类型遗传算法配置的实验结果,并给出了解决该问题的最佳遗传算法配置。
{"title":"Solving a Scholar Timetabling Problem Using a Genetic Algorithm - Study Case: Instituto Tecnologico De Zitacuaro","authors":"Noel E. Rodríguez-Maya, J. Martínez-Carranza, J. Flores, Mario Graff","doi":"10.1109/MICAI.2014.36","DOIUrl":"https://doi.org/10.1109/MICAI.2014.36","url":null,"abstract":"The Scholar Timetabling Problem consists of fixing a sequence of meetings between lecturers, classrooms and schedule to a set of groups and courses in a given period of time, satisfying a set of different constraints, where each course, lecturer, classroom, and time have special features, this problem is known to be NP-hard. Given the impossibility to solve this problem optimally, traditional and metaheuristic methods have been proposed to provide near-optimal solutions. This paper shows the implementation of a Genetic Algorithm (GA) using a real coding to solve the Scholar Timetabling Problem. A naive representation for chromosomes in a population-based heuristic search leads to high probabilities of violation of the problem constraints. To convert solutions that violate constraints (unfeasible solutions) into ones that do not (feasible solutions), we propose a repair mechanism. Based on the proposed mechanism, we present a possible solution to the Scholar Timetabling Problem applied to a real school (Instituto Tecnologico de Zitacuaro). Here we present experimental results based on different types of GA configurations to solve this problem and present the best GA configuration to solve the study case.","PeriodicalId":189896,"journal":{"name":"2014 13th Mexican International Conference on Artificial Intelligence","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124946663","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
Characterization and Numerical Evaluation of a Color Image Segmentation Method 一种彩色图像分割方法的特性与数值评价
Pub Date : 2014-11-16 DOI: 10.1109/MICAI.2014.14
Rodolfo Alvarado-Cervantes, E. Riverón, Vladislav Khartchenko
We present a characterization and a numerical evaluation of an own semi-automatic color image segmentation method using generated synthetic images with its associated ground truth. The evaluation methodology was designed to assess the efficiency of the resulting color information achieved from color segmentation algorithms. By the use of ROC curves and its analysis, we obtained some particular characteristics of our segmentation method, such as the level of sensibility related to the threshold selection and to the appropriate number of pixels to have by the color sample needed by the algorithm.
我们提出了一种自己的半自动彩色图像分割方法的特征和数值评价,该方法使用生成的合成图像及其相关的地面真值。该评价方法旨在评估从颜色分割算法获得的结果颜色信息的效率。通过使用ROC曲线及其分析,我们获得了我们分割方法的一些特定特征,例如与阈值选择相关的敏感性水平以及算法所需的颜色样本所具有的适当像素数。
{"title":"Characterization and Numerical Evaluation of a Color Image Segmentation Method","authors":"Rodolfo Alvarado-Cervantes, E. Riverón, Vladislav Khartchenko","doi":"10.1109/MICAI.2014.14","DOIUrl":"https://doi.org/10.1109/MICAI.2014.14","url":null,"abstract":"We present a characterization and a numerical evaluation of an own semi-automatic color image segmentation method using generated synthetic images with its associated ground truth. The evaluation methodology was designed to assess the efficiency of the resulting color information achieved from color segmentation algorithms. By the use of ROC curves and its analysis, we obtained some particular characteristics of our segmentation method, such as the level of sensibility related to the threshold selection and to the appropriate number of pixels to have by the color sample needed by the algorithm.","PeriodicalId":189896,"journal":{"name":"2014 13th Mexican International Conference on Artificial Intelligence","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128130703","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}
引用次数: 0
Introducing Simulated Annealing in Partial Order Planning 部分序规划中的模拟退火
Pub Date : 2014-11-16 DOI: 10.1109/MICAI.2014.35
Rosa Liliana Gonzalez Arredondo, Romeo Sanchez, A. Berrones
One of the most popular algorithms in the field of domain independent planning is POP - partial order planning. POP considers a least commitment strategy to solve planning problems. Such strategy delays commitments during the planning phase until it is absolutely necessary. In consequence, the algorithm provides greater flexibility for solving planning problems, but with a higher cost in performance. POP-based techniques do not consider search states, instead, search nodes represent partial plans. Recent advances in planning on distance based heuristics and reach ability analysis have helped POP planners to solve more planning problems than before. Although such heuristic techniques have demonstrated to boost performance for POP algorithms, they still remain behind state space planners. We believe that this is mainly due to the partial order representation of the search nodes in POP. In this article, instead of proposing additional heuristics for POP, we enable POP to consider different areas of its search space. We think that the basic POP algorithm follows a greedy path in its search space suffering from local optima problems, from where it cannot recover. To this extent, we have augmented POP with a simulated annealing procedure, which considers worst solutions with certain probability. The augmented algorithm produces promising results in our empirical evaluation, returning up to 19% more solutions in the problems being considered.
在领域无关规划领域中,最流行的算法之一是POP -偏序规划。POP采用最少承诺策略来解决规划问题。这种战略将规划阶段的承诺推迟到绝对必要的时候。因此,该算法为解决规划问题提供了更大的灵活性,但性能代价较高。基于pop的技术不考虑搜索状态,相反,搜索节点表示部分计划。最近在基于距离的启发式规划和可达性分析方面取得的进展帮助POP规划者比以前解决了更多的规划问题。尽管这种启发式技术已被证明可以提高POP算法的性能,但它们仍然落后于状态空间规划器。我们认为这主要是由于POP中搜索节点的偏序表示。在本文中,我们没有为POP提出额外的启发式方法,而是使POP能够考虑其搜索空间的不同领域。我们认为,基本的POP算法在其搜索空间中遵循贪婪路径,存在局部最优问题,无法从中恢复。在这种程度上,我们用模拟退火程序扩充了POP,该程序考虑具有一定概率的最坏解。在我们的经验评估中,增强算法产生了有希望的结果,在考虑的问题中返回的解多出19%。
{"title":"Introducing Simulated Annealing in Partial Order Planning","authors":"Rosa Liliana Gonzalez Arredondo, Romeo Sanchez, A. Berrones","doi":"10.1109/MICAI.2014.35","DOIUrl":"https://doi.org/10.1109/MICAI.2014.35","url":null,"abstract":"One of the most popular algorithms in the field of domain independent planning is POP - partial order planning. POP considers a least commitment strategy to solve planning problems. Such strategy delays commitments during the planning phase until it is absolutely necessary. In consequence, the algorithm provides greater flexibility for solving planning problems, but with a higher cost in performance. POP-based techniques do not consider search states, instead, search nodes represent partial plans. Recent advances in planning on distance based heuristics and reach ability analysis have helped POP planners to solve more planning problems than before. Although such heuristic techniques have demonstrated to boost performance for POP algorithms, they still remain behind state space planners. We believe that this is mainly due to the partial order representation of the search nodes in POP. In this article, instead of proposing additional heuristics for POP, we enable POP to consider different areas of its search space. We think that the basic POP algorithm follows a greedy path in its search space suffering from local optima problems, from where it cannot recover. To this extent, we have augmented POP with a simulated annealing procedure, which considers worst solutions with certain probability. The augmented algorithm produces promising results in our empirical evaluation, returning up to 19% more solutions in the problems being considered.","PeriodicalId":189896,"journal":{"name":"2014 13th Mexican International Conference on Artificial Intelligence","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134164407","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
Characterization of Nanotube Structures Using Digital-Segmented Images 利用数字分割图像表征纳米管结构
Pub Date : 2014-11-16 DOI: 10.1109/MICAI.2014.15
Orlando Aguilar, Teresa E. M. Alarcón, Oscar Dalmau Cedeño, A. Zamudio
An automatic algorithm for measuring the thickness of carbon nanotubes is presented. The proposed algorithm is based on the computation of the thinning body of nanotubes. The main challenge for measuring the thickness of a nanotube is its isolation, due to the overlapping between nanotubes that typically appears in this type of images. In particular, an algorithm for solving the nanotube overlapping problem in previously-segmented images has also been elaborated. The performance of the algorithm is evaluated through a collection of segmented-images which are obtained from real carbon nanotubes using different types of electronic microscopes. The results of the algorithm are compared with measurements, a ground truth, provided by a nanotechnologist.
提出了一种自动测量碳纳米管厚度的算法。该算法基于纳米管减薄体的计算。测量纳米管厚度的主要挑战是它的隔离性,因为纳米管之间的重叠通常出现在这种类型的图像中。特别地,还详细阐述了一种解决先前分割图像中纳米管重叠问题的算法。通过使用不同类型的电子显微镜从真实的碳纳米管上获得的分割图像集,对算法的性能进行了评估。算法的结果与测量结果进行比较,这是由纳米技术专家提供的基本事实。
{"title":"Characterization of Nanotube Structures Using Digital-Segmented Images","authors":"Orlando Aguilar, Teresa E. M. Alarcón, Oscar Dalmau Cedeño, A. Zamudio","doi":"10.1109/MICAI.2014.15","DOIUrl":"https://doi.org/10.1109/MICAI.2014.15","url":null,"abstract":"An automatic algorithm for measuring the thickness of carbon nanotubes is presented. The proposed algorithm is based on the computation of the thinning body of nanotubes. The main challenge for measuring the thickness of a nanotube is its isolation, due to the overlapping between nanotubes that typically appears in this type of images. In particular, an algorithm for solving the nanotube overlapping problem in previously-segmented images has also been elaborated. The performance of the algorithm is evaluated through a collection of segmented-images which are obtained from real carbon nanotubes using different types of electronic microscopes. The results of the algorithm are compared with measurements, a ground truth, provided by a nanotechnologist.","PeriodicalId":189896,"journal":{"name":"2014 13th Mexican International Conference on Artificial Intelligence","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126244980","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}
引用次数: 2
Peer Recommendation Based on Text Mining Algorithm 基于文本挖掘算法的同行推荐
Pub Date : 2014-11-16 DOI: 10.1109/MICAI.2014.12
S. Aciar
Ask friends about a particular subject are a common situation in the daily life of a person. In virtual environments is a little more difficult. Virtual environments do not always allow face contact that helps people meet and share their experiences to answer questions about a particular subject. In this article are presented: a text mining method for obtaining the knowledge of people from forums and a recommender system that recommends people to ask them about a particular subject.
在日常生活中,向朋友询问某个特定的话题是很常见的。在虚拟环境中就有点困难了。虚拟环境并不总是允许人们面对面交流,帮助人们见面并分享他们的经验,以回答有关特定主题的问题。本文介绍了一种用于从论坛获取人们知识的文本挖掘方法和一个推荐系统,该系统推荐人们向他们询问特定主题。
{"title":"Peer Recommendation Based on Text Mining Algorithm","authors":"S. Aciar","doi":"10.1109/MICAI.2014.12","DOIUrl":"https://doi.org/10.1109/MICAI.2014.12","url":null,"abstract":"Ask friends about a particular subject are a common situation in the daily life of a person. In virtual environments is a little more difficult. Virtual environments do not always allow face contact that helps people meet and share their experiences to answer questions about a particular subject. In this article are presented: a text mining method for obtaining the knowledge of people from forums and a recommender system that recommends people to ask them about a particular subject.","PeriodicalId":189896,"journal":{"name":"2014 13th Mexican International Conference on Artificial Intelligence","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130041989","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}
引用次数: 0
期刊
2014 13th Mexican International Conference on Artificial Intelligence
全部 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