[ln] Appel: Analogies between the theory of compilation and operations of the brain
Thierry Hamon
thierry.hamon at LIPN.UNIV-PARIS13.FR
Mon Apr 18 07:19:48 UTC 2005
Date: Wed, 13 Apr 2005 21:15:36 +0200
From: "Christophe Jouis" <cjouis at univ-paris3.fr>
Message-ID: <041801c5405d$2c083a00$9500a8c0 at univparis3.fr>
X-url: http://www.iiisci.org/sci2005/website/default.asp
X-url: http://www.infocybernetics.org/citsa2005/
X-url: http://www.chercheurs.auf.org/index.php?action=voirFiche&id=1051
Apologies if you receive this more than once]
==================================================================
URGENT : Call for Papers
"Functional analogies between the theory of compilation and operations
of the brain"
(Invited Session Being Organized)
Under the high decisions of the WMSCI 2005 Organizing Committee, 9th
World Multi-Conference on Systemics, Cybernetics and Informatics :
http://www.iiisci.org/sci2005/website/default.asp, and the
CITSA´05/ISAS´05 Organizing Committee, 11th International Conference
on Information Systems Analysis and Synthesis: ISAS´05 and 2nd
International Conference on Cybernetics and Information Technologies,
Systems and Applications: CITSA'05:
http://www.infocybernetics.org/citsa2005/, which will be held in
Orlando, Florida, USA, on July 14-17, 2005.
(Papers Due: 30 April 2005)
===================================================================
Functional analogies between the theory of compilation and operations
of the brain
The theory of compilation, with the computer sciences interpretation
of this word (i.e. the transformation of an algorithm expressed in a
programming language towards directly feasible codes on machines) can
be understood as a model of changes of levels of representations,
aiming to get out more and more of the physical structures of
computers (FORTRAN, COBOL, ALGOL, etc). Compilation process finishes
with binary codes of the instructions specific to a computer. Before
that, a first level is composed of one assembly language (mnemonics
for the instructions, symbolic addresses systems, etc). Then a
compiler provides to the user the possibility of describing algorithms
and processes in a more abstract way, in a high level formal language,
without having to be concerned with the way in which programs will be
really carried out on machines. High level programming languages
having composed and structured instructions associated to complex
types became standards (PASCAL, C/C++, ADA, etc). Generally,
compilers generate an intermediate code, independent of a particular
machine, allowing the re-use of the programs written in a high-level
language of a type of machine to another type of machine and / or
operating system. Increasingly abstract and able to manage nonnumeric
complex conceptual structures programming languages emerged (LISP,
object oriented languages, declarative languages, etc). Recently,
complete environments of programming appeared, using largely and
increasingly advanced and ergonomic graphic interfaces.
The general idea of compilation is the transcription, by successive
steps, of structured, abstract and complex operations and objects,
towards lower levels where each high-level operation and each
high-level object are represented in a lower level by semantic
schemes: combinations of more elementary operations and basic objects.
This process is repeated several times in order to arrive at the
basic, binary and material language of the targeting machine.
In this way, it begin to be interesting to make analogies between the
processes of compilation and the functional modeling of the behavior
of the human brain, in particular for the activities of natural
language, interaction, perception, reasoning, exchanges of ideas, etc.
It is therefore the main and fundamental question of this session: the
conception of new models of these human activities in an abstract way,
by considering conceptual structures, which are broken down into more
elementary operations on a lower level. Several levels of description
are possible, up to an elementary level where the operations are
defined like semantic primitives, associated to a set of semantic
properties (elementary types, complex types, algebraic properties,
combinatorial properties, etc.), without considering the last level,
which must be studied in the domain of neurobiology: electrochemical
exchanges between neurons (on the level of synapses via
neurotransmitters).
Topics: (this is not an exhaustive list)
1.Physical analogies: would computers and brains be data processing
systems able to treat comparable symbolic informations, which differ
only by the characteristics of their material supports? Would the
components be therefore substitutable?
2. Functional analogies founded on competence: the brain would be a
data processing symbolic machine, with the analogy of the Turing
model. It follows that because all the data processing machines
result from the model of the universal machine of Turing, each
brain could be a particular machine of Turing?
3. Functional analogies founded on the performances: would the brain
operate like a computer according to the model of von Neumann, in a
sequential way?
4. Analogies between the computational strategies: would the brain
operates symbolic data (according to an organization at least as
complex as the general data-processing machines which use all the
same strategy of compilation of the external representations), by
successive levels of decomposition, in order to obtain objects
which would be compatible with the structures of the processors and
the physical supports of the treated representations?
5. Analogies between the "cross-compilers" (compilers from a
programming language towards another programming language and / or
computer) and human multilingual activities (in natural language):
multilingual translation, lexicology and terminology. The
compilation produces at a quite precise step a "general
intermediate code" which is composed of generic representations
and symbolic informations which are independent of a computer or of
a particular operating system. In that case the human processes of
comprehension, interpretation and nominalization of a natural
language towards another wouldn't be founded on this same logic of
procedure?
6. Contradictory topic: Would a functional analogy between operations
of the brain and strategies of decomposition using compilation on
computers be a realistic approach? Thus, on the contrary, should we
speak about "not-analogy"? What things differ radically between
cerebral operations and operations with the computer? The objective
of this topic would be not to be only in the brain-computer analogy
and would allow to those who would think that those analogies are
very thin. Turing, for example, in response to criticisms of the
Artificial Intelligence (Dreyfus, etc.), had circumvented the
problem by posing the game of the "Test of Turing". Which are today
the new discoveries, argumentations and / or experiments, taking
into account for instance the results and / or failures of these
searches, in the Nineties about "massively parallel machines" ? New
contradictory arguments would be welcome.
Members of the scientific committee:
Person in charge:
- Dr. Christophe Jouis, "Université Paris III - Sorbonne
Nouvelle", France, & Associated Professor at the "Université
du Québec à Trois-Rivières", Canada,
URL : http://www.chercheurs.auf.org/index.php?action=voirFiche&id=1051.
Scientific Committee:
- Dr. professor Carol A. Bean, Extramural Programs, National Library
of Medicine, Bethesda, MANDELEVIUM, USA,
- Dr. Ismaïl Biskri, professor at the University at the "Université du
Québec à Trois-Rivières", Canada,
- Dr. Professor Bernard Bosredon, President of the "Université Paris
III - Sorbonne Nouvelle", France.
- Jean-Marie Ferru, vice-CEO Search Engineer at the "Université Paris
Sorbonne Nouvelle", France,
- Dr. Jean-Guy Meunier, professor at the "Université du Québec à
Montréal", Canada,
- Dr. Widad Mustafa el Hadi, Senior Lecturer at the "Université Lille
3 - Charles of Gaulle", France,
- Dr. professor Sung Hyon Myaeng, College of Engineering, Chungnam
National University, Taejon, Korea,
- Dr. Vincent Rialle, Senior Lecturer at the "Université Joseph
Fourier", Grenoble, France,
- Dr Alvaro Rocchetti, professor at the "Université Paris III -
Sorbonne Nouvelle", France,
- Dr. Professor André Rousseau, « Université Lille 3 - Charles of
Gaulle", France,
- Dr. Professor Philippe Thoiron, « Université Lumière - Lyon 2 »,
Lyon, Coordinator of the Network Lexicology Terminology Translation
(LTT), France.
===================================================================
Important Dates:
April 30th, 2005: Deadline for Submission of extended abstracts
(500-1500 words) or paper drafts (2000-5000 words).
May 10th, 2005: Notification of pre-approval of acceptance by the
local Committee of the session.
May 20th, 2005: Final Notification of acceptance by the
CITSA´05/ISAS´05 Organizing Committee.
May 31th, 2005: Camera-ready copy due.
- Will be held in Orlando, Florida, USA, on July 14-17, 2005.
===================================================================
Submission Guideline :
First Electronic submission in "RTF" to cjouis at univ-paris3.fr.
Author Guide for Preparing a Proceedings Paper
for WMSCI/ CITSA 2005 [FOR PAPER DRAFTS]
First-Name Middle-Initial LAST-NAME
University Department, University Name
City, State ZIP/Zone, Country
and
First-Name Middle-Initial LAST-NAME
Group, Company, Address,
City, State ZIP/Zone, Country
ABSTRACT
The abstract should summarize the content of the paper. Try to
keep the abstract below 200 words. Do not have references or
displayed equations in the abstract. The conference
Proceedings will be printed by photo-offset from the samesized
copy prepared by you. Your article should be printed on
8.5" x 11" (21.6 cm x 27.9 cm) paper, using a high quality laser
printer. If you use A4 paper (21.0 cm x 29.7 cm), we will make
a letter photocopy of it before sending it to the printing shop.
Consequently, this may lower the printing quality of your
paper. It is imperative that the margins and style described
below be adhered to carefully. This will enable us to maintain
uniformity in the final printed copies of the Proceedings.
Please keep in mind that the paper you prepare will be
photographed and printed as it is received.
Keywords: Author Guide, Article, Camera-Ready Format and
Paper Specifications.
1. IMPORTANT INFORMATION
There is a limit of 6 pages for each article in the Proceedings.
At most 2 additional pages can be included, as long as you pay
the fee of US$ 75.00 per extra page. Be sure to fill out and send
with your camera-ready paper, your IIIS Copyright Transfer
form and your Speaker's Biographical Sketch. Remember that
registration of at least one author per paper and the
payment (or the signed commitment of on-site payment) of
the conference fees are a necessary condition for the paper
to be included in the Conference Proceedings.
2. PREPARATION OF PAPERS
General Appearance
The text must be in English. The submitted typeset scripts of
each contribution must be in their final form and of good
appearance because they will be printed directly without any
editing. It is essential that the "camera-ready copies" be
absolutely clean and unfolded. The copy should be evenly
printed on a high quality (300 dots/inch or higher) laser printer.
There should not be corrections made on the printed pages.
Your paper must be printed actual size (exactly how it is to
appear in the Proceedings) in two columns. The document you
are reading is printed in the format that should be used in your
paper.
Specifications
As part of the printing process your document will be
photographed. To ensure that this can be done with one camera
setting for all papers and to ensure uniformity of appearance for
the Proceedings, your paper should conform to the following
specifications. If your paper deviates significantly from these
specifications, the printer may not be able to include your paper
in the Proceedings.
1) On the first page, the distance from the top edge of the
paper to the top of the first line of type (the title) should be
0.79" (2.0 cm)
2) On the second and subsequent pages, the distance from the
top edge of the paper to the top of the first line of type
should be 0.59" (1.5 cm)
3) The left and right margins should be 0.75" (1.9 cm.) If you
are using A4 paper, set the right margin to 0.51" (1.3 cm)
4) The width of each column should be 3.23" (8.2 cm)
5) The distance between the two columns of text should be
0.54" (1.4 cm)
6) The distance from the top edge of the paper to the bottom of the
last line of type on the page should be no more than 10" (25.4 cm)
3. RECOMMENDED POINT SIZES
We recommend a font of 9 points or greater. This document is set in
9-point Times New Roman. If absolutely necessary, we suggest the use
of condensed line spacing rather than smaller point sizes. Some
technical formatting software print mathematical formulas in italic
type, with subscripts and superscripts in a slightly smaller font
size. This is acceptable.
4. HEADINGS
Major headings are to be column centered in a bold font and in
capitals without underline. They may be numbered, if so
desired. "4. HEADINGS" at the top of this paragraph is a
major heading.
Subheadings
Subheadings should be in a bold font and in lower case with
initial capitals. They should start at the left-hand margin on a
separate line.
Sub-subheadings: Sub-subheadings are to be in a
bold font. They should be indented and run in at the beginning
of the paragraph. The top of this paragraph illustrates a subsubheading.
Title: The title should be centered across the top of the first page
and should be in a distinctive point size or font. It should be in a
bold font and in lower case with initial capitals. Authors' Names and
Addresses: The authors' names and addresses should be centered below
the title. These lines should be in at least 11-point type, but the
particular point sizes and fonts are not critical and are left to the
discretion of the authors.
Keywords: From 5 to 7 keywords should follow the abstract (as a
subheading of the Abstract). Illustrations or pictures: All halftone
illustrations or pictures should be clear black and white
prints. These should be in place in the article, printed as part of
the text. Supply the best quality illustrations or pictures possible.
5. FORMULAE
All equations must be typed or written neatly in black. They should be
numbered consecutively throughout the text. Equation numbers should
be enclosed in parentheses and flushed right. Equations should be
referred to as Eq. (X) in the text where X is the equation number. In
multiple-line equations, the number should be given on the last line.
6. PAGE NUMBERING
Number your pages lightly, using a soft pencil, at the upper
right-hand corners in the back of them (for example, 1/6, 2/6 and so
forth). Please do NOT write on the fronts of the pages, or on the
lower halves of the backs of the pages.
7. FOOTNOTES
Should be typed in singled-line spacing at the bottom of the page and
column where it is cited. Footnotes should be rare.
8. CONCLUSIONS
The better you look, the better we all look. Thanks for your
cooperation and contribution. We look forward to seeing you at CITSA
2005 in Orlando, Florida.
9. REFERENCES
List and number all bibliographical references at the end of your
paper. When referenced in the text, enclose the citation number in
square brackets, for example [1]. Where appropriate, include the
name(s) of editors of referenced books. The following is an example
of the recommended style for references.
[1] C.W. Churchman, The Design of Inquiring Systems, New York: Basic
Books Inc. Pub., 1971.
[2] J. Ivari, "A Paradigmatic Analysis of Contemporary Schools of IS
Development", European Journal of Information Systems, Vol. 1, No. 4,
1991, pp. 249-272.
Christophe Jouis
Université Paris - Sorbonne Nouvelle
Rattaché à la Présidence
MCF Informatique
MCF Sciences de l'Information et de la Communication
-------------------------------------------------------------------------
Message diffusé par la liste Langage Naturel <LN at cines.fr>
Informations, abonnement : http://www.biomath.jussieu.fr/LN/LN-F/
English version : http://www.biomath.jussieu.fr/LN/LN/
Archives : http://listserv.linguistlist.org/archives/ln.html
La liste LN est parrainée par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhésion : http://www.atala.org/
-------------------------------------------------------------------------
More information about the Ln
mailing list