Annals of Mathematics and Artificial Intelligence最新文献

{"title":"On the benefits of knowledge compilation for feature-model analyses","authors":"Chico Sundermann,&nbsp;Elias Kuiter,&nbsp;Tobias Heß,&nbsp;Heiko Raab,&nbsp;Sebastian Krieter,&nbsp;Thomas Thüm","doi":"10.1007/s10472-023-09906-6","DOIUrl":"10.1007/s10472-023-09906-6","url":null,"abstract":"<div><p>Feature models are commonly used to specify the valid configurations of product lines. As industrial feature models are typically complex, researchers and practitioners employ various automated analyses to study the configuration spaces. Many of these automated analyses require that numerous complex computations are executed on the same feature model, for example by querying a SAT or <span>#</span>SATsolver. With knowledge compilation, feature models can be compiled in a one-time effort to a target language that enables polynomial-time queries for otherwise more complex problems. In this work, we elaborate on the potential of employing knowledge compilation on feature models. First, we gather various feature-model analyses and study their computational complexity with regard to the underlying computational problem and the number of solver queries required for the respective analysis. Second, we collect knowledge-compilation target languages and map feature-model analyses to the languages that make the analysis tractable. Third, we empirically evaluate publicly available knowledge compilers to further inspect the potential benefits of knowledge-compilation target languages.</p></div>","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"92 5","pages":"1013 - 1050"},"PeriodicalIF":1.2,"publicationDate":"2023-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10472-023-09906-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135634923","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":"Formalization of geometry, automated and interactive geometric reasoning","authors":"Zoltán Kovács,&nbsp;Predrag Janičić","doi":"10.1007/s10472-023-09909-3","DOIUrl":"10.1007/s10472-023-09909-3","url":null,"abstract":"","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"91 6","pages":"751 - 752"},"PeriodicalIF":1.2,"publicationDate":"2023-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134795779","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":"A novel method for solving universum twin bounded support vector machine in the primal space","authors":"Hossein Moosaei, Saeed Khosravi, Fatemeh Bazikar, Milan Hladík, Mario Rosario Guarracino","doi":"10.1007/s10472-023-09896-5","DOIUrl":"https://doi.org/10.1007/s10472-023-09896-5","url":null,"abstract":"","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135934145","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":"Families of multi-level Legendre-like arrays","authors":"Timothy Petersen,&nbsp;Benjamin Cavy,&nbsp;David Paganin,&nbsp;Imants Svalbe","doi":"10.1007/s10472-023-09903-9","DOIUrl":"10.1007/s10472-023-09903-9","url":null,"abstract":"<div><p>Families of new, multi-level integer 2<i>D</i> arrays are introduced here as an extension of the well-known binary Legendre sequences that are derived from quadratic residues. We present a construction, based on Fourier and Finite Radon Transforms, for families of periodic perfect arrays, each of size <span>(ptimes p)</span> for many prime values <i>p</i>. Previously delta functions were used as the discrete projections which, when back-projected, build 2<i>D</i> perfect arrays. Here we employ perfect sequences as the discrete projected views. The base family size is <span>(p+1)</span>. All members of these multi-level array families have perfect autocorrelation and constant, minimal cross-correlation. Proofs are given for four useful and general properties of these new arrays. 1) They are comprised of odd integers, with values between at most <span>(-p)</span> and <span>(+p)</span>, with a zero value at just one location. 2) They have the property of ‘conjugate’ spatial symmetry, where the value at location (<i>i</i>, <i>j</i>) is always the negative of the value at location <span>((p-i, p-j))</span>. 3) Any change in the value assigned to the array’s origin leaves all of its off-peak autocorrelation values unchanged. 4) A family of <span>(p+1)</span>, <span>(ptimes p)</span> arrays can be compressed to size <span>((p+1)^2)</span> and each family member can be exactly and rapidly unpacked in a single <span>(ptimes p)</span> decompression pass.</p></div>","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"92 1","pages":"169 - 182"},"PeriodicalIF":1.2,"publicationDate":"2023-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10472-023-09903-9.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135934288","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":"Hedonic Expertise Games","authors":"Bugra Caskurlu,&nbsp;Fatih Erdem Kizilkaya,&nbsp;Berkehan Ozen","doi":"10.1007/s10472-023-09900-y","DOIUrl":"10.1007/s10472-023-09900-y","url":null,"abstract":"<div><p>We introduce a hedonic game form, Hedonic Expertise Games (HEGs), that naturally models a variety of settings where agents with complementary qualities would like to form groups. Students forming groups for class projects, and hackathons in which software developers, graphic designers, project managers, and other domain experts collaborate on software projects, are typical scenarios modeled by HEGs. This game form possesses the common ranking property, and additionally, the coalitional utility function is monotone. We present comprehensive results for the existence/nonexistence of stable and efficient partitions of HEGs with respect to the most common stability and optimality concepts used in the literature. Specifically, we show that an HEG instance may not have a strict core stable partition, and yet every HEG instance has a strong Nash stable and Pareto optimal partition. Furthermore, it may be the case that none of the socially-optimal partitions of an HEG instance is Nash stable or core stable. However, it is guaranteed that every socially-optimal partition is contractually Nash stable. We show that all these existence/nonexistence results also hold for the monotone hedonic games with common ranking property (monotone HGCRP). We also present several results for HEGs from the computational complexity perspective, some of which are as follows: A contractually Nash stable partition (and a Nash stable partition in a restricted setting) can be found in polynomial time. A strong Nash stable partition can be approximated within a factor of <span>(1-1/e)</span>, and this bound is tight even for approximating core stable partitions. We present a natural game dynamics for monotone HGCRP that converges to a Nash stable partition in a relatively low number of moves.</p></div>","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"92 3","pages":"671 - 690"},"PeriodicalIF":1.2,"publicationDate":"2023-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136077707","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":"On the universal approximation property of radial basis function neural networks","authors":"Aysu Ismayilova,&nbsp;Muhammad Ismayilov","doi":"10.1007/s10472-023-09901-x","DOIUrl":"10.1007/s10472-023-09901-x","url":null,"abstract":"<div><p>In this paper we consider a new class of RBF (Radial Basis Function) neural networks, in which smoothing factors are replaced with shifts. We prove under certain conditions on the activation function that these networks are capable of approximating any continuous multivariate function on any compact subset of the <i>d</i>-dimensional Euclidean space. For RBF networks with finitely many fixed centroids we describe conditions guaranteeing approximation with arbitrary precision.</p></div>","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"92 3","pages":"691 - 701"},"PeriodicalIF":1.2,"publicationDate":"2023-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136113626","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":"Automated programming, symbolic computation, machine learning: my personal view","authors":"Bruno Buchberger","doi":"10.1007/s10472-023-09894-7","DOIUrl":"10.1007/s10472-023-09894-7","url":null,"abstract":"<div><p>In this note, I present my personal view on the interaction of the three areas Automated Programming, Symbolic Computation, and Machine Learning. Programming is the activity of finding a (hopefully) correct program (algorithm) for a given problem. Programming is central to automation in all areas and is considered one of the most creative human activities. However, already very early in the history of programming, people started to “jump to the meta-level” of programming, i.e., started to develop procedures that automate, or semi-automate, (various aspects or parts of) the process of programming. This area has various names like “Automated Programming”, “Automated Algorithm Synthesis”, etc. Developing compilers can be considered an early example of a problem in automated programming. Automated reasoners for proving the correctness of programs with respect to a specification is an advanced example of a topic in automated programming. ChatGPT producing (amazingly good) programs from problem specifications in natural language is a recent example of automated programming. Programming tends to become the most important activity as the level of technological sophistication increases. Therefore, automating programming is maybe the most exciting and relevant technological endeavor today. It also will have enormous impact on the global job market in the software industry. Roughly, I see two main approaches to automated programming:</p><ul>\u0000 <li>\u0000 <p>symbolic computation</p>\u0000 </li>\u0000 <li>\u0000 <p>and machine learning.</p>\u0000 </li>\u0000 </ul><p> In this note, I explain how the two approaches work and that they are fundamentally different because they address two completely different ways of how problems are specified. Together, the two approaches constitute (part of) what some people like to call “artificial intelligence”. In my analysis, both approaches are just part of (algorithmic) mathematics. The approaches, like all non-trivial mathematical methods, need quite some intelligence on the side of the human inventors of the methods. However, applying the methods is just “machine execution” of algorithms. It is misleading to call the application “machine intelligence” or “artificial intelligence”. The analysis of the two approaches to automated programming also suggests that the two approaches, in the future, should be combined to achieve even higher levels of sophistication. At the end of this note, I propose some research questions for this new direction.</p></div>","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"91 5","pages":"569 - 589"},"PeriodicalIF":1.2,"publicationDate":"2023-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10472-023-09894-7.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50470061","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":"Making model checking feasible for GOAL","authors":"Yi Yang,&nbsp;Tom Holvoet","doi":"10.1007/s10472-023-09898-3","DOIUrl":"10.1007/s10472-023-09898-3","url":null,"abstract":"<div><p>Agent Programming Languages have been studied for over 20 years for programming complex decision-making for autonomous systems. The GOAL agent programming language is particularly interesting since it depends on automated planning based on beliefs and goals to determine behavior rather than preprogrammed planning by developers. Model checking is a powerful verification technique to guarantee the safety of an autonomous system. Despite studies of model checking in other agent programming languages, GOAL lacks support for model checking of GOAL programs. The fundamental challenge is to make GOAL programs feasible for model checking. In this paper, we tackle this fundamental issue. First, we formalize the syntax and semantics of the logic underpinning stratified single-agent GOAL programs. Second, we devise an algorithm for transforming a stratified single-agent GOAL program to a transition system that is equivalent in terms of operational semantics, enabling model checking. Third, we develop an automated translator for a stratified single-agent GOAL program. The translator consists of (1) the automated transformation of a GOAL program into its operational semantically equivalent transition system, and (2) the interface generation of the generated transition system into a Prism model, an input for two probabilistic symbolic model checkers: Storm and Prism. Moreover, we point out that we will extend the applicability of the transformation algorithm and its implementation to all stratified GOAL programs.</p></div>","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"92 4","pages":"837 - 853"},"PeriodicalIF":1.2,"publicationDate":"2023-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134947476","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":"Parameter tuning of continuous Hopfield network applied to combinatorial optimization","authors":"Safae Rbihou,&nbsp;Nour-Eddine Joudar,&nbsp;Khalid Haddouch","doi":"10.1007/s10472-023-09895-6","DOIUrl":"10.1007/s10472-023-09895-6","url":null,"abstract":"<div><p>The continuous Hopfield network (CHN) has provided a powerful approach to optimization problems and has shown good performance in different domains. However, two primary challenges still remain for this network: defining appropriate parameters and hyperparameters. In this study, our objective is to address these challenges and achieve optimal solutions for combinatorial optimization problems, thereby improving the overall performance of the continuous Hopfield network. To accomplish this, we propose a new technique for tuning the parameters of the CHN by considering its stability. To evaluate our approach, three well-known combinatorial optimization problems, namely, weighted constraint satisfaction problems, task assignment problems, and the traveling salesman problem, were employed. The experiments demonstrate that the proposed approach offers several advantages for CHN parameter tuning and the selection of optimal hyperparameter combinations.</p></div>","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"92 2","pages":"257 - 275"},"PeriodicalIF":1.2,"publicationDate":"2023-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136060942","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":"Path planning algorithm for mobile robots based on clustering-obstacles and quintic trigonometric Bézier curve","authors":"Vahide Bulut","doi":"10.1007/s10472-023-09893-8","DOIUrl":"10.1007/s10472-023-09893-8","url":null,"abstract":"<div><p>Finding a collision-free feasible path for mobile robots is very important because they are essential in many fields such as healthcare, military, and industry. In this paper, a novel Clustering Obstacles (CO)-based path planning algorithm for mobile robots is presented using a quintic trigonometric Bézier curve and its two shape parameters. The CO-based algorithm forms clusters of geometrically shaped obstacles and finds the cluster centers. Moreover, the proposed waypoint algorithm (WP) finds the waypoints of the predefined skeleton path in addition to the start and destination points in an environment. Based on all these points, the predefined quintic trigonometric Bézier path candidates, taking the skeleton path as their convex hull, are then generated using the shape parameters of this curve. Moreover, the performance of the proposed algorithm is compared with K-Means and agglomerative hierarchical algorithms to obtain the quintic trigonometric Bézier paths desired by the user. The experimental results show that the CO-based path planning algorithm achieves better cluster centers and consequently better collision-free predefined paths.</p></div>","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"92 2","pages":"235 - 256"},"PeriodicalIF":1.2,"publicationDate":"2023-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136313827","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}