현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게

��Ÿ ������ ����� ������ ǥ��

�ΰ����� : Elaine Rich ����, ������.���ֽ�.�ѻ� ����, ������, 1986 (���� : Artificial Intelligence, McGraw-Hill, 1983,  Artificial Intelligence (2nd ed, 1991)), Page 187~216

1. ����

2. ����� �߷�

     (1) ����� �߷п� ���� ����

     (2) TMS : �� ���� ���� �ý���

3. ��� Ȯ������ �߷� ����

     (1) Ȯ�� ���踦 ó���ϴ� ���

     (2) ����� ���Ű� ���� ������ �о��� ������ ó���ϴ� ���

     (3) MYCIN : ��Ģ�� ���� ������ ���� �߷��� ����� �ý���

     (4) ��� : Ȯ���� �߷� ������ ������ ���� �����ΰ�?

4. ���

5. ��������

1. ����

���ݱ��� �����ߴ� ��ó��, ���� ������ ����� �پ��� �о��� ������ Ǯ�⿡ �����ϴ�. �׷��� ���� ���������δ� �߿��� ������ ������ ǥ���ϰ�, ó���� �� ���� ���� �о߰� �ִ�. ǥ���ϱ� ����� ������ ���� �� ������ ������ �Ұ��Ѵ� :

    "���� ������ �ſ� ����." �� �� ������ ������� ������ ��� ǥ���� �� �ִ°�?

    "�ݹ� �Ӹ��� ������� ���� Ǫ�� ���� ������ �ִ�." �� ���, Ȯ�Ǽ��� ������ ��� ǥ���� �� �ִ°�?

    "����� ��Ÿ���� ���Ű� ���ٸ�, ���� ���� ���� ������� �������� ���� ���� �� �ȴٰ� �����Ѵ�." �ٸ� ����� �������� �ʴ´ٴ� ���� �̿��Ͽ� �� ����� �߷��� �� �־��ٴ� ���� ��� ǥ���� �� �ִ°�?

    "���� ���̾�Ʈ���� �̱� ���̶�� ö ���� �����Ѵٴ� ���� ������, ���� ���̾�Ʈ���� �� ���̶�� �����Ѵ�." �� ������ ���, ���� ���� �ŷ� �ý����� ���ÿ� ��� ǥ���� �� �ִ°�?

    "ü���� �� ��, ������ ���� �ͺ��� �� ���� ��⸻�� ����� ���� ������ �ִ� ���� �� �����ϴ�." �̷��� ������ ������ ������ ǥ���� �� �ִ� ����� �����ΰ�?

���� ���迡���� �ŷ� ������ ó���ؾ� �Ѵ�. �� �ŷڴ� ���� ���ſ� ���� �޹�ħ�Ǹ�, �̸� �����ϰ��� �ϴ� �������� ���⿡ ���� ��ȭ�ȴ�. �ŷ� ���� �� �ŷ� �ý����� �ҿ����� ���� �ְ�, ���� ���ÿ� ����� ������ ���� �ִ�. ���α׷��� ����Ͽ� �ŷ� �ý����� ó���� ���, ���� �Ұ��� ������ ������ ó���� �� �ִ� ������ �ý����� �����ؾ߸� �Ѵ�. �� (Quine) �� ������ (Ullian) �� �� "The Web of Beliefs" ������, �ŷڿ� �ŷ� �ý����� �����ϰ� �����Ͽ�, �����ϱ� ���� �߿��� ���� ����� ���ǵǾ���. �� å �߿� �Ұ��� ���� �ϳ� ����Ͽ�, �߿��� ���� ���׵��� �����ϰ��� �Ѵ� :

    �ֹ�Ʈ (Abbott), ���Ʈ (Babbit), �׸��� ij��Ʈ (Cabot) �� ���� �����ڷ� �ָ�ް� �ִ�. �ֹ�Ʈ��, �ٹ��� (Albany) �� �ִ� ������ ȣ���� ���ںο� ���� �̸��� ����Ǿ� �־�, ���� ����� �Ͼ ��� �˸����̸� ������ �ִ�. ���Ʈ ����, ���� ó���� ���� ����� �Ͼ�� �ð��� ���Ʈ�� ���Ŭ���� �ִ� �׸� �湮�ߴٰ� �����Ͽ�, �˸����̸� ������ �ִ�. ij��Ʈ�� Ĺ��ų������ ���� ��Ű ��ȸ�� �����ߴٰ� ���� �˸����̸� �����Ѵ�. �׷��� ij��Ʈ�� �̷� ������ �޹�ħ���� �ٸ� � ����� ����. �̵� ��Ƿκ���, ���� ������ �� �� �ִ� :

        (1) �ֹ�Ʈ�� �˸� ������ �ʾҴ�.
        (2) ���Ʈ�� �˸� ������ �ʾҴ�.
        (3) �ֹ�Ʈ Ȥ�� ���Ʈ Ȥ�� ij��Ʈ�� �˸� ���ߴ�.

    �׷���, �� �� ij��Ʈ�� �˸����̸� ������ �ִ� ������ ��� �Դ�. �ڷ����� ��۱����� �� ��Ű ��ȸ�� �濵�ߴµ�, �� ���α׷��� ij��Ʈ�� ���� ���Դ�.

    �� ���ο� ����� ���� ������ �޹�ħ�Ѵ� :

         (4) ij��Ʈ�� �˸� ������ �ʾҴ�.

    (1)���� (4) ������ �ŷڴ� ���� ����DZ� ������, �� ���� �ŷ� ��, ������ �ŷڸ� �ϳ� ������ ���������ν�, �ϰ����ִ� �ŷ� �ý����� ������ �Ѵ�. ���� �ٰŰ� �̾��� ���Ŵ� ��� ���ΰ�? �Ǹ��ϰ� �����ִ� ȣ���� ���ںο� �̸��� ����Ǿ� �ֱ� ������, (1) �� �ٰŴ� ���� ���ϴ�. ���Ʈ�� ó���� �������� �� ���� �ֱ� ������, (2) �� �ٰŰ� �����ϴ�. (3) �� ���� �ٰŴ� �� ���� ���鿡�� ���� �� �� �ִ� : ������ ���� ������ ������ ������, ������ ������ ���� �������κ��� ������ ���� �� �ִ� ����� �ֹ�Ʈ, ���Ʈ �׸��� ij��Ʈ ���̴�. ������ ������ �����Ѵٰ� �����ϴ��� ����� �ذῡ�� ���� ������ ���� ������, �ֹ�Ʈ, ���Ʈ �׸��� ij��Ʈ �ܿ���, �̷��� �������κ��� ������ ���� �� �ִ� �ٸ� � ����� ������ ���ɼ��� �ִ�. (4) �� ���, �� �ŷڿ� ���� �ٰŴ� Ȯ���ϴ�. �ֳ��ϸ� �� ���Ű� �ڷ��������κ��� ����� ���̱� �����̴�. ����, (2) �� (3) �� �̾��� ���� �ִ�. (1)���� (4) ������ �ŷڿ� �����ϴ� ����� �ذ��ϱ� ���ؼ��� (2) �� Ȥ�� (3) �� �Ⱒ�����ν�, ���Ʈ�� �����ϴ���, Ȥ�� ���ο� �ٸ� �����ڸ� ã�ƾ� �Ѵ�.

    �� ��, ��� ����� ��� �����Ǵ��� ���� ����. ���� (2) �� �Ⱒ�Ѵٸ�, ó���� ������ ���߰�, ���Ʈ�� ���Ŭ���� �־��ٴ� �ӽ����� �ŷڸ� �����ؾ� �Ѵ�. ���� (3) �� �Ⱒ�Ѵٸ�, �ֹ�Ʈ, ���Ʈ �׸��� ij��Ʈ�� ������ ��� ������ ������ ������ ���� �������κ��� ������ ���� ���Ѵٰ� ������ �ŷڸ� �����ؾ� �Ѵ�.

    ����, �̷��� �м��� �����ϱ� ���ؼ��� � ���簡 �־�� �Ѵ�. ���� �� ���� �ŷڷ� �̷���� �ŷ� �ý��ۿ���, ����� ������ �ŷڸ� �ϳ� �����ϰ�, �پ��� �� ���� �ŷڸ� �⺻���� ���ŷμ� ÷���Ͽ�, ������ ���¸� �����Ѵ� : ȣ�� ���ںο� ���� �ŷ��� ����, ȣ���� ������ ���� �ŷ��� ����, �ڷ������� ���� �ŷ��� ����, ó���� ���Ǽ��� ���� �ŷ��� ���� �� �� ���� �ŷڸ� �����Ѵ�.

    �� ���� �ŷڸ� �ϳ��� ������� ����� ����� �����ϴ��� �����ϰ�, ���� �����Ѵٸ�, ���� ����� ����Ͽ� ���ϴ� �۾��� ���� �� �� �ִ�. ������ �ŷ� �� ���ɼ��� ���� ���� �� ���� �ŷڿ� ������ �ΰ�, �� �� ���� �ŷڸ� ������ ������ �ŷڵ��� �� �� ���� �ŷ� �� ���ŵ� ������ �ΰ�, �� �� ���� �ŷڸ� ������ ������ �ŷڵ��� �� �� ���� �ŷ� �� ���ŵ� �ŷڸ� �����ϴµ� ������ ����Ѵ�.

    ���� ������ ����� ������ �и��� ���� �ذ� (divide and conquer) ������ν�, ����� ȿ������ ��ó�� ���δ�. �� ����� ����� �߻��� ������ �ŷڵ��� �����ϰ�, �ϴ� �ŷ� �ý��ۿ� ����� �߻��ϸ�, �� �ŷڵ� �� ����� �����ϴ� ���� ���� �ŷ��� ������ ã�´�. ���� ��� (1) ���� (4) ������ �ŷڰ� �̷��� ������ �̷��. �� �κ� ���տ� ���Ե� �ŷ� �� ������ �� ���� �����ؾ� �Ѵ�. �κ� ���տ� ���Ե� �ŷ��� ���Ÿ� �ٽ� �����ϰ� ���Ͽ�, ����� ü������ ������� ������ ������ �κ� ������ �̲��� ����. �ᱹ �� �ŷڵ� �߿��� ���ŵ� �ŷڰ� �߰ߵȴ�.

    ��� ��������, ���ſ� ���� ���縦 �ߴ��ؾ� �ϴ����� ������ ���� ���� ����. (1) ���� (4) ������ �ŷڿ� ���� ���Ÿ� ������ ��, ���ʸ� �̷�� ���� �ŷڵ��� ������ �� �ִµ�, ���� �� �ŷڵ鿡 ���� ���Ÿ� ã�� ���� ���縦 ����ؾ� �Ѵ�. �׷��� ���������δ� �ŷڵ� ���� ������ �� ���� ��ŭ�� �ϰ����� ������ ������ ���縦 ����Ͽ�, ���ǵǰ� �ִ� �ŷڵ� �߿��� ������ �� �ŷڵ��� ã�Ƴ���.

���� ���� ��Ȯ���ϰ� �ָŸ�ȣ�� �����κ��� ���εǴ� �Ϻ� �������� ��Ÿ����. ��ǻ�� ���α׷��� ����Ͽ� �̷��� �������� ó���ϱ� ���� ���� ������� ���ߵǾ��µ�, �� �� �Ϻ� ������� ������ �Ұ��Ѵ� :

  • �� ���� ���� (nonmonotonic logic) : ������ ���̽��� ����� ÷���� ���� �ְ� ���� �������� ����� ������ ���̽����� ���� ���� �ִ�. �� ����� ���Ե� �ŷڰ� � �ٸ� ������� �����ϴ� �ŷ��� �Ῡ ������ ���� �����ȴ�.
  • Ȯ���� �߷� (probabilistic reasoning) : ���������� ��Ȯ���� �߷��� ǥ���Ѵ�.
  • �� Ȯ�� ���� (fuzzy logic) : ��ü�� �ָŸ�ȣ�ϰų� �������� ������ ǥ���� �� �ִ�.
  • �ŷ� ������ ���� (the concept of belief space) : �ŷ��� ���տ� ������ ���� ǥ���� �� �ִ�.

