Automated reasoning with uncertainties

Silva, Flávio S. Corrêa da; Robertson, David; Hesketh, Jane

doi:10.1007/3-540-58095-6_5

Cited by 4 publications

(1 citation statement)

References 34 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The basic language in use here is the propositional version of a simple logic extensively explored in previous work by the same author of the present article [4,[6][7][8][9]. Given a finite set of atomic propositions P = {p 1 , .…”

Section: Preliminaries-probabilistic Propositional Logicmentioning

confidence: 99%

Towards a Logic of Perishable Propositions

Silva

2005

Appl Intell

View full text Add to dashboard Cite

Reasoning with uncertain information is a central issue for Artificial Intelligence and Information Systems. Consequently, a vast amount of studies and results devoted to this issue can be found in the literature.Curiously, reasoning with information whose uncertainty varies along time cannot be found so much in the literature. Dynamic reliability is a feature found rather frequently in many problems, e.g. in financial markets, meteorology and demographics.In this article we consider propositions whose information about truth evaluation is gradually lost with time. Our motivation has come from the information system under development within the project SIDAM-Distributed Information Systems for Mobile Agents (supported by FAPESP, grant 98/06138-2)-to provide citizens with information about urban automotive traffic in a large city.We propose functions of loss of information, and show how they can be used to characterize the obsolescence of propositional information in a logical system.

show abstract

Section: Preliminaries-probabilistic Propositional Logicmentioning

confidence: 99%