English

Graded Unification: A Framework for Interactive Processing

cmp-lg 2008-02-03 v1 Computation and Language
Authors: Albert Kim
View on arXiv ↗ PDF ↗

Abstract

An extension to classical unification, called {\em graded unification} is presented. It is capable of combining contradictory information. An interactive processing paradigm and parser based on this new operator are also presented.

Keywords

process calculus computer algebra category theory

Cite

@article{arxiv.cmp-lg/9406013,
  title  = {Graded Unification: A Framework for Interactive Processing},
  author = {Albert Kim},
  journal= {arXiv preprint arXiv:cmp-lg/9406013},
  year   = {2008}
}

Comments

3 pages, To appear in ACL-94 Student Session, Postscript file; extract with Unix uudecode and uncompress

Related papers

View all related →
Logic in Computer Science · Computer Science
Unification and combination of iterative insertion strategies with rudimentary traversals and failure
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen Michel Lenczner
2019-04-25
Logic in Computer Science · Computer Science
Unifying Graded Linear Logic and Differential Operators
Flavien Breuvart, Marie Kerjean, Simon Mirwasser
2026-01-14
Artificial Intelligence · Computer Science
A Principled Analysis of Merging Operations in Possibilistic Logic
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
2013-01-18
Databases · Computer Science
A Unifying Framework to Characterize the Power of a Language to Express Relations
Paola Bonizzoni, Peter J. Cameron, Gianluca Della Vedova, Alberto Leporati +1
2012-03-22
Computation and Language · Computer Science
UNTER: A Unified Knowledge Interface for Enhancing Pre-trained Language Models
Deming Ye, Yankai Lin, Zhengyan Zhang, Maosong Sun
2023-05-08
Artificial Intelligence · Computer Science
A Formalisation of Abstract Argumentation in Higher-Order Logic
Alexander Steen, David Fuenmayor
2021-10-19
Quantum Physics · Physics
A General Framework for Recursive Decompositions of Unitary Quantum Evolutions
Mehmet Dagli, Domenico D'Alessandro, Jonathan D. H. Smith
2009-11-13
Logic in Computer Science · Computer Science
A Concurrent Pattern Calculus
Thomas Given-Wilson, Daniele Gorla, Barry Jay
2015-07-01
Logic in Computer Science · Computer Science
Unification and combination of a class of traversal strategies made with pattern matching and fixed-points
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner
2021-12-15
Machine Learning · Computer Science
Graded Neural Networks
Tony Shaska
2026-04-24
Information Retrieval · Computer Science
UNGER: Generative Recommendation with A Unified Code via Semantic and Collaborative Integration
Longtao Xiao, Haozhao Wang, Cheng Wang, Linfei Ji +5
2025-12-16
Programming Languages · Computer Science
Integration of Declarative and Constraint Programming
Petra Hofstedt, Peter Pepper
2007-05-23
Geometric Topology · Mathematics
Framed combinatorial topology
Christoph Dorn, Christopher L. Douglas
2021-12-30
Computer Vision and Pattern Recognition · Computer Science
A Unified Semantic Embedding: Relating Taxonomies and Attributes
Sung Ju Hwang, Leonid Sigal
2014-12-10
Computation and Language · Computer Science
Augmenting Compositional Models for Knowledge Base Completion Using Gradient Representations
Matthias Lalisse, Paul Smolensky
2019-08-14
Computation and Language · Computer Science
Embedding Grammars
David Wingate, William Myers, Nancy Fulda, Tyler Etchart
2018-08-16
Logic · Mathematics
Parametrised Functional Interpretations
Bruno Dinis, Paulo Oliva
2020-05-13
Cryptography and Security · Computer Science
A Unified Knowledge Graph to Permit Interoperability of Heterogeneous Digital Evidence
Ali Alshumrani, Nathan Clarke, Bogdan Ghita
2024-02-22
Machine Learning · Computer Science
Aggregation of Classifiers: A Justifiable Information Granularity Approach
Tien Thanh Nguyen, Xuan Cuong Pham, Alan Wee-Chung Liew, Witold Pedrycz
2017-03-17
cmp-lg · Computer Science
A Tractable Extension of Linear Indexed Grammars
Bill Keller, David Weir
2008-02-03
Logic in Computer Science · Computer Science
Unifying type systems for mobile processes
Emmanuel Beffara
2015-05-29
Number Theory · Mathematics
Separable Integer Partition Classes
George E. Andrews
2020-08-17
Programming Languages · Computer Science
HUGR: A Quantum-Classical Intermediate Representation
Mark Koch, Agustín Borgna, Seyon Sivarajah, Alan Lawrence +6
2025-10-14
Programming Languages · Computer Science
A treatment of higher-order features in logic programming
Gopalan Nadathur
2007-05-23
Logic in Computer Science · Computer Science
Nonuniform Coercions via Unification Hints
Claudio Sacerdoti Coen, Enrico Tassi
2011-03-18