Feszengo erzesem van Zoli sorainak olvastan, mert a mondatszerkezetei
(Kafka es Esterhazy ota tudjuk, hogy ezek fontosabbak, mint a szavak)
osszemossak az altalanosan ismertet a hipotezisekkel, idioszinkraziakkal
meg ad hoc, vacsora utani tunodesekkel. Ettol aztan fene tudomanyos lesz
az egesz, csak teljesen felrevezeto. A dolgok kulon tartasara vonatkozo
megjegyzeseim, finomabb formaban, erre utaltak.
Amit el kellett mondani, mar elmondtam, en ugy gondoltam, vegig arrol
beszelek, lehet-e eletet szamitogeppel szimulalni, ha ez nem volt jo,
hat nem. Mindegy, uj leveleben Zoli azert rosszul mond vagy rosszul tud
par dolgot, most valojaban csak azokat szeretnem kiegyenesiteni.
- Amit az a Darwin nevu csinalt, az nem a fajok vagy az evolucio
feltalalasa, hanem egy evolucios mechanizmus felvetese volt, amely
valoszinuleg nem is igaz. A kumulativ szelekcios valtozasok speciacios
szereperol van szo. Az ALife fele nemigen mutat ez. Ha mar, akkor
Lamarck, aki zseni volt, csak abban a bizonyos aprosagban tevedett, o
foglalkozott azzal, hogy kidolgozza az elet mibenletet megalapozo elmeletet,
amely aztan, ha sikeresen megfogalmaztuk, latta ezt sajat maga is, mindenfele
lehetseges eletre vontakozna, legyen az szenes vagy nem szenes. A pozitivizmus
naiv lenduletevel Alred Lotka fizikai biologiaja folytatta ezt, majd annak
nyoman, ellenhataskent, jott Bertalanffy, meg N. Rashevsky, es a relacionalis
elmelet, and the rest is history, szoval masfele absztrakciokbol jon a
dolog.
- Egybemosas: az "atom" fogalma eppugy absztrakcio, mint a faje, megsem
hiszi senki, hogy atombombat szamitogepben is lehet robbantani. (A robbanas
bizonyos aspektusait persze lehet szimulalni, csak en nem szeretek errol a
triviarol beszelni, igaz, nem tudom, ki mit tetelez fel, ugyhogy nem art a
caveat. Emlekeztetoul viszont, a strong AI - strong AL kerdes nem arrol szol,
lehet-e az elet kivalasztott jelensegeit szamitogeppel modellezni, mert a
szineit peldaul lehet, Kodacolor Gold, hanem hogy az eletet magat lehet-e.)
- Neumann nem keveri ossze a realizacio es szimulacio kerdest (mert
hiszen errol van szo), annyira nem, hogy nem is az eletet, hanem annak
matematikai alapjait akarta megfogalmazni (o pontosan tisztaban volt a
kulonbseggel, miutan az altalanosabb kinematikus eletmodell megalkotasara
vezeto korabbi probalkozasa csodot mondott, ld a "Physical and Logical
Theory of Automata" cimmel kiadott princetoni eloadas-sorozatat, juszt
se mondom el, es a sajat konyvemet se, akit erdekel, elolvassa, ilyen ez).
Az ANN rendszerek, nos, errol epeszu ember nem hitte soha, hogy az agyat
kepezik le (Zoli ezt, felteszem, nalam jobban tudja, leven neurodinamika
modellezo, a ketto ugy viszonyul egymashoz, mint Lempel rocskaja a lvovi
rabbi kontosehez, lehet, hogy jovore tilos lesz, most sutom el). Vagyis,
ezek a peldak nem tamasztjak ala Zoli "konvergencia teziset", hogy
minden problema ugyanaz.
- Nem all, hogy algoritmusok vagy fuggvenyek osszekapcsolasa barmilyen
ertelemben is nem-algoritmikus lenne. Nevezetes tetelek vannak arrol,
hogy az algoritmusok osztalya zart mindenfele "elkepzelheto" (de legalabbis
idaig elkepzelt vagy legalabb a jovoben pontosan megfogalmazhato, masneven:
"effektiv" muveletre nezve). Ennek semmi koze a kaoszhoz, meg a
stochaszticitashoz, azt itt behozni verbalizmus. A kaotikus rendszer ugyan
nem modellezheto szamitogeppel (csak a szohossz altal limitalt hatarciklus,
ergo egy SGI Crimson [64 bit] jobb, mint egy XT [8 bit]), de maga a kaoszt
produkalo egyenlet igen. A kaosz bonyolultsaga a kezdeti feltetelben van,
nem az egyenletben. A kaosz tehat nem azert nem fer bele a szamitogepbe, mert
nem algoritmikus, hanem mert az exact kaosz vegtelen sok jegybol allo kezdeti
erteket tetelez fel. Me'g a kaotikus tartomanyban is, egy veges sok jegyu,
pontosan megadott kezdoertek, amilyen pl. a nulla, veges hatarciklust
eredmenyez. A "kaosz" egyszeruen komplexitasmegorzo transzformacio es kesz.
A nemlinearis duma lassan tiz eve folyik a vizcsapbol, eleg belole. (O.E.
Roessler, akirol a talan legnevezetesebb kaotikus attraktort neveztek
el, es akivel evek ota egyutt dolgozom, ezt nalam sokkal szebben tudja
mondani, mert eloszor ugy hangzik, mint egy dicseret, azt szokta mondani,
hogy a nemlinearis modellek mindenutt nagy attorest hoztak, szunet, majd
bocsnatkeron, kiveve talan nehany lenyegtelen kerdest, mint az elet, az elme,
a jelen (now) problemaja, es a josag, entschuldigung.) Az, hogy nem
megjosolhato, meg nem algoritmikus, az ket total kulonbozo dolog, tetezve azzal
a hibaval, hogy a kaosz "meg nem josolhatosaga" egy egeszen specialis ertelemben
van, vagyis, hogy a hibas joslas az idovel tetszolegesen leromlik. De a pontos
joslas pontos marad (ld fent), kulonben is, mit nem lehet az ingan megjosolni,
ha't leng. Persze ami nem algoritmikus, pl. amirol nem tudom, leng-e, sot inga-e
me'g egyaltalan, vagy ma'r hal(l)hatatlan le'lekke alakult, ki a networkon
levelez, az sem megjosolhato, de nem minden rovar bogar.
- Legbol kapott dolog, hogy az evolucio vagy az elet lenyege az, hogy
"nem akad el", duplan is, mert mi van, ha az elet nem a vegtelenbe megy (mint
azt Teihard de Chardin gondolja), hanem mondjuk az evolucio maris
befejezodott? Nem ezen mulik. Nem igaz tovabba, hogy nem lehet garantalni,
hogy egy algoritmus ne jusson ciklusba. A Halting Problem nevu kerdes
mutatja, hogy mas a helyzet. A problema algoritmikusan eldonthetetlen, ez
azonban azt jelenti, hogy vannak olyan algoritmusok, amelyek nem allnak meg es
nem jutnak ciklusba (ugye, mindket esetben eldonheto lenne, megall-e; purista
matematikusok kedveert, pontosabban azt tudjuk, hogy vannak programok,
amelyek vagy sosem ismetlik magukat, vagy a ciklushosszuk minden korlatnal
nagyobb lehet). Nem nagy kunszt egyebkent "infinitely long lived transient"-et
irni a differencialegyenletek nyelven sem, vagyis olyan trajektoriat talalni,
amely nem vezet attraktorra. Legegyszerubb ilyen pl. az exponencialisan
robbano fuggveny, vagyis az x'(t)= a * x(t) egyenlet megoldasa. Ennek letebol
semmi metafizikai nem kovetkezik, es az elethez sincs sok koze, legfeljebb a
malthusi demografiahoz, az meg megy mashogy is.
Az onmodosito rendszerben nem az a poen, hogy nem all meg (noha eppenseggel
tenyleg nem all meg), hanem, hogy informaciot termel. Informaciotermeles
nelkul megnezem, hogyan lehet evoluciot modellezni, informaciot termelni meg
algoritmussal nem lehet, a Kolmogorov-Chaitin elmelet ota. Nem segit ezen
semmilyen varazsige. Hogy mi van az algoritmuson tul? Hat a valosag maga
(cf system vs natural system), a sztori meg arrol szol, hogy eletet modellezni
annyi, mint a valosagot teljes gazdagsagaval egyutt modellezni, mert az elet
ezt a teljes gazdagsagot hasznalja (szinteken le-fel, sot keresztbe es tagitva),
nem pedig azokat a korlatozott mukodesi modokat, vagy sineket, amelyeket
az algoritmusok es mas formai konstrukciok biztositanak a szamara.
udv kgy
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% %
% TROISIEME CYCLE ROMAND %
% D'INFORMATIQUE %
% %
% COLLOQUE %
% %
% 25 - 26 novembre 1993 %
% %
% Universite de Geneve %
% %
% %
% VIE ARTIFICIELLE %
% et %
% REALITE VIRTUELLE %
% %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Organise par
Nadia Magnenat Thalmann
Universite de Geneve
et
Daniel Thalmann
EPFL
VIE ARTIFICIELLE ET REALITE VIRTUELLE
*************************************
Depuis quelque temps, les concepts de vie artificielle et de realite
virtuelle ont pris une importance considerable, autant dans la recherche
que dans les medias. C'est pourquoi le troisieme cycle romand d'informa-
tique consacre un seminaire sur le sujet de la realite virtuelle et de
la vie artificielle.
Cela va permettre aux intervenants et aux participants de se poser des
questions du genre "quelles sont les realites scientifiques derriere
l'engouement des medias sur la realite virtuelle, quel est le monde qui
y vit aujourd'hui, comment modeliser la vie artificielle et que signifie
alors la liberte des etres de synthese".
Nous discuterons aussi des perspectives a long terme de la recherche en vie
artificielle et en realite virtuelle.
Les conferences sont donnees indifferemment soit en francais, soit en anglais.
PROGRAMME
---------
JEUDI 25 novembre
Matin de 10h.00 a 13h.00
Session 1 : Et si l'on parlait de liberte?
Guy Kirsch, Universite de Fribourg
"Unpredictability - another word for freedom...And if machines were free ?"
Session 2 : Simulation des plantes et des animaux
Pascal Lienhardt, Universite de Strasbourg, France
"Plantes et metamorphoses"
Hansruedi Noser, EPFL
"Modeliser le comportement des plantes, des poissons et des papillons avec
les L-systemes"
Apres-midi de 14h.00 a 17h.30
Session 3 : Virtual reality
Mel Slater, Universiy of London, UK
"Body centered interaction in virtual reality"
Hilmar Lehnert, University of Bochum, Germany
"Fundamentals of auditory virtual environment"
Ulrich Broeckl, University of Karlsruhe, Germany
"Experiences with 3D and gesture recognition as a 3D interaction technique"
Soiree de 18h.30 a 20h.00
Festival de films par ordinateur
Uni-Dufour, 24, rue General-Dufour, Salle U260, 2eme etage
Une selection des meilleurs films par ordinateur sera presentee.
De 20h.00 a 21h.30
Repas pris en commun au restaurant "Le Lyrique"
VENDREDI 26 novembre
Matin de 9h.30 a 12h.15
Session 4 : Virtual reality
Panel avec la participation de Ulrich Broeckl, Hilmar Lehnert, Mel Slater
et Daniel Thalmann
"Virtual reality : how to live inside ?"
Session 5 : Simuler la vie
Daniel Mange, EPFL
"Introduction e l'embryonique : realisation de materiel informatique
autoreparateur et autoreproducteur base sur les mecanismes biologiques
de division et de differentiation cellulaires"
Jurg Kohlas, Universite de Fribourg
"Artificial life and fuzzy systems"
Apres-midi de 13h.30 a 17h.00
Session 6 : Simuler l'autonomie
Michele Courant et Beat Hirsbrunner,
Universite de Fribourg
"Gerer des entites pour un comportement autonome"
Nadia Magnenat Thalmann, Universite de Geneve et Daniel Thalmann, EPFL
"Interaction et autonomie chez les acteurs de synthese"
Philippe Gaussier, EPFL
"Emergence de l'intelligence dans les robots mobiles"
Session 7 : Artificial life
Panel avec la participation de Guy Kirsch, Jurg Kohlas, Daniel Mange et
Nadia Magnenat Thalmann
"Vie artificielle : mental ou biologique?"
ORGANISATION
------------
Lieu
----
Battelle, Batiment A (pres de la cafeteria),
7, rte de Drize, 1227 Carouge
Comment acceder a Battelle
--------------------------
Depuis l'aeroport de Geneve:
1. Bus 18 jusqu'au BACHET (25 min)
2. Tram 12 jusqu'au RONDEAU de Carouge (3 min)
Depuis la gare Cornavin:
1. Bus 4 ou 5 jusqu'a BEL-AIR (5 min)
2. Tram 12 jusqu'au RONDEAU de Carouge (20 min)
Paiement
--------
La finance d'inscription est a verser e l'Universite de Geneve,
Comptabilite 3eme cycle romand d'informatique, CCP 12-1873,
avant le 15 novembre 1993.
Reservation d'hotel
-------------------
Vous pouvez reserver votre chambre d'hotel (en indiquant les
dates d'arrivee et de depart ainsi que le nombre de nuits) par
fax aupres de M. Yves Rey, Universite de Geneve (avant le 15
novembre) au no de fax : +41/22/ 320.29.27.
Prix d'une chambre simple: Fr.90.- (petit dejeuner compris).
Renseignements
--------------
Prof. N. Magnenat Thalmann, Universite de Geneve, CUI, 24, rue
General-Dufour, CH - 1211 Geneve 4.
Tel.: +41 / 22 / 705.77.69
Fax : +41 / 22 / 320.29.27
E-mail: thalmann(a)cui.unige.ch
rey(a)cui.unige.ch
Secretariat
-----------
Evelyne Kohl, Universite de Geneve, Tel. 022/705.77.70
Josiane Bottarelli, EPFL, Tel. 021/693.52.15
BULLETIN D'INSCRIPTION
----------------------
a renvoyer par poste a Evelyne KOHL, CUI, 24 rue General-Dufour
1211 Geneve 4 avant le 15 novembre.
Nom: __________________________________________________________
Prenom: _______________________________________________________
Fonction: _____________________________________________________
Tel: _________________ Fax: _________________
Courrier electronique: _______________________
Haute ecole ou entreprise: ____________________________________
Adresse professionnelle: ______________________________________
_______________________________________________________________
Finance d'inscription
---------------------
0 Membre des universites rattachees au 3eme cycle gratuit
0 Employe d'une administration cantonale Fr. 150.-
0 Autres Fr. 250.-
Les beneficiaires du 3eme cycle prennent eux-memes en charge leurs frais de
voyage, de repas et d'hotel. La part du 3eme cycle leur sera bonifiee
ulterieurement.
ListProcessor 6.0
at Institute for Psychology of Hungarian Academy of Sciences
Here is a brief description of the set of requests recognized by ListProcessor.
Everything appearing in [] below is optional; everything appearing in <> is
mandatory; all arguments are case insensitive. The vertical bar ("|") is used
as a logical OR operator between the arguments. Requests may be abbreviated,
but you must specify at least the first three characters.
Recognized requests are:
help [topic]
------------
Without arguments, this file. Otherwise get specific information on the
selected topic. Topics may also refer to requests.
set <list> [<option> <arg[s]>]
------------------------------
Without the optional arguments, get a list of all current settings for
the specified list. Otherwise change the option to a new value for that
list. Issue a 'help set' request for more information.
subscribe <list> <your name>
----------------------------
The only way to subscribe to a list.
unsubscribe <list>
signoff <list>
------------------
Two ways of removing yourself from the specified list.
recipients <list>
review <list>
-----------------
Get a listing of all non-concealed people subscribed to the specified list.
information <list>
------------------
Get information about the specified list.
statistics <list> {[subscriber email address(es)] | [-all]}
-----------------------------------------------------------
Get a listing of non-concealed subscribers along with the number of messages
each one of them has sent to the specified list. If the optional email addresses
are given, then statistics will be collected for these users only. For example:
stat foo user1@domain user2@domain
will generate statistics about these two subscribers. "-all" lists statistics
for all users that have posted on the list (whether currently subscribed ot
not).
run <list> [<password> <cmd [args]>]
------------------------------------
Run the specified command with the optional arguments and receive the output
from stdout and/or stderr. To get a listing of all available commands to run,
omit the arguments, i.e. issue a 'run <list>' request. You have to belong to
the specified list, and must have obtained the password from the list's owner.
lists
-----
Get a list of all local mailing lists that are served by this server.
index [archive | path-to-archive] [/password] [-all]
----------------------------------------------------
Get a list of files in the selected archive, or the master archive if no
archive was specified. If an archive is private, you have to provide its
password as well.
get <archive | path-to-archive> <file> [/password] [parts]
----------------------------------------------------------
Get the requested file from the specified archive. Files are usually split in
parts locally, and in such a case you will receive the file in multiple email
messages -- an 'index' request tells you how many parts the file has been split
into, and their sizes; if you need to obtain certain parts, specify them as
optional arguments. If an archive is private, you have to provide its password
as well.
search <archive | path-to-archive>] [/password] [-all] <pattern>
----------------------------------------------------------------
Search all files of the specified archive (and all of its subarchives if -all
is specified) for lines that match the pattern. The pattern can be an
egrep(1)-style regular expression with support for the following additional
operators: '~' (negation), '|' and '&' (logical OR and AND), '<' '>' (group
regular expressions). The pattern may be enclosed in single or double quotes.
Note: . matches any character including new line.
which
-----
Get a listing of local mailing lists to which you have subscribed.
