Belief ascription under bounded resources (Q987466)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Belief ascription under bounded resources
scientific article

    Statements

    Belief ascription under bounded resources (English)
    0 references
    0 references
    0 references
    0 references
    13 August 2010
    0 references
    This is a study in multi-agent epistemic temporal logic with bounded resources. It is observed that when the agents' computational powers and memory are bounded, then they may not be able to ascribe beliefs to each other correctly even `in the limit', and even if they know about each other's inference engines (e.g. that they can perform resolution). The paper shows, however, that if agents also know about each other's `reasoning strategies', understood as a preference for deriving certain formulae over others, then they can correctly ascribe beliefs in the limit. A final section usefully shows where the contribution fits in to the existing literature.
    0 references
    belief revision
    0 references
    bounded resources
    0 references
    epistemic logic
    0 references
    non-omniscient agents
    0 references
    belief ascription
    0 references

    Identifiers