Statistical Foundations for Default Reasoning ... - Stanford AI Lab



 
   
  ! "
$#$%&!')(* +-,&.0/2143 5,&6768.:9 ; ?@ ACBEDGFIHKJLBNMHEBPOQBN?AER SQM'JLTUBEDCVWJLAYX=[Z \)][ACBEDW^L='= \]"ACBEDW^L='=_a`M'A2]"DWJL= ]"Mc%j'X0~C}&~CFbR lBso&=UD  =[ZP“cš][>hDC="TUBU_Pƒ"=UVCBE? lr—:]‡^L?bBNDCM‚_P][M c£O][? l M B =[^ ^LBNDo][V VC?b= MVC= DCBEcÏJLMÏ?š][DCAj'XACl B“JLD  =UDCHEB· ` %HEB="Z0F'HKJLBEM'AW J šH}&
B VCB"]"DCHK l k“ 7F< K_&@ M cBED· hDC="TUB  Vos=UD o][V?bBEDWZk= DC>BEcol'J ^LB][A·FIA2]"MIZk= DCcãSQM'JLTUBEDCVWJLAYXU_ olBNDCBl Bo]"V]E^LVC=VC@? ?b= DCACBEcÏj'X]"M~C‘&’âhD2]"c@š][AC B  BK^ ^L="o VCl'JL?‚RsF'=U>B=[ZšACl'JLV4DCBEVCB‡][DCH2lo][V7?šBEDWZk=UDC>PBEcolIJ ^LB“:cb]">yhDC="TUB ][M c)O][? l MB ="^ ^LBED-o&BEDCBP][A:~C‘&’ “Q^L>%]"cBNM}&BEVCB"]"DCHKl)BEM'A2]E^ ?@ DC?b= VCBEVER

tGz;b14‰0.‹ŠŒu%Ž,&2‰%14x8 ~C‘&’”“Q^L>•][c BEM}&BEVCB"][DCH2l•][ACBB '@š]‡^ JLAYX o][VsVC@? ?DCBNVCVCBEcþJLM= DCcBNDQAC=PlIJLn lI^ JLn lA-= AClBEDJLVCVC@BNVER
























 "!$# &%(' ) 

*'

+'

, -!.# /%'  0

*

1

 

2 "!.# /%' 3 4 5 076



 8 

7 

9

:8

?





A

EDGF

CB

IHJF

LKMA

% .% JN7NN

K

