Modal probability, belief, and actions

Authors:
Andreas Herzig
Affiliations:
Institut de Recherche en Informatique de Toulouse (CNRS-INP-UPS), Toulouse, France
Venue:
Fundamenta Informaticae
Year:
2003

Citing 14
Cited 5

A logic to reason about likelihood

Artificial Intelligence
Likelihood, probability, and knowledge

Computational Intelligence
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Reasoning about knowledge and probability

Journal of the ACM (JACM)
Modeling belief in dynamic systems, part I: foundations

Artificial Intelligence
Reasoning about noisy sensors and effectors in the situation calculus

Artificial Intelligence
Reasoning about Information Change

Journal of Logic, Language and Information
A modal analysis of possibility theory

FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
The logic of public announcements, common knowledge, and private suspicions

TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Multi-agent Logics of Dynamic Belief and Knowledge

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A Modal Analysis of Possibility Theory

ECSQAU Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus

RUR '95 Proceedings of the International Workshop on Reasoning with Uncertainty in Robotics
A Logic for Planning under Partial Observability

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
A fuzzy modal logic for belief functions

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1

Probabilistic modal logic

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Factored models for probabilistic modal logic

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
OCC’s emotions: a formalization in a BDI logic

AIMSA'06 Proceedings of the 12th international conference on Artificial Intelligence: methodology, Systems, and Applications
The logic of risky knowledge, reprised

International Journal of Approximate Reasoning
Description logics and fuzzy probability

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two

Quantified Score

Hi-index	0.00

Visualization

Abstract

We investigate a modal logic of probability with a unary modal operator expressing that a proposition is more probable than its negation. Such an operator is not closed under conjunction, and its modal logic is therefore non-normal. Within this framework we study the relation of probability with other modal concepts: belief and action. We focus on the evolution of belief, and propose an integration of revision. For that framework we give a regression algorithm.