BriefGPT.xyz
Dec, 2013
抽象模块化系统和求解器
Abstract Modular Systems and Solvers
HTML
PDF
Yuliya Lierler, Miroslaw Truszczynski
TL;DR
本文介绍了抽象模块和抽象模块化系统等概念，以研究将不同形式主义集成到模块化知识表示系统中所涉及的原则，并展示了如何将它们应用于多种形式主义。 Transition System是这些原则的自然和方便表示，可以用于SAT社区开发的求解器的流程表示。
Abstract
Integrating diverse formalisms into
modular knowledge representation
systems offers increased expressivity, modeling convenience and computational benefits. We introduce concepts of
abstract modules
and abstract
→