{"title":"Portable AI lab for teaching artificial intelligence","authors":"Michael Rosner, Fabio Baj","doi":"10.1016/0167-9287(93)90451-6","DOIUrl":null,"url":null,"abstract":"<div><p>The Portable AI Lab is a joint research project concerned with the design and implementation of an integrated environment to support teaching of Artificial Intelligence at University level. The system is composed of several modules implementing basic. AI techniques in a uniform way. The final section of the paper focuses primarily on the modules dealing with Automated Theorem Proving (ATP) and Natural Language Processing, and shows how relationships between the two might typically be explored within the system.</p></div>","PeriodicalId":100393,"journal":{"name":"Education and Computing","volume":"8 4","pages":"Pages 347-355"},"PeriodicalIF":0.0000,"publicationDate":"1993-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0167-9287(93)90451-6","citationCount":"4","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Education and Computing","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/0167928793904516","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 4
Abstract
The Portable AI Lab is a joint research project concerned with the design and implementation of an integrated environment to support teaching of Artificial Intelligence at University level. The system is composed of several modules implementing basic. AI techniques in a uniform way. The final section of the paper focuses primarily on the modules dealing with Automated Theorem Proving (ATP) and Natural Language Processing, and shows how relationships between the two might typically be explored within the system.