Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention

DOI10.1007/S10472-019-09654-6MaRDI QIDQ2188772zbMATH OpenOpenAlexFDO

Authors Roberto Confalonieri, Oliver Kutz

Publication date 11 June 2020

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10472-019-09654-6

zbMATH Keywords

ontologiesconceptual blendingrefinement operatorscomputational concept inventionimage schemas

Mathematics Subject Classification ID

Knowledge representation (68T30) Computing methodologies for image processing (68U10) Logic in artificial intelligence (68T27)

Recommendations

• A computational framework for conceptual blending
• Theory blending: extended algorithmic aspects and examples
• Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
• ASP, amalgamation, and the conceptual blending workflow
• Towards a model of creative understanding: deconstructing and recreating conceptual blends using image schemas and qualitative spatial descriptors

Cites work

• scientific article; zbMATH DE number 1809862 (Why is no real title available?)
• scientific article; zbMATH DE number 3521895 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1042220 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 2246077 (Why is no real title available?)
• A computational framework for conceptual blending
• ASP, amalgamation, and the conceptual blending workflow
• Axiom Pinpointing in General Tableaux
• CASL: the Common Algebraic Specification Language.
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• Completeness and properness of refinement operators in inductive logic programming
• Computing the least common subsumer w.r.t. a background terminology
• Concept learning in description logics using refinement operators
• Handbook on ontologies
• Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
• Multi-shot ASP solving with clingo
• Persuasion in Practical Argument Using Value-based Argumentation Frameworks
• Repairing socially aggregated ontologies using axiom weakening
• Similarity measures over refinement graphs
• The distributed ontology, modeling and specification language -- DOL
• Tools and algorithms for the construction and analysis of systems. 13th international conference, TACAS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 -- April 1, 2007. Procee
• Towards a model of creative understanding: deconstructing and recreating conceptual blends using image schemas and qualitative spatial descriptors
• Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)

Cited in

(4)

• A computational framework for conceptual blending
• ASP, amalgamation, and the conceptual blending workflow
• Theory blending: extended algorithmic aspects and examples
• Towards a model of creative understanding: deconstructing and recreating conceptual blends using image schemas and qualitative spatial descriptors

Describes a project that uses

Uses Software

• E Theorem Prover
• Clingo
• Darwin
• CASL

This page was built for publication: Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2188772)