Resource-bounded reasoning about knowledge

MaRDI QIDQ2784269zbMATH OpenFDO

Authors Ho Ngoc Duc

Publication date 22 April 2002

zbMATH Keywords

theories of intelligent agents

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• A dynamic epistemic logic for resource-bounded agents
• Using abstract resources to control reasoning
• Epistemic logic for rule-based agents
• Reasoning about Other Agents’ Beliefs under Bounded Resources
• Belief ascription under bounded resources

Cited in

(19)

• Developing bounded reasoning
• Inference and update
• Using abstract resources to control reasoning
• Resource-bounded paraconsistent inference
• Dynamic epistemic logic for implicit and explicit beliefs
• An axiomatic version of Fitch's paradox
• Reasoning about resources and information: a linear logic approach
• Accumulative knowledge under bounded resources
• Logics of rational interaction
• Dynamic Epistemic Logic and Logical Omniscience
• scientific article; zbMATH DE number 4176498 (Why is no real title available?)
• Reasoning about Other Agents’ Beliefs under Bounded Resources
• Logical omniscience as infeasibility
• Accumulative knowledge under bounded resources
• scientific article; zbMATH DE number 7368413 (Why is no real title available?)
• A dynamic epistemic logic for resource-bounded agents
• An algorithmic impossible-worlds model of belief and knowledge
• An internal version of epistemic logic
• Belief ascription under bounded resources

This page was built for publication: Resource-bounded reasoning about knowledge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2784269)