--- title: "Object-oriented semantics of English in natural language" description: "Ostapov describes LEIBNIZ, an experimental English understanding system built in Visual Prolog at the Institute of… 10 references." authors: ["Yuriy Ostapov"] year: 2011 venue: "arXiv:1109.5798" source: "https://arxiv.org/abs/1109.5798" doi: "10.48550/arxiv.1109.5798" arxiv: "1109.5798" licence: "arXiv — non-exclusive license to distribute" licence_url: "http://arxiv.org/licenses/nonexclusive-distrib/1.0/" summary_licence: "Elamur Cosmic License" canonical: "https://research.elamur.ai/free/en/papers/ostapov-2011-object-oriented-semantics-english-natural/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/ostapov-2011-object-oriented-semantics-english-natural/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [2011](https://md.research.elamur.ai/free/en/papers/2011/page/2/) / Object-oriented semantics of English in natural language understanding system # Object-oriented semantics of English in natural language understanding system **Authors:** Yuriy Ostapov · **Year:** 2011 · **Venue:** arXiv:1109.5798 · **Licence:** [arXiv — non-exclusive license to distribute](http://arxiv.org/licenses/nonexclusive-distrib/1.0/) **Links:** [Publisher's page](https://arxiv.org/abs/1109.5798) · [PDF](https://arxiv.org/pdf/1109.5798) · [DOI 10.48550/arxiv.1109.5798](https://doi.org/10.48550/arxiv.1109.5798) · [arXiv 1109.5798](https://arxiv.org/abs/1109.5798) · [OpenAlex](https://openalex.org/W1593693610) **Citations:** 5 citations (OpenAlex, 2026-10-14) ## Summary Ostapov describes LEIBNIZ, an experimental English understanding system built in Visual Prolog at the Institute of Cybernetics in Kyiv. Its domain is human social behaviour. The system parses an English sentence with a grammar written in Backus-Naur style and turns the result into records of a semantic database. These records cover people, organizations, projects, actions, events, messages, places, times, machines, things, animals, relations, thoughts, causes and abstract objects. Questions are then answered with Prolog's inference engine. A separate knowledge base explains word meaning in frame-like articles, which are themselves entered as plain English sentences. They describe what an object does or consists of, the motives behind an action, and multi-step operations. The author contrasts this with the Conceptual Dependency and MOP work at Yale and Stanford, where word knowledge was buried in program code. He argues that keeping linguistic data apart from code lets the method scale and move to other European languages. The paper reports no quantitative evaluation. Its contribution is the design of the representation. ## Key points - The dictionary holds about 2,400 words. The system ran on Windows with Visual Prolog, and grammar structures are encoded as Prolog compound objects (functors). - The semantic database distinguishes 17 kinds of predicate. Listed from last to first, these are number, abstr, cause, intelligence, relation, animal, thing, machine, tim, place, message, event, action, project, organization, job and person. - The main records have many fields: - person has 21 fields, from appearance to temperament. - action has 18 fields: a semantic type in the style of Schank's primitives (PROPEL, MOVE, GO, TRANSFER…), real or supposed status, negation, tense and aspect, agent, patient, source, recipient, locations, instrument and purpose. - event has 12 fields describing a change of state. - State changes are measured on scales. Health runs from −100 (death) to +100, hunger has a similar range, and physical scales such as Celsius are also allowed. - Semantic analysis of a simple sentence follows a fixed order: fronted adverbial, then subject, then objects, then adverbials, and finally the predicate. The predicate type of a noun phrase comes from the semantic code of its head noun. ## Interesting ideas - A state change is stored as an event with a named scale plus a start value and an end value, so "he fell ill" becomes a measurable shift rather than a label. - Each action record carries a flag saying whether it really happened or is only supposed, kept apart from negation and tense. - The knowledge base is written in restricted English (for example, an entry for doctor followed by "doctor examines a person") and parsed by the same analyzer that reads stories. A small set of built-in verbs grounds all other definitions. - Verb articles list typical motives together with the conditions under which each applies, and goal-directed "operations" are stored as staged scripts with alternative routes. - The author insists on keeping word knowledge out of program code and in queryable data, arguing that hand-coded semantics was what stopped earlier systems from scaling. ## For Mova How these ideas could serve Mova, our small open language model — its files, stages and tests: - **I1** (world): Mova's world states could carry an explicit scale and before/after values, which makes questions like "did things get better or worse?" answerable and traceable. - **I2** (frames): prag frames could keep a factuality status separate from polarity, so hypothetical, modal and negated actions never enter the world as facts. - **I3** (world): Compiled knowledge such as verb classes and ontology glosses could be authored as controlled English run through Mova's own pipeline, which keeps the knowledge explainable and self-consistent. - **I4** (answer): Readers answering "why did X do Y?" about fables could match an action against stored motive/condition pairs and script stages, and cite the matched stage as the explanation. - **I5** (learn): Self-induced repair rules and lexical knowledge should be stored as inspectable data that can be audited and tested with negative controls, rather than as Rust special cases. *Our summary of the paper, in our own words — not its text. The work belongs to its authors; read it at the links above.* 📚 Shelves (4): [🖥️ Computer Science](https://md.research.elamur.ai/free/en/shelves/computer-science/) · 9,085 works · [🤖 Artificial Intelligence](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · 8,888 works · [🎭 Arts and Humanities](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · 9,296 works · [🗣️ Language and Linguistics](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) · 9,206 works 🧭 Topics (1): [English](https://md.research.elamur.ai/free/en/topics/english/) · 1,373 works ## Cite Cite as: Yuriy Ostapov. 2011. Object-oriented semantics of English in natural language understanding system. arXiv:1109.5798. The paper itself, not this page. BibTeX from the library's record of the work. ```bibtex @misc{ostapov2011object, title = {{Object-oriented semantics of English in natural language understanding system}}, author = {Yuriy Ostapov}, year = {2011}, doi = {10.48550/arxiv.1109.5798}, eprint = {1109.5798}, archivePrefix = {arXiv}, url = {https://doi.org/10.48550/arxiv.1109.5798} } ``` - [← previous Exploring Difficulties in Parsing Imperatives and Questions](https://md.research.elamur.ai/free/en/papers/hara-2011-exploring-difficulties-parsing-imperatives-questions/) - [next → The Effect of Automatic Tokenization, Vocalization, Stemming, and POS Tagging on Arabic Dependency Parsing](https://md.research.elamur.ai/free/en/papers/mohamed-2011-effect-automatic-tokenization-vocalization-stemming/) - [↑ back to papers of 2011](https://md.research.elamur.ai/free/en/papers/2011/page/2/) ## References 10 references, 0 of them with a card of ours. ↗ leads to the work, «find» searches for one we have no id for yet. 1. Dictionary of Computing, Market House Books Ltd, London, 1986. [find](https://scholar.google.com/scholar?q=Dictionary+of+Computing%2C+Market+House+Books+Ltd%2C+London%2C+1986%2E) 2. R.Quirk, S.Greenbaum, G.Leech, J.Svartvik, A University Grammar of English, Longman, London, 1973. [find](https://scholar.google.com/scholar?q=R%2EQuirk%2C+S%2EGreenbaum%2C+G%2ELeech%2C+J%2ESvartvik%2C+A+University+Grammar+of+English%2C+Longman%2C+London%2C+1973%2E) 3. G.F.Luger, Artificial Intelligence. Structures and Strategies for Complex Problem Solving, Fourth edition, Addison Weslay, 2003. [find](https://scholar.google.com/scholar?q=G%2EF%2ELuger%2C+Artificial+Intelligence%2E+Structures+and+Strategies+for+Complex+Problem+Solving%2C+Fourth+edition%2C+Addison+Weslay%2C+2003%2E) 4. C.K.Riesbeck, R.C.Schank, Inside Case–Based Reasoning, Lawrence Erlbaum Associates, New Jersey, 1989. [find](https://scholar.google.com/scholar?q=C%2EK%2ERiesbeck%2C+R%2EC%2ESchank%2C+Inside+Case%E2%80%93Based+Reasoning%2C+Lawrence+Erlbaum+Associates%2C+New+Jersey%2C+1989%2E) 5. B.Russel, Human knowledge. Its scope and limits, George Allen and Unwin Ltd, London, 1958. [find](https://scholar.google.com/scholar?q=B%2ERussel%2C+Human+knowledge%2E+Its+scope+and+limits%2C+George+Allen+and+Unwin+Ltd%2C+London%2C+1958%2E) 6. S.J.Russel, P.Norvig, Artificial Intelligence. A modern approach, Second edition, Prentice Hall, New Jersey, 2005. [find](https://scholar.google.com/scholar?q=S%2EJ%2ERussel%2C+P%2ENorvig%2C+Artificial+Intelligence%2E+A+modern+approach%2C+Second+edition%2C+Prentice+Hall%2C+New+Jersey%2C+2005%2E) 7. R.C.Schank, N.M.Goldman, C.J.Rieger, C.K.Riesbeck, Conceptual Information Processing, North–Holland, Amsterdam, 1975. [find](https://scholar.google.com/scholar?q=R%2EC%2ESchank%2C+N%2EM%2EGoldman%2C+C%2EJ%2ERieger%2C+C%2EK%2ERiesbeck%2C+Conceptual+Information+Processing%2C+North%E2%80%93Holland%2C+Amsterdam%2C+1975%2E) 8. R.C.Schank, M.Lebowitz, L.Birnbaum, An integrated Understander, American Journal of Computational Linguistic, 6(1)(1980):13–30. [find](https://scholar.google.com/scholar?q=R%2EC%2ESchank%2C+M%2ELebowitz%2C+L%2EBirnbaum%2C+An+integrated+Understander%2C+American+Journal+of+Computational+Linguistic%2C+6%281%29%281980%29%3A13%E2%80%9330%2E) 9. Visual Prolog Version 5.0. Language Tutorial, Prolog Development Center, Copenhagen, 1997. [find](https://scholar.google.com/scholar?q=Visual+Prolog+Version+5%2E0%2E+Language+Tutorial%2C+Prolog+Development+Center%2C+Copenhagen%2C+1997%2E) 10. T.Winograd, Understanding Natural Language, Academic Press, New York, 1972. [find](https://scholar.google.com/scholar?q=T%2EWinograd%2C+Understanding+Natural+Language%2C+Academic+Press%2C+New+York%2C+1972%2E) *Updated 24 October 2026*