Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/on-the-presentation-of-the-necessary-conditions-for-satisfiability-of-JhS7qz5YuX
References (15)
-
G. Pólya (1956)
Mathematics and Plausible Reasoning -
(2009)
Avtomaticheskoe porozhdenie gipotez v intellektual’nykh sistemakh -
(2010)
Mille Inductive Methods in Artifi cial Intelligence Systems , Part 2 , Iskusst -
V. Finn (2009)
The synthesis of cognitive procedures and the problem of inductionAutomatic Documentation and Mathematical Linguistics, 43
-
(2010)
Mille Inductive Methods in Artifi cial Intelligence Systems , Part 1 , Iskusst -
E. Pankratova, D. Dobrynin, I. Tsapenko, M. Zueva, G. Zakharova (2007)
An intellectual DSM system for the diagnosis of illnesses in the vision organAutomatic Documentation and Mathematical Linguistics, 41
-
R. Fletcher, S. Fletcher, E. Wagner (2004)
Klinicheskaya epidemiologiya. Osnovy dokazatel’noi meditsiny -
V.N. Vagin, E.Yu. Golovina, A.A. Zagoryanskaya, M.V. Fomina (2008)
Dostovernyi i pravdopodobnyi vyvod v intellektual’nykh sistemakh -
(2007)
Intelligent JSM System for Diagnosing the Diseases of the Vision Organ , Nauchno Tekhn -
Yu.M. Anshakov, T. Gerdely (2010)
Cognitive Reasoning -
V. Finn (2010)
Inductive method of joint agreement-difference: Procedural semantics of the JSM methodAutomatic Documentation and Mathematical Linguistics, 44
-
(2009)
DSM-metod avtomaticheskogo porozhdeniya gipotez: logicheskie i epistemologicheskie osnovaniya -
(1981)
A Note on an Extension of Multisort Predicate Logic Language -
(2010)
On the Determination of Empirical Regu larities by the JSM Method for Automatic Hypothesis Generation , Iskusst -
V.K. Finn (2006)
Logicheskie issledovaniya
- Publisher
- Springer Journals
- Copyright
- Copyright © 2011 by Allerton Press, Inc.
- Subject
- Computer Science; Information Storage and Retrieval
- ISSN
- 0005-1055
- eISSN
- 1934-8371
- DOI
- 10.3103/S0005105511030022
- Publisher site
- See Article on Publisher Site
Abstract
This paper formulates the necessary and necessary and sufficient conditions for satisfiability of the premises of the inductive inference rules in intelligent systems for analyzing medical data.
Journal
Automatic Documentation and Mathematical Linguistics – Springer Journals
Published: Jul 27, 2011