ǧÒÚÌåÓý

ÕÜÉçÐÂÎÅ
ÕÜÉçÐÂÎÅ
µÚ¾Å½ì¡°Âß¼­¡¢ÀíÐÔÓ뻥¶¯¡±¹ú¼Ê»áÒéÔÚǧÒÚÌåÓý³É¹¦¾Ù°ì

10ÔÂ26ÈÕ¡ª29ÈÕ£¬µÚ¾Å½ì¡°Âß¼­¡¢ÀíÐÔÓ뻥¶¯¡±¹ú¼Ê»áÒ飨The Ninth International Conference on Logic, Rationality and Interaction£¬¼ò³Æ¡°LORI-IX¡±£©ÔÚǧÒÚÌåÓýÖÐÐÄÐ£ÇøÖªÐÂÂ¥A115±¨¸æÌü¾ÙÐУ¬»áÒé²ÉÈ¡ÏßÉÏÏßÏÂÏà½áºÏµÄ·½Ê½½øÐС£À´×ÔÖйú¡¢ÃÀ¹ú¡¢ºÉÀ¼¡¢·¨¹ú¡¢Å²Íþ¡¢µ¤Âó¡¢Â¬É­±¤¡¢ÈÕ±¾¡¢Ó¡¶È¡¢Ô½ÄÏ¡¢Ä«Î÷¸çµÈ10¶à¸ö¹ú¼ÒµÄ60ÓàÃûר¼ÒѧÕ߯ë¾ÛÒ»Ì㬹²Í¬Ì½ÌÖÂß¼­Ñ§¿çѧ¿ÆÁìÓòµÄ×îнøÕ¹ºÍÈȵãÎÊÌâ¡£

ǧÒÚÌåÓý³Ð°ìÁ˱¾´Î»áÒ飬²¢ÓÉǧÒÚÌåÓý¸ÅÄîÓëÍÆÀíÑо¿ËùÓëɽ¶«Ê¡Âß¼­Ñ§»áЭ°ì£¬Ç§ÒÚÌåÓýÎÄÃ÷»¥¼øÊÓÓòÖеĺºÓïÕÜѧ´´ÐÂÍŶÓÌØ±ð×ÊÖú¡£»áÒéµÄ¿ªÄ»Ê½ÓÉLORI-IX±¾µØ×éί»áÖ÷ϯÁº·É¸±½ÌÊÚÖ÷³Ö£¬Ç§ÒÚÌåÓýÌØÆ¸½ÌÊÚÍõÎÄ·½¡¢LORI³£ÎñίԱ»áÖ÷ϯ¡¢Ç廪´óѧ½ðÔÀÁؽ²×ù½ÌÊÚ¡¢Ë¹Ì¹¸£´óѧ½ÌÊÚ·¶±ûÉêºÍLORI-IX³ÌÐòίԱ»áÖ÷ϯ¡¢ºÉÀ¼¿ª·Å´óѧ¡¢ÎÚµÂÀÕÖ§´óѧNatasha Alechina½ÌÊÚ·Ö±ðÖ¿ªÄ»´Ê¡£×÷ΪÒßÇéºóÏßϾٰìµÄµÚÒ»´ÎLORI»áÒ飬ÍõÎÄ·½½ÌÊÚÊ×ÏÈ´ú±í±¾µØ×éί»á¶Ôº£ÄÚÍâÔ¶µÀ¶øÀ´µÄר¼ÒѧÕß±íʾÈÈÁÒ»¶Ó­£¬²¢½éÉÜÁËǧÒÚÌåÓýÂß¼­Ñ§ÍŶӵĻù±¾Çé¿ö£¬ÌرðÇ¿µ÷ÁËǧÒÚÌåÓýÔÚ½¨Á¢¹ú¼Ê»¯ºÏ×÷¡¢¿çѧ¿ÆÑо¿·½ÃæËù×÷³öµÄ»ý¼«Å¬Á¦¡£·¶±ûÉê½ÌÊÚÔÚÖ´ÇÖÐ×£ºØ±¾´Î»áÒéÔÚǧÒÚÌåÓý¾ÙÐУ¬Ëû»Ø¹ËÁËLORI»áÒéµÄ·¢Õ¹ÀúÊ·¼°ÆäÔÚ¹ú¼ÊѧÊõÁìÓò²»¶ÏÔö³¤µÄÓ°ÏìÁ¦£¬²¢Ì¸µ½±¾´Î»áÒéµÄÒ»´óÌØÉ«ÊÇÖÚ¶àÇàÄêÂß¼­Ñ§ÕߵIJÎÓ룬ÕâҲ˵Ã÷ÁËLORI»áÒé¶ÔÇàÄêÒ»´úѧÕߵĺÅÕÙÁ¦¡£Natasha Alechina½ÌÊÚÔÚÖ´ÇÖнéÉÜÁ˱¾½ì»áÒé³ÌÐòίԱ»áÉó¸å¡¢½ÓÊÜÂÛÎÄ·½ÃæµÄÖ÷Òª¹¤×÷£¬ÒÔ¼°ÌØÑû±¨¸æºÍ×î¼ÑѧÉúÂÛÎĵįÀÑ¡Çé¿ö£¬ËýÌØ±ð³ÆÔÞÁ˱¾½ì»áÒéËù½ÓÊÜÂÛÎĵÄѧÊõË®×¼£¬²¢¶Ô±¾µØ×éί»áµÄ×éÖ¯¹¤×÷±í´ïÁ˸м¤Ö®Çé¡£

