Annals of Mathematics and Artificial Intelligence最新文献

{"title":"Tractable representations for Boolean functional synthesis","authors":"S. Akshay,&nbsp;Supratik Chakraborty,&nbsp;Shetal Shah","doi":"10.1007/s10472-023-09907-5","DOIUrl":"10.1007/s10472-023-09907-5","url":null,"abstract":"<div><p>Given a Boolean relational specification <span>(F(textbf{X}, textbf{Y}))</span>, where <span>(textbf{X})</span> is a vector of inputs and <span>(textbf{Y})</span> is a vector of outputs, Boolean functional synthesis requires us to compute a vector of (Skolem) functions <span>(varvec{Psi }(textbf{X}))</span>, one for each output in <span>(textbf{Y})</span>, such that <span>(F(textbf{X}, varvec{Psi }(textbf{X})) leftrightarrow exists textbf{Y},F(textbf{X},textbf{Y}))</span> holds. This problem lies at the heart of many applications and has received significant attention in recent years. In this paper, we investigate the role of representation of <span>(F(textbf{X}, textbf{Y}))</span> and of <span>(varvec{Psi }(textbf{X}))</span> in determining the computational hardness of Boolean functional synthesis. We start by showing that an efficient way of existentially quantifying variables from a Boolean formula in a given order yields an efficient solution to Boolean functional synthesis and vice versa. We then propose a semantic normal form, called <span>SynNNF</span>, that guarantees polynomial-time synthesis and characterizes polynomial-time existential quantification for a given order of quantification of variables. We show that several syntactic and other semantic normal forms for Boolean formulas studied in the knowledge compilation literature are subsumed by <span>SynNNF</span>, and that <span>SynNNF</span> is exponentially more succinct than most of them. We also investigate how the representation of the synthesized (Skolem) functions <span>(varvec{Psi }(textbf{X}))</span> affects the complexity of Boolean functional synthesis, and present a map of complexity based on the representations of <span>(F(textbf{X},textbf{Y}))</span> and <span>(varvec{Psi }(textbf{X}))</span>. Finally, we propose an algorithm to compile a specification represented as a <span>NNF</span> (including <span>CNF</span>) circuit to <span>SynNNF</span>. We present results of an extensive set of experiments conducted using an implementation of the above algorithm, and two other tools available in the public domain.</p></div>","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"92 5","pages":"1051 - 1096"},"PeriodicalIF":1.2,"publicationDate":"2023-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138520498","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":"An improvement of Random Node Generator for the uniform generation of capacities","authors":"Peiqi Sun,&nbsp;Michel Grabisch,&nbsp;Christophe Labreuche","doi":"10.1007/s10472-023-09911-9","DOIUrl":"10.1007/s10472-023-09911-9","url":null,"abstract":"<div><p>Capacity is an important tool in decision-making under risk and uncertainty and multi-criteria decision-making. When learning a capacity-based model, it is important to be able to generate uniformly a capacity. Due to the monotonicity constraints of a capacity, this task reveals to be very difficult. The classical Random Node Generator (RNG) algorithm is a fast-running speed capacity generator, however with poor performance. In this paper, we firstly present an exact algorithm for generating a <i>n</i> elements’ general capacity, usable when <span>(n &lt; 5)</span>. Then, we present an improvement of the classical RNG by studying the distribution of the value of each element of a capacity. Furthermore, we divide it into two cases, the first one is the case without any conditions, and the second one is the case when some elements have been generated. Experimental results show that the performance of this improved algorithm is much better than the classical RNG while keeping a very reasonable computation time.</p></div>","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"92 6","pages":"1381 - 1406"},"PeriodicalIF":1.2,"publicationDate":"2023-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138520514","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":"Modeling and shadowing paraconsistent BDI agents","authors":"Barbara Dunin-Kęplicz,&nbsp;Andrzej Szałas","doi":"10.1007/s10472-023-09902-w","DOIUrl":"10.1007/s10472-023-09902-w","url":null,"abstract":"<div><p>The <span>Bdi</span> model of rational agency has been studied for over three decades. Many robust multiagent systems have been developed, and a number of <span>Bdi</span> logics have been studied. Following this intensive development phase, the importance of integrating <span>Bdi</span> models with inconsistency handling and revision theory have been emphasized. There is also a demand for a tighter connection between <span>Bdi</span>-based implementations and <span>Bdi</span> logics. In this paper, we address these postulates by introducing a novel, paraconsistent logical <span>Bdi</span> model close to implementation, with building blocks that can be represented as <span>Sql</span>/rule-based databases. Importantly, tractability is achieved by reasoning as querying. This stands in a sharp contrast to the high complexity of known <span>Bdi</span> logics. We also extend belief shadowing, a shallow and lightweight alternative to deep and computationally demanding belief revision, to encompass agents’ motivational attitudes.</p></div>","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"92 4","pages":"855 - 876"},"PeriodicalIF":1.2,"publicationDate":"2023-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10472-023-09902-w.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138520489","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":"Socially conscious stability for tiered coalition formation games","authors":"Nathan Arnold,&nbsp;Sarah Snider,&nbsp;Judy Goldsmith","doi":"10.1007/s10472-023-09897-4","DOIUrl":"10.1007/s10472-023-09897-4","url":null,"abstract":"<div><p>We investigate Tiered Coalition Formation Games (TCFGs), a cooperative game inspired by the stratification of Pokémon on the fan website, Smogon. It is known that, under match-up oriented preferences, Nash and core stability are equivalent. We previously introduced a notion of <i>socially conscious stability</i> for TCFGs, and introduced a game variant with fixed <i>k</i>-length tier lists. In this work we show that in tier lists under match-up oriented preferences, socially conscious stability is equivalent to Nash stability and to core stability, but in <i>k</i>-tier lists, the three stability notions are distinct. We also give a necessary condition for tier list stability in terms of robustness (the minimum in-tier utility of an agent). We introduce a notion of approximate Nash stability and approximately socially conscious stability, and provide experiments on the empirical run time of our <i>k</i>-tier local search algorithm, and the performance of our algorithms for generating approximately socially consciously stable tier lists.</p></div>","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"92 3","pages":"539 - 580"},"PeriodicalIF":1.2,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138520506","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 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,&nbsp;Saeed Khosravi,&nbsp;Fatemeh Bazikar,&nbsp;Milan Hladík,&nbsp;Mario Rosario Guarracino","doi":"10.1007/s10472-023-09896-5","DOIUrl":"10.1007/s10472-023-09896-5","url":null,"abstract":"<div><p>In supervised learning, the Universum, a third class that is not a part of either class in the classification task, has proven to be useful. In this study we propose (N<span>( mathfrak {U} )</span>TBSVM), a Newton-based approach for solving in the primal space the optimization problems related to Twin Bounded Support Vector Machines with Universum data (<span>( mathfrak {U} )</span>TBSVM). In the N<span>( mathfrak {U} )</span>TBSVM, the constrained programming problems of <span>( mathfrak {U} )</span>TBSVM are converted into unconstrained optimization problems, and a generalization of Newton’s method for solving the unconstrained problems is introduced. Numerical experiments on synthetic, UCI, and NDC data sets show the ability and effectiveness of the proposed N<span>( mathfrak {U} )</span>TBSVM. We apply the suggested method for gender detection from face images, and compare it with other methods.</p></div>","PeriodicalId":7971,"journal":{"name":"Annals of Mathematics and Artificial Intelligence","volume":"93 1","pages":"131 - 150"},"PeriodicalIF":1.2,"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}