(K




 JLM'ZB UJLVCACVþZk= D]"M'XñVCB '@BEM HEB jb=U@ M cBEcZ¡DC=U>ŽjšBK^L="oö_šBETUBNMwJ Z7ACl B^ JL> JLA:c='BEVM =UAER lB ƒ‚„–/—˜ JLV c
B šMBNc][Mš]‡^L= nU=U@ VW^LX'_&ol BEDCB%VC@6? |cBEM =UACBNV ACl B^LB"][VCA0@? ?bBED jb=U@ M c!="6Z |4R~kZ&^ JL> ‰‹ŠŒ Ž ‰ c ='BEV0B UJLVCAE_ AClBEM^ JL> ‰‹ŠŒ Ž ‰  ^ JL>!JLM'Z ‰ŠŒ Ž ‰ !^ JL>VC@ ? ‰‹ŠŒ Ž ‰ R ™ \B4DCBN>%][D -AClš][AE_ lBNDCB&]"Mc0jbBK^L="o-_'ACl B&]"HEAC@b]E^bH2l =[JLHEB&="ZbVC@ 1j VCHEDWJL? AQZk= D šñJLV-@M'JL>?b= DCA2][M'AER X'?IJLH"]E^ ^LXU_ l="o&BNTUBEDE_8o&B-H‡][? AC@DCB cIœJ ›¥BEDCBEM'A%cB2ZY][@'^LACVj'X@ VWJLMnc'œJ ›8BEDCBEM'AVC@j VCHEDWJL? ACVERñ~YM'AC@IJLAWJLT BK^LXU_ AClBscIœJ ›8BNDCBEM'A&VC@ jVCHEDWJL? ACV&HE= DCDCBEVC?b= Mc%AC=-c'œJ ›8BEDCBEM'A&>PB"][VC@ DCBE>BEM'ACV =UDc BKZY][@'^LACV="Z7c'œJ ›8BEDCBEM'A-VCACDCBNMn AClVER 

5



5



 

2R$S T /

 &U8ë î °'±¦©%¶Kµ8¨ 4ö­ÁÅ¥´±ô ­k°'ô±a© å /-¨"­¯¶2¨[¬0°'±a© = ¬2­¯ªE«Eº8´ »¯´¦¾7ë 'ì -‚ëEîCÄ äC±¶Kµ8¨ ,7´¶2¶2¨[¬2Î .s°I¬N°©b´UÅ ¾'¶2µ8¨0°Iª2ªKº8ó8¶K­¯´ ±%­¯ª¶Kµa°'¶° »k°'¬2½¨ ±bº8"¬´I¸ ³a¨"´³8»¯¨®8º8ζ2­k« Æ ¨[¶2ª¶2´°%»¯´ ¶K¶2¨"¬Kέ¯±²-µ8­k«Kµ¶Kµ8¨"¬2¨ ­¯ª´ ±‚»Î´±8¨²-­¯±8±8¨[¬ ĎÛ-µ8¨ªK¶N°'±¦©8°'¬E©y°'ªKª2º8ÿ³8¶2­¯´ ±ñ­¯ª¶2µa°I¶ ¸Y´¬·°I±bÎã³a°I¬2¶2­k«Eº‚»¡°I¬³a¨[¬2ª2´± s ²¨²:´º8»k©ã»¯­ Æ ¨¿¶2´ã«E´±a«E»¯ºa©b¨ ®bÎ÷©b¨‡¸¹°'º8»¯¶%¶Kµa°'¶ s ©b´b¨"ª±8´¶P²-­¯±¶Kµ8¨»¯´ ¶2¶K¨"¬2ÎbÄ¿Û-µ8­¯ª ¾4µ8´'²¼ ¨ Þ ¨"¬ ¾Iª2¨"¨"ÿª&¶2´P«‡´ ±b¶2¬E° ©b­k«E¶&¶2µ‚¨¸¹°«E¶&¶2µa°I¶ ªK´ è[´ ±8¨Ãº‚ª2¶7²-­¯± ­¯¶ ÄwäC±÷´¬N©b¨[¬%¶2´©b¨"ªE«E¬2­¯®¦¨¶Kµ8¨³8¬2´®8»¯¨"Ã$­¯±Ï´ º8¬ ¸Y¬E°'ÿ¨"²:´¬ Æ ¾ ²¨·°Iª2ªKº8è¸W´ ¬ª2­¯Ã³‚»­k«E­¯¶CζKµa°'¶¶2µ‚¨·©b´Ã)°I­±«E´±8ª2­¯ªK¶2ª%´±8»¯Î ´I¸0»´¶2¶K¨"¬2ζK­¡« Æ ¨"¶µ8´ »k©b¨[¬2ª Ä C0º‚¬ Æ ±‚´'²-»¨U©b½ ¨¿®a°'ªK¨ ÇÈr²-­¯»¯» «E´±8ª2­¯ªK¶-´'¸¶2µ8¨wª2­¯±8½ »¯¨ª2¶E°'¶K¨"è"±b)¶ (* ,+ z Cü aý üW­¹Ä ¨ į¾b¶Kµ8¨"¬2¨ ­¯ª)°ñº8±‚­¡Íº8¨Ï²-­¯±8±8¨"¬Eý"ċäW¸·²¨ Æ ±8´'² ¶Kµ8¨Ïª2­¯ç"¨´'¸¶2µ8¨»¯´ ¶Ê¼ ¶K¨"¬2Îb¾%ªE°Uf Î ¾´º8¬©b¨"½ ¬K¨"¨ã´I¸®a¨[»­¯¨E¸¶Kµa°'¶!¶2µ8¨ñ­±¦©b­ Þ ­k©bº¦°'» ©b¨[±8´ ¶K¨ ©ñ®šÎr°³¦°'¬2¶K­k«Eº8»k°'¬«E´ ±‚ª2¶N°I±b¶ s ²-­¯±8ª¶Kµ8¨»¯´ ¶2¶K¨"¬2Îñ­¯ª .&Q¬  t -ü + Zz 2ü ý ÁÇÈ7ý  Ä C º8¬©b¨"½ ¬K¨"¨Ï´'¸%®a¨[»­¯¨E¸¶2µa°I¶ ? 1 Ô AÑE 1Ô aÑܲ-­¯±8ªs ²-­¯»»´ ® Þ ­¯´ º8ªK»¯Î®a¨ë ÄrÛ-µ‚¨"ª2¨÷°I±8ª2²¨"¬Kª)°'¬K¨ «E»¯¨ °I¬2»¯Î¶Kµ8¨Ïø2¬2­¯½µš¶Kû´ ±8¨[ª0½ ­ Þ ¨"±´ º‚¬0­¯±b¸Y´¬2Ã)°I¶2­¯´ ±4Ä&äW¸N¾¦µ8´'²¼ ¨ Þ ¨"¬ ¾²¨0©b´±8´ ¶ Æ ±8´'²ñ¶2µ8¨-¨‡Å‚°«E¶±bº8"¬&´'¸7¶2­k« Æ ¨"¶Qµ8´ »k©b¨"¬Kª ¾ ®8º‚¶sµ¦° Þ ¨-´ ±‚»Îw¶2µ8¨0ͺa°I»­¯¶E°'¶2­ Þ ¨­¯±b¸Y´ ¬KÃ)°I¶2­¯´ ±¶2µ¦°'¶¶Kµ8­¯ª±bº8ü ®¦¨"¬0­¯ª¿ø2»k°'¬K½ ¨"û¦¾a¶Kµ8¨"±´º8¬P©¥¨"½ ¬K¨"¨´'¸®¦¨"»¯­¨‡¸:¶2µa°I¶ s ²-­¯±8ª ¶2µ8¨ »¯´ ¶K¶2¨"¬Kέ¯ª .&¬ * -ü + z 2ü s ý ÁÇ:È7ý 킾 °'»¯¶2µ‚´ º8½µ ¾7°'ª%®¦¨E¸Y´¬2¨ ¾ .&¬  ü ( ,+ z Kü ¦ý ÁÇÈÂý ë ÄÛ-µbº8ªU¾&²:¨«‡´ ±a«E»¯ºa©¥¨®šÎ©b¨E¼ ¸¹°Iº8* »¯¶:¶Kµa°'¶ s ©b´b¨"ª-±‚´ ¶-²-­¯±¶2µ8¨%»¯´¶2¶2¨[¬2θW´ ¬-°'±bÎ)«E´±8ª2¶E°'±b¶ s ¾ °I»¶Kµ8´ º‚½ µ²¨PªK¶2­¯»¯»7®a¨[»­¯¨ Þ ¨²-­¶Kµ¸Yº‚»» «‡´ ± É ©¥¨"±a«E¨%¶Kµa°'¶-ªK´ ÿ¨E¼ ´±8¨%©b´b¨"ª-²-­¯± Ä õ Ã)° BE´¬G©¥ƒ­ +)«‡º8»¯¶Cβ-­¶Kµº8ª2­¯±8½©b¨‡¸¹°'º8»¯¶Kª0­¯ª-¶2µa°I¶-¶2µ8¨[ÎÜ©¥´ ±8´¶:°'»¯²-°UÎbªs³‚¬2´ Þ ­k©b¨-ª2,º +)«‡­¨[±š¶­¯±b¸Y´¬2Ã)°I¶2­¯´ ±w¶2´%¬K¨ ° «Kµ)°w«E´ ±b¼ «E»¯º8ªK­¯´ ± Ä7õŽ«E»k°'ª2ªK­k«"°'»8¨‡Å‚°Ió8»¯¨­¯ª&¶2µ‚¨-³8¬2´®8»¯¨"à ´I¸«E´±búa­k«E¶K­±‚½ ©b¨‡¸¹°'º8»¯¶Kª ¾a°IªP©b¨[ô ±‚ª2¶2¬E°'¶K¨ ©®bζ2µ8¨%²¨"»¯»Á¼ Æ ±8´'²-/ ± .Ø I+Ô 10Ø é A·+Ô aÐ'Ä 2bº‚³8³a´ª2¨%²¨µa° Þ ¨¶Kµ8¨¸Y´»»¯´'²-­¯±8½­¯±b¸Y´¬2Ã)°I¶2­¯´ ± 6 + 32 45 2ü aý 6 #^z Wü ¦ý ë 32 45 2ü aý 87 z9 : ;2 8ü aý í 6 #^z W=ü < > ý ?7Tz : ;2 a@ü < > 'ý Û&´ãªK­¯Ã³8»¯­Á¸YÎãð'¶K¶2¨"¬Kª ¾ ²:¨Ï¸Yº‚¬2¶2µ‚¨"¬÷°'ªKª2º8ÿ¨÷¶Kµa°'¶¶Kµ8¨"¬2¨ñ­¯ª °Ïº8±‚­¡Íº8¨Ï­¯±a©b­ Þ ­k©bºa°'»-²-µ‚´ã­¯ª®¦´ ¶Kµ B ° A ºa° Æ ¨"¬°'±a©y° /-¨E¼ ³8º‚®8»¯­¡«[°'± Ä裡«"°'³8¶Kº8¬2¨ñ¶2µ8­¯ª®bÎy¶E° Æ ­¯±8½ Ç:È ¶2´y«E´ ±‚ª2­¯ª2¶ ´I¸÷¶2µ8¨ °'®¦´ Þ ¨Ž«E´ ± B‡º8±a«E¶K­´± ¶K´ ½¨"¶2µ8¨[¬y²-­¯¶2µ ¶Kµ8¨Ž¸Y´ ¬Kú8»k° (* •ü 6 #mz Yü aý C7Tz : ;2 ‚ü ¦ý2ý"Ä ,¨"¶ Ú ®¦¨¶Kµ8¨¿¸Y´ ¬Kú8»k° 32 4 K=ü < > Iý[Ä §yµa°'¶Qª2µ8´º8»k©®a¨-´º8¬:©b¨"½¬2¨"¨´I¸Â®¦¨"»¯­¯¨E¸ ­¯± 32 4 E@ü < > 'ý"á ¶Kµa°'¶­¯ªU¾b²-µa°'¶­¯ª .&¬ * ü Ú ÁÇ:È ý :äC¶Q¶2º8¬K±8ª-´ º8¶¶2µ¦°'¶¶2µ8­¯ª»­¯Ãþ¼ ­¯¶2­¯±8½-³‚¬2´ ®¦°'®8­¯»¯­¯¶CΕ©¥´š¨[ªs±‚´ ¶&¨EÅ8­¯ª2¶ Ä4Û-µ8­¯ª&­¯ªs®¦¨ «"°Iº8ª2¨-¶Kµ8¨-»¯­¯Ã­¯¶ ­¯ª aÔ+ 2ÓNÔÖ %?Eè Dy­¯¶2ª Þ °'»¯º8¨%©b¨"³¦¨"±a©¥ª%´ ±¶2µ‚¨²-°Uέ¯±²-µ8­k«Kµ ½´š¨[ª¶K´ í 6­Á¸ ¾ªK´÷¶Kµa°'¶¶2µ8¨røE°'»¯Ã´ª2¶%°'»¯»¯û­¯±¶2µ8¨ É ¬Kª2¶«E´ ± BEº8±a«E¶w­FªwÃE ºa«Kµ «E»¯´ª2¨"¬¶2´ŽøN°I»»¯û¿¶2µa°I±¶2µ8¨ñøN°'»¯Ã¿´ ª2¶ ±8´±8¨"û­¯±¶2µ8¨ªK¨ «E´±a©ã«E´± BEº8±¦«E¶­¯ª«‡»´ª2¨"¬¶2´røK±8´ ±8¨[ûa¾4¶2µ8¨"± ¶Kµ8¨»¯­¯Ã­¯¶-­¯ªë Ä!äC±b¶2º8­¯¶2­ Þ ¨"»¯Îš¾7­¯±¶Kµ8­¯ª«"°'ªK¨¶2µ8¨¿­±¥¸Y´ ¬KÃ)°'¶K­¯´ ± ­¯±¶2µ8¨ É ¬2ªK¶0«E´ ± B‡º8±a«E¶­¯ªÃ´¬2¨³8¬2¨ «‡­ªK¨%°'±a©µ8¨[±a«E¨ª2µ8´º8»k©®a¨ ¶E° Æ ¨[±Ã´¬2¨ª2¨"¬K­¯´ º8ªK»Î¿¶2µa°I±¶2µ8¨­¯±b¸Y´¬2ð'¶2­¯´±%­¯±¶2µ8¨ª2¨U«E´ ±a© «E´± BEº8±¦«E¶ Ä 2bÎbÃè[¶2¬2­k«"°I»¯»Î¾'­Á¸ HG ¾8¶2µ‚¨"±¶2µ‚¨P»¯­¯Ã­¯¶­¯ª0í‚Ä C ±¶2µ8¨´¶2µ8¨"¬ µa°'±¦©7¾b­Á¸ ¾b¶2µ8¨"±!¶2µ8¨»¯­¯Ã­¯¶­¯ªPë I'&‚Ä Û-µ8¨:±‚´ ±8¨EÅ8­¯ª2¶K¨"±a«E¨ ´'¸a¶Kµ8­¯ª »¯­¯Ã­¯¶¦­ª&±8´¶&ª2­¯Ã³8»¯Î0° ¶2¨U«2µ‚±8­k«"°'» °I¬2¶2­Á¸¹°«E¶´'¸s´º8¬0°'³‚³8¬2´b° «Kµ Ä /0°I¶2µ8¨[¬ ¾b¶2µ‚¨¸¹° «‡¶:¶Kµa°'¶-¶Kµ8¨%»¯­¯Ã­¯¶ ¸¹°I­¯»ª-¶K´¨EÅ8­ªK¶%³8¬K´ Þ ­k©b¨[ªP­¯Ã¿³a´¬2¶N°I±b¶-­±¥¸Y´ ¬KÃ)°'¶K­¯´ ±)°I®a´º8¶¶2µ8¨ 7

XA

XA





] U

^ /





] U

^ /



)]

V

)]