±¾´Î»áÒé¹²ÓÐ29¸öѧÊõ±¨¸æ£¬ÆäÖÐÑûÇëÁË6λ¹úÄÚÍâÂß¼­Ñ§Õß×ö´ó»áÌØÑû±¨¸æ£¬ËýÃÇ·Ö±ðÊǵ¤Âó¼¼Êõ´óѧThomas Bolander½ÌÊÚ¡¢Ó¡¶Èͳ¼ÆÑ§Ñо¿ËùSujata Ghosh¡¢µ¤ÂóÂÞ˹»ùÀÕ´óѧPatrick Blackburn½ÌÊÚ¡¢·¨¹úͼ¬×È´óѧPhilippe Balbiani½ÌÊÚ¡¢ÖÐɽ´óѧÂíÃ÷»Ô½ÌÊÚºÍǧÒÚÌåÓýËÕÇì»Ô½ÌÊÚ¡£ÌØÑû±¨¸æÄÚÈݺ­¸ÇÁËģ̬Âß¼­¡¢ÕÜѧÂß¼­¡¢·´ÊÂÊµÍÆÀí¡¢²©ÞÄÂÛ¡¢Ö¤Ã÷ÂÛ¡¢¼ÆËã»ú¡¢È˹¤ÖÇÄܵÈѧÊõÇ°ÑØÂÛÌâ¡£´ËÍ⣬»áÒ黹ÉèÁ¢Á˵ڶþ½ì¡°Ì츨×î¼ÑѧÉúÂÛÎĽ±£¬¸Ã½±ÏîÓɱ±¾©´óѧÂß¼­Ñ§²©Ê¿Éúºé²©Ìá½»µÄ¡°Knowing the value of a predicate¡±»ñµÃ¡£

±¾´Î»áÒéÂÛÎ¶Logic, Rationality, and Interaction¡ª9th International Workshop, LORI 2023 Jinan, China, October 26-29, 2023 Proceedings¡·Óɹú¼ÊÖøÃû³ö°æÉçSpringer³ö°æ£¬ÊÕ¼ÔÚLecture Notes in Computer ScienceϵÁÐÖУ¬ÂÛÎļ¯ÓÉǧÒÚÌåÓýÁº·ÉÓëNatasha Alechina, Andreas Herzig¹²Í¬Ö÷±à£¬ÕâÊÇǧÒÚÌåÓýÔÚ¹ú¼Ê½»Á÷ºÏ×÷·½ÃæÈ¡µÃµÄÒ»ÏîÓÅÐã³É¹û¡£

LORIÊÇÂß¼­¡¢ÀíÐÔÓ뻥¶¯µÄ¼ò³Æ£¬Óɶ«ÑǸ÷¸öÖøÃû¸ßУÂÖÁ÷³Ð°ì£¬Ã¿Á½ÄêÒ»´Î£¬Ö¼ÔÚÍŽáÂß¼­ÁìÓòÄÚµÄר¼ÒѧÕߣ¬¹²Í¬Íƽø¶ÔÈËÀàÀíÐԺͻ¥¶¯µÄÀí½â¡£LORIÇ¿µ÷¿çѧ¿ÆÍƽøÂß¼­Ñ§Ñо¿µÄÖØÒªÐÔ£¬Ö§³Ö½¨Á¢Ò»¸öÂß¼­Ñ§¿çѧ¿ÆÑо¿µÄ¶«ÑÇѧÊõ¹²Í¬Ìå¡£±¾´Î»áÒé¶ÔÓÚÍÆ¶¯ÕÜѧ¡¢Âß¼­Ñ§¡¢ÈÏÖª¿ÆÑ§µÄ·¢Õ¹¾ßÓÐÌØÊâµÄÒâÒå¡£ÔÚµ±½ñÕâ¸ö¸´ÔÓ¶à±äµÄʱ´ú£¬Âß¼­ÓëÀíÐÔ˼άµÄÖØÒªÐÔÓú·¢Í¹ÏÔ¡£ÎÒÃÇÐèÒª²»¶ÏÉÑо¿ÕâЩÁìÓò£¬ÒÔÓ¦¶Ô²»¶ÏÑݱäµÄÌôÕ½£¬Ñ°ÕÒ½â¾ö·½°¸£¬Íƶ¯ÖªÊ¶µÄ½ø²½¡£

µÚ¾Å½ì¡°Âß¼­¡¢ÀíÐÔÓ뻥¶¯¡±¹ú¼Ê»áÒéÔÚǧÒÚÌåÓýµÄ³É¹¦¾Ù°ì£¬½øÒ»²½ÌáÉýÁËǧÒÚÌåÓýÔÚ¹ú¼ÊÂß¼­Ñ§ÁìÓòµÄµØÎ»ºÍÓ°ÏìÁ¦¡£Í¬Ê±£¬Ò²ÎªÈ«ÇòÂß¼­Ñ§Ñо¿ÕßÌṩÁËÒ»¸ö½»Á÷ÓëºÏ×÷µÄƽ̨£¬Íƶ¯Á˸ÃÁìÓòµÄ·¢Õ¹ºÍ½ø²½¡£Õâ´Î»áÒéµÄ³É¹¦¾Ù°ì³ä·Ö±íÃ÷ÁËǧÒÚÌåÓýÔÚ¹ú¼Ê»¯ºÏ×÷ºÍ¿çѧ¿ÆÑо¿·½ÃæµÄʵÁ¦ºÍDZÁ¦¡£

ÎÄ£ºÈÙÁ¢Îä¡¢¼Ö±´ÄÝ

ͼ£º³ÂÕÜ

ÉóºË£ºÈÙÁ¢Îä



ǧÒÚÌåÓý¡¾¿Æ¼¼¡¿ÓÐÏÞ¹«Ë¾