×
彼得·范·赫图姆;英格玛达塞维尔;杨森，格尔达;马克·德内克

知识库范式及其在交互式配置中的应用。 （英语） Zbl 1379.68306号

理论实践。日志。程序。 17，第1期，91-117（2017）.
摘要：知识库（KB）范式旨在用丰富的形式语言表达领域知识，并将这些领域知识作为知识库，通过应用多种形式的推理来解决领域中出现的各种问题和任务。因此，该范式将信息和问题解决之间的关注点严格分开。在本文中，我们在一类重要的应用程序：交互配置问题的背景下分析了KB范式的原理和可行性。在交互式配置问题中，搜索约束条件下相关对象的配置，系统帮助用户达到预期配置。业界普遍认为，很难为这些问题开发好的软件解决方案。我们从知识库范式的角度来研究这些问题。我们表明，通过在配置域的正式规范上应用不同形式的逻辑推理，可以实现该域中的多种功能。我们在一家银行公司的实际应用程序中报告了这种方法的概念验证。

引用于1文件

MSC公司：

68立方英尺 知识表示
68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等）

关键词：

交互式配置;知识库范式;推论;陈述性系统的应用

软件：

国内流离失所者3;快速解释
PDF格式BibTeX公司 XML格式引用
\textit{P.Van Hertum}等人，《理论与实践》。日志。程序。17，第1号，91-117（2017；Zbl 1379.68306）
全文： 内政部 arXiv公司

参考文献：

