首页 > 最新文献

Artif. Intell.最新文献

英文 中文
Concurrent forward bounding for distributed constraint optimization problems 分布式约束优化问题的并发正向边界
Pub Date : 2012-12-01 DOI: 10.1016/j.artint.2012.09.002
Arnon Netzer, Alon Grubshtein, A. Meisels
{"title":"Concurrent forward bounding for distributed constraint optimization problems","authors":"Arnon Netzer, Alon Grubshtein, A. Meisels","doi":"10.1016/j.artint.2012.09.002","DOIUrl":"https://doi.org/10.1016/j.artint.2012.09.002","url":null,"abstract":"","PeriodicalId":8496,"journal":{"name":"Artif. Intell.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91344152","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 43
Normal and strong expansion equivalence for argumentation frameworks 论证框架的正规和强展开式等价
Pub Date : 2012-12-01 DOI: 10.1016/j.artint.2012.08.004
Ringo Baumann
{"title":"Normal and strong expansion equivalence for argumentation frameworks","authors":"Ringo Baumann","doi":"10.1016/j.artint.2012.08.004","DOIUrl":"https://doi.org/10.1016/j.artint.2012.08.004","url":null,"abstract":"","PeriodicalId":8496,"journal":{"name":"Artif. Intell.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76020577","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 62
Planning as satisfiability: Heuristics 作为可满足性的计划:启发式
Pub Date : 2012-12-01 DOI: 10.1016/j.artint.2012.08.001
J. Rintanen
{"title":"Planning as satisfiability: Heuristics","authors":"J. Rintanen","doi":"10.1016/j.artint.2012.08.001","DOIUrl":"https://doi.org/10.1016/j.artint.2012.08.001","url":null,"abstract":"","PeriodicalId":8496,"journal":{"name":"Artif. Intell.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74123888","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 154
On truth-gaps, bipolar belief and the assertability of vague propositions 论真理鸿沟、两极信念与模糊命题的可断言性
Pub Date : 2012-11-01 DOI: 10.1016/j.artint.2012.07.004
J. Lawry, Yongchuan Tang
{"title":"On truth-gaps, bipolar belief and the assertability of vague propositions","authors":"J. Lawry, Yongchuan Tang","doi":"10.1016/j.artint.2012.07.004","DOIUrl":"https://doi.org/10.1016/j.artint.2012.07.004","url":null,"abstract":"","PeriodicalId":8496,"journal":{"name":"Artif. Intell.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78934170","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 24
Applicability conditions for plans with loops: Computability results and algorithms 循环计划的适用条件:可计算性结果和算法
Pub Date : 2012-11-01 DOI: 10.1016/j.artint.2012.07.005
Siddharth Srivastava, N. Immerman, S. Zilberstein
{"title":"Applicability conditions for plans with loops: Computability results and algorithms","authors":"Siddharth Srivastava, N. Immerman, S. Zilberstein","doi":"10.1016/j.artint.2012.07.005","DOIUrl":"https://doi.org/10.1016/j.artint.2012.07.005","url":null,"abstract":"","PeriodicalId":8496,"journal":{"name":"Artif. Intell.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84631270","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
GAMoN: Discovering M-of-N{¬, ∨} hypotheses for text classification by a lattice-based Genetic Algorithm GAMoN:通过基于格的遗传算法发现文本分类的M-of-N{¬,∨}假设
Pub Date : 2012-11-01 DOI: 10.1016/j.artint.2012.07.003
Veronica L. Policicchio, Adriana Pietramala, P. Rullo
{"title":"GAMoN: Discovering M-of-N{¬, ∨} hypotheses for text classification by a lattice-based Genetic Algorithm","authors":"Veronica L. Policicchio, Adriana Pietramala, P. Rullo","doi":"10.1016/j.artint.2012.07.003","DOIUrl":"https://doi.org/10.1016/j.artint.2012.07.003","url":null,"abstract":"","PeriodicalId":8496,"journal":{"name":"Artif. Intell.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74337603","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots 并联机器人广义方面计算的分支与剪枝算法
Pub Date : 2012-10-08 DOI: 10.1007/978-3-642-33558-7_62
Stéphane Caro, Damien Chablat, A. Goldsztejn, Daisuke Ishii, C. Jermann
{"title":"A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots","authors":"Stéphane Caro, Damien Chablat, A. Goldsztejn, Daisuke Ishii, C. Jermann","doi":"10.1007/978-3-642-33558-7_62","DOIUrl":"https://doi.org/10.1007/978-3-642-33558-7_62","url":null,"abstract":"","PeriodicalId":8496,"journal":{"name":"Artif. Intell.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76919749","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 28
Ordered completion for logic programs with aggregates 具有聚合的逻辑程序的有序完成
Pub Date : 2012-07-22 DOI: 10.1016/j.artint.2015.03.007
Vernon Asuncion, Yin Chen, Yan Zhang, Yi Zhou
{"title":"Ordered completion for logic programs with aggregates","authors":"Vernon Asuncion, Yin Chen, Yan Zhang, Yi Zhou","doi":"10.1016/j.artint.2015.03.007","DOIUrl":"https://doi.org/10.1016/j.artint.2015.03.007","url":null,"abstract":"","PeriodicalId":8496,"journal":{"name":"Artif. Intell.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82661858","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Optimal social choice functions: a utilitarian view 最优社会选择函数:功利主义观点
Pub Date : 2012-06-04 DOI: 10.1145/2229012.2229030
Craig Boutilier, I. Caragiannis, Simi Haber, Tyler Lu, A. Procaccia, Or Sheffet
We adopt a utilitarian perspective on social choice, assuming that agents have (possibly latent) utility functions over some space of alternatives. For many reasons one might consider mechanisms, or social choice functions, that only have access to the ordinal rankings of alternatives by the individual agents rather than their utility functions. In this context, one possible objective for a social choice function is the maximization of (expected) social welfare relative to the information contained in these rankings. We study such optimal social choice functions under three different models, and underscore the important role played by scoring functions. In our worst-case model, no assumptions are made about the underlying distribution and we analyze the worst-case distortion---or degree to which the selected alternative does not maximize social welfare---of optimal social choice functions. In our average-case model, we derive optimal functions under neutral (or impartial culture) distributional models. Finally, a very general learning-theoretic model allows for the computation of optimal social choice functions (i.e., that maximize expected social welfare) under arbitrary, sampleable distributions. In the latter case, we provide both algorithms and sample complexity results for the class of scoring functions, and further validate the approach empirically.
我们采用功利主义的观点来看待社会选择,假设代理人在一些选择空间上具有(可能是潜在的)效用函数。出于许多原因,人们可能会考虑机制,或社会选择函数,它们只能访问个体代理对备选方案的顺序排序,而不能访问它们的效用函数。在这种情况下,社会选择函数的一个可能目标是相对于这些排名中包含的信息实现(预期)社会福利的最大化。我们研究了三种不同模型下的最优社会选择函数,并强调了评分函数的重要作用。在我们的最坏情况模型中,没有对潜在的分布做出任何假设,我们分析了最优社会选择函数的最坏情况扭曲程度,即所选择的替代方案不能最大化社会福利的程度。在我们的平均情况模型中,我们在中性(或公正文化)分布模型下推导出最优函数。最后,一个非常通用的学习理论模型允许在任意可抽样分布下计算最优社会选择函数(即最大化预期社会福利)。在后一种情况下,我们提供了评分函数类的算法和样本复杂度结果,并进一步验证了该方法的经验。
{"title":"Optimal social choice functions: a utilitarian view","authors":"Craig Boutilier, I. Caragiannis, Simi Haber, Tyler Lu, A. Procaccia, Or Sheffet","doi":"10.1145/2229012.2229030","DOIUrl":"https://doi.org/10.1145/2229012.2229030","url":null,"abstract":"We adopt a utilitarian perspective on social choice, assuming that agents have (possibly latent) utility functions over some space of alternatives. For many reasons one might consider mechanisms, or social choice functions, that only have access to the ordinal rankings of alternatives by the individual agents rather than their utility functions. In this context, one possible objective for a social choice function is the maximization of (expected) social welfare relative to the information contained in these rankings. We study such optimal social choice functions under three different models, and underscore the important role played by scoring functions. In our worst-case model, no assumptions are made about the underlying distribution and we analyze the worst-case distortion---or degree to which the selected alternative does not maximize social welfare---of optimal social choice functions. In our average-case model, we derive optimal functions under neutral (or impartial culture) distributional models. Finally, a very general learning-theoretic model allows for the computation of optimal social choice functions (i.e., that maximize expected social welfare) under arbitrary, sampleable distributions. In the latter case, we provide both algorithms and sample complexity results for the class of scoring functions, and further validate the approach empirically.","PeriodicalId":8496,"journal":{"name":"Artif. Intell.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86806414","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 175
Importance sampling-based estimation over AND/OR search spaces for graphical models 基于重要性抽样的图形模型AND/OR搜索空间估计
Pub Date : 2012-06-01 DOI: 10.1016/j.artint.2012.03.001
Vibhav Gogate, R. Dechter
{"title":"Importance sampling-based estimation over AND/OR search spaces for graphical models","authors":"Vibhav Gogate, R. Dechter","doi":"10.1016/j.artint.2012.03.001","DOIUrl":"https://doi.org/10.1016/j.artint.2012.03.001","url":null,"abstract":"","PeriodicalId":8496,"journal":{"name":"Artif. Intell.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82573286","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
期刊
Artif. Intell.
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1