UNIL
le savoir vivant
You are here: UNIL > Programmes > Card-index course
Français | English   Print   

Card-index course

Travaux pratiques en relation au séminaire avancé "Introduction à la logique II"

Responsible Faculty: Faculty of Arts

Teacher(s): Chloé Morend
Lecturer(s): -

Validity: 2011 -> 2011

No timetable defined.

Practical work

Spring semester
2 hours per week
28 hours per semester

Teaching language(s): french
Public: No
Credits: 0
Course notes: Yes

Content

Un modèle pour la connaissance : le modèle des mondes possibles. Connaissance commune, connaissance distribuée, connaissance multi-agents. Contrefactuels, incertitude, croyances et révision des croyances. Réseaux bayesiens. Logiques pour raisonner sur l'incertitude.

Bibliography

Ronald Fagin, Yoram Moses, Moshe Y. Vardi : Reasoning about Knowledge. MIT Press (2003).
Joseph Y. Halpern : Reasoning about Uncertainty. MIT Press (2005) Logic. University of Chicago Press, 1996

Access requirements

http://www.hec.unil.ch/logique/enseignement/

Additional information

http://www.hec.unil.ch/logique/enseignement/

Use contextFaculty codeStatusCredits
Formation complémentaire A pour la Maîtrise universitaire ès Lettres, Informatique et méthodes mathématiques (2007 ->) ›› External Courses In Quantitative Methods - FCA/20-DB 08Optional
Formation complémentaire A pour la Maîtrise universitaire ès Lettres, Informatique et méthodes mathématiques (2007 ->) ›› External Courses In Quantitative Methods - FCA/20-DB 09Optional
Formation complémentaire A pour la Maîtrise universitaire ès Lettres, Informatique et méthodes mathématiques (2007 ->) ›› External Courses in Quantitative Methods - FCA/20-DB 04Optional
Formation complémentaire A pour la Maîtrise universitaire ès Lettres, Philosophi (2007 ->) ›› Philosophical Domains I - FCA/01-DB 0711 01 036Facultative
Formation complémentaire B pour la Maîtrise universitaire ès Lettres, Informatique et méthodes mathématiques (2007 ->) ›› External Courses in Quantitative Methods - FCB/20-DC 06Optional
Formation complémentaire B pour la Maîtrise universitaire ès Lettres, Informatique et méthodes mathématiques (2007 ->) ›› External Courses in Quantitative Methods - FCB/20-DC 07Optional
Formation complémentaire B pour la Maîtrise universitaire ès Lettres, Informatique et méthodes mathématiques (2007 ->) ›› External Courses in Quantitative Methods - FCB/20-DC 08Optional
Informatique et méthodes mathématiques, 2ème partie, DB (2005 ->) ›› External Courses In Quantitative Methods - BA/20-DB 08Optional
Informatique et méthodes mathématiques, 2ème partie, DB (2005 ->) ›› External Courses In Quantitative Methods - BA/20-DB 09Optional
Informatique et méthodes mathématiques, propédeutique, DB (2005 ->) ›› External Courses in Quantitative Methods - BA/20-DB 04Optional
Master of arts, Computer Science and Mathematical Methods (2007 ->) ›› External Courses in Advanced Mathematical Methods - MA/20-SP 06Optional
Master of arts, Computer Science and Mathematical Methods (2007 ->) ›› External Courses in Quantitative Methods - BA/20-DC 06Optional
Master of arts, Computer Science and Mathematical Methods (2007 ->) ›› External Courses in Quantitative Methods - BA/20-DC 07Optional
Master of arts, Computer Science and Mathematical Methods (2007 ->) ›› External Courses in Quantitative Methods - BA/20-DC 08Optional
Philosophie, 2ème partie, DB (2005 ->) ›› Philosophical Domains I - BA/01-DB 0711 01 036Facultative
Canton de Vaud
Swiss University
Unicentre  -  CH-1015 Lausanne  -  Suisse  -  Tél. +41 21 692 11 11  -  Fax  +41 21 692 26 15