[1] 自适应平面2015。适应性行星。http://www.adaptiveplanet.com/。
[2] 阿克斯林T。和HaridiS.1996。用于开发交互式配置应用程序的工具。逻辑编程杂志26，2，147-168.10.1016/0743-1066（95）00097-6·Zbl 0871.68054号 ·doi:10.1016/0743-1066（95）00097-6
[3] 巴克尔V。E.和O'ConnorD。E.1989年。数字配置专家系统：XCON及其他。ACM32、3、298-31.10.1145/62065.62067的通信·数字对象标识代码：10.1145/62065.62067
[4] BogaertsB。，詹森J。，布吕诺赫姆。，类别B。，维尼肯斯J。和DeneckerM.2014。使用线性时间演算理论模拟动态系统。TPLP14，4-5（7），477-492·Zbl 1307.68013号
[5] 布吕诺赫姆。，BlockeelH、。，BogaertsB。，类别B。，De PooterS S.、Jansen J.、。，拉巴雷A。，RamonJ。，DeneckerM.和VerwerS.2015。谓词逻辑作为建模语言：使用IDP3建模和解决一些机器学习和数据挖掘问题。TPLP15，783-817·Zbl 1379.68279号
[6] CalimeriF.、IanniG。和RiccaF.2014。第三届公开答案集编程竞赛。TPLP14，1117-135。
[7] 达塞维尔。，范德哈伦姆。，詹森斯G。和DeneckerM.2015。用于构建逻辑的组合框架中模板的语义。TPLP15、4-5、681-695·Zbl 1379.68092号
[8] 类别B。，BogaertsB。，布吕诺赫姆。，詹森斯G。和DeneckerM.2016。谓词逻辑作为建模语言：IDP系统。CoRR abs/1401.6312v2。
[9] DeneckerM.、LierlerY.、。，特鲁什钦斯基。和VennekensJ.2012。答案集编程的Tarskian非正式语义。在ICLP（技术通信）中，A.Dovier和V.S.Costa，Eds.LIPIcs，第17卷。Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik，ACM TOCL:美国纽约州纽约市，277-289·Zbl 1281.68147号
[10] DeneckerM.和TernovskaE.2008。非单调归纳定义的逻辑。ACM计算逻辑学报9，2（4月），14:1-14:52·Zbl 1367.68278号
[11] DeneckerM.和VennekensJ.2008。构建一个集成逻辑编程和经典逻辑的知识库系统。程序中。ICLP，M.Garcíade la Banda和E.Pontelli，LNCS编辑，第5366卷。施普林格：德国海德堡，71-76·Zbl 1185.68697号
[12] 福克纳。A.和HaselböckA.2013年。实践中知识进化的挑战。AI通信26、1、3-14。
[13] 费尔费尔尼格。，霍兹。，巴格利C。和TiihonenJ.2014。基于知识的配置：从研究到商业案例，第1版，Morgan Kaufmann Publishers Inc.，San Francisco，CA，USA。
[14] Fleischanderl公司。，弗里德里希·G。，哈泽尔伯克。，SchreinerH.和StumptnerM.1998年。使用生成约束满足配置大型系统。IEEE智能系统13、4、59-68。
[15] GelfondM公司。和LifschitzV.1988。逻辑编程的稳定模型语义。程序中。ICLP/SLP，R.A.Kowalski和K.A.Bowen，麻省理工学院出版社编辑，施普林格：德国海德堡，1070-1080。
[16] HadzicT.2004年。基于BDD的交互式配置方法。程序中。《约束编程的原理和实践——CP 2004》，第十届国际会议，CP 2004，加拿大多伦多，2004年9月27日至10月1日，M.Wallace，Ed.LNCS，第3258卷。施普林格：德国海德堡，797年。
[17] 哈齐克。和安达信。2005年8月。电源恢复中的交互式重新配置。程序中。约束编程的原理和实践-CP 2005，第11届国际会议，CP 2005，西班牙Sitges，2005年10月1-5日，P.van Beek，Ed.计算机科学讲稿，第3709卷。施普林格：德国海德堡，767-771。
[18] 赫拉斯·F·。，莫尔加多阿。和Marques-SilvaJ.2011。最大可满足性的核引导二进制搜索算法。程序中。2011年8月7日至11日，在美国加利福尼亚州旧金山举行的第25届AAAI人工智能会议上。
[19] 霍兹。，克雷布斯。，迪尔斯特拉斯。，SinnemaM公司。和NijhuisJ.2006。工业产品系列中的配置——ConIPF方法。IOS出版社：荷兰阿姆斯特丹。
[20] ImmermanN公司。和瓦迪姆。1997年。模型检查和传递-闭合逻辑。程序中。计算机辅助验证，第九届国际会议，CAV’97，以色列海法，1997年6月22日至25日，O.Grumberg，编辑。计算机科学讲义，第1254卷。施普林格：德国海德堡，291-302。
[21] 2008年1月3日。SAT解算器是好的配置器吗？程序中。2008年9月8日至12日在爱尔兰利默里克举行的SPLC 2008第十二届国际会议，软件产品线，第二卷（研讨会），S.Thiel和K.Pohl，爱尔兰利默里克大学莱罗国际科学中心编辑，191-195年。
[22] 詹森J。，达塞维尔。，德弗里恩特J。2014年1月。对最先进的打地机进行实验评估。程序中。2014年9月8日至10日在英国坎特伯雷肯特举行的第16届国际声明性编程原则与实践研讨会上，O.Chitil，A.King和O.Danvy，Eds.ACM，249-258。
[23] JunkerU.2004年。QUICKXPLAIN：过度约束问题的首选解释和放松。程序中。第19届全国人工智能会议，第16届人工智能创新应用会议，2004年7月25日至29日，美国加利福尼亚州圣何塞，D.L.McGuinness和G.Ferguson，编辑AAAI出版社/麻省理工学院出版社：美国马萨诸塞州剑桥，167-172。
[24] 容克如。和MailharroD.2003。首选编程：高级配置问题解决。AI EDAM17，1，13-29.S089006040317103X
[25] 康康.1990。面向特征的领域分析（FODA）：可行性研究；技术报告CMU/SEI-90-TR-21-ESD-90-TR-222。卡内基梅隆大学软件工程学院：美国宾夕法尼亚州匹兹堡。
[26] 卡拉塔萨。美国，OguztüzünH。和DogruA。2010年6月。将扩展特征模型映射到有限域上的约束逻辑编程。程序中。《软件产品线：超越——第14届国际会议》，SPLC 2010，韩国济州岛，2010年9月13日至17日，J.Bosch和J.Lee编辑，《计算机科学讲义》，第6287卷。施普林格：德国海德堡，286-299。
[27] 克孜尔坦。，弗莱纳。和HnichB.2001。针对CSP应用程序域推断标签启发。《KI 2001：人工智能的进展》，德国/奥地利人工智能联合会议，奥地利维也纳，2001年9月19日至21日，《会议记录》，F.Baader、G.Brewka和T.Eiter，LNCS编辑，第2174卷。施普林格：美国马萨诸塞州剑桥，275-289·兹比尔1007.68583
[28] 克莱恩斯。公元1952年。元数学导论。Van Nostrand：美国纽约州纽约市·Zbl 0047.00703号
[29] 伦敦。，陈雷。，黄Z。和ZhongY.2005。使用多目标遗传算法进行产品配置优化。《国际先进制造技术杂志》30，1，20-29。
[30] 林奇。和SilvaJ。2004年3月。计算最小不可满足核心。程序中。SAT 2004-第七届可满足性测试理论与应用国际会议，2004年5月10日至13日，加拿大不列颠哥伦比亚省温哥华，在线会议记录。
[31] 西尔瓦侯爵。和平面J.2008。使用不可满足核的最大可满足性算法。程序中。《欧洲设计、自动化和测试》，日期2008，德国慕尼黑，2008年3月10日至14日，408-413。
[32] 麦克德莫特J。P.1982年。R1：基于规则的计算机系统配置程序。人工智能19，1，39-88.10.1016/0004-3702（82）90021-2·doi:10.1016/0004-3702（82）90021-2
[33] 麦吉尼斯D。L.和WrightJ。1998年3月。基于工业强度描述逻辑的配置器平台。IEEE智能系统13、4、69-77。
[34] 米切尔D。G.和TernovskaE.2005。表示和解决NP搜索问题的框架。程序中。AAAI的M.M.Veloso和S.Kambhampati编辑，AAAI出版社/麻省理工学院出版社：美国马萨诸塞州剑桥，430-435。
[35] 米塔尔。和FalkenhainerB.1990。动态约束满足问题。程序中。第八届全国人工智能大会。马萨诸塞州波士顿，1990年7月29日至8月3日，第2卷，T.Dieterich和W.Swartout，AAAI/MIT出版社编辑，Morgan Kaufmann:Burlington，Massachusetts，USA，25-32。
[36] 米塔尔。和FraymanF.1989年。朝向配置任务的通用模型。程序中。第十一届国际人工智能联合会议。美国密歇根州底特律，1989年8月，N.S.Sridharan，Ed.Morgan Kaufmann，1395-1401·Zbl 0719.68070号
[37] 佩洛夫N。，DeneckerM.和BruynoogheM.2007。具有聚合的逻辑程序的良好且稳定的语义。TPLP7，3301-353·Zbl 1111.68070号
[38] PillerF公司。T.、HarzerT.、。，IhlC公司。和SalvadorF.2014。基于大规模定制的电子商务战略能力：构建发展与实证检验。程序中。2014年1月6日至9日，第47届夏威夷国际系统科学会议，HICSS 2014，美国夏威夷州怀科洛亚。IEEE，3255-3264。
[39] 庞泰利。和SonT。2006年2月。答案集语义下逻辑程序的理由。程序中。ICLP，S.Etalle和M.Truszczynski，LNCS编辑，第4079卷。施普林格：德国海德堡，196-210年·Zbl 1131.68393号
[40] QML2015.Qml。http://qmlbook.org/。
[41] ReiterR.1987年。从第一原理诊断的理论。人工智能32，1，57-95.10.1016/0004-3702（87）90062-2·Zbl 0643.68122号 ·doi:10.1016/0004-3702（87）90062-2
[42] SchneeweissD公司。和HofstedtP.2011。Fdconfig：基于约束的交互式产品配置器。程序中。《声明式编程和知识管理的应用》，第19届国际会议，INAP 2011，第25届逻辑编程研讨会，WLP 2011，维也纳，2011年9月28日至30日，修订论文集，H.Tompits，S.Abreu，J.Oetsch，J.Pührer，D.Seipel，M.Umeda，A.Wolf，Eds.计算机科学讲稿，第7773卷。施普林格：德国海德堡，239-255。
[43] 奇科提金。M.、Friedrich G.、。，罗德勒。和FleissP.2014。使用直接诊断进行交互式本体调试。程序中。第三届调试本体论和本体映射国际研讨会，WoDOOM 2014，与第十一届扩展语义网络会议（ESWC 2014）合办，Anissaras/Hersonissou，希腊，2014年5月26日，P.Lambrix，G.Qi，M.Horridge和B.Parsia编辑，《CEUR研讨会论文集》，第1162卷。CEUR-WS.org，39-50。
[44] ShlyakhterI.、SeaterR.、Jackson D.、。，斯里德哈兰。和TaghdiriM.2003。使用不可满足的内核调试过约束的声明性模型。程序中。ASE，IEEE计算机协会：美国华盛顿特区，94-105。
[45] SyrjänenT.2006年。正在调试不一致的答案集程序。《第十一届非单调推理国际研讨会论文集》，NMR 2006，英国湖区，5月30日至6月1日，J.Dix和A.Hunter，第77-84版。
[46] TiihonenJ。，海斯卡拉姆。，安德森。和SoininenT.2013。Wecotin-一个实用的基于逻辑的销售配置器。AI通信26，1，99-131。
[47] Vanden BosscheM。，罗斯普。，麦克拉蒂。，Van NuffelenB。和PelovN.2007。面向现实应用程序的本体论驱动的软件工程。程序中。第三届语义网络软件工程国际研讨会（SWESE），2007年6月6-7日，奥地利因斯布鲁克。施普林格：德国海德堡。
[48] 弗莱明克。，维尼肯斯J。和DeneckerM.2009。配置软件的逻辑框架。程序中。2009年9月7日至9日在葡萄牙科英布拉举行的第十一届国际ACM SIGPLAN声明性编程原则和实践会议上，A.Porto和F.J.López-Fraguas，ACM编辑，141-148。
[49] 威托克郡。，马里恩。和DeneckerM.2008。idp系统：经典逻辑扩展的模型扩展系统。程序中。LaSh，M.Denecker编辑，ACCO：比利时鲁汶，153-165。
[50] 威托克郡。，弗莱明克。和DeneckerM.2009。调试模型扩展。程序中。ICLP，P.M.Hill和D.S.Warren，编辑：LNCS，第5649卷。施普林格：德国海德堡，296-311·Zbl 1251.68223号
[51] 张杰。，LiS公司。和ShenS.2006。用贪婪遗传算法提取最小不可满足核。程序中。《2006年人工智能进展》，第19届澳大利亚人工智能联合会议，2006年12月4日至8日，澳大利亚霍巴特，施普林格：德国海德堡，847-856。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。