Proceedings of the ... International Florida AI Research Society Conference. Florida AI Research Symposium最新文献

筛选
英文 中文
Knowledge-Based Systems, Viewpoints and the World Wide Web 基于知识的系统、观点和万维网
I. Finch
{"title":"Knowledge-Based Systems, Viewpoints and the World Wide Web","authors":"I. Finch","doi":"10.1049/IC:19980536","DOIUrl":"https://doi.org/10.1049/IC:19980536","url":null,"abstract":"The paper brings together three technologies-knowledge based systems, viewpoints and the World Wide Web-to produce a system which delivers advice either directly to a user or through an intermediary (such as a telephone operator). Furthermore, that advice can be tailored to groups of users and to the delivery medium. For example, an official adjudicating a benefit claim may need more complex advice than the user who is making that claim. At the heart of this approach is a rule based system, IMVEX, which uses a simple syntax, allowing easy creation of rule bases. IMVEX also incorporates a mechanism known as viewpoints (I. Finch 1993) which allows different parts of the underlying knowledge base to be utilised, presenting a different view of the knowledge base to different groups of users. The final part of the system is its integration with the World Wide Web, making its advice accessible to users anywhere on the Internet. It must, however, be noted that other interfaces are also available, so a user on the machine where the knowledge base resides can access it using a faster `command line' interface, if they so desire. (4 pages)","PeriodicalId":88964,"journal":{"name":"Proceedings of the ... International Florida AI Research Society Conference. Florida AI Research Symposium","volume":"13 1","pages":"37-41"},"PeriodicalIF":0.0,"publicationDate":"1999-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81693532","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}
引用次数: 8
Nondeterminism and Uncertainty in the Situation Calculus 情景演算中的不确定性和不确定性
Javier Pinto, A. Sernadas, C. Sernadas, P. Mateus
{"title":"Nondeterminism and Uncertainty in the Situation Calculus","authors":"Javier Pinto, A. Sernadas, C. Sernadas, P. Mateus","doi":"10.1142/S0218488500000101","DOIUrl":"https://doi.org/10.1142/S0218488500000101","url":null,"abstract":"A novel approach is presented to modeling action and change within the Situation Calculus in the presence of both non-determinism and probabilistic behavior. Two examples are given to illustrate the approach: the Russian roulette and the alternating bit protocol.","PeriodicalId":88964,"journal":{"name":"Proceedings of the ... International Florida AI Research Society Conference. Florida AI Research Symposium","volume":"18 1","pages":"454-460"},"PeriodicalIF":0.0,"publicationDate":"1999-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87608337","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}
引用次数: 23
Qualitative Reasoning under Uncertainty 不确定性下的定性推理
M. Chachoua, D. Pacholczyk
{"title":"Qualitative Reasoning under Uncertainty","authors":"M. Chachoua, D. Pacholczyk","doi":"10.1007/3-540-60428-6_25","DOIUrl":"https://doi.org/10.1007/3-540-60428-6_25","url":null,"abstract":"","PeriodicalId":88964,"journal":{"name":"Proceedings of the ... International Florida AI Research Society Conference. Florida AI Research Symposium","volume":"1 1","pages":"415-419"},"PeriodicalIF":0.0,"publicationDate":"1998-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89879033","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}
引用次数: 6
Strategy Parallelism in Automated Theorem Proving 自动定理证明中的策略并行性
Andreas Wolf, R. Letz
{"title":"Strategy Parallelism in Automated Theorem Proving","authors":"Andreas Wolf, R. Letz","doi":"10.1142/S0218001499000136","DOIUrl":"https://doi.org/10.1142/S0218001499000136","url":null,"abstract":"Automated theorem provers use search strategies. Unfortunately, there is no unique strategy which is uniformly successfifl on \"all problems. A combination of more thmx one strategy increases the chances of success. Limitations of resources m~ time or processors enforce efficient use of these resources by partitioning the resources adequately among thc involved strategies. This leads to an optimization problem. Vv’e describe this problem for general search problems ~md discuss in more detail ,-m application in automated theorem proving.","PeriodicalId":88964,"journal":{"name":"Proceedings of the ... International Florida AI Research Society Conference. Florida AI Research Symposium","volume":"21 1","pages":"142-146"},"PeriodicalIF":0.0,"publicationDate":"1998-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80964325","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}
引用次数: 27
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书