Tootfinder

AI Knowledge Assist: An Automated Approach for the Creation of Knowledge Bases for Conversational AI Agents
Md Tahmid Rahman Laskar, Julien Bouvier Tremblay, Xue-Yong Fu, Cheng Chen, Shashi Bhushan TN
https://arxiv.org/abs/2510.08149

AI Knowledge Assist: An Automated Approach for the Creation of Knowledge Bases for Conversational AI Agents
The utilization of conversational AI systems by leveraging Retrieval Augmented Generation (RAG) techniques to solve customer problems has been on the rise with the rapid progress of Large Language Models (LLMs). However, the absence of a company-specific dedicated knowledge base is a major barrier to the integration of conversational AI systems in contact centers. To this end, we introduce AI Knowledge Assist, a system that extracts knowledge in the form of question-answer (QA) pairs from histo…

I've set up a #TriliumNotes server to test it as a replacement for my job-related Trello. Phew... I've rarely seen an app that looks so daunting when you first start it up. Dozens of buttons, menus, features... and on first start it wants a password but you can't use it with multiple users. You need multiple servers for that or encrypt a set of private notes.
Trilium integra…

Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
Nicholas Leisegang, Giovanni Casini, Thomas Meyer
https://arxiv.org/abs/2510.00817

Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
Weighted-knowledge bases and cost-based semantics represent a recent formalism introduced by Bienvenu et al. for Ontology Mediated Data Querying in the case where a given knowledge base is inconsistent. This is done by adding a weight to each statement in the knowledge base (KB), and then giving each DL interpretation a cost based on how often it breaks rules in the KB. In this paper we compare this approach with c-representations, a form of non-monotonic reasoning originally introduced by Kern…

Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
Nicholas Leisegang, Giovanni Casini, Thomas Meyer
https://arxiv.org/abs/2510.00817

Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
Weighted-knowledge bases and cost-based semantics represent a recent formalism introduced by Bienvenu et al. for Ontology Mediated Data Querying in the case where a given knowledge base is inconsistent. This is done by adding a weight to each statement in the knowledge base (KB), and then giving each DL interpretation a cost based on how often it breaks rules in the KB. In this paper we compare this approach with c-representations, a form of non-monotonic reasoning originally introduced by Kern…

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
Faruk Alpay, Hamdi Alakkad
https://arxiv.org/abs/2510.07331 https://arxiv.org…

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
This paper introduces Truth-Aware Decoding (TAD), a verification-oriented decoding scheme that aligns neural language generation with knowledge bases. Situated in the tradition of probabilistic program semantics for sequence models, TAD augments modern instruction-tuned systems with a lattice of semantic guards that operate at decode time. Our contributions are fourfold: (i) a constraint-based semantics that renders oracle filtering as a program-logic judgment, (ii) a proof that greedy selectio…