Everything about Dynamic semantics
Framework in logic and natural language semantics
Dynamic semantics is a framework in logic and natural language semantics that treats the meaning of a sentence as its potential to update a context. In static semantics, knowing the meaning of a sentence amounts to knowing when it is true; in dynamic semantics, knowing the meaning of a sentence means knowing "the change it brings about in the information state of anyone who accepts the news conveyed by it." In dynamic semantics, sentences are mapped to functions called context change potentials, which take an input context and return an output context. Dynamic semantics was originally developed by Irene Heim and Hans Kamp in 1981 to model anaphora, but has since been applied widely to phenomena including presupposition, plurals, questions, discourse relations, and modality. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Dynamic semanticsA 5-minute orientation
- Skim a recent paper: Semantics-Aware Dynamic Graph Convolutional Network for Traffic Flow ForecastingInfluential work since 2022
- Pick up a classic book: Quantum fields on the computerThe most-reprinted book on the subject
- Read the landmark paper: Semantics-based dynamic service compositionCited 76 times
- Go sideways: Epistemic modal logicA closely related topic
- Go sideways: Intuitionistic logicA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Semantics-based dynamic service composition
Semantics-based context-aware dynamic service composition
Processing presuppositions: Dynamic semantics vs pragmatic enrichment
Sequence semantics for dynamic predicate logic
Anti-dynamics: presupposition projection without dynamic semantics
SEMANTICS-BASED DYNAMIC WEB SERVICE COMPOSITION
Explaining presupposition projection with dynamic semantics
A natural semantics for Eiffel dynamic binding
🆕 Influential since 2022
Semantics-Aware Dynamic Graph Convolutional Network for Traffic Flow Forecasting
RLD-SLAM: A Robust Lightweight VI-SLAM for Dynamic Environments Leveraging Semantics and Motion Information
Semantics-Aware Dynamic Localization and Refinement for Referring Image Segmentation
Multi-Semantics Aggregation Network Based on the Dynamic-Attention Mechanism for 3D Human Motion Prediction
Dynamic Feature Fusion: Combining Global Graph Structures and Local Semantics for Blockchain Phishing Detection
📚 Books worth reading
- 📕Quantum fields on the computerMichael Creutz · 1990
The Expected KnowledgeSivashanmugam Palaniappan · 2012
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Epistemic modal logic Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition…
- Intuitionistic logic Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical…
- Non-normal modal logic A non-normal modal logic is a variant of modal logic that deviates from the basic principles of normal modal logics. Normal modal logics adhere to the…
- Conjunction/disjunction duality In propositional logic and Boolean algebra, there is a duality between conjunction and disjunction, also called the duality principle. It is the most widely…
- Dynamic epistemic logic Dynamic epistemic logic (DEL) is a logical framework dealing with knowledge and information change. Typically, DEL focuses on situations involving multiple…
- Conditional logic Conditional logic (also: the logic of conditionals) refers to a family of formal systems for reasoning with statements of the form "if A, (then) B". Conditional…
- Independence-friendly logic Independence-friendly logic (IF logic; proposed by Jaakko Hintikka and Gabriel Sandu [fr] in 1989) is an extension of classical first-order logic (FOL)…
- Modal μ-calculus In theoretical computer science, the modal μ-calculus (Lμ, Lμ, or propositional mu-calculus, sometimes just μ-calculus, although this can have a more general…