Artificial Intelligence
Login: A logic programming language with built-in inheritance
Journal of Logic Programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The place of defaults in a reasoning system
Reason maintenance systems and their applications
Logic programming and databases
Logic programming and databases
Abductive inference models for diagnostic problem-solving
Abductive inference models for diagnostic problem-solving
Methodological foundations of KEATS, the knowledge engineer's assistant
Knowledge Acquisition
Principles of expert systems
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
Journal of the ACM (JACM)
The Concept of Demodulation in Theorem Proving
Journal of the ACM (JACM)
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Meta-Level Architectures and Reflection
Meta-Level Architectures and Reflection
Automated Reasoning: Introduction and Applications
Automated Reasoning: Introduction and Applications
Consistency of Rule-based Expert System
Proceedings of the 9th International Conference on Automated Deduction
Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence)
A computational model for causal and diagnostic reasoning in inference systems
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Normality and faults in logic-based diagnosis
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A theory of diagnosis for incomplete causal models
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
First-order predicate logic essentially is a language to express knowledge concerning objects and relationships between objects in a domain. Many medical problems can be cast naturally in such terms. In this paper the suitability of logic as a knowledge-representation formalism for building medical expert systems is investigated. In particular, we investigate the logical representation of three typical reasoning models in medicine: diagnostic, anatomical and causal reasoning. It turns out that each of these models has its own characteristic logical structure. Furthermore, the pragmatics of using theorem-proving techniques in consulting such logic-based medical expert systems is discussed. In particular, attention is paid to the use of a meta-level architecture to improve the applicability of theorem-proving techniques in building expert systems.