�� �忡���� ù��°�� �ι�° ����� �Ұ��ȴ�. ����° ����� ��� ����� �� ���ߵ� ������ �̷��� ������ ������, �ΰ� ���� ���α׷��� ���������� ���ǰ� ������ �ʴ�. �׹�° ����� ������ ǥ���ϴ� ���� �ٸ� ����� �ſ� ���� ������ ������, 9-3 ������ �ٷ������.

2. �� ���� �߷�

���� ������ �⺻���� �� �������� �ý����� ������ �Ǹ��� ����� ���� �ð��� ����Կ� ���� ��� ������ �ϴ� �ý����̱� ������, �������̴�. ���ο� ����� �ý��ۿ� ÷���ϰ�, ���ο� ������ ������ �� ������, �̵� �� ��� �͵� �̹� �˷����ų� ������ ����� �������� ������ ���Ѵ�. �̿� ���� �ý����� ����� ���, ������ ���� ������ �ִ� :

  • ���ο� ����� �ý��ۿ� ÷���� ��, ���ο� ����� �̹� �����ϴ� ��� ���̿� ����� �����ϴ��� ������ �ʿ䰡 ����.
  • ������ �� ����� ����, ������ ������ ��ģ �ٸ� ����� ����� ����� �ʿ䰡 ����. �ֳ��ϸ�, �� ������� ������ ������ ���� ���� �����̴�.

�׷��� ���� ���迡�� �߻��ϴ� �������� �ҿ����� ������ ��ȭ�ϴ� ��Ȳ, �׸��� ������ ������ Ǫ�� �������� ������ ��������� ������ ������, ���� ���� �ý��� (monotonic system) �� ����ؼ��� ó���� ��ƴ�.

(1) ����� �߷п� ���� ����

������ ��� ������ �����Ͽ�, ���ϴ� ��� ����� ����� �� �ִ� �ý����� ���� �������� �ʴ´�. �׷��� �̷� ������ ������ ��, ����� �����ϴ� ���Ű� �������� �ʴ� ��, ������ ������ �߷��Ͽ� ����� �� �ִ�. �߷��Ͽ� ������ ����ϴ� ����� ���� �߷� ��� (default reasoning) �̶� �Ѵ�.

���� ���, ģ���� ���� ���� �Ļ� �ʴ븦 �޾� ���� ����, �� ���Ը� �������� �Ǿ��ٰ� ��������. �������� ���� �����ұ�? �������� �� ������ ���� �� �ִ� � ������ ������ ���� �ʴٰ� ������ ����. �׷��� ��κ��� ������� ���� �����Ѵٴ� �Ϲ����� ��Ģ�� ����Ͽ� ����Ǵ� ���Ű� ���� ��, ���浵 ���� �����Ѵٰ� �����Ͽ� ������ �ൿ�� ���� �� �ִ�. �̷��� ����� ���� ������ ����� � �ٸ� ����� ���Ե� �ŷڰ� �����߱� ������ ����� ������, �� ���� �߷� ����� �� �������̶� �Ѵ�. ��, ���� ������ �ý��ۿ��� �ʿ�� ������ �������� �ʾҴ� ��� ���� �ϳ��� �ý��ۿ� ÷���ȴٸ�, ���� �߷� ����� ���� ����� ����� ���ŵǾ�� �Ѵ�. ���� ������, ���� ��� �ʴ���� ���� �������� �� ���� ���ع��� �������� ���� �Ⱦ��Ѵٴ� ����� �˰� �Ǿ��ٸ�, �� �������� ���� �����Ѵٰ� �����ߴ� �ŷڸ� ������ �Ѵ�. ���� �� �ŷڸ� ���� �Ͽ� ���� �ٸ� ��� �ŷڵ��� ���� �����ؾ� �Ѵ�.

���� ���� ���� ���� ���ɼ��� ���� ���� ���� (most probable choice) �̶� �Ҹ��� ������ ���� �߷� ����̴�. ���� ������ ������ ���տ���, ������ �ҿ����� ���, ���ɼ��� ���� ���� ���� �����ϴ� ����̴�. ��κ��� ����� ���� �����Ѵ�. ��κ��� ������ ������ �ִ�. Ȥ�� ���������� ������ �ִ� ���� �Ϲ����� �Ӹ�ī�� ������ �ݹ��̴ٿ� ���� ���� �� ����� ���� �����Ѵ�. ���� �߷� ����� ���ϴ� �� �ٸ� �߿��� �����δ� ���� ���� ��� (circumscription) �� �ִ�. � ���� P �� ������ų ���ɼ��� �ִ� ��������, P �� ������Ű�� ���� ���� �� �ִ� �����̴�. ���� ���, �����踦 Ÿ�� ���� �dzʰ��� ������ ���� ����. �밡 �����ϴٵ���, �迡 ���� ��� �´ٵ��� Ȥ�� �谡 ����ӿ� �����ٵ��� �Ͽ� ���� ����� �Ұ����� ���� ��찡 �ִ�.

���� Ǯ�� ���α׷��� �� ��� ������ ���� �ƴ��� ���������� �� ������ �ʿ�� ����. �������� �뿡 ���� � ���׵� ��޵Ǿ� ���� ���� ���� �ִ�. ������ ������ ������ �� �ִ� �������� ���̸�, �� �ܿ��� ��� �����̶�� ���α׷��� ������ �� �ִ�. �̷� �����Ͽ���, ���α׷��� ����Ǿ� �븦 ����� �� �ִ�.

��Ȯ�ϰ� ü�������� ���� �߷� ����� ����Ѵٸ�, ���� �߷� ����� ���� X �� ������ �κ��� ��� Y �� ���ý�Ű�� ���̴�. �� �̰��� ������ ����.

    ���� �߷� : ���� 1
           ���� X �� �˷����� �ʾҴٸ�, Y �� ������´�.

�׷��� ���� �ܼ��� �ý����� ������ ��� ���, �˷����ٰ� ������ �� �ִ� ������ �ſ� ���� �κи��� ������ ���̽��� ��ϵǾ� �ִ�. ������ �ٸ� �������� �� ��ϵ� �����κ��� ������ �� �ִ�. ���� ������ ���� ���� �� �ִ� :

    ���� �߷� : ���� 2
           ���� X �� ������ �� ���ٸ�, Y �� ������´�.

�׷��� ���� ������ ����Ѵٰ� ������ ���, X �� ������ �� ���ٴ� ���� ��� �˾� �� �� �ְڴ°�? ���� ������ ����� ���, �̰��� �׻� �� �� �ִ� ���� �ƴϴ�. ����, ������ X �� ����, �̰��� ���� ���θ� Ȯ���� ���ϴ� ���� �Ұ����ϴ�. ���� ������ ���� �����Ѵ�.

    ���� �߷� : ���� 3
           ���ѵ� �ð� ���� X �� ������ �� ���ٸ�, Y �� ������´�.

�׷���, �̷κ��� ���� �̿ܿ�, Y �� �����ϴ� �߷� ������ ���ǿ� ������ ��ġ�� ������ �������� �� �� �ִ�. �̰��� �Ҵ�� �ð� ���� ������ �� �ִ� ����� ���, Ž�� ���� ����, ���ϴ� ������ �� ����� ������ �������� ���ο� ���� �����ȴ�. ���� �ý����� ��� �۵��Ǵ����� ��Ÿ���� ������ ������ ���� ����� �ۼ��ϴ� ���� �ٺ������� �Ұ����� �Ӹ� �ƴ϶�, ���ȵ� ������ ������ �������� ������ ���� ����. X �� ������ �ɷ��� �����ϱ� ������, Y �� ������´ٴ� ���� ���Ǹ� ����Ͽ� ������ �����Ѵٰ� ��������. �׷��� X �� ���� ���θ� �׻� ������ �ǰ��� �� ���� ������ X �� ����Ͽ� ���� ������ Ÿ�缺 ���� ������ ������� ���� ����. ���� ������ ������ �����ϴٴ� ����� �̿��Ͽ� � ����� �����ϴ� ���� �߷� ����� ����� ���, ������ ���Ŀ� ���� �۵� ����� Ư������ ���� �Ұ����� �ý����� ����� ���ۿ� ����.

��� � �־��� ��Ȳ�� ���� ������ ������ ������ �ִ� ������, ���� ���迡���� ��Ȳ�� �ް��� ���� �� �ֱ� ������, �� ������ �������� �׻� ������ ���� �ƴϴ�.

��, ���� ������ �Ǹ��� ������ �� �Ŀ� �������� ó���� �� �ִ�. �̰��� ���� ���� (frame problem) �̸�, �̷��� ������ ó���ϱ� ���� ���� 3-3 ������ ��޵Ǿ��� ���� ������ ���ȴ�. �׷��� �� ��� ������ ������ ������ �����޴� ���¸� �˷� �ִ� �������� ����� ������ �ϱ� ������, �� ����� �ҿ����ϴ�. ��, ��ȭ �ӵ��� �ſ� ���� ������ ����� ��� �ݺ��Ͽ� �˷��� �ϴ� ���ʿ��� �۾��� �����ؾ� �Ѵ�. ���� ���� �ۿ��� ������ �Ŀ���, ������ ������� ����� �߰��� �� �ֱ� ������, �Ϸ��� ���� �ۿ��� �� ���� �ݺ��� ���, �� ���� �̹� ������� ����� �ٽ� ��������ٴ� ���� �̸� �� ���� ����. ������ ��ǵ��� ���ϴ� Ư���� ���� �������� Ǯ�� ���� �� �ٸ� �����, �ܼ��� ������� �� �̻� ���õ� ������ ��Ȯ�� ������� ���� ��, �� ������� �����ϰ�, �� �� ��Ȯ�� �ٸ� ������� ��ġ��Ű�� ����̴�. ������ ���̽� ���� ����� ÷���� �Ӹ� �ƴ϶�, ���� ���� ���� �ֱ� ������ �� ��� ���� �� ���� �ý����� �����Ѵ�. �׸���, �� ����� ���ŵ� ������, �� ����� ����Ͽ� ���� �ٸ� ��� ����鵵 ���� �����ؾ� �Ѵ�.

������ Ǯ�� ���� �̿� ������ ���� Ǯ�� �ý����� ����Ѵ� ������ �� ���������� ������ ������ ���̽��� �����ȴ�. �ڽ��� �Ͽ� �ſ� �ٻ� �� ���� ������� ������ ���� �Բ� ���̰��� �� �� �̵��� ���� �ð��� ��� ���� �����ؾ� �ϴ��� �̸� Ǫ�� ���α׷��� �ۼ��Ͽ� ����. �� ������ Ǫ�� �� ���� ����� ���� ȸ�ǰ� ���ֵ� ������ �����Ѵ�. ���� ��� �����Ͽ� ȸ�ǰ� ���ֵ� �����̶�� ����. �� �������κ��� ����� ���忡 �̷��� ����� �˸��� ������ ǥ�ø� �Ͽ� �̰��� ������ ���̽��� ÷���� �� ������ ����Ͽ� ������ �ð��� ã�´�. ���� �̷��� �Ͽ� ������ �ð��� �� ����� ��� ������ �� ���ٸ�, ������ ��Ÿ���� ����� ������, ����� ���� �ٸ� ������� ��ġ�Ѵ�. ����, ���� ���ŵ� ������ ���ʷ� �Ͽ� ���ߵ� �ٸ� ��� ����� �����ؾ� �Ѵ�. �� ����� ���� �� ���� �ý����� �����Ѵ�.

����, �̷��� ������ ��Ȳ�� ������ ���� Ʈ���� Ž���� ����Ͽ� ó���� �� �ִ�. �� ���, ��� ������, �� ������κ��� �̲��� �� �߷е��� �ش�Ǵ� Ž��, ��忡 ����Ѵ�. ���� ������ �߷��� ��� ���̿� ����ġ�� �߻��Ѵٸ� �̹� Ž���� ��� ��, Ž������ ���� �İ� ��带 ������ �ִ� ��带 ã�� �����Ѵ�. �� ��, ����� �߻���Ų ������ �̷κ��� ����� ��� �߷е��� �ڵ������� ������ ������. ȸ���� ���� �ñ⸦ �����ϴ� ���α׷��� ���� Ž�� Ʈ�� �� �Ϻκ��� �׸� 1 �� �Ұ��Ǿ��µ�, �� �׸����κ��� �� ����� ������ �� �� �ִ�. ȸ���� ���� �ñ⸦ �����ϴ� ���α׷��� ������ ������� ��� �ٻ��� �ʰ�, ���� �̵��� ��� ������ ��ŭ ����� ���� ȸ�ǽ��� �̿��� �� �ִ� ���ϰ� �ð��� ã�Ƴ��� �ϴ� ���� ������ ���� ������ Ǯ��� �Ѵ�.

