Causes for events: Their computation and applications
A formal definition is presented for the cause for an event with a given knowledge base. An event is understood to be any closed formula; a knowledge base is a set of closed formulae; and a cause is a prenex formula, the matrix of which is a conjunction of literals. The properties of minimality, basicness, consistency and nontriviality are defined to characterise causes that are useful and interesting. An algorithm for computing basic, nontrivial and minimal causes is presented, and its soundness is proved. An extensive example is provided to illustrate the application of causes. In this example is discussed the interaction between the knowledge base, event and causes, and in particular, the property of consistency is used to eliminate ambiguity, and to discover deficiencies of the knowledge base.
KeywordsKnowledge Base Expert System Closed Formula Hypothesis Formation Skolem Function
Unable to display preview. Download preview PDF.
- Buchanan, B.G.; Shortliffe, E.H. (eds), Rule-Based Expert Systems, Addison-Wesley (1984).Google Scholar
- Colmerauer, A. et al., Prolog II: Reference Manual and Theoretical Model, Groupe d'Intelligence Artificielle, Faculte des Sciences de Luminy, Marseille (1982).Google Scholar
- Cox, P.T.; Pietrzykowski, T., Surface Deduction: a uniform mechanism for logic programming, Proc. 1985 Logic Prog. Symp., Boston (1985), 220–227.Google Scholar
- Loveland, D.W., A linear format for resolution, Lectures in Mathematics 1–5 (Symp. on Autom. Demonstration), Springer-Verlag, Berlin (1970), 147–162.Google Scholar
- Pietrzykowski, T., Mechanical Hypothesis Formation, Res. Rept. CS-78-33, Department of Computer Science, University of Waterloo (1978).Google Scholar
- Shortliffe, E.H., Computer-Based Medical Consulation: MYCIN, American Elsevier, New York (1976).Google Scholar
- van Emden, M.H.; Lloyd, J.W., A Logical Reconstruction of Prolog II, Proc. 2 nd Int'l. Conf. on Logic Prog. Uppsala (1984), 35–40.Google Scholar
- Zadeh, L.A., Approximate Reasoning Based on Fuzzy Logic, Proc. IJCAI-79, Tokyo (1979), 1004–1010.Google Scholar