Modelling assumption-based reasoning using contexts

Mark Jago*

*Corresponding author for this work

Research output: Contribution to journalArticle

1 Citation (Scopus)


We propose a two-fold use of context in reasoning about agents. The first concerns the modelling of beliefs which are entertained only within the scope of some assumption. We illustrate this use by describing as logical model of an agent which reasons in a natural deduction style by making assumptions to derive new formulas. The second use of context we propose here concerns the modelling of reasoning as a step-by-step temporal process, allowing us to model agents whose resources are temporally bounded. In such a setting, the beliefs ascribed to an agent need not be closed under consequence, as they are in many traditional epistemic logics.

Original languageEnglish
JournalCEUR Workshop Proceedings
Publication statusPublished - 2005

Cite this