A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures

Conditional knowledge bases consisting of qualitative conditionals play a predominant role in knowledge representation and reasoning. In this paper, we develop a full map of all consistent conditional knowledge bases over a small signature in different normal forms. We introduce two new normal forms...

Full description

Saved in:
Bibliographic Details
Main Authors: Christoph Beierle, Jonas Haldimann, Steven Kutsch
Format: Article
Language:English
Published: LibraryPress@UF 2021-04-01
Series:Proceedings of the International Florida Artificial Intelligence Research Society Conference
Online Access:https://journals.flvc.org/FLAIRS/article/view/128467
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items