{"title":"MANTRA: a shell for hybrid knowledge representation","authors":"J. Calmet, Indra A. Tjandra, G. Bittencourt","doi":"10.1109/TAI.1991.167091","DOIUrl":null,"url":null,"abstract":"A shell is presented for hybrid knowledge representation. This system supports four different knowledge representation formalisms: first-order logic, terminological language, semantic networks, and production systems. The system automatically supports hybrid inferences taking into account the knowledge represented in different formalisms. All the algorithms involved in the inferences, supported by the system, are decidable, and have the property of being sound and complete according to a four-valued semantics. Besides these facilities, the shell allows the user to represent procedural knowledge of a domain using the primitives embedded at the heuristic level. The system has been implemented in Common Lisp, and makes use of an object-oriented extension for this language.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"35 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1991-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"17","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TAI.1991.167091","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 17
Abstract
A shell is presented for hybrid knowledge representation. This system supports four different knowledge representation formalisms: first-order logic, terminological language, semantic networks, and production systems. The system automatically supports hybrid inferences taking into account the knowledge represented in different formalisms. All the algorithms involved in the inferences, supported by the system, are decidable, and have the property of being sound and complete according to a four-valued semantics. Besides these facilities, the shell allows the user to represent procedural knowledge of a domain using the primitives embedded at the heuristic level. The system has been implemented in Common Lisp, and makes use of an object-oriented extension for this language.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
![[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
扫码关注我们
