Embedding Vector Differences Can Be Aligned With Uncertain Intensional Logic Differences
The DeepWalk algorithm is used to assign embedding vectors to nodes in the Atomspace weighted, labeled hypergraph that is used to represent knowledge in the OpenCog AGI system, in the context of an application to probabilistic inference regarding the causes of longevity based on data from biological ontologies and genomic analyses. It is shown that vector difference operations between embedding vectors are, in appropriate conditions, approximately alignable with "intensional difference" operations between the hypergraph nodes corresponding to the embedding vectors. This relationship hints at a broader functorial mapping between uncertain intensional logic and vector arithmetic, and opens the door for using embedding vector algebra to guide intensional inference control.
Code (1)
Methods 이 논문이 사용한 방법론
Similar Papers 제목 키워드 기반
Embedding Ontologies via Incorporating Extensional and Intensional Knowledge
Ontologies contain rich knowledge within domain, which can be divided into two categories, namely extensional knowledge and intensional knowledge. Extensional knowledge provides information about the concrete instances t…
Language ModelingLanguage ModellingLink PredictionOntology Embedding+1A vector logic for intensional formal semantics
Formal semantics and distributional semantics are distinct approaches to linguistic meaning: the former models meaning as reference via model-theoretic structures; the latter represents meaning as vectors in high-dimensi…
Monads for hyperintensionality? A situation semantics for hyperintensional side effects
We outline a hyperintensional situation semantics in which hyperintensionality is modelled as a {`}side effect{'}, as this term has been understood in natural language semantics and in functional programming. We use mona…
Hyperintensional Reasoning based on Natural Language Knowledge Base
The success of automated reasoning techniques over large natural-language texts heavily relies on a fine-grained analysis of natural language assumptions. While there is a common agreement that the analysis should be hyp…
Finetuning CLIP to Reason about Pairwise Differences
Vision-language models (VLMs) such as CLIP are trained via contrastive learning between text and image pairs, resulting in aligned image and text embeddings that are useful for many downstream tasks. A notable drawback o…
AttributeContrastive Learningimage-classificationImage Classification+3