Szukana fraza: [Abstract = "Dependencies between statements are considered as approximate necessary and approximate sufficient conditions, which are represented by unilateral constraints imposed on the introduced material points. A model of a dynamic statement network can be obtained out of the network consisting of statements represented by material points with assigned masses, where the inertia of statements may be taken into account. The paper introduces a measure of conditional contradictions of statements, which can be used for monitoring knowledge bases in running expert systems."]

Wyników: 1