Sciweavers

10568 search results - page 12 / 2114
» Computer Intelligence and Formalization
Sort
View
ICCCI
2009
Springer
14 years 7 months ago
A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems
In this paper we introduce a new formalism to represent multi-agent systems where resources can be exchanged among different agents by maximizing the utility of the agents conformi...
Juan José Pardo, Manuel Núñez...
EPIA
2009
Springer
15 years 4 months ago
A Formal Model of Emotion-Based Action Tendency for Intelligent Agents
Although several formal models of emotions for intelligent agents have recently been proposed, such models often do not formally specify how emotions influence the behavior of an ...
Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. ...
CORR
2006
Springer
98views Education» more  CORR 2006»
14 years 9 months ago
A Formal Measure of Machine Intelligence
A fundamental problem in artificial intelligence is that nobody really knows what intelligence is. The problem is especially acute when we need to consider artificial systems whic...
Shane Legg, Marcus Hutter
IFSA
2007
Springer
149views Fuzzy Logic» more  IFSA 2007»
15 years 3 months ago
From Interval Computations to Constraint-Related Set Computations: Towards Faster Estimation of Statistics and ODEs Under Interv
One of the important components of granular computing is interval computations. In interval computations, at each intermediate stage of the computation, we have intervals of possi...
Martine Ceberio, Vladik Kreinovich, Andrzej Pownuk...
79
Voted
AISB
1994
Springer
15 years 1 months ago
Formal Memetic Algorithms
Abstract. A formal, representation-independent form of a memetic algorithm-a genetic algorithm incorporating local search--is introduced. A generalisedform of N-point crossover is ...
Nicholas J. Radcliffe, Patrick D. Surry