{"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}
{"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}
{"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}
{"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}