Sammanfattning. Denna uppsats beskriver några beräkningsmässiga och språkliga mekanismer i vårt program skrivna i SIMULA för att generera naturliga språk meningar från deras underliggande logiska strukturer i en utökad predikat logik. Efter presentationen av den augumenterade logiska formalismen för att hantera illocutionära handlingar, förklarar vi sedan de grundläggande anordningar som används i genereringsprocessen:semiotisk tolkning, ordningar av kvantifieringar eller derivationala begränsningar, referentiella egenskapen hos variabler och Leibniz-Frege-idén. Exempel från systemutmatning kommer att ges.
REF presenterade ett tillvägagångssätt för att skapa en utvidgad logikformalism med hjälp av handskrivna regler.