A decidable first-order logic for medical reasoning

Authors:
Norihiro Kamide
Affiliations:
Waseda Institute for Advanced Study, Waseda University, Shinjuku-ku, Tokyo, Japan
Venue:
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II
Year:
2011

Citing 4
Cited 0

Linear logic

Theoretical Computer Science
Logic of Information Structures

Logic of Information Structures
Linear and affine logics with temporal, spatial and epistemic operators

Theoretical Computer Science
Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials

JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper is intended to construct a decidable first-order logic for appropriately expressing medical reasoning which may require to express not only time-dependency, paraconsistency, constructiveness, resource-sensitivity, but also order-sensitivity. A first-order temporal paraconsistent non-commutative logic is introduced as a Gentzen-type sequent calculus. This logic has no structural rules and has some bounded temporal operators and a paraconsistent negation connective. This logic is shown to be decidable and cut-eliminable.