Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2404.02454 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916684156108800 |
|---|---|
| author | Doherty, Patrick Szalas, Andrzej |
| author_facet | Doherty, Patrick Szalas, Andrzej |
| contents | The technique of forgetting in knowledge representation has been shown to be a powerful and useful knowledge engineering tool with widespread application. Yet, very little research has been done on how different policies of forgetting, or use of different forgetting operators, affects the inferential strength of the original theory. The goal of this paper is to define loss functions for measuring changes in inferential strength based on intuitions from model counting and probability theory. Properties of such loss measures are studied and a pragmatic knowledge engineering tool is proposed for computing loss measures using ProbLog. The paper includes a working methodology for studying and determining the strength of different forgetting policies, in addition to concrete examples showing how to apply the theoretical results using ProbLog. Although the focus is on forgetting, the results are much more general and should have wider application to other areas. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_02454 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Techniques for Measuring the Inferential Strength of Forgetting Policies Doherty, Patrick Szalas, Andrzej Artificial Intelligence Logic in Computer Science The technique of forgetting in knowledge representation has been shown to be a powerful and useful knowledge engineering tool with widespread application. Yet, very little research has been done on how different policies of forgetting, or use of different forgetting operators, affects the inferential strength of the original theory. The goal of this paper is to define loss functions for measuring changes in inferential strength based on intuitions from model counting and probability theory. Properties of such loss measures are studied and a pragmatic knowledge engineering tool is proposed for computing loss measures using ProbLog. The paper includes a working methodology for studying and determining the strength of different forgetting policies, in addition to concrete examples showing how to apply the theoretical results using ProbLog. Although the focus is on forgetting, the results are much more general and should have wider application to other areas. |
| title | Techniques for Measuring the Inferential Strength of Forgetting Policies |
| topic | Artificial Intelligence Logic in Computer Science |
| url | https://arxiv.org/abs/2404.02454 |