1

Starcraft で情報を表すオントロジーに取り組んでいますが、次の一般的なクラス公理を DL で表すことができるかどうかを判断するのに苦労しています。そうでない場合は、それを表現するために必要な最小の論理セット (FOL、2 次など) を知りたいです。

この公理で、(1) その地域にユニットが存在し、(2) その地域のすべてのユニットがプレイヤーによって所有されている場合、プレイヤーがその地域を支配していることを表現したいと思います。

私には 3 つの役割があります。

A. controlsRegion(p,r) ここで、p はプレーヤー、r はリージョンです

B. isOwnedBy(u,p) u はユニット、p はプレイヤー

C. isInRegion(u,r) ここで、u はユニット、r はリージョンです

controlsRegion(p,r) \equiv \exists u.isInRegion(u,r) \sqcap 
                           \forall u.isInRegion(u,r) \circ isOwnedBy(u,p)

画像を投稿するのに十分な担当者がいません。ここで式を参照してください: http://postimg.org/image/wve0h9m1z/

u、p、r は変数です (これが DL で表現できるとは思えない理由です)

また、使用している構文が正しいかどうかもわかりません。適切に表現する方法を教えてください。

ありがとう、どんなフィードバックでも大歓迎です！

4

2 に答える 2

1

ゲームの残りの部分を表現する方法に応じて、少なくともプレーヤーごとに、実際にこれを OWL DL で表現できると思います。たとえば、次のように言うことができます。

=controlsRegion -1 .player ⊑ ∀(inRegion -1 • ownBy).{player}

一次論理では、次のようになります。

∀ r.[controlsRegion(player,r) ⇔ ∀ p' [(inRegion -1 •ownedBy)(r,p') ⇒ player = p']]

これは、プレーヤーによって制御される地域は、すべての地域がプレーヤー 1 によって所有されている地域のサブセットであることを示しています。もちろん、これはリージョン内のすべてがplayerだけが所有できると推測できる必要があることを意味します。これは、Open World Assumption を作成する OWL では少し難しいかもしれません。他の誰かが所有する可能性のある物が地域に存在しないことを証明できるようにするには、いくつかの作業が必要になる場合があります。これはまた、一度に1 人のプレーヤーの表現のみを提供します。プレイヤーごとにそのような公理が 1 つ必要です。

于 2013-11-26T05:47:53.270 に答える