�� ������ Ǯ�� ����, �ý����� �� ���� �ϳ��� ���� ������ ������Ű�� ����� ����Ѵ�. ���� ȸ�ǰ� ���ֵ� ������ �����Ϸ� �����Ѵ�. �̷κ��� Ǯ���� �������� ���� �����Ǿ�� �ϴ� ���ο� ���� ������ ���������. ȸ�ǰ� �����ϳ� ���ֵ� �����̶�� ������ �̰��� ǥ���ϱ� ���� ������� ��忡 ����Ѵ�. ���� �� ����� ������� ��� ������ �� �ִ� �ð��� ã�ƾ� �Ѵ�. ��������� 2 : 00 �� ������ ��� �ð��� ���������� ���� �ڽŵ��� ȸ�ǿ� ������ �Դ�. ���� ȸ�� ���� �ð����� 2 : 00 �� �����Ͽ���. �׷��� �� ���, ������ �������� �ʰ� ������ ���̴�. �� �������� �����Ͽ��� �̿��� �� �ִ� ȸ�ǽ��� ������ �˰� �Ǿ���. ���� �����Ͽ� ȸ�ǰ� ���ֵ� ���̶�� �������� �����Ͽ� �ٸ� ����, ���� ���, ȭ������ �õ��Ѵ�. �����Ͽ� ������ ������ �� 2 : 00 �� ������ �Ϸ��� �߷� ������ ����ϰ� ���� �ʱ� ������ �� ������ �ݺ� �����ؾ� �Ѵ�.

현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게

�׸� 1  �������� ���ʷ� ���� �ʴ� ���� ���

Ž�� ������ ���� ������� ������ ���� �Ͽ� ����� ����Ų ����� �����ϴ� ���� ����� �߻��� ���� å���� ���� ����� �����ϴ� �ͺ���, ���ʿ��� ���� �۾��� �����ؾ� �ϴ� ������ ������ �ִ�. ���� ������ �̷κ��� ���� �߷��� ������ ���̽��� ���� ÷���ϰ� �ʿ信 ���� �̵��� ������ �� �ֵ��� �ϴ� ���� ȿ�����̴�. �� ����� �������� ���ʷ� �� ���� ��� (dependency-directed backtracking) �̶� �ϸ�, �Ʒ����� ���� �ڼ��� �����Ѵ�.

���ݱ��� ��������� �߷��� �ʿ��� ������ ���� ������ ���� ���� ���Ҵ�.

  • �ʿ�� �ϴ� ������ �������� ���� ���, ���� �߷� ����� �ʿ��ϴ�.
  • ������ �������� ��Ȳ�� ���� ���ϴ� ������ ��ȭ�ϴ� ������ ���̽��� ���� �����Ǿ�� �Ѵ�.
  • ������ ���� �Ϻ��� Ǯ�̸� �˱� ���ؼ��� �κ����� Ǯ�̿� ���� �ӽ����� ������ �ʿ��ϴ�.

����, ���� �ý����� �� ���� �߷��� ���� �ý������� Ȯ���Ű�� ����� ���� �˾� ����.

������ ���̽��� ���Ե� ����� �����ϰ��� �� ��, �� ������ ����� ���� ������ �޴� ���� ������ ���� �ٸ� ������ �����Ͽ�, �� ������� ������ �����ų� Ȥ�� ������ ������ ���̽��� ������ �ϴ� ���ο� ������ ã�ƾ� �ϱ� ������, �� ���� �ý����� ���� �ý����� ó������ ��ƴ�. �ϳ��� ����� ���� ���� ���, �� ����� �����ϴ� �ٸ� ��� ���� ���� ������ �ϱ� ������, ��ü ������ ���̽��� Ŀ�ٶ� ������ ��ģ��. ����� �ý����� ���� �� �߻��� ��ȭ�� �ֺ��� �����ϴ� �۾��� �ý����� ��� �ð��� ������ �ʵ��� �ؾ� �Ѵ�.

������ ���̽��� ��ȭ�� �����ϰ�, ������ Ÿ�缺�� ���� ������ �����ϱ� ���ؼ� �� ������ ���� �̰��� ����, Ȥ�� ��� �� ������ �����ϴ� �ٸ� ����� ����� ����ؾ� �Ѵ�. �ϴ� ������ �߰��ϸ�, �װ��� �ٽ� ������ �ʿ䰡 ���� ���� ������ ���� �ý��ۿ����� ���� ���� ���ʿ��ϴ�. ���� �� ���� �ý����� ���� �ý��ۺ��� ���� ��� ��ҿ� ó�� �ð��� �ʿ�� �Ѵ�.

(2) TMS : �� ���� ���� �ý���

�������� ���� �ý��� (Truth Maintenance System : TMS) �� �� ���� �߷��� ���� ���� ������ �ý����̴�. �̰��� �ٸ� �߷� ���α׷������� �������� �����ϱ� ���� ������ �ý����̴�. �̰��� �ٸ� �߷� ���α׷������� �������� �����ϱ� ���� ���Ǵ� �ý������� �̰��� ������ ���ο� ������ ����� ���� �ƴ϶� �ٸ� ���α׷��� ���� ������� ����� ���̿� ����� ������ ������Ű�� ���̴�. ������� ����� �߻��ϸ�, TMS �� �ڽ��� �߷� ����� �������� ���ʷ� �� ���� ����� ����Ͽ� �ּ��� �ŷ� ������ ������� ����� �ذ��Ѵ�.

TMS ���� �� ��� Ȥ�� ��Ģ�� ���� �Ҹ���, �� ������ ���� �� ���� �� �ϳ��� �����Ѵ� :

    IN        ������ �Ͼ�����.

    OUT     �̰��� ������ ���� ���� ������ ���ų�, ������ ���� �߿� ��� �ϳ��� ���� Ÿ������ ���ϱ� ������ ���̶� �Ͼ����� �ʴ´�.

�� ��忡�� ���缺�� �����ϴ� ����� ���ԵǾ� ������, �̰��� �� ����� �մ����� ������ ����� �����Ѵ�. IN ���� ���� Ÿ���� ���缺�� ������ ��� �ϳ� �����ϴ� ����̴�. OUT ���� ���� Ÿ���� ���缺�� ������ �ϳ��� �������� �ʴ� ����̴�. OUT ��带 ������ �ʰ� �״�� �δ� ������ ���������� ���� �˾� ����. ������ OUT ��尡 ������� ������ �����ϱ�? ������ �������� �Ǹ��� ����� ��Ÿ���� ��带 ����� ���� ���� �۾��� �����ϴ� ���� ���� �ǹ̰� ���� ��ó�� ���δ�. �׷��� �� ���� �ý��ۿ�����, �����ڸ� ���� �߷� ����� ���� ����� ���� ������ ������ ����� ǥ���ϱ� ���� ��带 �����. ���� ��尡 IN �� ���¿� �ִٴ� ������ ����, �ٸ� ��带 �����. �׷��� �̷��� ���� ��带 OUT �� ���·� ��ȭ��ų �� �ִ� ���ο� ������ �Ŀ� ������ �� �ִ�. �� ��, �� ������ ��带 ���ʷ� �Ͽ� ���� ��� ��带 OUT ���·� �ؾ� ������, ���� �̿� ������ ������ ��ȭ�Ͽ�, ���� ��带 IN ���� �Ѵٸ�, �� ��带 ���ʷ� �Ͽ� �߷��� �� �ִ� �ٸ� ��� ������ �ٽ� ����� ����, ������ �̹� ����Ǿ��� �߷� ������ �ٽ� �ݺ��ؾ� �ϱ� ������ �̸� ���ϱ� ���� �� ��� ���� ��ȣ �������� �״�� �����ϴ� ���� ȿ�����̴�. ���� ��尡 �ٽ� IN �� ���·� �Ǹ� �� �� ��带 ���ʷ� �Ͽ� ���� �� �ִ� �ٸ� ������ ���缺�� �����Ǿ�, �� ������ IN �� ���·� �ȴ�.

�ý��ۿ��� �� ���� ������ ���缺�� �����ϴ� ǥ�ð� �ִµ� �̰��� �� ����� Ÿ�缺�� ���� �¿�Ǵ� �� ���� ����� �ݿ��Ѵ�.

    - ���� ����Ʈ (Support List)            (SL(in-���) (out-���))
    - ���Ǻ� ���� (Conditional Proof)     (CP<��� (consequent)>
                                                      (in-����)
                                                      (out-����))

���� ����Ʈ (SL) ���缺 ���� ǥ�� (SL justification) �� ���� �Ϲ������� ���ȴ�. IN ����� ����Ʈ�� ��޵� ��� ��尡 ���� IN �̰�, OUT ����� ����Ʈ�� ��޵� ��� ��尡 ���� OUT �� �� �̰��� ���̴�. ���� ��带 ���� ���� :

    (1) �ܿ��̴� (SL ( ) ( ))
    (2) ������ ��� (SL (1) ( ))

��� 1 �� SL ���缺 ���� ǥ�� ���� IN �� OUT ����Ʈ�� � ���ҵ� ������ ���� �ʴµ�, �̰��� ��� 1 �� � �ٸ� ����� ���� �ŷڳ�, �ŷ��� �������� ������ ���� �ʴ´ٴ� ���� ���Ѵ�. �̿� ���� ��带 ���� (PREMISE) �� �Ѵ�. �ݸ� ��� 2 �� SL ���缺 ���� ǥ���� IN ����Ʈ�� ��� 1 �� �����ϰ� �ִ�. �̰��� ��� 2 �� �ϴ´ٴ� ����� �̲��� �� �߷� ������ ��� 1 �� ���� �ŷڿ� ���� �����ȴٴ� ���� �˸���.

���� �̷��� � ������ ��� 1 �� ǥ��� ������ ���ŵǾ����� TMS �� Ž���Ѵٸ�, ��� 2 �� �� �̻� �� ������ ���� (well-founded support) �� ���� ���ϱ� ������, IN ����Ʈ���κ��� ��� 2 �� �����ؾ� �� ���̴�.

���ݱ����� TMS �߷� �����, �̰��� ������ �����ϰ�, �̿� ���õ� ������ ������ ��ȭ�� ������ ���̽��� ���� �� �ִٴ� ���� �����ϸ�, ���� ������ �߷� ������ �����ϴ�. �׷��� ���� SL ���缺 ���� ǥ���� OUT ����Ʈ�� � ���Ҹ� �����Ѵٸ�, TMS �� ���� ������ ������ ��ó�� ���� �߷��� ó���� �� �ִ� :

    (1) �ܿ��̴�.        (SL ( ) ( ))
    (2) ������ ���.    (SL (1) (3))
    (3) ������ �����ϴ�.

��� 1 �� IN �̰�, ��� 3 �� OUT �̸�, ��� 2 �� IN �̴�. �� ���缺 ���� ǥ�ô� ���� �ܿ��̰� ������ �����ϴٴ� ���Ű� ���ٸ� ������ ��ٰ� ������´ٴ� ���� ���Ѵ�. ���� �̷��� ���ٴ� ���Ű� ��Ÿ����, ��� 2 �� �� �̻� Ÿ���� ���缺 ���� ǥ�ø� ������ ���ϱ� ������ TMS �� ���� ��� 2 �� OUT �� �ȴ�. ��� 2 �� ���� ��� ���� ���� OUT ����Ʈ�� ���� SL ���缺 ���� ǥ�ø� ���ʷ� �Ͽ� IN ���¿� �ִ� ��带 ���� (assumption) �̶� �Ѵ�. ���� ���κ��� OUT ���¿� �ִ� ��带 ����ϰ� �־�� �ϴ� ������ �� �� �ִ�. ��� 3 �� OUT �̶�� ����� ��� 2 �� ���� ���缺 ���� ǥ���� �Ϻκ��� �ȴ�. ��� 3 �� �������� �ʴ´ٸ�, �̰��� ǥ���� �� ����.

