Meta-level Selection Techniques for the Control of Default Reasoning
| Autor: | Yao-Hua Tan, Victor Allis, Jan Treur |
|---|---|
| Přispěvatelé: | Artificial intelligence, Social AI |
| Jazyk: | angličtina |
| Rok vydání: | 1996 |
| Předmět: |
non-monotonic reasoning
implementations of non-classical reasoning Knowledge representation and reasoning Computer Networks and Communications Computer science business.industry Default logic knowledge representation Default reasoning Hardware and Architecture Default argument meta-level architectures Default rule Artificial intelligence SDG 7 - Affordable and Clean Energy Control (linguistics) business Software Selection (genetic algorithm) |
| Zdroj: | Allis, V, Tan, Y H & Treur, J 1996, ' Meta-level Selection Techniques for the Control of Default Reasoning ', Future Generation Computer Systems, vol. 12, no. 2-3, pp. 189-201 . https://doi.org/10.1016/0167-739X(96)00010-6 Future Generation Computer Systems, 12(2-3), 189-201. Elsevier |
| ISSN: | 0167-739X |
| DOI: | 10.1016/0167-739X(96)00010-6 |
| Popis: | The problem how to control default reasoning is addressed. In an earlier work it was described how selection functions (on default conclusions) added to default logic can be exploited to describe control. In this paper specific properties of selection functions are described. Moreover, we investigate under which conditions selection functions can be expressed in the form of declarative control knowledge at the meta-level. Furthermore, we show that normal default logic with additional control by selection functions is (in some sense) equivalent to default logic in general. Finally, an alternative approach to control is introduced based on inhibition relations between default rules. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect