Zobrazeno 1 - 10
of 442
pro vyhledávání: '"Strategy extraction"'
The ability to continuously learn and adapt to new situations is one where humans are far superior compared to AI agents. We propose an approach to knowledge transfer using behavioural strategies as a form of transferable knowledge influenced by the
Externí odkaz:
http://arxiv.org/abs/2305.12623
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Chew, Leroy, Clymo, Judith
Publikováno v:
Automated Reasoning
In this paper we show that the QBF proof checking format QRAT (Quantified Resolution Asymmetric Tautologies) by Heule, Biere and Seidl cannot have polynomial time strategy extraction unless P=PSPACE. In our proof, the crucial property that makes stra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::6a256b500dbf875d58d4c339dfdff586
http://europepmc.org/articles/PMC7324150
http://europepmc.org/articles/PMC7324150
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Theory and Applications of Satisfiability Testing – SAT 2020
In applications, QBF solvers are expected to not only decide whether a given formula is true or false but also return a solution in the form of a strategy. Determining whether strategies can be efficiently extracted from proof traces generated by QBF
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::0cadbd879b3fadc2ea67a8a864b080c8
http://europepmc.org/articles/PMC7326563
http://europepmc.org/articles/PMC7326563
Autor:
Marius-Constantin Dinu, Markus Hofmarcher, Vihang P. Patil, Matthias Dorfer, Patrick M. Blies, Johannes Brandstetter, Jose A. Arjona-Medina, Sepp Hochreiter
Publikováno v:
xxAI-Beyond Explainable AI ISBN: 9783031040825
In reinforcement learning, an agent interacts with an environment from which it receives rewards, that are then used to learn a task. However, it is often unclear what strategies or concepts the agent has learned to solve the task. Thus, interpretabi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8651514eaf17125e1e15940a80d72c16
https://doi.org/10.1007/978-3-031-04083-2_10
https://doi.org/10.1007/978-3-031-04083-2_10
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Leroy Chew, Judith Clymo
Publikováno v:
Automated Reasoning ISBN: 9783030510732
IJCAR (1)
IJCAR (1)
In this paper we show that the QBF proof checking format QRAT (Quantified Resolution Asymmetric Tautologies) by Heule, Biere and Seidl cannot have polynomial time strategy extraction unless P=PSPACE. In our proof, the crucial property that makes stra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::28fd191ad1d3ba22385993fa3c7b0b8d
https://doi.org/10.1007/978-3-030-51074-9_5
https://doi.org/10.1007/978-3-030-51074-9_5
Publikováno v:
Proceedings of BNAIC/BeneLearn 2021, 33rd Benelux Conference on Artificial Intelligence and 30th Belgian-Dutch Conference on Machine Learning
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______330::c23da692cc61d3b5a6f2eb87fee87b40
https://biblio.ugent.be/publication/8723799
https://biblio.ugent.be/publication/8723799