This paper presents an abductive model of diagnosis, which was designed for medical care (diagnosis and treatment) of certain types of allergy. The reasoning is defined to have three forms: deduction, induction and abduction. The American philosopher Charles S. Peirce was the first to notice abduction. It was characterized as the probative adoption of a hypothesis that explains observed facts (results) in accordance with known laws. Abduction, as cognitive operation, creates the framework, which makes it possible to attribute a singular symptom to a disease. The interpretation of symptoms is always abductive. H.R. Fisher said that every medical diagnostic statement functions as an abductive inference. The abductive schema will become a (nomologically-deductive) principle, if the first premise (the result) contains an unexplained surprising fact (perception, observation) - a symptom in medical diagnosis, which is then explained casually as the effect of a cause. The abductive mode of interference involves two steps. In the first step a fact (a "result" in Peirce's terminology) to be explained or understood is presented, as the derived conclusion in classical schema. The second step introduces an available or newly constructed hypothesis (rule/law) by means of which the case is abducted. Knowledge becomes intelligible by way of its abductive incorporation into a coding system (i.e. medical classification) the logic, which the frame forms by means of new facts.
W pracy zaprezentowano model diagnozy lekarskiej bazujący na wnioskowaniu abdukcyjnym. Model ten został zaprojektowany w celu wspomagania diagnozy i terapii w pewnych przypadkach alergii. Rozumowanie jest definiowane przez trzy podstawowe typy wnioskowania: dedukcję, indukcje i abdukcję. Pierwszym, który wyróżnił i opisał wnioskowanie abdukcyjne był amerykański filozof Charles S. Peirce. Scharakteryzował je jako metodę dochodzenia do hipotezy, która najlepiej wyjaśnia ob serwowane fakty w zgodzie ze znanymi prawami. Abdukcja, jako wnioskowanie logiczne tworzy ramy odniesienia dzięki którym możliwe staje się przypisanie pojedynczego objawu do konkretnej jednostki chorobowej. H.R. Fisher stwierdził, że każda opinia diagnostyczna w medycynie bazuje na wnioskowaniu abdukcyjnym. Jeśli początkowa przesłanka zawiera niewyjaśniony zaskakujący fakt - objaw w medycznej diagnozie, który spontanicznie tłumaczy się jako efekt określonej przyczyny, to wtedy wykorzystujemy schemat wnioskowania abdukcyjnego. Abdukcyjny sposób wnioskowania składa się z dwóch etapów. W pierwszym etapie fakt („result" w terminologii Pierce'a), aby został wytłumaczony czy zrozumiany, zostaje potraktowany, jako konkluzja w klasycznym schemacie inferencji. Drugim etapem jest wprowadzenie dostępnych lub na nowo skonstruowanych hipotez (zasad/praw), za pomocą których dany przypadek jest abdukowany. Objawy wyjaśniane są poprzez ich abdukcyjne włączenie w kodujący system (np. klasyfikacja medyczna) logiki, której postać formuje się dzięki nowym faktom.