tel and which is in- [Hustadt Nonnengart,1993], partment of Computer Science, University of Saargenerator which is responsible for verbalizing NLL NLL contains a rst-order logic core with anadic by modal operators.
Suppose the knowledge base of the car seller S predicates, generalized quantiers, plural reference contains declarations dening that v ehicles are either dialogue memory, the most important one for us is the comment and question handler. The result of this module is transfered to the natural language tended to be a module of the pracma system. The providing dialogues. An example from pracma’s brucken) we have been developing a suitably exthe semantic representation language NLL [Laubsell her used car to a potential buyer B. Naturally, poses of pracma the language has been extended cars or trucks, veh1 is a truck, and veh2 is a vehicle.
In the nal implemen tation, the natural language sch and to represent the German- Nerbonne,1991] language input strings. The resulting NLL expresdomain is the dialogue between a person S trying to expressions. analysis module of the pracma system will use In cooperation with the PRACMA (De- Project1 tended knowledge representation system, called mowith the modeling of noncooperative informationThis can be represented in N LL in the following way. ory. Various modules will process the content of the sions will be stored in the pragmatic dialogue memthe goals of S conict in part with those of B. expressions, and -abstraction. To t the purPRACMA Project et is concerned [Jameson al.,1994]