--- title: "Exploiting Conversational Implicature for Generating Concise" description: "The paper tackles verbosity in machine-generated explanations. 7 references, cited by 2 papers here." authors: ["Helmut Horacek"] year: 1991 venue: "Fifth Conference of the European Chapter of the Association for Computational Linguistics" source: "https://aclanthology.org/E91-1033/" licence: "CC BY-NC-SA 3.0 (ACL Anthology, before 2016)" licence_url: "https://creativecommons.org/licenses/by-nc-sa/3.0/" summary_licence: "Elamur Cosmic License" canonical: "https://research.elamur.ai/free/en/papers/horacek-1991-exploiting-conversational-implicature-generating-concise/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/horacek-1991-exploiting-conversational-implicature-generating-concise/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [1991](https://md.research.elamur.ai/free/en/papers/1991/) / Exploiting Conversational Implicature for Generating Concise Explanations # Exploiting Conversational Implicature for Generating Concise Explanations **Authors:** Helmut Horacek · **Year:** 1991 · **Venue:** [Fifth Conference of the European Chapter of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/eacl/) ([EACL 1991](https://md.research.elamur.ai/free/en/venues/eacl/1991/)) · **Publisher:** [Association for Computational Linguistics](https://md.research.elamur.ai/free/en/publishers/association-for-computational-linguistics/) · **Licence:** [CC BY-NC-SA 3.0 (ACL Anthology, before 2016)](https://creativecommons.org/licenses/by-nc-sa/3.0/) **Links:** [Publisher's page](https://aclanthology.org/E91-1033/) · [PDF](https://aclanthology.org/E91-1033.pdf) · [OpenAlex](https://openalex.org/W2057100085) **Citations:** 13 citations (OpenAlex, 2026-10-14) · [2](https://md.research.elamur.ai/free/en/papers/horacek-1991-exploiting-conversational-implicature-generating-concise/cited-by/) in our library, of the 149,439 papers whose bibliographies we read ## Summary The paper tackles verbosity in machine-generated explanations. A content planner produces a complete set of propositions (rules and facts) justifying an expert-system decision, and Horacek asks how far that set can be pruned while the listener can still recover the full message without drawing false conclusions. The domain is OFFICE-PLAN, a system that assigns employees to office rooms under constraints. Knowledge is encoded in a sorted type hierarchy plus IRS-style logical rules. Three "contextually motivated" rules then formalise parts of Grice's relevance maxim, using meta-predicates over the dialogue state such as topic, newinfo and not-false. An anticipation feedback loop tries candidate subsets from smallest to largest. It simulates the hearer's inferences and accepts the first subset that is complete with respect to the original content and produces no contradiction, meaning no false implicature. A worked example with three user stereotypes shows the same underlying explanation reduced to different surface contents. The work matters because it treats conciseness as reasoning about what the hearer will infer, not as a style filter. ## Key points - The application is OFFICE-PLAN. The example question asks for the reason person A was given room B instead of room C, and the full explanation has five propositions, including the rule that group leaders must be in single rooms. - There are three C-Rules: - C-Rule 1 infers a contrasting fact about another topic entity of the same top class that the explanation leaves unmentioned. - C-Rule 2 infers that a questioned entity belongs to the class in a stated rule's premise. - C-Rule 3 infers that a rule the user already knows is relevant from a stated fact. - A candidate subset is valid if every original proposition is either in the subset, in the user model, or inferred, and no contradiction arises. Rules the user does not know are always included in every hypothesis. - There are three user stereotypes: - The local employee needs only the rule. - The novice also gets the rule, from which the rest is inferred. - The expert gets only the fact "A is a group leader". - The system was implemented in CommonLisp on a SUN4. The paper gives no quantitative evaluation, only the worked example. ## Interesting ideas - Generate-and-test conciseness: the system enumerates subsets of the content from the smallest up, simulates the hearer's inferences on each, and keeps the first one that recovers everything without contradiction. This gives a principled stopping criterion for compression. - Implicature as rules over dialogue-state meta-predicates: the paper's rules refer to which entities are topics of the question and which facts are new information. Contrastive implicature then falls out, as in "B is single" leading to "so C is not". - Checking that an explanation is free of false implicatures: a shortened output is rejected if the hearer's likely inferences contradict the full content, not merely if information is missing. - User-model stereotypes as known-fact and known-rule sets: the same content is pruned differently depending on what the addressee is assumed to know, with presupposed facts from the question treated as known to all. - A brevity preference for triggering rather than stating: if the hearer knows a rule, uttering the triggering fact is preferred over restating the rule. ## For Mova How these ideas could serve Mova, our small open language model — its files, stages and tests: - **I1** (back): The text → graph → text compressor could drop graph facts only when re-reading the shortened text through Mova's own pipeline recovers them, using the reader as the hearer model. - **I2** (frames): The prag crate could encode scalar or contrastive implicature as rules that check which question topics were addressed and which were left unmentioned, deriving explainable negated facts. - **I3** (answer): Short answers to fable or test questions could be checked for unintended implications before being emitted, which keeps answers terse but safe. - **I4** (back): Generation could take a reader profile, such as a pupil versus a teacher, and omit facts and rules that the profile marks as known or as presupposed by the question. - **I5** (answer): Explanations of maths word-problem solutions could cite the specific quantity fact and let a known rule, such as how a measure converts, stay implicit for advanced users. *Our summary of the paper, in our own words — not its text. The work belongs to its authors; read it at the links above.* ## Institutions - [Bielefeld University](https://md.research.elamur.ai/free/en/universities/bielefeld-university/) — University, Bielefeld, Germany · 35 works · 1,196 citations 📚 Shelves (4): [🖥️ Computer Science](https://md.research.elamur.ai/free/en/shelves/computer-science/) · 16,667 works · [🤖 Artificial Intelligence](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · 16,194 works · [🎭 Arts and Humanities](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · 16,039 works · [🗣️ Language and Linguistics](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) · 15,891 works 🧭 Topics (1): [😉 Implicature](https://md.research.elamur.ai/free/en/topics/implicature/) · 138 works ## Cite Cite as: Helmut Horacek. 1991. Exploiting Conversational Implicature for Generating Concise Explanations. Fifth Conference of the European Chapter of the Association for Computational Linguistics. The paper itself, not this page. BibTeX from the library's record of the work. ```bibtex @inproceedings{horacek1991exploiting, title = {{Exploiting Conversational Implicature for Generating Concise Explanations}}, author = {Helmut Horacek}, booktitle = {Fifth Conference of the European Chapter of the Association for Computational Linguistics}, year = {1991}, doi = {10.3115/977180.977213}, url = {https://doi.org/10.3115/977180.977213} } ``` - [← previous Multi-lingual Sentence Generation from the PIVOT interlingua](https://md.research.elamur.ai/free/en/papers/okumura-1991-multi-lingual-sentence-generation-pivot/) - [next → Current Research in Natural Language Generation](https://md.research.elamur.ai/free/en/papers/zukerman-1991-current-research-natural-language-generation/) - [↑ back to papers of 1991](https://md.research.elamur.ai/free/en/papers/1991/) ## References 7 references, 0 of them with a card of ours. ↗ leads to the work, «find» searches for one we have no id for yet. 1. Bateman J., Paris C.: Phrasing a Text in Terms the User can Understand. In IJCAI-89, pp. 1511-1517, 1989. [find](https://scholar.google.com/scholar?q=Bateman+J%2E%2C+Paris+C%2E%3A+Phrasing+a+Text+in+Terms+the+User+can+Understand%2E+In+IJCAI%2D89%2C+pp%2E+1511%2D1517%2C+1989%2E) 2. Bergmann H., Fliegner M., Gerlach M., Marburger H., Poesio M.: IRS - The Internal Representation Language. WISBER Report Nr. 14, University of Hamburg, 1987. [find](https://scholar.google.com/scholar?q=Bergmann+H%2E%2C+Fliegner+M%2E%2C+Gerlach+M%2E%2C+Marburger+H%2E%2C+Poesio+M%2E%3A+IRS+%2D+The+Internal+Representation+Language%2E+WISBER+Report+Nr%2E+14%2C+University+of+Hamburg%2C+1987%2E) 3. Gdce H.: LOgic and Conversation. In Syntax and Semantics: Vol 3. Speech Acts. pp. 43-58, Academic Pr., 1975. [find](https://scholar.google.com/scholar?q=Gdce+H%2E%3A+LOgic+and+Conversation%2E+In+Syntax+and+Semantics%3A+Vol+3%2E+Speech+Acts%2E+pp%2E+43%2D58%2C+Academic+Pr%2E%2C+1975%2E) 4. Karbach W., Linster M., VoB A.: OFFICE-PLAN: Tackling the Synthesis Frontier. In Metzing D. (ed.), GWAI-89. Springer, pp. 379-387, 1989. [find](https://scholar.google.com/scholar?q=Karbach+W%2E%2C+Linster+M%2E%2C+VoB+A%2E%3A+OFFICE%2DPLAN%3A+Tackling+the+Synthesis+Frontier%2E+In+Metzing+D%2E+%28ed%2E%29%2C+GWAI%2D89%2E+Springer%2C+pp%2E+379%2D387%2C+1989%2E) 5. Moore J., Swartout W.: A Reactive Approach t o Explanation. In IJCAI-89, pp. 1504-1510, 1989. [find](https://scholar.google.com/scholar?q=Moore+J%2E%2C+Swartout+W%2E%3A+A+Reactive+Approach+t+o+Explanation%2E+In+IJCAI%2D89%2C+pp%2E+1504%2D1510%2C+1989%2E) 6. Paris C.: Tailoring Object Descriptions to a User's Level of Expertise. In ComPutational Linguistics 14, pp. 64-78, 1988. [find](https://scholar.google.com/scholar?q=Paris+C%2E%3A+Tailoring+Object+Descriptions+to+a+User%27s+Level+of+Expertise%2E+In+ComPutational+Linguistics+14%2C+pp%2E+64%2D78%2C+1988%2E) 7. Reiter E.: Generating Descriptions that Exploit a User'sDomain Knowledge. In Current Issues in Natural Language Generation, Dale R., Mellish C., Zock M. (eds.), pp. 257-285, Academic Pr., 1990. [find](https://scholar.google.com/scholar?q=Reiter+E%2E%3A+Generating+Descriptions+that+Exploit+a+User%27sDomain+Knowledge%2E+In+Current+Issues+in+Natural+Language+Generation%2C+Dale+R%2E%2C+Mellish+C%2E%2C+Zock+M%2E+%28eds%2E%29%2C+pp%2E+257%2D285%2C+Academic+Pr%2E%2C+1990%2E) *Updated 29 October 2026*