尋媶暘栰

悢棟榑棟妛丄榑棟僾儘僌儔儈儞僌

尋媶撪梕

婰崋榑棟妛偺拞偺堦暘栰丄榑棟僾儘僌儔儈儞僌傪尋媶暘栰偲偟偰偄傑偡丅尰嵼偼丄榑棟僾儘僌儔儈儞僌偵傛傞崌棟揑僄乕僕僃儞僩偺 幚尰傪僥乕儅偲偟偰尋媶傪峴偭偰偄傑偡丅

婰崋榑棟妛偼丄変乆偑峴偆悇榑偺夁掱傪婰崋壔偟偰懆偊傞傕偺偱偡丅椺偊偽丄悇榑偺嵺偵梡偄傞婎杮揑側悇榑婯懃偲偟偰丄 乬p乭偲乬p側傜偽q乭偐傜乬q乭傪摫偔乽嶰抜榑朄乿偑偁傝傑偡丅偙傟偼丄乬p側傜偽q乭傪乽p仺q乿偲昞偡偙偲偵偡傞偲丄 2偮偺婰崋楍乽p乿偲乽p仺q乿偐傜乽q乿傪摫偔憖嶌偲懆偊傞偙偲偑偱偒傑偡丅

婰崋壔偡傞偙偲偺棙揰偺1偮偼丄婰崋楍偵懳偡傞憖嶌偼寁嶼婡偵峴傢偣傗偡偄偲偄偆揰偱偡丅幚嵺丄偙偺傛偆偵偟偰丄 寁嶼婡偵帺摦悇榑傪峴傢偣傞偙偲偑偱偒傑偡丅

傑偨丄乬x偺y忔偼z偱偁傞乭傪乽exp(x,y,z)乿偲昞偟丄2偮偺婰崋楍
exp(x,0,1) 乧(A)
exp(x,y,z)仺exp(x,y+1,x亊z) 乧(B)
傪寁嶼婡偵梌偊偰偍偔偲丄寁嶼婡偼(A)偺x偵3傪戙擖偟偨exp(3,0,1)偲(B)偐傜丄忋婰偺嶰抜榑朄偱exp(3,1,3)傪摫偒丄 偝傜偵偦傟偲(B)偐傜摨條偵exp(3,2,9)傪摫偒乧偲偄偆傛偆偵丄3偺椵忔傪師乆寁嶼偱偒傑偡丅偙偺傛偆偵丄 寁嶼偺夁掱傪悇榑偱幚尰偱偒傞偲偄偆偺偑乽榑棟僾儘僌儔儈儞僌乿偺婎杮揑側峫偊曽偱偡丅

尰嵼偺巹偼丄榑棟僾儘僌儔儈儞僌偺峫偊曽傪梡偄偰丄廃埻偺忬嫷傪擣幆偟側偑傜丄偦偺帪乆偵墳偠偰帺傜偺栚昗傪愝掕偟偰摦嶌偡傞丄 恖娫偺戙棟僄乕僕僃儞僩偺僜僼僩僂僃傾揑幚尰偵岦偗偨尋媶傪峴偭偰偄傑偡丅偙偺偨傔偵偼丄僄乕僕僃儞僩(偁傞偄偼恖娫)偺 怱揑忬懺(栚昗丒怣擮側偳)丄偁傞偄偼偦偺帪娫揑曄壔傪婰崋偱昞尰偱偒傞傛偆偵丄榑棟妛傪奼挘偟偰偍偔偲岲搒崌偱偡丅

椺偊偽乬偁傞偙偲偑傜(p偲偡傞)偺払惉傪栚昗偲偡傞乭傪乽Goal(p)乿偲昞偟丄乬p偑師偺帪崗(椺偊偽1暘屻)偵惉傝棫偮乭傪 乽Nexttime(p)乿偲昞偡偙偲偵偡傞偲丄乬師偺帪崗偵p傪払惉偡傞偙偲偑栚昗側傜偽丄崱q傪幚峴偡傞乭偼 乽Goal(Nexttime(p))仺q乿偲昞偣傑偡丅

偙偺傛偆偵奼挘偡傞偲丄悇榑婯懃偲偟偰嶰抜榑朄偩偗偱偼晄廫暘偱偡丅偳偺傛偆側悇榑婯懃傪壛偊傟偽丄怱揑忬懺傗帪娫傪 娷傓悇榑偑揑妋偵峴偊傞偺偐傪丄尰嵼峫偊偰偄傑偡丅

傑偨丄婡夿揑側悇榑偩偗偱偼丄恖娫偺戙棟傪傗傜偣傞偵偼偳偆偟偰傕晄廫暘側柺偑弌偰偔傞偺偱丄妛廗側偳偺婡峔傪巊偭偰 曗偆偙偲傕丄偙傟偐傜巒傔偰偄偙偆偲峫偊偰偄傑偡丅

偦偺懠

