Abstract: Difference between revisions
Created page with "Failed to summarize text due to API error. Link to Article: https://arxiv.org/abs/0101016v1 Authors: arXiv ID: 0101016v1 Category:Computer Science Category:Failed Category:Summarize Category:Text Category:Due Category:Api" |
No edit summary |
||
| Line 1: | Line 1: | ||
Title: Abstract | |||
Link to Article: https://arxiv.org/abs/ | Research Question: Can default logic be used to model situations where a previously applied default contradicts a new one? | ||
Methodology: The authors explored the possibility of generating failures in default logic, a computational feature that is needed to encode some domains. They proposed various translations and examined their implications. | |||
Results: The authors found that it is impossible to translate default logic into a semantically equivalent logic that preserves all the desired properties. They also showed that there are domains where failures are necessary for a correct representation. | |||
Implications: The findings suggest that default logic has limitations in certain situations where failures are required for a correct representation. The authors propose that other logics may be more suitable for these situations. | |||
Link to Article: https://arxiv.org/abs/0403032v1 | |||
Authors: | Authors: | ||
arXiv ID: | arXiv ID: 0403032v1 | ||
[[Category:Computer Science]] | [[Category:Computer Science]] | ||
[[Category: | [[Category:Default]] | ||
[[Category: | [[Category:Logic]] | ||
[[Category: | [[Category:Situations]] | ||
[[Category: | [[Category:Where]] | ||
[[Category: | [[Category:Authors]] | ||
Latest revision as of 15:36, 24 December 2023
Title: Abstract
Research Question: Can default logic be used to model situations where a previously applied default contradicts a new one?
Methodology: The authors explored the possibility of generating failures in default logic, a computational feature that is needed to encode some domains. They proposed various translations and examined their implications.
Results: The authors found that it is impossible to translate default logic into a semantically equivalent logic that preserves all the desired properties. They also showed that there are domains where failures are necessary for a correct representation.
Implications: The findings suggest that default logic has limitations in certain situations where failures are required for a correct representation. The authors propose that other logics may be more suitable for these situations.
Link to Article: https://arxiv.org/abs/0403032v1 Authors: arXiv ID: 0403032v1