Subgoal Search For Complex Reasoning Tasks.
Konrad CzechowskiTomasz OdrzygózdzMarek ZbysinskiMichal ZawalskiKrzysztof OlejnikYuhuai WuLukasz KucinskiPiotr MilosPublished in: CoRR (2021)
Keyphrases
- reasoning tasks
- search algorithm
- description logics
- automated reasoning
- search space
- logic programming
- answer set programming
- abductive reasoning
- high level
- fuzzy description logics
- search methods
- partial order
- search strategies
- situation calculus
- machine learning
- quantified boolean formulas
- reasoning problems
- data mining
- search strategy
- general purpose
- lower bound
- artificial intelligence