V 

QD

=S U ]=#

MU )!$# ,[

/

 

=S U ]=#

;



[

D

U

O

X[

!.# XN

N

;

P

]

] U

^

)V /

M[

S U ]=#



MU )!$#

] U



"

^

U

!.#

;

?

cb

c

;

c

O

c

c

;

A

c

O

;

c O

º8±a©¥¨"¬2»¯Îb­¯±8½÷­¯±a«‡´ 󂻝¨[¶2¨"±8¨[ª2ª´'¸0´ º‚¬ Æ ±‚´'²-»¨U©b½ ¨ ÄÏäC¶ª2µ8´'²-ª ¶2µ¦°'¶&­¯±%¶2µ8¨³8¬K¨"ª2¨"±¦«E¨0´I¸«E´±búa­k«E¶K­±‚½P©b¨E¸C°'º8»¯¶2ªU¾'²¨:´I¸Y¶2¨"±w±8¨"¨ © ô¬2¨¿­±¥¸Y´ ¬KÃ)°'¶K­¯´ ±°'®¦´ º8¶¿¶2µ8¨³8¬K¨ «E­¯ª2¨Ï±a°'¶Kº8¬2¨!´'¸øN°I»Ã¿´ ªK¶ °'»¯»¯û°'±a©ŽøE°'»¯Ã´ª2¶ ±8´ ±8¨[û¶2´¬K¨"ª2´» Þ ¨¶Kµ8¨)«‡´ ±búa­k«E¶Uá´º8¬°'³¥¼ ³8¬K´š° «Kµ³8­¯±8³¦´ ­¯±b¶2ª&¶Kµ8¨-¶CÎb³a¨-´I¸Â­¯±b¸Y´¬2ð'¶2­¯´±0¶2µ¦°'¶²´ º8»k©wª2ºb¸Ù¼ É «E¨¿¶2´¬K¨ ° «Kµã°©¥¨ «E­¯ª2­¯´ ±4Ä 4ö´ ¶2¨¿¶2µa°I¶%´ º‚¬¸Y´ ¬KÃ)°I»­¯ªKà ©b´b¨"ª ½ ­ Þ ¨º8ª°'±¨‡Å¥³‚»­k«E­¯¶%²-°UÎ϶2´ªK¶N°'¶K¨¶Kµa°'¶%¶Kµ8¨)©¥¨E¸¹°'º‚»¶Kªµ¦° Þ ¨ ¨ ͺa°I»8ª2¶K¬2¨"±8½¶2µ ¾­Á¸a²¨:²-­¯ª2µ4á'±a°'ÿ¨"»¯Îš¾[²:¨-«"°I±º8ªK¨ ¶2´P«[°'³b¼ ¶2º‚¬2¨%®¦´ ¶Kµ÷©b¨E¸¹°Iº8»¯¶-ª2¶E°'¶2¨[è"±b¶2ªU¾8¬E°'¶2µ‚¨"¬¶2µa°I±)º‚ª2­¯±8½ °I±a© ÄÏäC±ñ¶2µ8­¯ª«"°'ªK¨ ¾²:¨¿½ ¨"¶¶2µ8¨°'±8ªK²:¨[¬ë I'&‚¾°'ª¨EÅ8³a¨U«E¶2¨ ©Ä -´'²¨ Þ ¨"¬ ¾4­¯¶P­¯ª%±‚´ ¶%°'»¯²-°UΚª%°I³8³8¬2´³8¬2­k°I¶2¨¶2´«E´±a«E»¯ºa©b¨¶Kµa°'¶ ¶2µ‚¨·©b¨‡¸¹°'º8»¯¶KªPµ¦° Þ ¨%¨ ͺa°I»&ª2¶2¬K¨"±8½¶2µ Äw§¨·«"°I±¨ °Iª2­¯»¯Î)¨‡Å¥¶K¨"±a© ´ º‚¬¸Y´¬2Ã)°I»¯­ªKÃ$¶K´£°'»¯»¯´'² ¶Kµ8¨º8ªK¨"¬¶2´³8¬K­´¬2­¯¶2­¯ç"¨Ï©b¨E¸¹°Iº8»¯¶2ª ¾ ®bÎ)©b¨ É ±8­¯±8½¶2µ‚¨%¬2¨"»k°I¶2­ Þ ¨ª2­¯ç"¨´I¸˜¶Kµ8¨«E´Ã³¦´ ±8¨[±š¶Kª ´'¸¶2µ‚¨ ¶2´»¯¨"¬N°I±a«E¨ Þ ¨ «E¶2´¬ Ä äW¸Â²¨µa° Þ ¨-ÿ´ ¬2¨Í º¦°'±b¶2­¯¶N°I¶2­ Þ ¨­¯±b¸Y´¬2Ã)°I¶2­¯´ ±4¾E¶2µ8¨"±¿²:¨-«"°I± º8ªK¨P­¯¶UÄsà‚´ ¬¨‡Å‚°Ió8»¯¨ ¾I²:¨ Ã)°UÎ%µa° Þ ¨0­¯±b¸Y´¬2ð'¶2­¯´±%¬2¨"½b°'¬E©b­¯±8½ ¶2µ‚¨)³‚¬2¨ «E­¯ªK¨)³‚¬2´ ³¦´ ¬K¶2­¯´ ±ñ´'¸ A0º¦° Æ ¨[¬2ªüY¬K¨"ª2³4ĝ¾ /ö¨"³8º8®‚»­k«"°I±8ªNý ²-µ8´°I¬2¨³a° «‡­ É ª2¶2ªUÄ:à‚´ ¬¨EÅa°'ÿ³8»¯¨ ¾š°Iª2ªKº8è¶2µ¦°'¶%ÇÈ ­ª 32 45 Eü ¦ý 6 #mz Yü aý 0 32 45 Eü ¦ý 87Tz : ;2 ‚ü ¦ý  6 #^z C@ü < > ý /7Tz : ;2 8@ü < > ý (* ü 6 #^z Wü ¦ý ?7Tz : ;2 aü aýKý ²-µ8¨"¬K ¨ $Z0