IEA/AIE 1999: Multiple Approaches to Intelligent Systems pp 1-3 | Cite as
Formalisations of Uncertain Reasoning
Conference paper
Abstract
The proper construction of a Knowledge-based System has as a pre-requisite the (in most cases logic-based) formalisation of the problem domain knowledge and inference procedures related to the System. This is a necessary step if one desires to convey scientific accreditation to the results eventually obtained from the System and used for solving problems.
Preview
Unable to display preview. Download preview PDF.
References
- 1.Correa da Silva, F.S.: On Reasoning With and Reasoning About Uncertainty in Artificial Intelligence. In: European Summer Meeting of the Association of Symbolic Logic (abstract published in The Bulletin of Symbolic Logic 3(2), 255–256), Spain (1996)Google Scholar
- 2.Curry, M.B.: Foundations of Mathematical Logic. McGraw-Hill, New York (1977)MATHGoogle Scholar
- 3.Fine, T.L.: Theories of Probability. Academic Press, London (1973)MATHGoogle Scholar
- 4.Hacking, I.: The Emergence of Probability. Cambridge University Press, Cambridge (1975)MATHGoogle Scholar
- 5.Krause, P., Clark, D.: Representing Uncertain Knowledge - An Artificial Intelligence Approach. Kluwer, Dordrecht (1993)MATHGoogle Scholar
- 6.Kruse, R., Schwecke, E., Heinsohn, J.: Uncertainty and Vagueness in Knowledge-based Systems - Numerical Methods. Springer, Heidelberg (1991)MATHGoogle Scholar
- 7.Motro, A., Smets, P. (eds.): Uncertainty Management in Information Systems - From Needs to Solutions. Kluwer, Dordrecht (1997)Google Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 1999