Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description)

要約

Grants4Companies アプリケーションの基礎となるメソッドとテクノロジーについて説明します。
このアプリケーションは、ロジックベースのエキスパート システムを使用して、ログインしているビジネスに適したビジネス補助金のリストを表示します。
補助金の適合性を評価するために、その条件の正式な表現が、オーストリアの行政の登録簿から取得されたビジネスの資産と照らし合わせて評価されます。
許可条件を表現するための論理言語は、S 式に基づいています。
さらに、形式化された助成金条件に関する推論の概念実証の実装について説明します。
概念実証は Common Lisp で実装され、Scryer Prolog に実装された推論エンジンと連携します。
このアプリケーションは最近公開され、オーストリア連邦財務省によってビジネス サービス ポータルの一部として提供されています。

要約(オリジナル)

We describe the methods and technologies underlying the application Grants4Companies. The application uses a logic-based expert system to display a list of business grants suitable for the logged-in business. To evaluate suitability of the grants, formal representations of their conditions are evaluated against properties of the business, taken from the registers of the Austrian public administration. The logical language for the representations of the grant conditions is based on S-expressions. We further describe a Proof of Concept implementation of reasoning over the formalised grant conditions. The proof of concept is implemented in Common Lisp and interfaces with a reasoning engine implemented in Scryer Prolog. The application has recently gone live and is provided as part of the Business Service Portal by the Austrian Federal Ministry of Finance.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google