Relevance in the Computation of Non-monotonic Inferences
| Autor: | Heyninck, J.L.A., Meyer, Thomas, Anban Pillay, Edgar Jembere, Aurona Gerber |
|---|---|
| Přispěvatelé: | Department of Computer Science, RS-Research Program Towards High-Quality and Intelligent Software (THIS), Anban Pillay, Edgar Jembere, Aurona Gerber |
| Rok vydání: | 2022 |
| Zdroj: | Artificial Intelligence Research ISBN: 9783031223204 Southern African Conference for Artificial Intelligence Research, 1734(1), 204-214 Heyninck, J L A & Meyer, T 2022, Relevance in the Computation of Non-monotonic Inferences . in Anban Pillay, Edgar Jembere & Aurona Gerber (eds), Artificial Intelligence Research-Third Southern African Conference, SACAIR 2022, Proceedings . 1 edn, vol. 1734, Springer, Cham, Cham, Communications in Computer and Information Science (CCIS), vol. 1734, pp. 202-214, Third Southern African Conference, Stellenbosch, South Africa, 5/12/22 . https://doi.org/10.1007/978-3-031-22321-1_14 |
| DOI: | 10.1007/978-3-031-22321-1_14 |
| Popis: | Inductive inference operators generate non-monotonic inference relations on the basis of a set of conditionals. Examples include rational closure, system P and lexicographic inference. For most of these systems, inference has a high worst-case computational complexity. Recently, the notion of syntax splitting has been formulated, which allows restricting attention to subsets of conditionals relevant for a given query. In this paper, we define algorithms for inductive inference that take advantage of syntax splitting in order to obtain more efficient decision procedures. In particular, we show that relevance allows to use the modularity of knowledge base is a parameter that leads to tractable cases of inference for inductive inference operators such as lexicographic inference. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|