首页 > 最新文献

2007 Sixth Mexican International Conference on Artificial Intelligence, Special Session (MICAI)最新文献

英文 中文
A Comparative Study of Three Metaheuristics Applied to the Traveling Salesman Problem 三种元启发式方法在旅行商问题中的比较研究
J. Pasquier, I.K. Balich, D. W. Carr, C. López-Martín
This paper presents a comparative study of three metaheuristics: Genetic Algorithm (GA), ant Colony Optimization (AC) and Simulated Annealing (SA), implemented to solve the classical Traveling Salesman Problem (TSP). The efficiency of each approach is evaluated taking into account the execution time of the algorithm and the quality of the generated solution. Additionally, metrics of the program, including McCabe complexity, development effort and lines of code, are calculated to complete the comparative study. Finally, an evaluation of the difficulty of implementation and the quality of the results corresponding to each metaheuristic is given. The present research will help programmers understand, evaluate and implement the three metaheuristics.
本文对遗传算法(GA)、蚁群算法(AC)和模拟退火算法(SA)这三种元启发式算法进行了比较研究,用于求解经典的旅行商问题(TSP)。考虑到算法的执行时间和生成的解的质量,评估了每种方法的效率。此外,程序的度量,包括McCabe复杂性、开发工作量和代码行,被计算以完成比较研究。最后,对每个元启发式算法的实施难度和结果质量进行了评价。本研究将帮助程序员理解、评估和实现这三种元启发式方法。
{"title":"A Comparative Study of Three Metaheuristics Applied to the Traveling Salesman Problem","authors":"J. Pasquier, I.K. Balich, D. W. Carr, C. López-Martín","doi":"10.1109/MICAI.2007.14","DOIUrl":"https://doi.org/10.1109/MICAI.2007.14","url":null,"abstract":"This paper presents a comparative study of three metaheuristics: Genetic Algorithm (GA), ant Colony Optimization (AC) and Simulated Annealing (SA), implemented to solve the classical Traveling Salesman Problem (TSP). The efficiency of each approach is evaluated taking into account the execution time of the algorithm and the quality of the generated solution. Additionally, metrics of the program, including McCabe complexity, development effort and lines of code, are calculated to complete the comparative study. Finally, an evaluation of the difficulty of implementation and the quality of the results corresponding to each metaheuristic is given. The present research will help programmers understand, evaluate and implement the three metaheuristics.","PeriodicalId":296192,"journal":{"name":"2007 Sixth Mexican International Conference on Artificial Intelligence, Special Session (MICAI)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124008854","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}
引用次数: 8
A Dedicated Genetic Algorithm for Two-Dimensional Non-Guillotine Strip Packing 二维非断头台带材包装的专用遗传算法
G. Gómez-Villouta, Jean-Philippe Hamiez, Jin-Kao Hao
This paper introduces DGA, a new dedicated genetic algorithm for a two-dimensional (2D) non-guillotine strip packing problem (2D-SPP). DGA integrates two key features: a hierarchical fitness function and a problem-specific crossover operator (WAX for "wasted area based crossover"). The fitness function takes into account not only the final height of the strip (to be minimized), but also the wasted areas. The goal of the meaningful (and "visual'') WAX crossover operator is to preserve the good property of parent packing configurations. To assess the proposed DGA, experimental results are shown on a set of well-known zero-waste benchmark instances and compared with previously reported genetic algorithms as well as the best performing meta-heuristic algorithms.
本文介绍了一种新的专用遗传算法DGA,用于求解二维非断头台条填充问题。DGA集成了两个关键特性:一个分层适应度函数和一个特定于问题的交叉算子(WAX代表“基于浪费面积的交叉”)。适应度函数不仅考虑了条带的最终高度(要最小化),还考虑了浪费的区域。有意义(和“视觉”)的WAX交叉算子的目标是保持母填料配置的良好属性。为了评估所提出的DGA,在一组众所周知的零浪费基准实例上展示了实验结果,并与先前报道的遗传算法以及性能最好的元启发式算法进行了比较。
{"title":"A Dedicated Genetic Algorithm for Two-Dimensional Non-Guillotine Strip Packing","authors":"G. Gómez-Villouta, Jean-Philippe Hamiez, Jin-Kao Hao","doi":"10.1109/MICAI.2007.36","DOIUrl":"https://doi.org/10.1109/MICAI.2007.36","url":null,"abstract":"This paper introduces DGA, a new dedicated genetic algorithm for a two-dimensional (2D) non-guillotine strip packing problem (2D-SPP). DGA integrates two key features: a hierarchical fitness function and a problem-specific crossover operator (WAX for \"wasted area based crossover\"). The fitness function takes into account not only the final height of the strip (to be minimized), but also the wasted areas. The goal of the meaningful (and \"visual'') WAX crossover operator is to preserve the good property of parent packing configurations. To assess the proposed DGA, experimental results are shown on a set of well-known zero-waste benchmark instances and compared with previously reported genetic algorithms as well as the best performing meta-heuristic algorithms.","PeriodicalId":296192,"journal":{"name":"2007 Sixth Mexican International Conference on Artificial Intelligence, Special Session (MICAI)","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129164523","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
Segmentation and Extraction of Morphologic Features from Capillary Images 毛细管图像形态学特征的分割与提取
J.C. Riao-Rojas, F. A. Prieto-Ortiz, L.J. Morantes, E. Sanchez-Camperos, F. Jaramillo‐Ayerbe
A methodology for segmentation and extraction morphologic feature from nailfold capillaroscopic images is presented. The main characteristic of the images studied here is the low contrast between the background and the capillaries.For this reason, three fundamental steps were applied in the preprocess: correction of the illumination, highlight and smoothing. For segmenting these images, Laplacians of the most contrasted component in each color space and the connectedness by threshold (region growth) were integrated. The extraction was carried out using image processing techniques such as principal components analysis (PCA), fractal geometry and tortuosity index (TI); their properties were proven. Tortuosity index is a clinical variable subjective to the expert, it is presented as the ratio between the area and the fractal dimension (FD) of the capillary region. Other features obtained were width and height, density of capillaries, area and perimeter, orientation and polarity. The work was carried out on 300 capillaries obtained from images of subjects that do not suffer vascular diseases of the connective tissues and 250 capillaries of patients that have Lupus erythematosus (SLE). Images were taken from the third and fourth fingers of both subjectpsilas hands. The application of the automatic segmentation allowed the classification of the capillary tortuosity and the comparison to the manual segmentation which was made on 47 capillary images by an expert in dermatology.
提出了一种对甲襞毛细血管镜图像进行分割和提取形态学特征的方法。本文研究的图像的主要特点是背景和毛细血管之间的对比度较低。为此,在预处理中应用了三个基本步骤:光照校正、高光校正和平滑校正。为了分割这些图像,将每个颜色空间中对比度最大的分量的拉普拉斯算子和阈值的连通性(区域增长)进行积分。利用主成分分析(PCA)、分形几何和扭曲度指数(TI)等图像处理技术进行提取;它们的性质得到了证实。曲度指数对专家来说是一个主观的临床变量,它表示为毛细血管区域的面积与分形维数(FD)之比。获得的其他特征包括宽度和高度、毛细血管密度、面积和周长、方向和极性。这项工作是在300条毛细血管上进行的,这些毛细血管是从没有患有结缔组织血管疾病的受试者和250条红斑狼疮(SLE)患者的毛细血管中获得的图像。图像取自两名受试者的无名指和无名指。应用自动分割方法对毛细血管扭曲进行分类,并与皮肤科专家对47张毛细血管图像进行人工分割进行比较。
{"title":"Segmentation and Extraction of Morphologic Features from Capillary Images","authors":"J.C. Riao-Rojas, F. A. Prieto-Ortiz, L.J. Morantes, E. Sanchez-Camperos, F. Jaramillo‐Ayerbe","doi":"10.1109/MICAI.2007.40","DOIUrl":"https://doi.org/10.1109/MICAI.2007.40","url":null,"abstract":"A methodology for segmentation and extraction morphologic feature from nailfold capillaroscopic images is presented. The main characteristic of the images studied here is the low contrast between the background and the capillaries.For this reason, three fundamental steps were applied in the preprocess: correction of the illumination, highlight and smoothing. For segmenting these images, Laplacians of the most contrasted component in each color space and the connectedness by threshold (region growth) were integrated. The extraction was carried out using image processing techniques such as principal components analysis (PCA), fractal geometry and tortuosity index (TI); their properties were proven. Tortuosity index is a clinical variable subjective to the expert, it is presented as the ratio between the area and the fractal dimension (FD) of the capillary region. Other features obtained were width and height, density of capillaries, area and perimeter, orientation and polarity. The work was carried out on 300 capillaries obtained from images of subjects that do not suffer vascular diseases of the connective tissues and 250 capillaries of patients that have Lupus erythematosus (SLE). Images were taken from the third and fourth fingers of both subjectpsilas hands. The application of the automatic segmentation allowed the classification of the capillary tortuosity and the comparison to the manual segmentation which was made on 47 capillary images by an expert in dermatology.","PeriodicalId":296192,"journal":{"name":"2007 Sixth Mexican International Conference on Artificial Intelligence, Special Session (MICAI)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115281683","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}
引用次数: 12
Intelligent Tutoring System with Affective Behavior 情感行为的智能辅导系统
Y. Hernández, G. Arroyo-Figueroa, L. Sucar
We have developed an affective behavior model for intelligent tutoring systems. The aim of the model is to provide students with a tutorial action taking into account both, the affective and the pedagogical state of the student. The affective behavior model considers the student’s pedagogical and affective state, this last one is based on the OCC and Five-factor models. To select the tutorial actions according to the pedagogical and affective state, we propose the use of a dynamic decision network with a utility measure on both, learning and affect. We have integrated the affective behavior model to an educational game to learn number factorization and evaluated its performance with a group of students. To evaluate the affective behavior model we designed a user study with a group of students playing with the educational game without the affective behavior model, and another group that included the affective behavior model. After that, we compared the learning gain in both groups. In this paper we describe the affective behavior model and present the results of the user study.
我们已经开发了智能辅导系统的情感行为模型。该模型的目的是为学生提供一个同时考虑到学生的情感状态和教学状态的指导行动。情感行为模型考虑了学生的教学状态和情感状态,情感行为模型是基于OCC模型和五因素模型。为了根据教学状态和情感状态选择教学行为,我们提出使用一个动态决策网络,该网络对学习和情感都有效用度量。我们将情感行为模型整合到一个学习数字分解的教育游戏中,并在一组学生中评估其表现。为了评估情感行为模型,我们设计了一项用户研究,一组学生玩没有情感行为模型的教育游戏,另一组学生玩包含情感行为模型的游戏。之后,我们比较了两组学生的学习成绩。本文描述了情感行为模型,并给出了用户研究的结果。
{"title":"Intelligent Tutoring System with Affective Behavior","authors":"Y. Hernández, G. Arroyo-Figueroa, L. Sucar","doi":"10.1109/MICAI.2007.15","DOIUrl":"https://doi.org/10.1109/MICAI.2007.15","url":null,"abstract":"We have developed an affective behavior model for intelligent tutoring systems. The aim of the model is to provide students with a tutorial action taking into account both, the affective and the pedagogical state of the student. The affective behavior model considers the student’s pedagogical and affective state, this last one is based on the OCC and Five-factor models. To select the tutorial actions according to the pedagogical and affective state, we propose the use of a dynamic decision network with a utility measure on both, learning and affect. We have integrated the affective behavior model to an educational game to learn number factorization and evaluated its performance with a group of students. To evaluate the affective behavior model we designed a user study with a group of students playing with the educational game without the affective behavior model, and another group that included the affective behavior model. After that, we compared the learning gain in both groups. In this paper we describe the affective behavior model and present the results of the user study.","PeriodicalId":296192,"journal":{"name":"2007 Sixth Mexican International Conference on Artificial Intelligence, Special Session (MICAI)","volume":"181 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128202880","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
Multiple Fault Diagnosis in Electrical Power Systems with Probabilistic Neural Networks 基于概率神经网络的电力系统多故障诊断
Juan Pablo Nieto González, L. Castañón, R. M. Menéndez
Power systems monitoring is particularly challenging due to the presence of dynamic load changes in normal operation mode of network nodes, as well as the presence of both continuous and discrete variables, noisy information and lack or excess of data. This paper proposes a fault diagnosis framework that is able to locate the set of nodes involved in multiple fault events and detects the type of fault in those nodes. The framework is composed of two phases: In the first phase a probabilistic neural network is trained with the eigenvalues of voltage data collected during symmetrical and unsymmetrical fault disturbances. The eigenvalues are computed from the correlation matrix built from historical data, and are used as neural network inputs. The neural network is able to carry out a first classification/discrimination process of nodes states, obtaining in this way a reduction on data analysis. In the second phase a sample magnitude comparison is used to detect and locate the presence of a fault. A set of simulations are carried out over an electrical power system to show the performance of the proposed framework and a comparison is made against a diagnostic system based on probabilistic logic.
由于网络节点的正常运行模式中存在动态负荷变化,同时存在连续变量和离散变量、噪声信息和数据的缺乏或过剩,电力系统的监测尤其具有挑战性。本文提出了一种故障诊断框架,该框架能够定位多个故障事件所涉及的节点集,并检测这些节点中的故障类型。该框架由两阶段组成:第一阶段利用对称和非对称故障干扰时采集的电压数据特征值训练概率神经网络;从历史数据建立的相关矩阵中计算特征值,并将其用作神经网络输入。神经网络能够对节点状态进行第一次分类/判别过程,从而减少数据分析的工作量。在第二阶段,使用样本幅度比较来检测和定位故障的存在。在电力系统上进行了一组仿真,以显示所提出的框架的性能,并与基于概率逻辑的诊断系统进行了比较。
{"title":"Multiple Fault Diagnosis in Electrical Power Systems with Probabilistic Neural Networks","authors":"Juan Pablo Nieto González, L. Castañón, R. M. Menéndez","doi":"10.1109/MICAI.2007.31","DOIUrl":"https://doi.org/10.1109/MICAI.2007.31","url":null,"abstract":"Power systems monitoring is particularly challenging due to the presence of dynamic load changes in normal operation mode of network nodes, as well as the presence of both continuous and discrete variables, noisy information and lack or excess of data. This paper proposes a fault diagnosis framework that is able to locate the set of nodes involved in multiple fault events and detects the type of fault in those nodes. The framework is composed of two phases: In the first phase a probabilistic neural network is trained with the eigenvalues of voltage data collected during symmetrical and unsymmetrical fault disturbances. The eigenvalues are computed from the correlation matrix built from historical data, and are used as neural network inputs. The neural network is able to carry out a first classification/discrimination process of nodes states, obtaining in this way a reduction on data analysis. In the second phase a sample magnitude comparison is used to detect and locate the presence of a fault. A set of simulations are carried out over an electrical power system to show the performance of the proposed framework and a comparison is made against a diagnostic system based on probabilistic logic.","PeriodicalId":296192,"journal":{"name":"2007 Sixth Mexican International Conference on Artificial Intelligence, Special Session (MICAI)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124836447","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
Orthogonal Neural Network for Nonlinearities Reduction of Multicarrier Transmitters 基于正交神经网络的多载波发射机非线性还原
Nibaldo Rodríguez, Orlando Durán, Claudio Cubillos
An orthogonal neural network with Hermite activation function to reduce nonlinear distortion introduced by a traveling wave tube amplifier (TWTA) over a Multicarrier Transmitter is proposed. The neural network has the fixed input weights and only linear output weights are estimated using the Moore-Penrose generalized inverse method. Computer simulation results show that proposed neural network achieves excellent performance in nonlinearities reduction caused by TWTA. In addition, proposed scheme has a low complexity and fast convergence speed.
针对多载波发射机上行波管放大器的非线性失真,提出了一种具有Hermite激活函数的正交神经网络。该神经网络具有固定的输入权值,仅使用Moore-Penrose广义逆方法估计线性输出权值。计算机仿真结果表明,该神经网络在TWTA引起的非线性抑制中取得了优异的性能。此外,该方案具有复杂度低、收敛速度快的特点。
{"title":"Orthogonal Neural Network for Nonlinearities Reduction of Multicarrier Transmitters","authors":"Nibaldo Rodríguez, Orlando Durán, Claudio Cubillos","doi":"10.1109/MICAI.2007.45","DOIUrl":"https://doi.org/10.1109/MICAI.2007.45","url":null,"abstract":"An orthogonal neural network with Hermite activation function to reduce nonlinear distortion introduced by a traveling wave tube amplifier (TWTA) over a Multicarrier Transmitter is proposed. The neural network has the fixed input weights and only linear output weights are estimated using the Moore-Penrose generalized inverse method. Computer simulation results show that proposed neural network achieves excellent performance in nonlinearities reduction caused by TWTA. In addition, proposed scheme has a low complexity and fast convergence speed.","PeriodicalId":296192,"journal":{"name":"2007 Sixth Mexican International Conference on Artificial Intelligence, Special Session (MICAI)","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122773212","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
Color Texture Histograms for Natural Images Interpretation 用于自然图像解释的颜色纹理直方图
J.G. Avia-Cervantes, S. Ledezma-Orozco, M. Torres-Cisneros, D. Hernández-Fusilier, J. González-Barbosa, A. Salazar-Garibay
This paper presents a recognition method for natural images based on color texture histograms in the context of image interpretation and scene modeling. A color histogram of sums and differences is proposed to obtain texture features which are faster to compute than correlograms ( i.e., colored version of co-occurrence matrices) and improving substantially object recognition. Outdoor natural images are generally affected by color casting artifacts which can affect object recognition. Therefore, an on-line color balancing algorithm based on chromatic adaptation models, eliminates these color deviations. The proposed approach globally involves functions as color segmentation, histogram texture analysis and a region recognition step. Our approach has been extensively tested and validated to obtain an accurate 2D scene interpretation from natural images. This technique may be used in robot navigation by identifying navigable regions ( e.g., roads or fairly flat surfaces) on natural scenes, scene modeling and image categorization.
在图像解释和场景建模的背景下,提出了一种基于颜色纹理直方图的自然图像识别方法。提出了一种和和差的颜色直方图,以获得比相关图(即共现矩阵的彩色版本)更快计算的纹理特征,并大大提高了对象识别。户外自然图像通常会受到色偏伪影的影响,从而影响物体识别。因此,基于色彩适应模型的在线色彩平衡算法可以消除这些色彩偏差。该方法包括颜色分割、直方图纹理分析和区域识别等功能。我们的方法经过了广泛的测试和验证,可以从自然图像中获得准确的2D场景解释。该技术可以通过在自然场景中识别可导航区域(例如道路或相当平坦的表面)、场景建模和图像分类来用于机器人导航。
{"title":"Color Texture Histograms for Natural Images Interpretation","authors":"J.G. Avia-Cervantes, S. Ledezma-Orozco, M. Torres-Cisneros, D. Hernández-Fusilier, J. González-Barbosa, A. Salazar-Garibay","doi":"10.1109/MICAI.2007.19","DOIUrl":"https://doi.org/10.1109/MICAI.2007.19","url":null,"abstract":"This paper presents a recognition method for natural images based on color texture histograms in the context of image interpretation and scene modeling. A color histogram of sums and differences is proposed to obtain texture features which are faster to compute than correlograms ( i.e., colored version of co-occurrence matrices) and improving substantially object recognition. Outdoor natural images are generally affected by color casting artifacts which can affect object recognition. Therefore, an on-line color balancing algorithm based on chromatic adaptation models, eliminates these color deviations. The proposed approach globally involves functions as color segmentation, histogram texture analysis and a region recognition step. Our approach has been extensively tested and validated to obtain an accurate 2D scene interpretation from natural images. This technique may be used in robot navigation by identifying navigable regions ( e.g., roads or fairly flat surfaces) on natural scenes, scene modeling and image categorization.","PeriodicalId":296192,"journal":{"name":"2007 Sixth Mexican International Conference on Artificial Intelligence, Special Session (MICAI)","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134244261","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
An Interface between the Situation Calculus and Logic Programming 情景演算与逻辑程序设计的接口
Pablo D. Sáez
We elaborate in this paper on the idea of translating situation calculus specifications into logic programs, thus making these specifications executable. We show a Topor-Lloyd-like procedure that transforms situation calculus specifications, mainly intended to stem from database environments, into logic program rules that can be subsequently executed or that could be transformed into deductive or relational database programs. Basically we stress the concept of query safeness, that is central in the database context and we combine for that purpose the concepts of allowed formula and of simple formula into a formal framework with a formal logic programming semantics.
本文详细阐述了将情形演算规范转换为逻辑程序的思想,从而使这些规范可执行。我们展示了一个类似topor - lloyd的过程,该过程将情景演算规范(主要源于数据库环境)转换为可随后执行的逻辑程序规则,或者可以转换为演绎或关系数据库程序。基本上,我们强调查询安全性的概念,这是数据库上下文的核心,为此我们将允许公式和简单公式的概念结合到一个具有形式化逻辑编程语义的形式化框架中。
{"title":"An Interface between the Situation Calculus and Logic Programming","authors":"Pablo D. Sáez","doi":"10.1109/MICAI.2007.38","DOIUrl":"https://doi.org/10.1109/MICAI.2007.38","url":null,"abstract":"We elaborate in this paper on the idea of translating situation calculus specifications into logic programs, thus making these specifications executable. We show a Topor-Lloyd-like procedure that transforms situation calculus specifications, mainly intended to stem from database environments, into logic program rules that can be subsequently executed or that could be transformed into deductive or relational database programs. Basically we stress the concept of query safeness, that is central in the database context and we combine for that purpose the concepts of allowed formula and of simple formula into a formal framework with a formal logic programming semantics.","PeriodicalId":296192,"journal":{"name":"2007 Sixth Mexican International Conference on Artificial Intelligence, Special Session (MICAI)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128279622","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
Causal Relevancy Approaches to Improve the Students' Prediction Performance in an e-Learning Environment 因果关联方法在电子学习环境下改善学生预测表现
F. Castro, F. Mugica, À. Nebot
In this work, four different causal relevancy (CR) approaches are implemented within the inference engine of the fuzzy inductive reasoning (FIR) methodology. The idea behind CR is to quantify how much influence each system feature has, on the forecasting of the output. This paper presents and discusses the FIR inference engine, and describes how it can be enhanced using the causal relevancy methods proposed in this study. The first two CR methods compute the relevancy of each feature by means of the quality of the optimal mask, obtained in the qualitative model identification step of the FIR methodology. The last two CR methods are based on the prediction error of a validation data set, not used in the model identification process. The CR approaches presented in the paper are applied to a real e-learning course with the goal of improve studentspsila behavior predictions. The experiments carried out with the available data indicate that lower prediction errors are obtained using the CR approaches when compared with the results obtained by the classical FIR inference engine. The new approaches help to improve the understanding of the educative process by describing how much influence each system feature has on the output.
在这项工作中,在模糊归纳推理(FIR)方法的推理引擎中实现了四种不同的因果关联(CR)方法。CR背后的思想是量化每个系统特征对输出预测的影响程度。本文介绍并讨论了FIR推理引擎,并描述了如何使用本研究中提出的因果关联方法来增强它。前两种CR方法通过在FIR方法的定性模型识别步骤中获得的最优掩模的质量来计算每个特征的相关性。最后两种CR方法是基于验证数据集的预测误差,不用于模型识别过程。本文中提出的CR方法应用于一个真实的电子学习课程,目的是提高学生的语言行为预测。利用现有数据进行的实验表明,与经典FIR推理机的预测结果相比,CR方法的预测误差更小。新方法通过描述每个系统特征对输出的影响程度,有助于提高对教育过程的理解。
{"title":"Causal Relevancy Approaches to Improve the Students' Prediction Performance in an e-Learning Environment","authors":"F. Castro, F. Mugica, À. Nebot","doi":"10.1109/MICAI.2007.28","DOIUrl":"https://doi.org/10.1109/MICAI.2007.28","url":null,"abstract":"In this work, four different causal relevancy (CR) approaches are implemented within the inference engine of the fuzzy inductive reasoning (FIR) methodology. The idea behind CR is to quantify how much influence each system feature has, on the forecasting of the output. This paper presents and discusses the FIR inference engine, and describes how it can be enhanced using the causal relevancy methods proposed in this study. The first two CR methods compute the relevancy of each feature by means of the quality of the optimal mask, obtained in the qualitative model identification step of the FIR methodology. The last two CR methods are based on the prediction error of a validation data set, not used in the model identification process. The CR approaches presented in the paper are applied to a real e-learning course with the goal of improve studentspsila behavior predictions. The experiments carried out with the available data indicate that lower prediction errors are obtained using the CR approaches when compared with the results obtained by the classical FIR inference engine. The new approaches help to improve the understanding of the educative process by describing how much influence each system feature has on the output.","PeriodicalId":296192,"journal":{"name":"2007 Sixth Mexican International Conference on Artificial Intelligence, Special Session (MICAI)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121986962","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
Cellular Mathematical Morphology 细胞数学形态学
B. L. Benoso, J. Nazuno, C.Y. Marquez, I.L. Yaez
In this work basic mathematical morphology operations, such as dilation, erosion, opening, and closing, are reformulated and characterized by means of equivalent cellular automata. In this manner, it becomes possible to take advantage of the broad extent of solid results of theory and applications of cellular automata in creating new algorithms where mathematical morphology is applied, with the advantages of its cellular formulation.
在这项工作中,基本的数学形态学操作,如膨胀、侵蚀、打开和关闭,被重新表述,并通过等效的细胞自动机来表征。通过这种方式,可以利用元胞自动机理论和应用的广泛可靠结果来创建应用数学形态学的新算法,并具有其细胞公式的优势。
{"title":"Cellular Mathematical Morphology","authors":"B. L. Benoso, J. Nazuno, C.Y. Marquez, I.L. Yaez","doi":"10.1109/MICAI.2007.30","DOIUrl":"https://doi.org/10.1109/MICAI.2007.30","url":null,"abstract":"In this work basic mathematical morphology operations, such as dilation, erosion, opening, and closing, are reformulated and characterized by means of equivalent cellular automata. In this manner, it becomes possible to take advantage of the broad extent of solid results of theory and applications of cellular automata in creating new algorithms where mathematical morphology is applied, with the advantages of its cellular formulation.","PeriodicalId":296192,"journal":{"name":"2007 Sixth Mexican International Conference on Artificial Intelligence, Special Session (MICAI)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127931114","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
期刊
2007 Sixth Mexican International Conference on Artificial Intelligence, Special Session (MICAI)
全部 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