Creating and sharing knowledge for telecommunications

WORKSHOP How to Build Artificial Life system in Computer Games


on 18-02-2010

... Thursday, February 18th, 2010 at 14h30

Faculdade de Ciências da Universidade do Porto
Departamento de Ciência de Computadores
Rua do Campo Alegre, 1021/1055
4169 - 007 Porto
Portugal

Speakers: Veronica Orvalho (IT/FCUP-DCC)
Vitor Santos (Microsoft)

The registration is free, we have limited availability (max 80 students).
The registration is on a first come, first served basis.

Please register at the following site:
http://www.dcc.fc.up.pt/~veronica.orvalho/workshop_register/

if you have any questions you can contact me directly:
veronica.orvalho@dcc.fc.up.pt

Agenda:

1- Welcome & Overture - Veronica (5m)

2- Artificial Life and Games -Veronica (45m)
Games theory. Artificial Life and Games: Using Artificial Life in
computer games and Artificial Life Games overview.

3 - Bringing ALife to Computer Games- Vitor (60m)
Brief introduction to "Artificial Life". Sketch of an artificial
ecosystem: strategies, population, predator-prey relationships, the
construction of "intelligent beings", the "brain" -> use of
deterministic finite automata (DFAs) with internal state and use of
artificial neural networks (ANNs). Conservation and evolution of the
population. Relation phenotype/genotype -> DFAs and ANNs encoding.
Genetic algorithms to support the development of "human". Adaptability
and diversity. Construction of an artificial ecosystem: Architecture
and Code.

4 - Discussion and close - Veronica & Vitor (15m)
More Information..

Pure alethic modal logics


on 12-02-2010

... Jean-Yves Béziau (UFC/CNPq/FUNCAP, U Fortaleza, Brazil).

February 12, 2010, Friday, 16h15m.

Abstract: In this talk I will present systems of pure modal logics, i.e. with modalities as only connectives. I will focus on alethic modalities: necessity and possibility. The basic framework is structural conesquence relation in the sense of Los and Susko. I will study the main options and present bivalent and multi-valued semantics for these systems as well as sequent-calculi.
More Information..