ESSLLI'97 offers you very introductory courses which will be held on the day preceding the beginning of the ordinary courses (Sunday, August 10th, 1997). These courses are adressed to students who would like to enter a new field.
The participation to these courses is free. Please, register as soon as possible using the form at the end of this page (ONLY if you have not registered yet using the main ESSLLI'97 registration form).
The following topics are proposed :
This course will introduce to the fundamental mechanisms of contemporary syntactic theories (like GPSG, HPSG, TAG), mainly:
Deductive systems play a very important role in Artificial Intelligence (expert-systems), in Theoretical Computer Science (rewriting systems, functional programming, logic programming...) and also in Computational Linguistics (categorial grammars). This course will be an introduction to various logics: classical logic, intuitionnistic logic, relevance logic, linear logic and variants expressed in two systems: Sequent Calculus and Natural Deduction.
Model Theory provides the semantic side of logical systems (as they are studied in the previous course). This course will give an introduction to the notion of model, starting from models for the elementary predicate calculus, and finishing with some insights on representational theories used in Linguistics, like the Discourse Representation Theory.
Modal Logic is essential to Artificial Intelligence and formalisation of many domains like Laws, Temporality, Knowledge, Belief and so on. Modalities are of many kinds (alethic, deontic, epistemic...) and can be formalised in Deductive Systems and in a Model-Theoretic way via the notion of possible world. This course will be an introduction to this field.
This course will have two objectives :