IC

[Mario Benevides]

Caros alunos e ex-alunos,

O prof. Mario Benevides e eu estamos com 2 bolsas de IC para alunos
interessados em IA e lógica.

O tema do projeto de IC é a utilização de técnicas de representação de
conhecimento em Inteligência Artificial e Lógicas de Conhecimento e
Crença para multiplos agentes. Serão estudadas aplicações em jogos do
tipo "Qual o meu número?" e "Cem prisioneiros e uma lâmpada". A idéia
é gerar métodos gerais  e computacionais para representar e resolver
problemas deste tipo (ver descrição abaixo). Esses problemas lidam com
a evolução do conhecimento distribuído ao longo do tempo e não são
triviais.

What is my number?

Each of agents Anne, Bill, and Cath has a positive integer on its forehead.
They can only see the foreheads of others. One of the numbers is the sum of
the other two. All the previous is common
knowledge. The agents now successively make the truthful announcements:

- Anne: I do not know my number.
- Bill: I do not know my number.
- Cath: I do not know my number.
- Anne: I know my number. It is 50.

What are the other numbers?


***************************
One hundred prisoners and a lightbulb

A group of 100 prisoners, all together in the prison dining area, are told
that they will be all put in isolation cells and then will be interrogated
one by one in a room containing a light with an on/off switch. The prisoners
may communicate with one another by toggling the light-switch (and that is
the only way in which they can communicate). The light is initially switched
off. There is no fixed order of interrogation, or interval between
interrogations, and the same prisoner may be interrogated again at any
stage. When interrogated, a prisoner can either do nothing, or toggle the
light-switch, or announce that all prisoners have been interrogated. If that
announcement is true, the prisoners will (all) be set free, but if it is
false, they will all be executed. While still in the dining room, and before
the prisoners go to their isolation cells (forever), can the prisoners agree
on a protocol that will set them free (assuming that at any stage every
prisoner will be interrogated again sometime)?


Estes jogos tem um aspecto muito interessante de como o conhecimento
evolui no tempo e não são nada triviais de resolver. Os alunos
envolvidos terão de estudar técnicas de representação de conhecimento
em IA e Lógicas de Conhecimento e Crença para multiplos agentes.

Interessados enviar cópia eletrônica do histórico para os professores
Mario e Carla com máxima urgência. (ma...@cos.ufrj.br,
ca...@dcc.ufrj.br)

Um abraço,

Mario e Carla


--
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario