Open AccessA Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures
Author(s) -
Christoph Beierle,
Jonas Haldimann,
Steven Kutsch
Publication year - 2021
Publication title -
proceedings of the ... international florida artificial intelligence research society conference
Language(s) - English
Resource type - Journals
eISSN - 2334-0762
pISSN - 2334-0754
DOI - 10.32473/flairs.v34i1.128467
Subject(s) - inference , signature (topology) , relation (database) , computer science , rule of inference , element (criminal law) , knowledge base , artificial intelligence , mathematics , theoretical computer science , data mining , geometry , political science , law
Conditional knowledge bases consisting of qualitativeconditionals play a predominant role in knowledge representationand reasoning. In this paper, we develop a full map of allconsistent conditional knowledge bases over a small signature indifferent normal forms. We introduce two new normal formsthat take the induced system P inference relation into account,the system P normal form (SPNF) and the renaming SPNF(ρSPNF) considering additionally renamings of theunderlying signature. For a two-element signature, we systematicallygenerate and compare all consistent knowledge bases in ANF,RANF, SPNF, and their renaming counterparts, as well as allcomplete system P inference relations induced by conditionalknowledge bases.