{"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}
{"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}
{"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}
Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano
{"title":"A formal approach to attack graphs","authors":"Davide Catta, Jean Leneutre, Vadim Malvone, 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}
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, Esteban Marquer, Pierre Monnin, 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}
Aya Kherrour, Marco Robol, Marco Roveri, Paolo Giorgini
{"title":"A multi-algorithm pathfinding method: Exploiting performance variations for enhanced efficiency","authors":"Aya Kherrour, Marco Robol, Marco Roveri, 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}
{"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}
{"title":"Multi-trainer binary feedback interactive reinforcement learning","authors":"Zhaori Guo, Timothy J. Norman, 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}