Results 1 - 10
of
21
Swarm robotics: a review from the swarm engineering perspective
- SWARM INTELL
, 2013
"... Swarm robotics is an approach to collective robotics that takes inspiration from the self-organized behaviors of social animals. Through simple rules and local interactions, swarm robotics aims at designing robust, scalable, and flexible collective behaviors for the coordination of large numbers of ..."
Abstract
-
Cited by 42 (27 self)
- Add to MetaCart
(Show Context)
Swarm robotics is an approach to collective robotics that takes inspiration from the self-organized behaviors of social animals. Through simple rules and local interactions, swarm robotics aims at designing robust, scalable, and flexible collective behaviors for the coordination of large numbers of robots. In this paper, we analyze the literature from the point of view of swarm engineering: we focus mainly on ideas and concepts that contribute to the advancement of swarm robotics as an engineering field and that could be relevant to tackle real-world applications. Swarm engineering is an emerging discipline that aims at defining systematic and well founded procedures for modeling, designing, realizing, verifying, validating, operating, and maintaining a swarm robotics system. We propose two taxonomies: in the first taxonomy, we classify works that deal with design and analysis methods; in the second taxonomy, we classify works according to the collective behavior studied. We conclude with a discussion of the current limits of swarm robotics as an engineering discipline and with suggestions for future research directions.
On a Straw Man in the Philosophy of Science —A Defense of the Received View—
"... I defend the Received View on scientific theories as developed by Carnap, Hempel, and Feigl against a number of criticisms based on misconceptions. First, I dispute the claim that the Received View demands axiomatizations in first order logic, and the further claim that these axiomatizations must in ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
(Show Context)
I defend the Received View on scientific theories as developed by Carnap, Hempel, and Feigl against a number of criticisms based on misconceptions. First, I dispute the claim that the Received View demands axiomatizations in first order logic, and the further claim that these axiomatizations must include axioms for the mathematics used in the scientific theories. Next, I contend that models are important according to the Received View. Finally, I argue against the claim that the Received View is intended to make the concept of a theory more precise. Rather, it is meant as a generalizable framework for explicating specific theories.
Simulation as a Scientific Instrument
"... Abstract. Computer simulation approaches are starting to be used more extensively throughout scientific investigations. Some scientists, however, are skeptical about the benefits of simulation. We present computer simulation as a scientific instrument in order to explore issues of their construction ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
(Show Context)
Abstract. Computer simulation approaches are starting to be used more extensively throughout scientific investigations. Some scientists, however, are skeptical about the benefits of simulation. We present computer simulation as a scientific instrument in order to explore issues of their construction and use, which we believe might increase their acceptance within science. We highlight the need to understand the model which the simulation implements, and examine the importance of calibrating simulations and presenting them in an open way to provide scientific reproducibility. 1
A perspective and framework for the conceptual modelling of knowledge
- Murdoch University
, 2013
"... I declare that this thesis is my own account of my research and contains as its main content work which has not previously been submitted for a degree at any tertiary education institution. ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
(Show Context)
I declare that this thesis is my own account of my research and contains as its main content work which has not previously been submitted for a degree at any tertiary education institution.
1Symbolic versus Modelistic Elements in Scientific Modeling*
"... ABSTRACT: In this paper, we argue that symbols are conventional vehicles whose chief function is denotation, while models are epistemic vehicles, and their chief function is to show what their targets are like in the relevant as-pects. And we explain why this is incompatible with the deflationary vi ..."
Abstract
- Add to MetaCart
(Show Context)
ABSTRACT: In this paper, we argue that symbols are conventional vehicles whose chief function is denotation, while models are epistemic vehicles, and their chief function is to show what their targets are like in the relevant as-pects. And we explain why this is incompatible with the deflationary view on scientific modeling. Although the same object may serve both functions, the two vehicles are conceptually distinct and most models employ both elements. With the clarification of this point we offer an alternative account to the deflationary view – the Hy-brid Account; and we defend our account in contrast with deflationism.
THE FORMAL AND THE FORMALIZED: THE CASES OF SYLLOGISTIC AND SUPPOSITION THEORY
"... argumentos, baseadas em um número reduzido de esquemas e padrões formais, e teorias de como reduzir a multiplicidade de argumentos em contextos informais, não lógicos, ao pequeno número de padrões formais cuja validade é estudada de maneira sistemática no âmbito do primeiro subprojeto. O segundo sub ..."
Abstract
- Add to MetaCart
argumentos, baseadas em um número reduzido de esquemas e padrões formais, e teorias de como reduzir a multiplicidade de argumentos em contextos informais, não lógicos, ao pequeno número de padrões formais cuja validade é estudada de maneira sistemática no âmbito do primeiro subprojeto. O segundo subprojeto corresponde à noção de formalização de argumentos. Infelizmente, a tendência atual é de considerar como sendo a lógica propriamente dita exclusivamente o que se encaixa no primeiro subprojeto, em detrimento do segundo subprojeto, igualmente importante. Neste artigo, duas teorias históricas sobre a formalização de argumentos são analisadas: a teoria da silogística apresentada por Aristóteles nos “Primeiros Analíticos” e teorias medievais da suposição. Ambas ilustram o caráter duplo da lógica, que envolve dois subprojetos distintos, e contêm reflexões sofisticadas sobre como formalizar argumentos. Em ambos os casos, os métodos formais utilizados se diferenciam dos métodos atuais de tradução de um argumento em linguagem vernacular para um simbolismo especialmente formulado, ou seja, uma linguagem formal. Em conclusão, o artigo pode ser visto como a defesa de uma conceitualização mais abrangente do que significa ‘formalizar’ um argumento.
Title: Visualizers, Visualizations, and Visualizees: Differences in Meaning-Making by Scientific Experts and Novices from Global Visualizations of Ocean Data.
, 2013
"... Data visualizations designed for academic scientists are not immediately meaningful to everyday scientists. Communicating between a specialized, expert audience and a general, novice public is non-trivial; it requires careful translation. However, more widely available visualization technologies and ..."
Abstract
- Add to MetaCart
Data visualizations designed for academic scientists are not immediately meaningful to everyday scientists. Communicating between a specialized, expert audience and a general, novice public is non-trivial; it requires careful translation. However, more widely available visualization technologies and platforms, including new three-dimensional spherical display systems in schools and informal science education institutions, often use the same visualizations that experts use to communicate amongst themselves, resulting in a public which often fails to make significant meaning from the visualizations. This dissertation uses a pragmatic, bricolage framework, incorporating cognitivist, social constructivist, and sociocultural perspectives. I used semi-clinical interviews and eye-tracking to investigate academic scientific experts and novices as they attempted to make meaning from global visualizations of ocean data. Stimuli were fifteen visualizations, three topics with five versions of each visualization with different levels of scaffolding to improve communication: no scaffolding; changes to color scale; addition of geographic labels; revision of title
Theorising and strategising with models: generative models of social enterprises
, 2014
"... Abstract: Social entrepreneurship research often relies on presenting narratives of organisations that integrate various actors, actions, contextual elements and outcomes without a clear perspective on why these elements were selected and what can be learned from them. This paper provides a transpa ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract: Social entrepreneurship research often relies on presenting narratives of organisations that integrate various actors, actions, contextual elements and outcomes without a clear perspective on why these elements were selected and what can be learned from them. This paper provides a transparent and systematic process of modelling organisations and proposes a validity triangle that adequately integrates analytical, theoretical and ontological dimensions. An illustrative case study demonstrates the choices involved in a valid modelling process. It also illustrates the steps involved in building a generative model of a social enterprise that accounts for the mechanisms that explain how the focal organisation achieves multiple strategic objectives.