僆乕僾儞僜乕僗丒僜僼僩僂僃傾偲偼丄僜乕僗僐乕僪(僾儘僌儔儈儞僌尵岅偱婰弎偝傟偨丄恖娫偵偲偭偰壜撉側僾儘僌儔儉)傪岞奐偟丄 扤偱傕奐敪(奼挘傗晄嬶崌廋惓側偳)偵嶲壛偱偒傞傛偆偵偟偨僜僼僩僂僃傾偺偙偲偱丄峀偔巊傢傟偰偄傞傕偺偑偄傠偄傠偁傝傑偡丅 巹傕偦傟傜偺僜僼僩偺偄偔偮偐偵懳偡傞廋惓嵎暘(僷僢僠)傪岞奐偟偨傝丄帺嶌偺僜僼僩偺僜乕僗傪岞奐偟偰丄 偦偆偟偨妶摦偵旝椡側偑傜嫤椡偟偰偄傑偡丅帺嶌偺傕偺偼丄忣曬壢妛壢偺FTP僒僀僩偱岞奐拞(壓婰嶲徠)丅 僷僢僠傪弌偟偨傕偺偵偼丄GNU awk, SWI-Prolog, plain2, kemacs, mnews側偳丄UNIX偱(傕偺偵傛偭偰偼Windows偱傕) 峀偔巊傢傟偰偄傞傕偺偑偄傠偄傠偁傝傑偡丅

庡側榑暥偲挊彂

1. 怴弌丒崅揷丒摗揷,乽奼挘BDI榑棟TOMATO傪梡偄偨妋棪揑忬懺慗堏偺儌僨儖壔偲偦偺墳梡乿,忣曬張棟妛夛榑暥帍, 2011 (to appear)
2. 怴弌丒崅揷丒摗揷,乽奼挘BDI榑棟TOMATOes偵傛傞嫤挷峴堊偺儌僨儖壔偲墳梡乿,恖岺抦擻妛夛榑暥帍, Vol.26, No.1, pp. 13--24, 2011
3. 崅揷丒怴弌丒摗揷,乽奼挘BDI榑棟TOMATOes傪梡偄偨嫮壔妛廗偺儌僨儖壔偵偮偄偰乿, 恖岺抦擻妛夛榑暥帍, Vol.26, No.1, pp. 156--165, 2011
4. 怴弌,乽帺棩僄乕僕僃儞僩偺榑棟儌僨儖乿(夝愢婰帠),恖岺抦擻妛夛帍 Vol.25, No.3, pp. 419--428, 2010
5. NIDE,N., S.Takata, M.Fujita, `BDI logic with probabilistic transition and fixed-point operator',Proc. of CLIMA '09, pp. 71--86, 2009
6. 烰丒崅揷丒怴弌,乽BDI傾乕僉僥僋僠儍偵偍偗傞僐儈僢僩儊儞僩愴棯傪幚尰偡傞偨傔偺宍幃揑専徹庤懕偒乿,揹巕忣曬捠怣妛夛榑暥帍, Vol. J89-D No.6, pp. 1213--1224, 2006
7. 怴弌丒崅揷,乽堄恾偵娭偡傞榑棟懱宯乿(夝愢婰帠),恖岺抦擻妛夛帍 Vol.20, No.4, pp. 425--432, 2005
8. 崅揷丒怴弌,乽堄恾偵婎偯偔僄乕僕僃儞僩傾乕僉僥僋僠儍乿(夝愢婰帠),恖岺抦擻妛夛帍 Vol.20, No.4, pp. 433--440, 2005
9. 怴弌丒崅揷丒烰,乽僄乕僕僃儞僩偺憡屳怣擮傪埖偆奼挘BDI logic偺墘銏懱宯乿,忣曬張棟妛夛榑暥帍 Vol.46, No. SIG2(TOM11) pp. 85--99, 2005
10. Takata, Igarashi, Nide, Enomoto, Mase and Nakatsu, `Design of Rational Agents for Performing Speech Acts Intentionally in Multiagent Environment', Systems and Computers in Japan, Vol. 34, No. 8, pp. 77--88, Wiley Periodicals, 2003
11. 怴弌丒崅揷丒烰,乽崌棟揑僄乕僕僃儞僩偺怱揑忬懺偵娭偡傞惍崌惈偺幚尰偲墳梡偵偮偄偰乿,揹巕忣曬捠怣妛夛榑暥帍 Vol.J86-D-I No.8 pp. 514--523, 2003
12. 怴弌丒崅揷,乽BDI Logic偺sequent calculus偵傛傞墘銏懱宯乿,僐儞僺儏乕僞丒僜僼僩僂僃傾 Vol. 20 No.1 pp. 66--83, 2003
13. NIDE,N., S.Takata,`Deduction Systems for BDI Logics Using Sequent Calculus', Proc. of AAMAS '02, pp. 928--935, 2002
14. NIDE,N., S.Takata, T.Araragi,`Deduction Systems for BDI Logics with Mental State Consistency', Proc. of CLIMA '02, pp. 123--135, 2002
15. T.Araragi, S.Takata, N.Nide,`A verification method for a Commitment Strategy of the BDI Architecture',Proc. of CLIMA '02, pp. 109--122, 2002
16. 崅揷丒屲廫棐丒怴弌丒墊杮丒娫悾丒拞捗,乽儅儖僠僄乕僕僃儞僩娐嫬偵偍偄偰堄恾揑偵尵岅峴堊傪悑峴偡傞崌棟揑僄乕僕僃儞僩偺婎杮愝寁乿,揹巕忣曬捠怣妛夛榑暥帍 Vol.J84-D-I No.8 pp. 1191--1201, 2001

娭楢儕儞僋

• 屄恖偺儁乕僕
• 岞奐僾儘僌儔儉椶

(anonymouse FTP僒僀僩偵傾僋僙僗偡傞応崌偼丄僷僗儚乕僪偲偟偰偼偛帺暘偺儊乕儖傾僪儗僗傪擖傟偰壓偝偄)