Abstract
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated reasoning techniques to be used on, and by, the agents themselves. The possible worlds semantics offered by modal logic has proved to be a successful framework in which to model mental attitudes of agents such as beliefs, desires and intentions. The most popular choices for modeling the informational attitudes involves annotating the agent with an \(\mathit{S5}\)-like logic for knowledge, or a \(\mathit{KD45}\)-like logic for belief. However, using these logics in their standard form, an agent cannot distinguish situations in which the evidence for a certain fact is ‘equally distributed’ over its alternatives, from situations in which there is only one, almost negligible, counterexample to the ‘fact’. Probabilistic modal logics are a way to address this, but they easily end up being both computationally and conceptually complex, for example often lacking the property of compactness. In this paper, we propose a probabilistic modal logic \(\mathit{P_F KD45}\), in which the probabilities of the possible worlds range over a finite domain of values, while still allowing the agent to reason about infinitely many options. In this way, the logic remains compact, implying that the agent still has to consider only finitely many possibilities for probability distributions during a reasoning task. We demonstrate a sound, compact and complete axiomatisation for \(\mathit{P_F KD45}\) and show that it has several appealing features. Then, we discuss an implemented decision procedure for the logic, and provide a small example. Finally we show that, rather than specifying them beforehand, the finite set of possible probabilities can be obtained directly from the problem specification.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
de Carvalho Ferreira, N., Fisher, M., van der Hoek, W.: A Simple Logic for Reasoning about Uncertainty, Technical Report, Department of Computer Science, University of Liverpool (2004), Online version: http://www.csc.liv.ac.uk/~niveacf/techreport/
Driankov, D.: Reasoning about Uncertainty: Towards a many-valued logic of belief. In: IDA annual research report, pp. 113–120. Linköping University (1987)
Fattarosi-Barnaba, M., Amati, G.: Modal operators with probabilistic interpretations, I. Studia Logica 48, 383–393 (1989)
Fagin, R., Halpern, J.Y.: Reasoning about knowledge and probability. Journal of the ACM 41(2), 340–367 (1994)
Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities. Information and Computation 87(1), 277–291 (1990)
Fernando, T.: In conjunction with qualitative probability. Annals of Pure and Applied Logic 92(3), 217–234 (1998)
Hájek, P., Havránek, T.: Mechanizing Hypothesis Formation. Springer, Heidelberg (1978)
Halpern, J.Y., Rabin, M.O.: A logic to reason about likelihood. Artificial Intelligence 32(3), 379–405 (1987)
van der Hoek, W.: Some considerations on the logic PFD. Journal of Applied Non Classical Logics 7(3), 287–307 (1997)
Meyer, J.-J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge University Press, Cambridge (1995)
Ognjanovic, Z., Răskovic, M.: Some first-order probability logics. Theoretical Computer Science, 191–212 (2000)
Parsons, S., Hunter, A.: A review of uncertainty handling formalisms. In: Hunter, A., Parsons, S. (eds.) Applications of Uncertainty Formalisms, Springer, Heidelberg (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de C. Ferreira, N., Fisher, M., van der Hoek, W. (2004). Practical Reasoning for Uncertain Agents. In: Alferes, J.J., Leite, J. (eds) Logics in Artificial Intelligence. JELIA 2004. Lecture Notes in Computer Science(), vol 3229. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30227-8_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-30227-8_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23242-1
Online ISBN: 978-3-540-30227-8
eBook Packages: Springer Book Archive