[Top] [All Lists]

[ontolog-forum] FW: [ONTOLOGY-LIST] FW: [thereasoner-alerts] The Reasone

To: <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Obrst, Leo J." <lobrst@xxxxxxxxx>
Date: Sat, 29 Sep 2007 13:42:24 -0400
Message-id: <9F771CF826DE9A42B548A08D90EDEA8002635C68@xxxxxxxxxxxxxxxxx>
FYI: see below.  I just came across this recently, i.e., the class in Formal Epistemology at the ESSLLI summer school this past July. Was mentioned in the Reasoner. You might also want to check out the Reasoner.

From: Obrst, Leo J. [mailto:lobrst@xxxxxxxxx]
Sent: Wednesday, September 26, 2007 12:40 PM
To: ontology-list Ontology, Semantics, Knowledge Representation
Subject: [ONTOLOGY-LIST] FW: [thereasoner-alerts] The Reasoner - issue 1(6) now available

FYI. Off of this issue is a link to the recent 5 day course on
Introduction to Formal Epistemology
at the

12 - 17 August, 2007
European Summer School for Logic, Language and Infromation

Dublin, Ireland



It's pretty formal. Includes lecture slides and text. Interesting section on Knowledge and Social Networks.



Course Information   

Intstructor: Eric Pacuit (ILLC, University of Amsterdam) and Rohit Parikh (GC and Brooklyn College, CUNY)


Prerequisites: The goal of this course is to introduce students to the field of formal epistemology. Although formal methods will be used, the focus of the course is not technical but rather on intuitions and the main conceptual issues (such as the logical omniscience problem). As such, there are no prerequisites for this course except some mathematical maturity.


Content: Formal models of knowledge and belief have been used by a wide range of communities including computer scientists, economists and philosophers. One important challenge is to determine to what extent these formal models represent the social situations that they are intended to model. With this challenge in mind, we will survey the main approaches to formalizing social interactive situations from the computer science, game-theoretic and philosophical literature. This includes both probabilistic models (such as Harsanyi type spaces) and non-probabilistic models (such as Kripke structures and Aumann structures). We will then discuss some of the key theorems (such as Aumann's agreement theorem and related results) and conceptual puzzles. An important part of the course will be a thorough presentation of common knowledge and related concepts as well as a discussion of applications in game theory

From: f.russo@xxxxxxxxxx
Sent: Wed 9/26/2007 11:58 AM
To: thereasoner-alerts@xxxxxxxxxx
Subject: [thereasoner-alerts] The Reasoner - issue 1(6) now available

The latest issue of The Reasoner is now available for download in pdf format at

The Reasoner (www.thereasoner.org) is a monthly digest highlighting exciting
new research on reasoning and interesting new arguments. It is
covering research in, e.g., philosophy, logic, AI, statistics, cognitive
law, psychology, mathematics and the sciences.

The Reasoner welcomes submissions:
- Submitted articles (100-1000 words)
- Submitted items of news
- Letters
- Conference announcements
- Job announcements
- Advertisements

If you would like to be alerted by email when an issue becomes available,
please email
TheReasoner@xxxxxxxxxx with "SUBSCRIBE" as subject.

Jon Williamson, Editor

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

<Prev in Thread] Current Thread [Next in Thread>
  • [ontolog-forum] FW: [ONTOLOGY-LIST] FW: [thereasoner-alerts] The Reasoner - issue 1(6) now available: Intro to Formal Epistemology, Obrst, Leo J. <=