만약 당신이 가장 효율적인 로봇을 가지고 있지 않다면 논리 언어를 사용할 것입니다. 그리고 더 일반적인 언어를 만드는 것이 천천히 그리고 느리게 진행되지만, 시작이 될 수 있습니다.
핵심 요소는 관심있는 전략을 정의하고 논리 언어로이 전략을 모델링하는 것입니다.
strategy-1 guess the card you think is the most likely; or
strategy-2 among the cards that are the most likely, guess the card that
my opponent believes to be the most likely.
이제 문제는 당신이 해석 할 수있는 공식 언어로 전략을 (당신이 소리를 필요로 정의하는 것입니다 : 당신이 추측 게임에서 생각하는 경우
, 예를 들어, 당신은 두 가지 전략을 가질 수 언어).
일반적으로 이러한 논리의 언어는 최소한 기본 확률을 나타낼 수 있어야합니다. 예를 들어 다음과 같은 형식으로 지정된 언어 : RA 합리적 0 내지 1 읽기 P (c)은> = R 플레이어가 상대 적어도 확률으로 카드 (C)를 가지고 있다고 생각 '이어야 할
A = c | -A | A v A | A -> A | P(A) >= r | P(A) >= P(A) | \forall c . A(c)
아르 자형.' 전략-2
Guess card C only if holds that
[\forall C'. P(C) >= P(C')]^[-\forall C''. P'(C'') > P'(C)]
같다
Guess card C only if holds that
\forall C'. P(C) >= P(C') .
같이
는 예를 들어, 전략-1 (P '(c 내 상대 할당 확률 임)) 보인다.
전략은 전략을 만족 활동에 대한 기능은 단순히 가능한 카드를 요구 될 수식 전략에 의해 주어진다 경우
act gameState = take 1 [c : c |= STRATEGY]
내가 예는 표현 충분히 표현하지로 준이 언어 유형을 숨기는 문제 (예 : Poker, HearthStone과 같은 게임에서 전략이 매우 중요 함). 그 전략을 위해서는 약간의 확장이 필요할 것입니다.
또 다른 일반적인 확장은 동적 연산자에 대한 것이므로 '가장 강한 카드가 패배 한 후에 나는 보드를 쥐고'와 같은 전략을 표현할 수 있습니다.
'어떤 카드가 열려 있는지 추적'에 대한 의견에 귀하의 상대방이 생각한 행동을 고려하지 않는다는 의미에서 제한됩니다. 전략 -2는 고차원 적 신념으로 컴퓨터를 개선하는 방법의 한 예입니다.
짐작 게임의 경우 Ditmarsch에서 Pit Logic이라는 종이를 제안합니다. (http://link.springer.com/article/10.1007/s11229-005-4331-5) (인공 지능을 구현하지 않고 PIT라는 게임 만 표현할 수 있습니다. 비용을 지불 할 가치가 있다고 생각하지 않습니다. 무료로 제공 할 수 있다면, 대신 자신의 논문을 찾을 수 있습니다. 그것은 무료입니다)
내가 마석에 대한 논문을 작성하는 사랑하지만 결코 시간을 :(
카드 카운팅을 찾을 수 없습니다 -. http://www.mitcardcounting.com/ (그 [MIT 충분]의 경우), 아마도 충분할 것입니다. – new123456