Annals of Mathematics and Artificial Intelligence最新文献

筛选
英文 中文
Preface special issue on agents and robots for reliable engineered autonomy (AREA 2023) 前言:用于可靠工程自主的代理和机器人特刊(AREA 2023)
IF 1 4区 计算机科学
Annals of Mathematics and Artificial Intelligence Pub Date : 2025-06-18 DOI: 10.1007/s10472-025-09991-9
Angelo Ferrando, Rafael C. Cardoso
{"title":"Preface special issue on agents and robots for reliable engineered autonomy (AREA 2023)","authors":"Angelo Ferrando, Rafael C. Cardoso","doi":"10.1007/s10472-025-09991-9","DOIUrl":"10.1007/s10472-025-09991-9","url":null,"abstract":"","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"93 4","pages":"517 - 518"},"PeriodicalIF":1.0,"publicationDate":"2025-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145166216","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Data science meets optimization II 数据科学与优化2
IF 1 4区 计算机科学
Annals of Mathematics and Artificial Intelligence Pub Date : 2025-04-16 DOI: 10.1007/s10472-025-09980-y
Yingqian Zhang, Tias Guns, Michele Lombardi, Patrick De Causmaecker
{"title":"Data science meets optimization II","authors":"Yingqian Zhang, Tias Guns, Michele Lombardi, Patrick De Causmaecker","doi":"10.1007/s10472-025-09980-y","DOIUrl":"10.1007/s10472-025-09980-y","url":null,"abstract":"","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"93 3","pages":"343 - 345"},"PeriodicalIF":1.0,"publicationDate":"2025-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144918591","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
35 years of math and AI 35年的数学和人工智能
IF 1.2 4区 计算机科学
Annals of Mathematics and Artificial Intelligence Pub Date : 2025-02-10 DOI: 10.1007/s10472-025-09969-7
Martin Charles Golumbic
{"title":"35 years of math and AI","authors":"Martin Charles Golumbic","doi":"10.1007/s10472-025-09969-7","DOIUrl":"10.1007/s10472-025-09969-7","url":null,"abstract":"","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"93 1","pages":"1 - 3"},"PeriodicalIF":1.2,"publicationDate":"2025-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143716905","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The future starts now 未来从现在开始
IF 1.2 4区 计算机科学
Annals of Mathematics and Artificial Intelligence Pub Date : 2025-02-05 DOI: 10.1007/s10472-025-09970-0
Jürgen Dix, Michael Fisher
{"title":"The future starts now","authors":"Jürgen Dix, Michael Fisher","doi":"10.1007/s10472-025-09970-0","DOIUrl":"10.1007/s10472-025-09970-0","url":null,"abstract":"","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"93 1","pages":"5 - 6"},"PeriodicalIF":1.2,"publicationDate":"2025-02-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10472-025-09970-0.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143716627","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Guest editorial: Revised selected papers from the LION 16 conference 客座编辑:修订了LION 16会议的部分论文
IF 1.2 4区 计算机科学
Annals of Mathematics and Artificial Intelligence Pub Date : 2025-01-06 DOI: 10.1007/s10472-024-09958-2
Ilias S. Kotsireas, Panos M. Pardalos
{"title":"Guest editorial: Revised selected papers from the LION 16 conference","authors":"Ilias S. Kotsireas, Panos M. Pardalos","doi":"10.1007/s10472-024-09958-2","DOIUrl":"10.1007/s10472-024-09958-2","url":null,"abstract":"","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"93 1","pages":"19 - 20"},"PeriodicalIF":1.2,"publicationDate":"2025-01-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143716634","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A formal approach to attack graphs 攻击图的正式方法
IF 1 4区 计算机科学
Annals of Mathematics and Artificial Intelligence Pub Date : 2025-01-02 DOI: 10.1007/s10472-024-09959-1
Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano
{"title":"A formal approach to attack graphs","authors":"Davide Catta,&nbsp;Jean Leneutre,&nbsp;Vadim Malvone,&nbsp;Aniello Murano","doi":"10.1007/s10472-024-09959-1","DOIUrl":"10.1007/s10472-024-09959-1","url":null,"abstract":"<div><p>An attack graph is a concise portrayal of the various paths within an open system that enable an attacker to reach a prohibited state (such as gaining access to a restricted resource), despite the system’s preventive measures. The assessment of system vulnerability involves examining the presence of such paths. In this work, we analyze attack graphs using a game-theoretic approach. Specifically, we introduce a well-suited game model that represents the dynamics between the system and the attacker, and propose an automata-based solution to demonstrate the absence of vulnerability.</p></div>","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"93 4","pages":"589 - 610"},"PeriodicalIF":1.0,"publicationDate":"2025-01-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145161074","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Preface to the special issue on analogies: from mathematical foundations to applications and interactions with ML and AI 关于类比的特刊前言:从数学基础到应用以及与ML和AI的交互
IF 1 4区 计算机科学
Annals of Mathematics and Artificial Intelligence Pub Date : 2024-12-28 DOI: 10.1007/s10472-024-09961-7
Miguel Couceiro, Esteban Marquer, Pierre Monnin, Pierre-Alexandre Murena
{"title":"Preface to the special issue on analogies: from mathematical foundations to applications and interactions with ML and AI","authors":"Miguel Couceiro,&nbsp;Esteban Marquer,&nbsp;Pierre Monnin,&nbsp;Pierre-Alexandre Murena","doi":"10.1007/s10472-024-09961-7","DOIUrl":"10.1007/s10472-024-09961-7","url":null,"abstract":"","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"93 2","pages":"233 - 235"},"PeriodicalIF":1.0,"publicationDate":"2024-12-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145141849","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A multi-algorithm pathfinding method: Exploiting performance variations for enhanced efficiency 一种多算法寻路方法:利用性能变化来提高效率
IF 1 4区 计算机科学
Annals of Mathematics and Artificial Intelligence Pub Date : 2024-11-14 DOI: 10.1007/s10472-024-09957-3
Aya Kherrour, Marco Robol, Marco Roveri, Paolo Giorgini
{"title":"A multi-algorithm pathfinding method: Exploiting performance variations for enhanced efficiency","authors":"Aya Kherrour,&nbsp;Marco Robol,&nbsp;Marco Roveri,&nbsp;Paolo Giorgini","doi":"10.1007/s10472-024-09957-3","DOIUrl":"10.1007/s10472-024-09957-3","url":null,"abstract":"<div><p>This paper presents a performance evaluation of several heuristic search algorithms in the context of pathfinding. Our objective is to assess the performance of these algorithms in various grid-based environments to present how specific domain features influence their efficiency. Additionally, we extend our experiments by incorporating Multi-Agent Path Finding (MAPF) benchmarks, using handcrafted features and features extracted with Convolutional Neural Network (CNN) to characterize the maps. The results of our evaluation were later used to train machine learning models capable of predicting the efficient algorithm for a given pathfinding task based on performance criteria. This multi-algorithm pathfinding method enhances the selection of the best algorithm for different pathfinding problems. Furthermore, we revealed the most important features that impact the selection of the efficient algorithm. We identify the most important characteristics of the grid that affect the selection and performance of the algorithms.</p></div>","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"93 4","pages":"569 - 588"},"PeriodicalIF":1.0,"publicationDate":"2024-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10472-024-09957-3.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145164952","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Common equivalence and size of forgetting from Horn formulae 霍恩公式中常见的等效和遗忘量
IF 1.2 4区 计算机科学
Annals of Mathematics and Artificial Intelligence Pub Date : 2024-10-29 DOI: 10.1007/s10472-024-09955-5
Paolo Liberatore
{"title":"Common equivalence and size of forgetting from Horn formulae","authors":"Paolo Liberatore","doi":"10.1007/s10472-024-09955-5","DOIUrl":"10.1007/s10472-024-09955-5","url":null,"abstract":"<div><p>Forgetting variables from a propositional formula may increase its size. Introducing new variables is a way to shorten it. Both operations can be expressed in terms of common equivalence, a weakened version of equivalence. In turn, common equivalence can be expressed in terms of forgetting. An algorithm for forgetting and checking common equivalence in polynomial space is given for the Horn case; it is polynomial-time for the subclass of single-head formulae. Minimizing after forgetting is polynomial-time if the formula is also acyclic and variables cannot be introduced, NP-hard when they can.</p></div>","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"92 6","pages":"1545 - 1584"},"PeriodicalIF":1.2,"publicationDate":"2024-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10472-024-09955-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142870292","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Multi-trainer binary feedback interactive reinforcement learning 多训练器二元反馈交互式强化学习
IF 1 4区 计算机科学
Annals of Mathematics and Artificial Intelligence Pub Date : 2024-10-02 DOI: 10.1007/s10472-024-09956-4
Zhaori Guo, Timothy J. Norman, Enrico H. Gerding
{"title":"Multi-trainer binary feedback interactive reinforcement learning","authors":"Zhaori Guo,&nbsp;Timothy J. Norman,&nbsp;Enrico H. Gerding","doi":"10.1007/s10472-024-09956-4","DOIUrl":"10.1007/s10472-024-09956-4","url":null,"abstract":"<div><p>Interactive reinforcement learning is an effective way to train agents via human feedback. However, it often requires the <i>trainer</i> (a human who provides feedback to the agent) to know the correct action for the agent. If the trainer is not always reliable, the wrong feedback may hinder the agent’s training. In addition, there is no consensus on the best form of human feedback in interactive reinforcement learning. To address these problems, in this paper, we explore the performance of binary reward as the reward form. Moreover, we propose a novel interactive reinforcement learning system called Multi-Trainer Interactive Reinforcement Learning (MTIRL), which can aggregate binary feedback from multiple imperfect trainers into a reliable reward for agent training in a reward-sparse environment. In addition, the review model in MTIRL can correct the unreliable rewards. In particular, our experiments for evaluating reward forms show that binary reward outperforms other reward forms, including ranking reward, scaling reward, and state value reward. In addition, our question-answer experiments show that our aggregation method outperforms the state-of-the-art aggregation methods, including majority voting, weighted voting, and the Bayesian aggregation method. Finally, we conduct grid-world experiments to show that the policy trained by the MTIRL with the review model is closer to the optimal policy than that without a review model.</p></div>","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"93 4","pages":"491 - 516"},"PeriodicalIF":1.0,"publicationDate":"2024-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145161045","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信