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...
Saved in:
| Main Authors: | , , |
|---|---|
| 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!
|
| _version_ | 1849762068146683904 |
|---|---|
| author | Christoph Beierle Jonas Haldimann Steven Kutsch |
| author_facet | Christoph Beierle Jonas Haldimann Steven Kutsch |
| author_sort | Christoph Beierle |
| collection | DOAJ |
| description | 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
that take the induced system P inference relation into account,
the system P normal form (SPNF) and the renaming SPNF
(ρSPNF) considering additionally renamings of the
underlying signature. For a two-element signature, we systematically
generate and compare all consistent knowledge bases in ANF,
RANF, SPNF, and their renaming counterparts, as well as all
complete system P inference relations induced by conditional
knowledge bases. |
| format | Article |
| id | doaj-art-e1c4da3f562043fd9ea33f5d8f33cec2 |
| institution | DOAJ |
| issn | 2334-0754 2334-0762 |
| language | English |
| publishDate | 2021-04-01 |
| publisher | LibraryPress@UF |
| record_format | Article |
| series | Proceedings of the International Florida Artificial Intelligence Research Society Conference |
| spelling | doaj-art-e1c4da3f562043fd9ea33f5d8f33cec22025-08-20T03:05:50ZengLibraryPress@UFProceedings of the International Florida Artificial Intelligence Research Society Conference2334-07542334-07622021-04-013410.32473/flairs.v34i1.12846762861A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small SignaturesChristoph Beierle0Jonas Haldimann1Steven Kutsch2FernUniversität in HagenFernUniversität in HagenFernUniversität in HagenConditional 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 that take the induced system P inference relation into account, the system P normal form (SPNF) and the renaming SPNF (ρSPNF) considering additionally renamings of the underlying signature. For a two-element signature, we systematically generate and compare all consistent knowledge bases in ANF, RANF, SPNF, and their renaming counterparts, as well as all complete system P inference relations induced by conditional knowledge bases.https://journals.flvc.org/FLAIRS/article/view/128467 |
| spellingShingle | Christoph Beierle Jonas Haldimann Steven Kutsch A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures Proceedings of the International Florida Artificial Intelligence Research Society Conference |
| title | A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures |
| title_full | A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures |
| title_fullStr | A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures |
| title_full_unstemmed | A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures |
| title_short | A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures |
| title_sort | complete map of conditional knowledge bases in different normal forms and their induced system p inference relations over small signatures |
| url | https://journals.flvc.org/FLAIRS/article/view/128467 |
| work_keys_str_mv | AT christophbeierle acompletemapofconditionalknowledgebasesindifferentnormalformsandtheirinducedsystempinferencerelationsoversmallsignatures AT jonashaldimann acompletemapofconditionalknowledgebasesindifferentnormalformsandtheirinducedsystempinferencerelationsoversmallsignatures AT stevenkutsch acompletemapofconditionalknowledgebasesindifferentnormalformsandtheirinducedsystempinferencerelationsoversmallsignatures AT christophbeierle completemapofconditionalknowledgebasesindifferentnormalformsandtheirinducedsystempinferencerelationsoversmallsignatures AT jonashaldimann completemapofconditionalknowledgebasesindifferentnormalformsandtheirinducedsystempinferencerelationsoversmallsignatures AT stevenkutsch completemapofconditionalknowledgebasesindifferentnormalformsandtheirinducedsystempinferencerelationsoversmallsignatures |