1997
DOI: 10.1007/3-540-63223-9_105
|View full text |Cite
|
Sign up to set email alerts
|

Abstract: A b s t r a c t . Observational calculi were defined in relation to GUHA method of mechanising hypotheses formation. Formulae of observational calculi correspond to statistical hypothesis tests and various further assertions verificated in the process of data analysis. An example of application of the GUHA procedure PC-ASSOC is described in the paper. Logical relation among formulae of observational calculi are discussed and some important results concerning deduction rules are shown. Possibilities of applicat… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
14
0

Year Published

1998
1998
2006
2006

Publication Types

Select...
5
1

Relationship

2
4

Authors

Journals

citations
Cited by 29 publications
(14 citation statements)
references
References 5 publications
0
14
0
Order By: Relevance
“…ARs are produced by humans, although the use of natural language generation was also studied [18]. Prior to entering the reports, the sets of discovered hypotheses (understood as formulae in the socalled observational calculus) can be transformed using formal deduction rules [15,16] into 'canonical form' (which is, among other, free of redundancies). In the cardiovascular risk application, a collection of ARs has been created by junior researchers based upon results of selected 4ft-Miner tasks on STULONG data.…”
Section: Results Deployment Over Semantic Webmentioning
confidence: 99%
“…ARs are produced by humans, although the use of natural language generation was also studied [18]. Prior to entering the reports, the sets of discovered hypotheses (understood as formulae in the socalled observational calculus) can be transformed using formal deduction rules [15,16] into 'canonical form' (which is, among other, free of redundancies). In the cardiovascular risk application, a collection of ARs has been created by junior researchers based upon results of selected 4ft-Miner tasks on STULONG data.…”
Section: Results Deployment Over Semantic Webmentioning
confidence: 99%
“…satisfied (see also [7]): a) Both (i) and (ii) are tautologies: We call function Tb~. a table of critical frequencies for implicational quantitier 0*.…”
Section: If 0" Is An Interesting Implicational Quantifier Then Deducmentioning
confidence: 99%
“…a table of critical frequencies for implicational quantitier 0*. It is used in the GUHA procedure PC-ASSOC [7]. It is important that the function Tb~, makes it possible to use a simple test of inequality instead of a rather complex computation.…”
Section: If 0" Is An Interesting Implicational Quantifier Then Deducmentioning
confidence: 99%
See 2 more Smart Citations