���⼭ �߿��� ���� TMS �� ������ ���缺�� �������� �ʴ´ٴ� ���̴�. ���� ��� 2 �� ���� ���缺�� �ܿ��� �Ϲ������� ��ٴ� �ܿ��̶�� ������ ���� �������κ��� ������ �� �ִ�. �̷��� ������ ���� ������ TMS �� ����Ͽ� ������ Ǫ�� ���α׷��� ���� �����Ǿ�� �Ѵ�. �ᱹ TMS �� �̷��� ������ ����Ͽ� �ϰ����ִ� �ŷ� ������ ���̽��� ������Ų��.

���Ǻ� ���� (CP) ���缺 ���� ǥ�� (CP justification) �� ���� ������ ǥ���Ѵ�. in-������ ���Ե� ��尡 IN �� ���¿� �ְ� out-������ ���Ե� ��尡 OUT �� �� ���� �������� �׻� ��� ��尡 IN ���·� �ȴٸ� �� CP �� Ÿ���ϴٰ� �����ȴ�. CP ���缺 ���� ǥ�ô� SL ���缺 ���� ǥ�ú��� ó���ϱⰡ ��ƴ�. ��ǻ� TMS �� CP ���缺 ���� ǥ�ø� ������ SL ���缺 ���� ǥ�÷� ��ȯ�Ͽ� ó���Ѵ�.

TMS �� ���� ������ ������ ����� ���� ���缺 ���� ǥ�ø� �����ϰ� ����ϰ� �ֱ� ������, ����� �߰ߵǸ� �ʿ��� ������� ������ �� �ִ�. ������ ����� ��ó�� �� ������ �������� ���ʷ� �� ���� �����̶� �θ���. �� ������ �ۿ��ϴ� ����� �����ϱ� ���� ���μ�, ȸ���� ���� �ð��� �����ϴ� ������ �ٽ� ���� ����. ���� ���� �Բ� �����Ѵ� :

    (1) Day(M) = Wednesday        (SL ( ) (2))
    (2) Day(M) NEQ Wednesday

ȸ�� ���� ������ �������� �ƴ϶�� ���� ���� ���缺 ���� ǥ�ð� ���� �������� �ʱ� ������ ��� 1 �� IN �̸�, ���� ������ �������̶�� ������ �� �ִ�.

��� ������ �߷� ������ ����� ��, ������ �ý����� ȸ�ǰ� 2 : 00 �ÿ� ���ֵǾ�� ���� �˰� �ȴ�. �̷��� ������ ���õ� ������� �����쿡 ���� ����� ǥ���� ���� ��� (���⼭�� 57, 103, 45 �� ������) �� ���ʷ� �Ͽ� ����� ���̴�. �� �� �����ϴ� ���� ������ ����.

    (1) Day(M) = Wednesday        (SL ( ) (2))
    (2) Day(M) NEQ Wednesday
    (3) Time(M) = 1400                (SL (57, 103, 45) ( ))

���� ��� 1 �� ��� 3 �� IN �̰�, ��� 2 �� OUT �̴�. ����, �̿� ������ ȸ�ǽ��� ã�� �۾��� ������ ���۵ǰ�, ������ 2 : 00 ���� �̿��� �� �ִ� ȸ�ǽ��� ������ �߰��Ѵ�. ���� ��带 ����� �̷��� ����� TMS �� �˸���.

    (4) CONTRADICTION                (SL (1, 3) ( ))

TMS �� ���� ����Ǵ� ���� ���� �ϳ��� �����ϰ� (���⼭�� ��� 1 �� �ֱ� ������ ������ �����ϴ�), OUT ����Ʈ�� �ִ� ��� ���� �ϳ��� IN ���� �ϰ�, �տ��� ������ ��带 OUT ���� ����� (��� ������ ��� �� ���� ���ҷ� �����Ǿ� �ִ� OUT ����Ʈ�� ������ �ֱ� ������, �̰��� �׻� �����ϴ�). �ٽ� �� ������ ���, IN ���� ������� ��尡 ��� 2 �ϳ� ���̴�. �� ���� OUT ��带 IN ���� ����� ����� NOGOOD ��带 ���� �� ���缺 ���� ǥ�ø� �� ��忡 ����� ���̴�. �̷κ��� ������ ���� ��尡 ������� :

    (1) Day(M) = Wednesday            (SL ( ) (2))
    (2) Day(M) NEQ Wednesday       (SL (5) ( ))
    (3) Time(M) = 1400                    (SL (57, 103, 45) ( ))
    (4) CONTRADICTION                  (SL (1, 3) ( ))
    (5) NOGOOD N-1                       (CP 4 (1, 3) ( ))

��� 5 �� IN �� ���¿� �ֱ� ������, ��� 2 ���� IN �� ���¿� �ִ�. �׷���, �̷κ��� ��� 1 �� ���缺 ���� ǥ�ð� OUT �� ��� 2 �� ���� �����DZ� ������, ��� 1 �� OUT �� �ȴ�. ��� 4 ���� OUT �� �ȴ�. ����, ����� �ذ�ǰ�, ���ο� ������ ������ �� ������, ���� �ð��� ����� ���Ե��� �ʾұ� ������, 2 : 00 �� ���ֵȴٴ� ����� ���� ������ ���� ���� ä �����Ѵ�. ��, �� ����� ��µ� ���ݵǴ� ������ �ٽ� �ݺ� ������ �ʿ䰡 ������ ���̴�.

�̷κ���, CP ���缺 ���� ǥ���� �߿伺�� �� �� �ִ�. ������ ������ ��ó�� ��� 5 �� ���缺�� �����ϴ� ���, �ܼ��� ������ ���� ���缺 ǥ�ø��� �־����ٰ� �������� :

    (5) NOGOOD N-1                        (SL (4) ( ))

�ٽ� ���ϸ�, ��� 5 �� IN �� ���¿� �ִ� ��� 4 �� ���ؼ��� �����ȴ�. ��� 1 �� ��� 3 �� ���� �������� ��� 4 �� �׵� �� ��忡 ���� �����ȴٴ� ��ǿ� ���� ǥ���ȴ�. �׷��� ���� ������ ��ó�� ��� 4 �� OUT �� �� ��, ��� 5 �� OUT �� �� ���̴�. �̷� ���� ��� 2 �� OUT �� �ǰ�, ��� 1 �� �ٽ� IN �� �ȴ�. CP ���缺 ���� ǥ�ÿ� ���Ե� ��尡 ���� IN ���� OUT ������ ������� �����Ǿ�� �� ������ �߷�ü (logical derivation) �� ��������ν�, CP ���缺 ���� ǥ�ô� ���� ���� ���� �߻��� ���´�.

3. ��� Ȯ������ �߷� ����

���ݱ��� ���ǵ� ����� ǥ�� �����, �̹� �˷��� ��Ƿκ��� ���ο� ����� �߷��� ���� ���������, ������ ����� ������ �����Ǿ��ų�, ������ �˷����� �ʾҰų�, Ȥ�� �̰Ϳ� ���� ���� �ƹ� �͵� �𸥴ٰ� �����ߴ�. ���⼭��, ���� ���ɼ��� �ִ� ���Ŀ� ���ؼ��� �������� �ʾҴ�. �׷��� �̷��� ������ �߿��ϰ� ���Ǵ� ��찡 �ִ�. �̷� ���Ŀ��� � ���� ������ �� ������ ��� ǥ���ؾ� �ϴ����� ���� �˾� ����.

Ȯ���� �߷��� ������ ���� �� ���� ������ ��Ȳ���� ���ȴ� :

  • ���� ���� ������ ������ Ȥ�� �������� ������ �� ���� �ɸ� ������� ���� �� ��ǻ� ���� ���迡�� �Ͼ�� �͵��� �ұ�Ģ�ϰ� �߻��Ѵ�.
  • ���� ���迡�� ��� ������ ������, ���� ��� Ư���� ȯ�ڿ��� ������ ���� ���� ���ɼ��� ���� �����Ϳ� ����, �� �����Ͱ� �׻� ����� ���α׷��� ���� �� �ִ� ���� �ƴϴ�.
  • ���� ��� �� 1 ���� ���� �νİ� ���� ���� ��Ȯ�ϰ� ����� �� ���� �빮�� �̷��� ������ �������� ���� ���Ǽ��� �����ϴ� ��ó�� ���δ�.

ó�� �� ��쿡���� Ȯ���� �߷��� ����Ͽ� �ſ� ȿ�������� Ǯ�̸� ���� �� �ִ�. �׷��� ����° ��쿡�� Ȯ���� �߷��� �����ϱ⿡ �ռ� ���� �� �߷� ����� ������� �ʰ��� ������ Ǯ �� �ִ� �ٸ� �� ���� ���� �ִ����� �����Ѵ�. ���� �� ���� ���� �Ұ��Ͽ� �̷��� ������ Ȯ���� �˾� ������ �Ѵ�.

�긮�� ���ӿ���, ����� ī�带 �����ϴ� ������ ���� ����. ��� �����ε� ��Ȳ�� Ȯ���� ����� �� ���� ������ Ȯ���� �߷��� ����� �ʼ� �Ұ����� ���̴�.

�ӻ� ����� �������� �Ͽ� ȯ���� ���� �����ϴ� ������ ���� ����. �̿� ���� ������ �������� ���Ǽ��� �����Ѵ�. �������� �ΰ��� ��ü�� �ۿ��ϴ� ����� ������ �����Ѵٴ� ���� �Ұ����ϱ� ������, �� ������ ����ϴ� ���� ���� ���Ǽ��� ���ݵȴ�. ���� �Ϻ� �ӻ� ����� ���� ����� �ʿ�� �ϸ�, ���� �����ϱ� ������, ���� ����κ��� ���� �� �ִ� ��� ������ �����Ͱ� �غ���� �ʴ��� �ۿ��� �� �ִ� ���α׷��� �����߸� �Ѵ�. Ư���� ����� �����Ͱ� �ҿ����� ��쿡�� Ȯ���� �߷��� �̿��ؾ� �Ѵ�.

�׷��� �� ������� 1 �忡�� �Ұ��� ���� �ν� ������ ���� ����. ���ڸ� ������ �������� �����Ѵٸ� �ſ� �پ��� ���·� ���ڸ� ��Ÿ�� �� �ִ�. �׷��� ȣ�� ���� ���� Ư���� ���� ���ڸ� �м��Ѵٸ�, ���Ǽ��� ���� ���ŵȴ�. ���� ���, ���� ���� ���� ������ �ʿ䰡 ����. �� ������ ���, ������ �� ���� Ȯ���� �߷��� ����� �� �ִ�.

���� �� ���� ��������, Ȯ���� ������ ǥ���ϰ�, ó���ϱ� ���� Ư���� ������� �Ұ��ȴ�.

(1) Ȯ�� ���踦 ó���ϴ� ���

��Ȯ���� ������ ǥ���ϰ� ó���ϱ� ����, Ȯ���� ���� �������� �̷��� ���ȴ�. ������, �ſ� ������ Ȯ���� ����� �ΰ� ���� �о��� ������ ȿ�������� ����� �� �ִ�. �긮���� ���� ������ �ٽ� ���� ����. �ٸ� ����ڵ��� ������ �ִ� ī���� ������ �𸣱� ������, ���� ���¿� ���� ������ ������ �̿��Ѵٴ� ���� �Ұ���������, ī���� �پ��� ������ ���� Ȯ���� ������ �� �ִ�. �˾ƾ� �� ���� �߿��� ������ ��Ʈ�� ���̽��� ������ �ִ� ����ڰ� ����������, �� ����ڰ� ������ �ִ� �����̵��� ����� ��������. ����, �� ����ڰ� ���̽��� ������ ���� Ȯ���� ����Ѵ�. ��� ������ ������ ���� ����, �� Ȯ���� 0.5 ��� �����Ѵ�. ������ �����̵��� �� ������ ���� Ȯ���� ����Ѵ�. Ư���� ����� ��Ʈ�� ���̽��� Ư���� ���� �����̵带 ������ �ִٴ� ���� Ȯ�� (joint probability) �� ����ϴµ�, �̶� ���� A �� B �� ���� ����̶��,

    prob (A and B) = prob (A)* prob(B)

��� ����� �̿��Ѵ�.

