I introduce a theoretical framework for reasoning about the values of theories (understood as sets of elements of random conceptual algebras) and about the values of concepts with respect to theories. Then I define theory formation games and argue that they provide an adequate theoretical framework for the evaluation of strategies and algorithms for computational creativity; and, finally, I briefly discuss two possible practical applications of this framework, namely the automatic search for Natural Deduction rule systems for logics and the construction of falling-rule-list-plus-definitions classification models.

Towards an algebraic approach to theory and concept evaluation

Galliani P.
2018-01-01

Abstract

I introduce a theoretical framework for reasoning about the values of theories (understood as sets of elements of random conceptual algebras) and about the values of concepts with respect to theories. Then I define theory formation games and argue that they provide an adequate theoretical framework for the evaluation of strategies and algorithms for computational creativity; and, finally, I briefly discuss two possible practical applications of this framework, namely the automatic search for Natural Deduction rule systems for logics and the construction of falling-rule-list-plus-definitions classification models.
2018
1st International Workshop on Comprehensibility and Explanation in AI and ML, CEX 2017
1st International Workshop on Comprehensibility and Explanation in AI and ML, CEX 2017
Bari
16 November 2017 through 17 November 2017
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/2149109
 Attenzione

L'Ateneo sottopone a validazione solo i file PDF allegati

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact