* * * * * * * * * * * * * * * * * * * * * * * *
LINGUIST List logo Eastern Michigan University Wayne State University *
* People & Organizations * Jobs * Calls & Conferences * Publications * Language Resources * Text & Computer Tools * Teaching & Learning * Mailing Lists * Search *
* *
LINGUIST List 16.3563

Thu Dec 15 2005

FYI: Workshop on Logics for Resource Bounded Agents

Editor for this issue: Svetlana Aksenova <svetlanalinguistlist.org>

To post to LINGUIST, use our convenient web form at http://linguistlist.org/LL/posttolinguist.html.
        1.    Carlos Areces, Workshop on Logics for Resource Bounded Agents

Message 1: Workshop on Logics for Resource Bounded Agents
Date: 15-Dec-2005
From: Carlos Areces <Carlos.Arecesloria.fr>
Subject: Workshop on Logics for Resource Bounded Agents




7 - 11 August 2006

organized as part of the
European Summer School on Logic, Language and Information (ESSLLI 2006)
31 July - 11 August, 2005, Malaga, Spain

Workshop organizers

Thomas Agotnes (agotnesii.uib.no)
Natasha Alechina (nzacs.nott.ac.uk)

Workshop purpose

Logics of knowledge and belief, as well as other attitudes such as desire or
intention, have been extensively studied. However, most of the treatments of
knowledge and belief make strong and idealised assumptions about the reasoners.
For example, traditional epistemic logic say that agents know all logical
consequences of their knowledge. Similarly, logics of action and strategic
interaction are usually based on game theoretic models which assume perfect
rationality. Models based on such assumptions can be used to describe ideal
agents without bounds on resources such as time, memory, etc, but they fail to
accurately describe non-ideal agents which are computationally bounded. The
workshop aims to provide a forum for advanced PhD students and researchers to
present and discuss possible solutions to the problem of formally capturing the
properties of knowledge, belief, action, etc. of non-idealised resource-bounded
agents with colleagues and researchers who work in logic, computer science and
other areas represented at ESSLLI.

Workshop topics

Topics include, but are not limited to, logical models of:

- logically non-omniscient agents in general
- explicit knowledge and belief
- algorithmic knowledge
- temporal logics of reasoning
- active logics
- knowledge and belief of reasoners with bounds on reasoning time
- knowledge and belief of reasoners with bounded memory
- knowledge and belief of reasoners with other resource bounds (e.g.
bandwidth, sensing limitations)
- other attitudes, such as desire, intention, etc., under bounded resources
- limited awareness
- paraconsistent logics
- rational choice under bounded resources
- games under bounded resources, e.g.,
- games with bounded recall
- resource bounded reasoning about the structure of the game
- incomplete information due to bounded resources

Workshop details

Authors are invited to submit a full paper either describing their published
work (which should be instructive and interesting to PhD students working in the
field and appropriate for presentation at the Summer School), or new and
unpublished work. Submissions should not exceed 15 pages in LaTeX 11pt article
style. The following formats are accepted: pdf, ps. Please send your submission
electronically to bounded06ii.uib.no. The submissions will be reviewed by the
workshop's programme committee and additional reviewers. The accepted papers
will appear in the workshop proceedings published by ESSLLI. It is likely that a
selection of (revised and expanded) versions of the workshop papers will appear
in a special issue of a journal.

Workshop format

The workshop is part of ESSLLI and is open to all ESSLLI participants. It
will consist of five 90-minute sessions held over five consequtive days in
the second week of ESSLLI. There will be 2 slots for paper presentation and
discussion per session. On the first day the workshop organizers will give an
introduction to the topic.

Important dates

* Submissions: March 8, 2006
* Notification: April 21, 2006
* Final papers for proceedings: May 1, 2006
* Final programme: June 21, 2006
* Workshop dates: 7- 11 August, 2006

Local arrangements

All workshop participants including the presenters will be required to
register for ESSLLI. The registration fee for authors presenting a paper
will correspond to the early student/workshop speaker registration fee.
Moreover, a number of fee waiver grants might be made available by the
organizing committee on a competitive basis and workshop participants are
eligible to apply for those.

There will be no reimbursement for travel costs and accomodation. Workshop
speakers who have difficulty in finding funding should contact the local
organising committee to ask for the possibilities of a grant.

Further information:

About ESSLLI-2006: http://esslli2006.lcc.uma.es/
About the workshop: http://www.cs.nott.ac.uk/~nza/LRBA06/

Linguistic Field(s): Computational Linguistics

Respond to list|Read more issues|LINGUIST home page|Top of issue

Please report any bad links or misclassified data

LINGUIST Homepage | Read LINGUIST | Contact us

NSF Logo

While the LINGUIST List makes every effort to ensure the linguistic relevance of sites listed
on its pages, it cannot vouch for their contents.