中文
相关论文

相关论文: Genetic Algorithms for Extension Search in Default…

200 篇论文

This thesis investigates the use of problem-specific knowledge to enhance a genetic algorithm approach to multiple-choice optimisation problems.It shows that such information can significantly enhance performance, but that the choice of…

神经与进化计算 · 计算机科学 2010-07-05 Uwe Aickelin

We present and discuss the results of an experimental analysis in the design of Boolean networks by means of genetic algorithms. A population of networks is evolved with the aim of finding a network such that the attractor it reaches is of…

神经与进化计算 · 计算机科学 2011-02-01 Andrea Roli , Cristian Arcaroli , Marco Lazzarini , Stefano Benedettini

The application of Genetic Programming to the discovery of empirical laws is often impaired by the huge size of the search space, and consequently by the computer resources needed. In many cases, the extreme demand for memory and CPU is due…

人工智能 · 计算机科学 2016-08-16 Alain Ratle , Michèle Sebag

Prioritized default reasoning has illustrated its rich expressiveness and flexibility in knowledge representation and reasoning. However, many important aspects of prioritized default reasoning have yet to be thoroughly explored. In this…

人工智能 · 计算机科学 2007-05-23 Yan Zhang

We study how to infer new choices from prior choices using the framework of choice functions, a unifying mathematical framework for decision-making based on sets of preference orders. In particular, we define the natural (most conservative)…

人工智能 · 计算机科学 2024-12-02 Arne Decadt , Alexander Erreygers , Jasper De Bock

Genetic algorithms are modeled after the biological evolutionary processes that use natural selection to select the best species to survive. They are heuristics based and low cost to compute. Genetic algorithms use selection, crossover, and…

神经与进化计算 · 计算机科学 2020-05-28 Mee Seong Im , Venkat R. Dasari

Formal methods apply algorithms based on mathematical principles to enhance the reliability of systems. It would only be natural to try to progress from verification, model checking or testing a system against its formal specification into…

软件工程 · 计算机科学 2014-02-28 Gal Katz , Doron Peled

In this paper, we study Reiter's propositional default logic when the treewidth of a certain graph representation (semi-primal graph) of the input theory is bounded. We establish a dynamic programming algorithm on tree decompositions that…

人工智能 · 计算机科学 2018-01-03 Johannes K. Fichte , Markus Hecher , Irina Schindler

Functions of chemical composition are complex and discrete in nature making it impossible to optimize them with gradient methods. Genetic algorithms, which do not use derivative information, are used to maximize the thermal conductivity of…

材料科学 · 物理学 2018-01-30 Alexander Kerr , Kieran Mullen

Reasoning with defeasible and conflicting knowledge in an argumentative form is a key research field in computational argumentation. Reasoning under various forms of uncertainty is both a key feature and a challenging barrier for automated…

人工智能 · 计算机科学 2024-07-09 Andrei Popescu , Johannes P. Wallner

Genetic algorithms constitute a family of black-box optimization algorithms, which take inspiration from the principles of biological evolution. While they provide a general-purpose tool for optimization, their particular instantiations can…

神经与进化计算 · 计算机科学 2023-04-11 Robert Tjarko Lange , Tom Schaul , Yutian Chen , Chris Lu , Tom Zahavy , Valentin Dalibard , Sebastian Flennerhag

Despite tremendous progress, machine learning and deep learning still suffer from incomprehensible predictions. Incomprehensibility, however, is not an option for the use of (deep) reinforcement learning in the real world, as unpredictable…

人工智能 · 计算机科学 2024-07-23 Manuel Eberhardinger , Florian Rupp , Johannes Maucher , Setareh Maghsudi

We apply decision tree induction to the problem of discourse clue word sense disambiguation with a genetic algorithm. The automatic partitioning of the training set which is intrinsic to decision tree induction gives rise to linguistically…

cmp-lg · 计算机科学 2008-02-03 Eric V. Siegel , Kathleen R. McKeown

Genetic Algorithms (GAs) are known for their efficiency in solving combinatorial optimization problems, thanks to their ability to explore diverse solution spaces, handle various representations, exploit parallelism, preserve good…

神经与进化计算 · 计算机科学 2023-09-29 Majid Sohrabi , Amir M. Fathollahi-Fard , Vasilii A. Gromov

We endow prioritised default logic (PDL) with argumentation semantics using the ASPIC+ framework for structured argumentation, and prove that the conclusions of the justified arguments are exactly the prioritised default extensions.…

人工智能 · 计算机科学 2015-07-02 Anthony P. Young , Sanjay Modgil , Odinaldo Rodrigues

Many writers have observed that default logics appear to contain the "lottery paradox" of probability theory. This arises when a default "proof by contradiction" lets us conclude that a typical X is not a Y where Y is an unusual subclass of…

人工智能 · 计算机科学 2013-04-08 Eric Neufeld , J. D. Horton

Genetic Algorithms are introduced as a search method for finding string vacua with viable phenomenological properties. It is shown, by testing them against a class of Free Fermionic models, that they are orders of magnitude more efficient…

高能物理 - 理论 · 物理学 2015-06-19 Steven Abel , John Rizos

Nowadays genetic algorithm (GA) is greatly used in engineering pedagogy as an adaptive technique to learn and solve complex problems and issues. It is a meta-heuristic approach that is used to solve hybrid computation challenges. GA…

其他计算机科学 · 计算机科学 2020-07-27 Tanweer Alam , Shamimul Qamar , Amit Dixit , Mohamed Benaida

Genetic algorithms, computer programs that simulate natural evolution, are increasingly applied across many disciplines. They have been used to solve various optimisation problems from neural network architecture search to strategic games,…

神经与进化计算 · 计算机科学 2021-09-14 Aymeric Vie , Alissa M. Kleinnijenhuis , Doyne J. Farmer

Evolutionary Algorithms are naturally inspired approximation optimisation algorithms that usually interfere with science problems when common mathematical methods are unable to provide a good solution or finding the exact solution requires…

人工智能 · 计算机科学 2021-02-03 Mohammed ElKomy