�� ��⸶�� �� ��⿡�� �̱� �� �ִ� ���ɼ��� ���ϱ� ����, �� ī���� ������ ���� ����� ����� ���� �� �ִ�. �� ��� ����� ���� �򰡵� �̱� ���ɼ��� �� ��� ����� �߻��� Ȯ���� ���Ͽ�, �̷��� ���� ������ ���Ѵ�. �ٽ� ���ϸ�,

    Score = �� prob(i) * rating(i)        1 �� i �� ������ ��� ����� ��

�� ����Ѵ�. �̷κ��� Ư���� �������� ����� ���� �� �ִ� ��� ��ġ�� �����Ѵ�.

���⼭�� �� ������ ����� �Ͼ Ȯ���� �������� �Ͽ�, �� ����� ������ ������ ��, �� ��⿡�� �̱� ���ɼ��� �����Ͽ���. ��ó�� ������ ������� ����� ����Ͽ� ���� ���¸� �˸��� ���� �ӿ� �����ϴ� ��Ȯ�Ǽ��� ��� ���� ȿ�������� ó���� �� �ִ�.

Ȯ������ ���� ȿ������ ��� ���� �ϳ��� ������ ���� ������ ���� ��ǵ��� �����Ͽ���, Ư���� �� ����� Ȯ���� ����ϴ� ���̽��� ���� (Bayes' theorem) �̴�.

    

현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
: ���� E �� ���ǾƷ�, ����
현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
�� �߻��� Ȯ��
    
현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
 : ����
현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
�� ���� ���ǾƷ�, ���� E �� �߻��� Ȯ��
    
현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
: � Ư���� ���Ű� ���� ��, ����
현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
�� ���� ���� Ȯ��
    k : ������ ������ ��

��� ����. �� �� ���̽��� ������,

    

현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게

�̴�.

���� ���, Ž�� ���� ��Ұ� ���ϴ� ������ ���� �ִ� ������� �����ϱ� ���� Ư���� ��ҿ� ���� ���������� ���Ÿ� �����Ѵٰ� ��������. ����, �پ��� ���� ������ ã�� �� �ִ� ���� Ȯ�� (priori possibility) �� �˰� �ְ�, ������ ������ ���, �̷κ��� � ������ Ư¡�� ������ �� �ִ� Ȯ���� �˰� �ִٸ�, ���̽��� ������ ����Ͽ�, ����� ���ŷκ��� �پ��� ������ ������ ���ɼ��� ����� �� �ִ�. �� ����� PROSPECTOR ���α׷��� ���Ǿ���.

���� �ν� ������ Ǯ�̸� ã�� ����, ���̽��� ������ �ſ� �߿��ϰ� ���ȴ�.

(2) ����� ���Ű� ���� ������ �о��� ������ ó���ϴ� ���

������ �������� ���� (deterministic problem) �� Ǯ�̸� ã���� �� ��, ���� Ǯ�� ������ �� �ܰ踶��, ����� Ȯ���� ������ ���� ���� ������ ������ϱ� ������, �̸� ó���ϱ� ���� Ȯ���� ����� ���ȴ�. �̷��� ��Ȳ������ ������ ������ ����Ͽ�, Ǯ�̷� ������ ���ɼ��� �ſ� ���� ������ �����ϴµ� ������ �� Ȯ������ ������ ǥ���Ѵ�. ������ �� Ȯ���� ������ �̰��� ����ϴ� ���α׷��� ���ڷ� ��Ÿ���� ���� ���� �ִ�. ��Ģ�� ���� �� ���� �ý����� �� ����Ŭ����, ��ġ�� ù��° ��Ģ�� �����ϸ� �ۿ��Ѵ�. ����, ������ ���̽� ���� ��Ÿ�� ��Ģ�� �Ͻ��� ������, �Ϻ� ��Ģ�� ������ �ٸ� ��Ģ���� Ǯ�̷� �̲� ���ɼ��� ���ٴ� ���� �˷� �ش�. ���δ� Ȯ������ ������ ���� ��带 ���ϴ� ������ ���Ŀ� ���Ǵ� �� �Լ��� ���ԵǾ� ���� ���� �ִ�. 8-���� ������ ���� ����. ���� ������ ������ �־����ٸ�, ���� �ִ� ��θ� ���� �� �� �ִ�. �׷��� ������ ������ ���� �� ���� ������, ������ ���Ŀ� ���Ǵ� �� �Լ��� �̿��Ͽ� ���� ����� ���̸� ���� �����ϰ�, �� �� ���� ������ ��θ� ���Ͽ� ���縦 �����Ѵ�. �� ���, ���� �׷��� �����ϰ� �ִٴ� ���� �� ä Ȯ���� ������ �̿��ϰ� ������, �̺��� �� ������ ������ Ǯ���� �� ���, �� Ȯ���� ������ ��ó�� �����ؾ� �ϸ�, �̵��� �����ϴ� ����� ���� ���ƾ� �Ѵ�.

8-������ ���, �־��� ���� ��ġ���� �� ���� Ư��, �� �������� ��ġ�� ���� Ÿ���� ������ �����ϴ� �ո����� ������ �� �Լ��� �����Ͽ���. �׷��� ü���� ���� ������ �� �Լ��� ����ٰ� ��������. �� ��쿡��, ��⸻�� ����, ������, �߾��� ���� �� ���� ���ε��� �����ؾ� �Ѵ�. �� ��, ��⸻�� �����̶� ����� ���� �����ϰ� �ִ� ��⸻�� ������ �� ��⸻�� ��ġ �� �������� ������ ���Ѵ�. �� ���� �������κ���, �־��� ������� ��ġ�� �¸��� �̲� ���ɼ��� ���� �� �� �ִ�. �׷��� �� ���ε��� ��� �����ؾ� �ϴ���, �׸��� �� ���ο� ��� ������ ���߰��� �־�� �ϴ����� ������ ��εȴ�. �̿� ���� ������ ���� �ν� ���������� �߻��Ѵ�. �̸� �ذ��ϱ� ���� �� ���� ����� �� ���ο� �Ҵ��� ���� ���߰��� �����ؾ� �ϴ� ���̴�. �׷��� ���� ���߰��� �̸� �����ϴ� ���� ����� ���̱� ������, ���α׷��� ����� ������ �� ����� ���� ����ġ�� �����Ű�� ����� �� ȿ�����̴�. �� ����� ���а� �����ǰ� ������, ����� ���� �νİ� ����� ������ ��� ������ �̿�ȴ�.

�׷���, �� Ȯ���� �������� ���Ե� ������ ���� �����Կ� ����, ���Ŀ� ���� ��Ģ�� ���� �� ǥ������� �����ϴ� ���� ȿ�����̴�. �̷��� �����ν� �ý��۰� ����ڰ��� ������ ��ȯ�ϴ� �� ȿ������ ����Ӹ� �ƴ϶�, ��Ģ�� ����ϴ� ����� ���뼺�� ������Ų��. �׷��� ���� �߿��� ���� �̷��� ������ �پ��� ����� �����µ� ������ �ֱ� ���� ���ȴٴ� ���̴�. ��⸻�� ��ġ�� ��� ���� �¸��� �̲� ���ΰ��� ���� �ϳ��� ����� ��� ���� ��� ����� ��������� �����ϴ� ����, �� ��� �ϳ����� ������ �ִٸ� �ſ� ��ȿ�� ����̴�. �׷��� ���� �ϳ��� �ƴ� ���� ���� ��п� ������ ���� �ִ�. ���� ���, ���� ���� ���α׷��� ȯ�ڰ� ������ �ִ� ���� ���� ���� ������ ���� ����� ����� �Ѵ�. ���⿡�� �� ���� ����� �ִ�. �� ����� ������ ������ �ִ� ����� ������ ���� �������� ������ �� �Լ��� ���̰� �� �ٸ� �� ����� ���� �򰡸� ������ ������ ���� ���� ��ü�� ������, �� �ܰ踶�� �Ҽ��� ���Ÿ� �����ϴ� ����̴�. ������ ������� �̷���� �߰� �ܰ��� ����� ������ ���� ����� �����ϱ� ���� ���ȴ�. �̸� ���� �� ������ ������ ������ �ٸ� ���ο� �Դ� ���� ������ ��ġ�� ���ϵ��� �ϰ�, �ʿ信 ���� �� ������� ���ս�ų �� �ִ� ����� �ʿ��ϴ�. �̴� �� ��Ģ�� Ȯ���� ���ս�Ų ��Ģ�� ���� �� Ȯ���� �ý��ۿ� ���� ó���ȴ�.

�̷��� ����� ������ ���� ���� ����, ȯ�ڿ��� ������ ���� �����ϴ� ������ ���캸��. �̿� ������ �ӻ� �����Ͱ� �־����� ��, �� ���� ���� ġ���� ���ɼ��� ��Ÿ���� ������ ���Ŀ� ���Ǵ� �� �Լ��� ���������� ����ٸ�, �̷��� �� �Լ��� ��õ �� ������ �Ѵ�. �����ٳ� ���ο� �ӻ� �׽�Ʈ�� ������� ������, �̵� ������ ������ �����ؾ� �Ѵ�. ���� ���ο� ���� ��ǰ ���忡 ���� ������, �̿� ���� ���ο� �Լ��� ������ �Ѵ�. ��� ��쿡������, ������ ������ ���� �ſ� ��Ȯ�ϰ� ȿ�������� ����� �� �ִ� ����� �ʿ��ϴ�. �׷��� �� ����� ���ϸ鼭 ��� �����ϴ� ������ ������ ó���� �� �ִ� ���뼺�� �����ϴ�. �ݸ�, ��Ģ�� ���� �� ����� ����Ѵٰ� �����ϸ� ������ ���� ��Ģ�� �� �� �ִ�.

    ���� ���� X1 �� Y2 �� ���� ����ü�� ���Ű� �ִٸ�, ����ü Z �κ��� ���ε� ������ �����Ѵٴ� � ���Ű� �ִ�.

    ���� ���� X2 �� Y2 �� ���� ����ü�� ���Ű� �ִٸ�, ����ü Z �κ��� ���ε� ������ �����Ѵٴ� � ���Ű� �ִ�.

    ���� ����ü Z �κ��� ���ε� ������ �ִٸ�, �Ǿ�ǰ Q �� ȯ�ڸ� ġ���� ���̶�� � ���Ű� �ִ�.

    ���� ȯ�ڰ� �� R �� �̹� �����ϰ� �ִٸ�, �� Q �� ȿ���� ���� � ���Ű� �ִ�.

���� ���� ���� ��Ģ��� ������ ǥ���Ѵٸ�, �� Q �� ���� ġ��� �� �ִ� �������� �� ������ Ư���� ����� �ʿ�� ����. Ư���� ���� ġ������� �� ���� �� ���� ǥ���� �� �ִ�. ���� �� ���� �������κ��� �� Q �� ���� ġ��� �� �ְų� �� R �� ���� ġ��� �� �ִ� �Ͽ�, Q �� R �� �Բ� ���� ���������� �����ϴ� ���� ������ �ϴ� �͵� ��Ÿ�� �� �ִ�.

�̷��� ��Ģ�� �������� �Ͽ� Ư���� ȯ�ڿ��� ������ ġ����� �����ϱ� ���ؼ���, ��õ�� ���� ���� ��Ģ���� ������ �� �ִ� ����� �־�� �Ѵ�. �̸� ���� �� ���� ����� �� ��Ģ�� ������ Ȯ���� �����ϴ� ���̴�. ���� ��� ��Ģ 1 �� ������ ���� ǥ���Ѵ� :

    ���� ���� X1 �� Y1 �� ���� ����ü�� ���Ű� �ִٸ�, Ȯ�� 0.7 �� ������ ����ü Z �κ��� ���ε� ������ �ִٰ� ���� �� �ִ�.

Ȯ���п� ���� ������ �������� ����� ����Ͽ� ��Ģ�� ������ �� �ִ�. ���� �������� ��Ģ�� �����ϴ� Ư���� ����� ���� �����Ѵ�. ���� ����� �䱸�ϴ� ������ ��Ȳ����, �� ���� �� �ܰ辿 Ȯ���� �߷� ������ �����ϱ� ���� ��Ģ�� ���� �� �ý����� ����� ��쿡 ������� ������ ���� ������ �Դµ�, �ϳ��� ��и��� �����ϴ� �� �����ϴٰ� �������� �о��� ������ �� ����� ����� ���� ������ ���� �ٽ� ���캼 �� �ִ�. ü�� ���α׷��� �̿�� �������� ���� �� �Լ��� ����� ������ �ٽ� �ٷ�� ����. �־��� ��ġ�� �ñ������� �¸��� �̲� Ȯ���� �����ϰ��� �� ��, �پ��� ���� ���ε��� �����ؾ� �Ѵ�. �̰��� ������ ���� ��Ģ�� ����Ͽ� ���� �� �� �ִ�.

    ���� ��ġ A �� �����Ѵٸ�,
       ������ ���ݹ��� � ���Ű� �ִ�.

    ���� ��ġ B �� �����Ѵٸ�,
       ������ ���ݹ��� � ���Ű� �ִ�.

    ���� ������ ���ݹ��� ��Ȳ�Ͽ� ���ٸ�,
       ���ӿ��� �й��� � ���Ű� �ִ�.

    ���� ������ ������ ������ ��ġ�� �ִ�.
       ���ӿ��� �й��� � ���Ű� �ִ�.

���� ��Ģ�� �����Ͽ�, ������ �������� ����� Ȯ���� ������ ��ġ���� �ϰ��� �Ѵ�. ���� ���, ������ ���� (��⸻�� ������ ���� �տ��� �����Ͽ���) �� ũ��� �й��� Ȯ���� ������ ��ģ��. ��⸦ ���� �̷��� ǥ����� ���� ������ ��쿡 �� ǥ����� ������ �Ͱ� ������ ������ ������ �ִ�. �̹� �����ϴ� � ��Ģ�� ��ȭ��Ű�� �ʴ� ���ο� ��Ģ�� ÷���� �� �ְ�, ���� �ӿ� ������ ������ ������ �� �� �ִ�.

ü�� ���α׷��� �� ��Ģ�� ���� �� �������� �� �Լ��� ����ϱ� ���ؼ�, �� ���� �ý����� �ٸ� �� ���� �ý��ۿ� ���� �ֱ⸸ �ϸ� �ȴ�. ���� ���� �ִ� �ý����� ���� Ʈ���� ���� �ִ� �ּ� Ž�� ������ �����Ѵ�. �ܸ� ��忡 ������ ������, �� �ý����� �ҷ� ����Ѵ�. �� �� �ý����� �ٸ� ��� ���� �ý���ó�� ��п� ������ ������ �ۿ��ϸ� �ϴ� ��п� �����ϸ�, ���� Ǯ�̿� �Բ� ��� �� Ž�� ������ ���� �ش�.

Ȯ���� ��Ģ�� ó���ϴ� ����� �����ϱ⿡ �ռ�, ��Ģ�� ���� �� Ȯ���� �ý����� ����� ��� ������� ������ ���� ���� ����.

�ҿ����� ������ ���� �������� ��Ȳ�� ���� Ȯ������ ������ ǥ���ϱ� ���� ������� �� �ý����� �Ұ��Ͽ���. �� �� Ȯ������ ������ Ž���� �����ϱ� ���� ������ ����� ���ȴ�. �׷��� ������ ����� ����Ͽ� ������ ������ ��ǿ� ���� ������ ǥ���� �� ������, ���� ���� �� ������ ������ ������ �� �ִ�. �̰��� �ſ� �߿��ϴ�. ���� ���, ���� ���� �۾������� �̼� ����ü�� �ൿ�� Ȯ���ϰ� ������ �� ���� ���������� �����Ѵ�. ���õ� ������ ���� �ҿ����� ���Ŀ� ���� ���ε� �и��� ���������� �ִ�. �׸��� ���������� ���õ� �������� ������ ���� �� �� ������ ���������� �����Ѵ�. �� ��� ������ ���������� �־��� � ���ſ� ���ؼ��� �ۿ��� �� �ִ� Ȯ���� �߷� ��Ģ�� ����Ͽ� ��� ó���� �� �ִ�.

������ ����� ���Ǵ� ������, �������� ��Ģ�� �� ��Ģ�� �������� Ž���� ������ �������� ������ �� �Լ��μ��� �ƴ϶�, Ȯ���� ���� ��Ģ�� �������� ��Ÿ����, �������̰�, ���� Ȯ������ ����� ����ϰ�, ������ ������� �� ����� �̿��Ͽ� �۾��� ������ �� �ִ� ������ �ִ�. ���� �� �� ������ �߷� ������ ������ �� �ִ�.

�� 5 �忡���� ���� ������ ����Ͽ� ���� ����� ǥ���ϴ� �����, �� ����� ����Ͽ� �߷��ϴ� ����� �ٷ���µ�, �̷κ��� ������ ���� ����� ó���� �� �־��� :

  • ��� ������ �Ͽ��ϳ� �������� �ʴ´�.
  • ��� ������ 150 �� �̻� �� �� ����.
  • �� �ڵ����� �׻� ���� ���̴�.

�׷��� ������ ���� �ܼ��� ����� ó���� �� ������ :

  • ��κ��� ������ �Ͽ��ϳ� �������� �ʴ´�.
  • ���� ��κ��� ����� 100 �� �̻� �� �� ����.
  • �� �ڵ����� ��ü�� ���� ���̴�.

�׷��� �� ��ǰ� � Ȯ���� ���ս�Ų ��Ģ���� ������ ����� ���� ǥ���� �� �ִ�. ��Ģ�� �Բ� ����Ͽ� ���� �߷��ϰ�, �߷� ������ Ȯ���� �����Ͽ� ����� ���� Ȯ���� ����Ѵ�.

�̰����κ���, ��Ģ�� ���� �� �ý����� Ȯ���� �߷� ������ ����ϴ� ���� �󸶳� �������� �� �� �ִ�. ü�� ���α׷��� Ư���� �������� ������ ������ �˰��� �Ѵ�. ���� ���α׷��� ������ ����� ���� �� �Լ��� ����ߴٸ�, �� ���α׷����κ��� ���� ������ ���� �ǹ̰� ���� ���̴�. �׷��� ���� ���α׷��� ���α׷��� ���� �� �Լ��� ��Ģ�� ���� �� Ȯ���� �߷��� ����Ѵٸ� ���α׷��� ���� �� ��Ģ�� �����ϰ� ����� �� ������, �̰��� Ư���� �������� ������ ������ �ξ� �� �����ϰ� �����Ѵ�.

���ݱ���, ��Ģ�� ���� �� Ȯ���� �߷� �ý����� ���� ������ �뷫������ ���� ���Ҵ�. �������ʹ� �̰��� ������ �� �߻��ϴ� �߿��� �������� ���� �����ϱ�� �ϸ�, ���⿡�� ������ ���� ���� ���Եȴ� :

  • ��� Ȯ���� �ؼ��ϴ°�? Ȯ������ ��� ����� ���� ���� �����ϴ°�?
  • �ٺ������� ������ ���Ű� �� �� �̻� �������� �ʵ��� ���� ���ӵǴ� �������� ����� ������ ó���� �� �ִ� ����� �����ΰ�?
  • �ý����� ����, ������ Ȯ���� �����ϱ� ����, ��� ������ �۾��� �ʿ��Ѱ�? ���� Ȯ�� P1 �� A �� B �̰� Ȯ�� P2 �� B �� C �� ��, A �� ���� �ŷڵ��� ���Ͽ� B �� ���� �ŷڵ��� ���Ѵٸ�, B �� ���ʷ� �ϴ� C �� ���� �ð��� �Ҹ��ϴ� ���� ���ϴ� ����� ���� ������ TMS ����� ������ ���̽��� ���� ��ȭ�� ������ �� �߻��ϴ� ������ �����ϴ�.

���� ������ ���� ������ ����� ���� �� �����Ѵ�. ���� �������� �̿� ���� �ϳ��� ����� ���� �ش�.

(3) MYCIN : ��Ģ�� ���� ������ ���� �߷��� ����� �ý���

���� ������ ���� ������ ���⼺�� ������ ������ �Ῡ ������ �������̰ų� �ܾ����� �м��� �Ұ����� ������ �� ���̴�. �̷��� ������ ������ �ذ��ϱ� ���ؼ��� ������ ���� �߷��� �ʿ��ϴ�. �׷��� �����ϰ� Ȯ������ �߷��� ����Ͽ�, ���� ������ ���� ���� ���α׷��� ���� �� �ִ�. �� �������� ���׸��ƿ� ������ ȯ�ڿ��� ������ ġ������ ��õ�ϴ� ���̽� (MYCIN) �̶� �Ҹ���� ���α׷����� ���Ǵ� �߷� ü�迡 ���� �˾� ����. ���̽��� �ʿ��� �ӻ� �ڷḦ ��� ����, �ǻ翡�� �ڷḦ �䱸�ϱ⵵ �Ѵ�. ���� TEIRESIAS �ý�����, �ǻ簡 ���̽Ű� ��ȣ �ۿ��Ͽ�, ���̽��� ������ ���̽��� ������ ÷���ϰų� �����ϴ� �ϰ� ���̽��� �߷п� ���� ������ �ϴ� ���� �� �� �ִ� ����� �����Ѵ�. ���̽��� �������� �������� ���� ���������� �ϵ��� �ۿ��ϱ� ������ ��ȭ�� ���� �ý����� �� ���� �� �� �ִ�.

���̽��� ���� ������ ����������, �ý������μ��� ����, ���� ǥ�⸦ ���� ���� �ý��������� ���, ������ ���� �߷��� ��� ������ �����ȴ�. TEIRESIAS �ý��ۿ� ���� �ڼ��� ������ 8-3-2 ���� �־�����. �� ������ ������ ���, ���̽��� ��Ȯ���� ������ �������� �۵��ؾ� �Ѵ�. �̷��� ��Ȯ���� ������ ǥ���ϱ� ���� ���̽��� ������ ���� ��Ģ�� ���� ������ ���̽��� ���� �ִ�.

    If : (1) the stain of the organism is gram-positive, and
         (2) the morphology of the organism is coccus, and
         (3) the growth conformation of the organism is clumps,

    then there is suggestive evidence (0.7) that
       the identity of the organism is staphylococcus.

�̰��� ���̽��� ����ڿ��� ��Ģ�� ǥ���Ǵ� �����̴�. �׷��� �������� ���´� �ٷ�� ���� LISP �� ����Ʈ (list) ������ ǥ���Ǿ� �ִ�. ���� ��Ģ�� ���������� ������ ���� ǥ���ȴ�.

    PREMISE : ($AND (SAME CNTXT GRAM GRAMPOS)
                             (SAME CNTXT MORPH COCCUS)
                             (SAME CNTXT CONFORM CLUMPS))
    ACTION : (CONCLUDE CNTXT IDENT STAPHYLOCOCCUS TALLY .7)

���̽��� ���� ������ �Ǵ� �߿��� ����ü�� ã�Ƴ��� �߿��� ��ǥ�κ��� �̿� ������ �ӻ� �����ͷ� ���� �߷��ϱ� ���� �̷��� ��Ģ�� ����Ѵ�. �ϴ� �̷��� ����ü�� ã�Ƴ���, ���̽��� ���� ġ��� �� �ִ� ó���� �����ϰ� �ȴ�. �� ���� ������ ��п� ���� Ȯ�Ǽ��� ���ϱ� ���� �� ��Ģ�� Ȯ�Ǽ��� ���� �������� ��� �����ϴ°��� �ִ�. �̷��� ������ �ٷ�� ���� �� ���� �и��� ����� �� ��Ģ�� Ȯ�Ǽ��� ���� �������� Ȯ��ó�� ����ϰ�, ���̽��� ������ ����Ͽ� �־��� ������ ���� ����� ���Ǻ� Ȯ���� ����ϴ� ���̴�. �� ������ �̿� ����� ������ ���� ���̽��� ������ ����ϴ� ���� �� ���� ������ �ִ�.

  • �ʿ��� ���Ǻ� Ȯ���� ���� Ȯ���� ��� �ƴ� ���� �ſ� ��ƴ�. �̵��� ��� �˱� ���ؼ��� �ſ� ���� ���� �����Ͱ� �ʿ��ϰ�, ��� ���� ���. �׷��� ���� ������ �Ǵ� ���� �̷��� �����Ͱ� ������� ���� ���� ���� �����Ͱ� �� �� �ִ�. �ֳ��ϸ� �̼� ����ü�� ���ϴ� �����Ͱ� ������� ���� �࿡ ���� ������ ª�� �ð� ���� ��ȭ��ų �� �ֱ� �����̴�.
  • ���̽��� ������ ����ϴ� ������ ���̽��� ���� ���� ���ε� ���̿� ���� ���� ��ȣ �ۿ� ������ �� ������ ���̽��� ��ȭ��Ű�� ���� ���� ��ƴ�. ���� ���, ��� ������ ����� �Ͼ Ȯ������ ���� 1 �̴�. �׷��� ���� ���ο� ���� ���� ������ ������ ���̽��� �ִ´ٰ� �ϸ� ��� �ɱ� �˾� ����. �� �� ���ο� ���� ���� ������ �ϳ��� ������ ����� �Ǿ� �� ����� �Ͼ Ȯ���� �̹� ������ ���̽��� �����ϴ� �� ������ ����� ���� Ȯ���� ���� 1 �� �ǵ��� ������ Ȯ���� �ٽ� �����Ǿ�� �Ѵ�. �� ���� �ٷ� �ʹ� �����Ͽ� ������ ��Ÿ���� ���ϴ� ������ �Ͽ� �ۿ��ϵ��� ���ȵ� �ý����� �߿��� �����̴�.
  • ������ �������� ���̽��� ������ ����ϴ� ���� ���� ����� �ʿ�� �Ѵ�. �ֳ��ϸ�, ����� ��Ȯ���� ���� �⿩�� �� ���� �� ���� Ȯ���� ��Ȯ���� ���� ������ �޴´�. �׸��� �̹� ���� �ٿ� ����, �̷��� Ȯ���� ���� ��Ȯ���� ������ �׸� �߿����� �ʴ�. ���� �ʹ� �ڼ��� ����� ����� �����̴�.
  • ���̽��� ������ ���� Ư���� ����� Ȯ���� ���� ��Ȯ�� �������� ��� ���ؼ��� ��� ������ ����� ���� ��Ÿ���̾�߸� �Ѵ�. �̰��� �� ���� ����� ���ÿ� �Ͼ �� ������ ���Ѵ�. �׷��� �����δ� ���̽��� ��������ó��, �� ȯ�ڴ� ���� �� ���� �̻��� ������ ���ÿ� ���� �� �ִ�.
  • ���̽��� ���Ŀ� ���� ��Ȯ���� ���� ������ ������ �̿� ���ɿ� �����Ѵ�. �ٽ� ���ؼ�, �̹� �˷��� ���� �� �ϳ��� �ݵ�� ���̾�� �Ѵ�. �׷��� ���⿡���� ���� � ȯ�ڰ� ���� ���ݱ��� �˷����� ���� ���� ���� �ִٸ�, �̹� �˷��� ���� �� �ϳ��� ���� �ƴ϶�� ���� �� ������ �����ؾ� �Ѵ�.

�̷��� ���� ������, ���̽��� ������ ��� ��� Ȯ���� �ΰ� ���� �о� �ý����� ���ʸ� �����ϰ� ������, ���� ���迡�� ��Ȯ���� �߷п��� �Ͼ�� ��� ������ �ذ����� ���Ѵ�. �̷��� ���������� ���ϱ� ���Ͽ� ���̽ſ��� ����� ����� ���� ����.

���̽ſ��� �����Ǵ� ��� ������ �ŷڰ� (MB) �� �ҽŷڰ� (MD) �� ����ȴ�. ���� e �� �־����� ��, ���� h �� �ŷڰ��� h �� �ҽſ� ���� ������� �����̸�, Ȯ���� ���� ������ ���� ��Ÿ������.

    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게

    1

    if P(h) = 1

    MB[h, e] =

    max[P(h|e), P(h)] - P(h)

    otherwise

    max[1, 0] - P(h)

���� �������, �ҽŷڰ��� ���� e �� ����� h �� �ŷڿ� ���� ������� ���ҷ� ������ ����.

    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게

    1

    if P(h) = 0

    MD[h, e] =

    min[P(h|e), P(h)] - P(h)

    otherwise

    max[1, 0] - P(h)

�ϳ��� Ư���� ���ſ� ����, MB(h, e) = 0 (h �� �ҽ��� ������ ����) �� ��쿡�� h �� �Ͼ Ȯ���� ������Ű��, MD(h, e) > 0 �̰� MB(h, e) = 0 �� ��쿡�� h �� �Ͼ Ȯ���� ���ҽ�Ų��. �̷��� ����� ���� MB �� MD �� ����ϴ� �Ŀ��� �� �� �ִ�.

�� �� �����κ���, ������ �ŷڿ� ���Ͽ� ��ü���� �ý����� �ŷڿ� ���� �������� ����� �� �ִ�. �� ����ġ�� Ȯ�� ��� (certainty factor : CF) �� �Ҹ���� ������ ���� �־�����.

CF[h, e] = MB[h, e] - MD[h, e]

���࿡ CF �� ���̸� �ý����� ������ ���̶� �ϰ�, CF �� ���̶�� ������ �ݴ�Ǵ� ���Ű� ���� ������ �ý����� ������ �����̶�� �ϰ� �ȴ�. �̷��� CF �� �������� MB �� MD �� �и��Ͽ� �������� ���Ű� �������� ���ŷ� �Ǵ� ���� ���´�.

����, ���� ���� ���Ű� ��� ���յǾ� ������ CF �� �����ϳ� �˾� ����. �� ���� ���� ���,

현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
��
현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
�� �־����� ��, ������ ���� �ŷڰ��� �ҽŷڰ��� ������ ���� ���ȴ�.

    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게

    0

    if MB[h,

    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
    ] = 1

    MB[h,

    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
    ] =


    otherwise

    MB[h,

    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
    ] + MB[h,
    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
    ] * (1 - MB[h,
    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
    ])

    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게

    0

    if MB[h,

    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
    ] = 1

    MD[h,

    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
    ] =


    otherwise

    MD[h,

    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
    ] + MD[h,
    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
    ] * (1 - MD[h,
    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
    ])

���� �����κ���, ���� h �� Ȯ���� �ҽ��̸�, h �� �ŷڰ��� 0 �̴�. �� ���� ���� ����� �־����� ��, h �� �ŷ�ġ�� �ϳ��� ���� ����� �־����� ���� h �� �ŷڰ��� �� ��° ������ ���� ���� ���� ���̴�. �� ��° ������ ���� ���� �� ��° ���� ����� ���� h �� �ŷڰ��� 1 ���� ù ��° ������ ���� h �� �ŷڰ��� ���� ���Ͽ� ����Ѵ�. ��ǻ� 1 ���� ù ��° ������ ���� h �� �ŷ�ġ�� �� ���� �� ��° ������ ���� ���� �� �ִ� ���� ū ���̴�. �ҽŷڰ��� ���ؼ��� ���� ������� �����ȴ�. �̷��� ��쿡��, MD �� MB �� ����Ͽ� CF �� ����Ѵ�. �̷��� ���� ������ ������ ������� ���� ����� ��ȯ�� ���� �����ؾ� �� �ʿ��� ������ ������Ų��.

������ ���� �̵� ���� ��� �ۿ��ϴ����� ���� ����. ���� ���, ó�� ���� ����� h �� �ŷڰ� MB = 0.3 �� ����ٰ� ��������. �׷��� MD(h,

현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
) = 0 �� �ǰ� CF(h,
현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
) = 0.3 �� �ȴ�. ���� �� ��° ���� ����� ���� h �� �ŷڰ� MB(h,
현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
) = 0.2 �� ����ٰ� ����.

    MB(h,

    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
    ) = 0.3 + 0.2 * 0.7
                       = 0.44

    MD(h,

    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
    ) = 0

    CF(h,

    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
    ) = 0.44

�� ���κ��� ���׸��� �������� ���ŷκ��� ���� ū Ȯ�� ��� ���� ���� �� ������ �� �� �ִ�.

��쿡 ���󼭴� ���� ���� ������ ���տ� ���� Ȯ�� ����� �����ؾ� �� �ʿ䰡 �ִ�. �̴� MB �� MD �� ���տ� ���� ���� �� ������, ���̽ſ����� �� ������ ���� �տ� ���� MB �� ���� ������ ����Ѵ� :

���� ������� MD �� ���ȴ�.

���� ��쿡 ���󼭴� ������ �����ϱ� ���� ���Ǵ� ���Ű� �ùٸ����� Ȯ���� �� ���� ���� �ִ�. �̷��� ������ ���Ű� ��Ȯ���� ���� ������̳� �������� ���� ����� �� ���� �Ͼ��. �� ���, ������ Ȯ�Ǽ��� ���� ������ ��ġ�� ������ ���ſ� ���� �޹�ħ�Ǵ� ������ ������ ���ſ� ���� �ŷڵ��� �� �� ������ ��� �����ؾ� �Ѵ�. s �� �ùٸ��� ���������� Ȯ���� �� ���� ��, h �� ���� �ŷڰ��� MB'[h, s] �� ��Ÿ����. s �� �ŷ��ϵ��� �����ϴ� ���� ����� e ��� ����. (���� ���, e �� ������� ���� ����� �ȴ�) �׷���,

    MB[h, s] = MB'[h, s] * max(0, CF[s, e])

����, �̷��� ���� ���̵� ���� �ⱸ�� ������ �д� �Ͱ� ���� �������� ���� ����κ��� ��� ���� ������ ���ΰ��� ���� ��п� ������ ������ �� �ִ�. �׷��� �̷��� �Ǹ�, ������ ���� ��κ��� ��Ģ�� �ҿ���� �ȴ�. �� ���� ����Ͽ�, ������� �����ͷκ��� ����ü�� Ư���� �����ϴ� ��Ģ�� ���� �� �ְ�, ����ü�� Ư�����κ��� � ����ü������ �������� ��Ģ�� ���� �� �ְ�, ���� ������ ����ü�� ������ ġ���ϴ� ��Ģ�� ���� �� �ִ�. �� �ܰ迡�� ��Ÿ���� ��Ȯ�Ǽ��� ���� ������ ��ü���� Ȯ�Ǽ��� ���� ô���� ���� ������ �� �ִ�.

�տ��� ���ߵ���, ���̽ſ����� �࿡ ���� ������ Ư���� ������ �־����� �� ������ �� �ִ� ���� ���� ����� Ȯ�Ǽ��� ���� �ִ� ��Ģ�� �������� ��Ÿ������. ���� ���̽ſ����� �Ϲ����� ��Ģ�� ���� �� �ý����� ��� ������ ������ ���� �߷� ����� ������ �����Ͽ� ����Ѵٰ� �� �� �ִ�. ��Ģ�� ���� ���� �Ϻ� ���Ŵ� �������� ���� ����� ���� �ְ�, ���� �Ϻ� ���Ŵ� ���� ��Ģ�� ���� ���� �Ϻ� ���Ŵ� �������� ���� ����� ���� �ְ�, ���� �Ϻ� ���Ŵ� ���� ��Ģ�� ���� �û�Ǵ� ������ ��Ÿ�� ���� �ִ�. �� ��Ģ�� ����, ��Ģ�� �����ϱ� ���� �ʿ��� �Ϸ��� ����, Ȯ�� ����� �����Ǿ� �ִ�. ó������ �ϳ��� CF ���������ٴ� MB �� MD �� ���� ��� �ʿ��� ��ó�� ���δ�. �׷���, Ư���� ���� h �� �Ϸ��� ���� e �� �־����� ��, ���� P(h|e) > P(h) �̸� MB(h, e) > 0 �̰� MD(h, e) = 0 �̴�. ���� P(h|e) < P(h) ��� MB(h, e) = 0 �̰� MD(h, e) > 0 �� �ȴ�. ���������� P(h|e) = P(h) �̸� MB(h, e) = MD(h, e) = 0 �̴�. ����, �ϳ��� CF(h, e) ���������κ��� MB(h, e) �� MD(h, e) �� ���� ���� �� �ִ�. �̷��� CF �� ���� ��Ģ�� �ý��ۿ� ���� �� ���ÿ� �ǻ翡 ���� �����ȴ�.

�� ���� ���ۿ� �־��� ���̽� ��Ģ�� ���� �ٽ� ���캸��. ���� �κп� �� ���� ��Ұ� �ִµ�,  �̰��� �������� ���̽� ��Ģ�̴�. �Ϸ��� ���ſ� ���� CF �� ���ϰ� �������� �������� CF ��κ��� �־��� ������ ���� CF �� ����ϴ� ������ �������� �ұ��ϰ� �� ��Ģ�� ������ ���̽��� �̷��Ե� ������ ��Ģ���� �����ؾ� �ϴ����� ������ �� �������� �Ϸ��� ���� �� ������ ���� ������ ��Ģ���� ����Ͽ� �� ��Ģ���� ���Ŀ� ���� �������� �ʴ°��� ���� ������ �����Ѵ�. �̷��� �����鿡 ���� ���� ���̽��� ������ ����ϴ� ���� ������ �ʴ� ���� ���� �ϳ��� ����. �ٽ�  ���ϸ�, ���̽��� ������ ����Ѵٸ�, �Ϲ������� ���� ������ �ƴ� ���Ÿ� �����ϱ� ���� ���� ���� ������ ���� Ȯ���� �˾ƾ� �ϱ� �����̴�. ������ ���� ���� ����. � ȯ�ڿ� ����, ���� A �� ���Ͽ� Ư���� ���� CF = 0.7 �� �����ǰ�, ���� B �� ���� ���� Ư���� ���� CF = 0.7 �� �����ȴٰ� ����. �׷��� ���� A �� �Ͼ��, ���� B �� �Ͼ��, ���� �ݴ뵵 �����Ѵٰ� ��������. �̶�, ���� A �� B �κ��� �� ȯ�ڰ� Ư���� ���� CF = 0.91 �� �ɷȴٰ� �������� ���� ������ ����ϴ� ���� ������ �߸��̴�. �� ���, Ȯ�� ��� 0.7 �� Ư���� ���� �ɷȴٰ� �ؾ� �Ѵ�. �ֳ��ϸ�, ���� A �κ��� ���� B �� �Ͼ�� �� �� ������, ���� B �κ��ʹ� �߰��Ǵ� ������ ���� ���� �����̴�. �̷��� ������ ���� ����Ǵ� ���� ������� �ϳ��� ��Ģ�� ���� ���ŷ� ��������� ���� �� �ִ�. ����, ���� ������ �ƴ� ���� ����κ��� ���� ����Ȯ���� ���ϱ� ���ؼ� ��Ģ�� ������ �ſ� ũ�� �Ǿ� ���̽��� ������ ����� ���� ���� ���������� ���·� �� ���ɼ��� �ִ�. ���������δ� ��ȣ �ۿ����� �ʴ� ��찡 ���� ������ ���� ����� �� ȿ�����̴�. �׷��� �ǻ翡 ���� ������� �� �ִ� ��Ģ���� ���� ���� ��Ģ�� �����ϰų�, �ý����� ó�� �Ѱ踦 ����� ������ ��Ģ�� �����Ѵ�. �� ������ ���� �������� �ذ�å���� ���̽ſ����� ��ȣ �ۿ��� �߿��� ��쿡�� ���Ǵ� ���� ���ſ� ���� ��Ģ�� �ִ�. �̷��� ����� CF ��ü�� ����� ��Ȯ�ϴٰ��� �� �� ���� ������, ����� ������ ����̶�� �� �� �ִ�.

�� �������� ���̽ſ��� ���� ������ ���� �߷� �ý����� ������ �����Ͽ���. �� �ý����� �� å���� ��޵��� �ʴ� ���� ���� ���ָ� �����ϵ��� ���DZ��� ���ȵǾ���.

��� ���̽ſ��� ���� ������ ���� �߷� �ý����� ��Ȯ���� ������ ������ Ǯ �� ������, ������ ���� �������� �ִ� :

    1. �ΰ��� ����ϴ� ���� �������� Ȯ�� ����� �ٲٴ� ����� ���� ����, ���� ��� "�ſ� ���ɼ��� ����." ��� ���� ���� Ȯ�� ����� ���ϴ� ����.

    2. ���࿡ ���� ������ ���� ������� ������ � ���ڸ� ���� ����ٸ� �̷��� ������ ô���� ���� ǥ��ȭ ��� ����.

    3. ���ο� ���ſ� ���� CF �� ��ȭ�� �󸶳� ������ ���ΰ��� ����. ���� ���, ���� CF[

    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
    , e] �� �ణ ���ϰ�,
    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
    �� �ٸ� ����
    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
    �� ����Ǵ� ������ �� �κ��� ��, CF[
    현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
    , e] �� ���ؾ� �ϴ°��� ����. ���� �̼��� ��ȭ�� ������ �� �ָ����� ���޵ȴٸ�, �ý����� ���� ����� ���� ������ ����ġ�� �̷��� ���� �۾��� �ϴµ� ��κ��� �ð��� �Ҹ��ϰ� �� ���� �ִ�. �̿� �ݴ��, �� ���� ���׸��� ��ȭ�� ���õǾ�� �ȵ� �ֿ� ��ȭ�� �� ��쵵 �ִ�.

    4. ��Ģ�� ���� CF �� ��Ȯ���� ���̱� ���� ��� ������ ���̽��� ��ȭ��ų ���ΰ� �ϴ� ����. ���̽ſ����� �� ������ �߷� ������ �ǻ翡�� �����ϴ� ��ɰ� ��Ģ�� ��� �ٲ��� �ϴ°��� �ǻ�κ��� �޾Ƶ��� �� �ִ� ����� ���� TEIRESIAS �ý��ۿ� ���Ͽ� �κ������� �ذ��Ͽ���.

�̿� ���� ������ �ذ��ؾ� �� ���������� ������, ��Ģ�� ���� �� �ý��۰� ������ ���� �߷� �ý����� �����Ͽ� ��� ��� ����� �������� ���������� ������ �� �ִ�.

(4) ��� : Ȯ���� �߷� ������ ������ ���� �����ΰ�?

���ݱ���, Ȯ������ ������ ó���ϴ� ����鿡 ���� ���� ���� �����Ͽ���. ���� �� ����鿡 �ٺ������� �����ϴ� ���輺�� ���ؼ��� ����Ͽ���. Ȯ���� �߷� ������ ������ ����, �̰��� �������� ����� ���� �������� ������ �ִٸ�, ������ Ǫ�� �� ���� ������ �� ���̴�.

�ΰ� ���ɿ� ���ϴ� �ٸ� �о��� ���������� ����, ���õ� �о߿��� ������ �� ���� ������ �Ϲݼ��� �̲���� ���� �ſ� �߿��� �۾��̴�. �̷��� �����ν�, ���� �����ϰ� ū ������ Ǯ �� �ְ�, ���� Ǯ�� ���α׷��� ����� �� �����͸� �����ϴ� ������� ȿ�������� ������ �� �ֱ� ������ �߿��ϴ�. �Ϲݼ��� ���� �ʿ�� Ȯ���� (Ȥ�� �����) ����� ����ϱ� ���� �ʿ��� ���� �� ���� ������ ������ �ش� :

  • ������ ���� ���� ȿ������ �м� ����� �����Ͽ�, ����� ǥ����� ���ʿ��ϰų� �߿��ϰ� ������ �ʴ´ٸ�, ����� ǥ����� ���϶�. ���� ��� ���ڸ� ������ ������ �ſ� ���������� �������μ��� �ƴ϶� ȣ�� ���� ���� Ư���� �������� ǥ���Ѵ�.
  • ���� ���� ������ ���������̳� ������ ������ ������ ó���ϱ� ����, ����� �߷� ������ �ʿ��ϴٸ�, ���� ������ �ݿ��� �Ұ����� �ϳ��� ū ���� �ۿ��� �ƴ϶�, �߷� ���������� ������ �ܰ迡 �����ϴ� ���� ���� �ۿ��� ��������� ó���ؾ� �Ѵ�. �̰��� ����� ����� ���� �뷮�� �����Ϳ� �ۿ��ϴ� ��� ��� ��Ģ�� ���� �� Ȯ���� �ý��ۿ� ���� ������ ���̴�.

����� ����� ����� ��, ���� ����� ����ȭ�� �������, ���� Ǯ�̴� �Է� �����ͺ��� ���� ��Ȯ�� �� ������ �����ؾ� �Ѵ�. ���� �Է� �����Ͱ� �������� ���� �������̶��, �̰��� �ð��� ������ �Ӹ� �ƴ϶�, ����� Ȯ���� ���� �ſ� ��Ȯ�� �������� ����Ϸ��� �ϴ� ���� ���ǹ��ϴ�.

4. ���

�� 5 �忡���� ���� ������ ���� �������� �ý����� ���� �� ����� ����Ͽ� ������ ǥ���ϴ� ����� ���� �ٷ����. �� �忡���� �� ������ Ȯ���Ͽ� ���� �����δ� �������� ������ ǥ���ϱ� ���� ���ʸ� �����ϱ� ���� �ٸ� ���� �ý��ۿ� ���Ǵ� ����� �Ұ��Ͽ���. �̿� ���ϴ� �ý��ۿ��� ������ ���� �� ������ �ִ�.

  • �� ���� �ý���
  • Ȯ��

5. ��������

1. ���� ������ ǥ���Ͽ� ó���ϱ� ����� ��ǿ� ���� ���� �ټ� ���� ã�� ����.

2. ���� ��Ȳ �� ����� �߷� ������ ������ ���� ��� ���ΰ�? ������?

    a. ��Ŀ ����
b. ���� �ν�
c. ���� ȸ���� ���� ����
d. Ư�� ������ ��ȸ���� ���ε� ���ɼ��� ����

3. TMS �� ������ Ǯ�̸� ���� Ž�� ���� ���� �߻��ϴ� �� ���� �߷� ������ ���� �ϱ� ������ ���� ������ ���� ������ Ǯ�⿡ ������ ����̴�. TMS �� �� 2 ���� ��ȣ ��� ������ Ǯ�� ���� ��� ���Ǵ��� ������.

4. ��ħ�� ���� ���� ã�� ����� ���� ����. �� ������ Ǯ�� ����, ������ ���� ������ ����� �ʿ䰡 �ִ�.

  • û������ ������ �ʰų� ���� ������ ���� ������ ���ٸ� �� û������ �Դ´�.
  • ������ ��ٸ�, �����͸� �Դ´�.
  • �ܿ��� ��ü�� ���.
  • �����ϸ�, ������ �Ŵ´�.
  • ������ ��ü�� �����ϴ�.

    a. �� ������ Ǯ�� ���� �ʿ��� ����� ��Ÿ���� TMS �� ������ ���̽��� ������.
b. �� ������ Ǯ������ ����� ����Ǵ� ��� (û������ ������ ������ �ð�) �� ���Կ� ���� Ǯ�̰� ���ϴ� ����� ������.

5. TMS �� ���� ���ܿ� ���Ǵ� ����� ������.

    "�๰�� ������, �˷����� ������ �ƴ϶��, ���⿡ �ɷȴٰ� �����Ѵ�" �� ���� ��Ģ�� �����϶�.

6. ��û�� TV ���α׷��� �����ϱ� ���� TMS �� ���Ǵ� ����� ������.

    "6 ���̸�, �̽� �౸ ��Ⱑ ������ ���, ä�� 2 �� ���콺�� ��û�Ѵ�" �� ���� ��Ģ�� �����϶�.

7. ������ ���� �߷��� ���� ���̽��� ��Ģ�� ����Ͽ�

현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
�� CF, MB, MD �� ����϶�. ��, �� �� �� ���� ������ ����� ������ ���� :

        MB(

현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
) = .5

        MB(

현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
) = .3

        MB(

현재 상태와 입력값이 주어졌을때 차기 상태가 어떻게
) = .2

8. ���� �� �� ���� ������ �����Ͽ�, ��ü�μ� �߷п� ���� �� �ִ� ���̽� ������ ��Ģ�� �ۼ��϶�.

  • �ڵ��� ����
  • �ϱ� ����
  • �긮�� ���� �θ���

9. ���̽� ������ ��Ģ �ý����� ���� ���������͸� �ۼ��Ͽ�, ���� 6 ���� ���� ��Ģ�� ������ ���ƶ�.