<?xml version="1.0" standalone="yes"?>
<Paper uid="C82-1005">
  <Title>TRANSFORMATION OF NATURAL LANGUAGE INTO LOGICAL FORMULAS</Title>
  <Section position="2" start_page="0" end_page="29" type="intro">
    <SectionTitle>
INTRODUCTION
</SectionTitle>
    <Paragraph position="0"> The system described below could be used as an interface of natural language information systems, natural question-answering systems, expert systems or automatic understanding of texts. The authors paid close attention to the syntactical and semantical constraints of medical dialogue so that the system would be used by physicians without previous preparation. Although a subdomain of medicine is a current system application, the change or development of the conversation field may be facilitated. It requires only that a new dictionary will be established and some expert parts of semantical interpreter will be changed.</Paragraph>
    <Paragraph position="1"> Our system contains two stages: syntactical analysis and semantical interpretation. Both stages cooperate with each other in such a way that the second stage checks up on the correctness of syntactical structures which have been built by the first one. Finally, the parser produces a formula of First Order Predicate Calculus which corresponds to the input sentence. Other outputs as MINSKY frames or FUZZY formulas are considered.</Paragraph>
    <Paragraph position="2"> We used the CATN method (Cascaded ATN) (lk) to implement the system.</Paragraph>
    <Paragraph position="3"> The CATN possesses ali of the advantages which proved true in natural language processing. A high degree of universality is a very important feature of the system.</Paragraph>
    <Paragraph position="4"> Here are some examples of sentences the parser can understand: Alkoho\] podany doustnle powoduje wzmozone wydzlelanle gastryny.</Paragraph>
    <Paragraph position="5"> (Alcohol given per os cause greater secretion of gastrin.) Alkohol zwieksza wydzielanle soku trzustkowego.</Paragraph>
    <Paragraph position="6"> (Alcohol increases pancreatic juice secretion.) Gastryna jest hormonem powodujacym wydzielanle kwasu solnego w zoladku. null (Gastrin is a hormon which cause gastric HCL secretion.)  30 L BOLe and T. STRZALKOWSKI Sekrytyna I pankreozynlna stymuluja czynnosc wewnatrzwydzlelnlcza trzustkl.</Paragraph>
    <Paragraph position="7"> (Secretin and pancreocymln stimulate endlcrln actlvlties of pancreat) wzrost napiecia miesnlowkl dwunastnicy moze byc przyczyna wzrostu clsnlenia w przewodach trzustkowych.</Paragraph>
    <Paragraph position="8"> (The lncreas of tonus of the tunica muscularis may cause higher pressure in the pancreatic ducts.) Dlugotrwale dzialanle alkoholu powoduje prawdopodobnle bezposrednie uszkodzenle komorek w~,dzielnlczych trzustkl.</Paragraph>
    <Paragraph position="9"> (Long action of alcohol propably cause direct injury in the pancreatlc endocrln cells.) Jakie sa kllnlczne objawy ostrego zapalenia trzustkl? (How appears the cllnlcal symptoms of acute pancreatifls?) Co stymuluje czynnosc wewnatrzwydzlelnlcza trzustkl? (What stimulates endocrln activities of pancreat?)</Paragraph>
  </Section>
class="xml-element"></Paper>