首页|A semantics for probabilistic hybrid knowledge bases with function symbols

A semantics for probabilistic hybrid knowledge bases with function symbols

扫码查看
原文链接
  • NETL
  • NSTL
  • Elsevier
Hybrid Knowledge Bases (HKBs) successfully integrate Logic Programming (LP) and Description Logics (DL) under the Minimal Knowledge with Negation as Failure semantics. Both world closure assumptions (open and closed) can be used in the same HKB, a feature required in many domains, such as the legal and health-care ones. In previous work, we proposed (function-free) Probabilistic HKBs, whose semantics applied Sato's distribution semantics approach to the well-founded HKB semantics proposed by Knorr et al. and Lyu and You. This semantics relied on the fact that the grounding of a function-free Probabilistic HKB (PHKB) is finite. In this article, we extend the PHKB language to allow function symbols, obtaining PHKB~(FS). Because the grounding of a PHKB~(FS) can be infinite, we propose a novel semantics which does not require the PHKB~(FS)'s grounding to be finite. We show that the proposed semantics extends the previously proposed semantics and that, for a large class of PHKB~(FS), every query can be assigned a probability.

Hybrid knowledge basesMinimal knowledge with negation as failureProbabilityDistribution semantics

Marco Alberti、Evelina Lamma、Fabrizio Riguzzi、Riccardo Zese

展开 >

Dipartimento di Matematica e Informatica, University of Ferrara, Via Saragat, 1, 44122 Ferrara, Italy

Dipartimento di Ingegneria, University of Ferrara, Via Saragat, 1, 44122 Ferrara, Italy

Dipartimento di Scienze Chimiche, Farmaceutiche e Agrarie, University of Ferrara, Via Luigi Borsari, 46, 44121 Ferrara, Italy

2025

10.1016/j.artint.2025.104361

Artificial intelligence

Artificial intelligence

SCI
ISSN：0004-3702
年,卷(期)：2025.346(Sep.)
  • 58