From knowledge-based programs to graded belief-based programs, part II: off-line reasoning

Authors:
Noël Laverny;Jérôme Lang
Affiliations:
IRIT, Université Paul Sabatier, Toulouse Cedex, France;IRIT, Université Paul Sabatier, Toulouse Cedex, France
Venue:
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Year:
2005

Citing 7
Cited 3

Reasoning about knowledge

Reasoning about knowledge
A unified model of qualitative belief change: a dynamical systems perspective

Artificial Intelligence
Belief revision with unreliable observations

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Reasoning about noisy sensors and effectors in the situation calculus

Artificial Intelligence
The logic of knowledge bases

The logic of knowledge bases
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Using counterfactuals in knowledge-based programming

Distributed Computing

From Binary Trust to Graded Trust in Information Sources: A Logical Perspective

Trust in Agent Societies
A dynamic logic of knowledge, graded beliefs and graded goals and its application to emotion modelling

LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
A logic of emotions: from appraisal to coping

Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

Belief-based programs generalize knowledgebased programs [Fagin et al., 1995] by allowing for incorrect beliefs, unreliable observations, and branching conditions that refer to implicit graded beliefs, such as in "while my belief about the direction to the railway station is not strong enough do ask someone". We show how to reason off-line about the possible executions of a belief-based program, which calls for introducing second-order uncertainty in the model.