Model Based Deduction in Predicate Logic for Applications

谓词逻辑中基于模型的演绎应用

• 批准号: 5395937
• 负责人: Professor Dr. Ulrich Furbach
• 金额: --
• 依托单位: Institut für Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2003
• 资助国家: 德国
• 起止时间: 2002-12-31 至 2007-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5395937?language=en
• 关键词: Model; Based; Deduction; Predicate; Logic

Ziel des Projekts ist die Entwicklung eines Deduktionssystems zurprädikatenlogischen Modellberechnung, welches für den Einsatz inverschiedenen Anwendungsgebieten geeignet ist.Automatische Modellberechnung wird heute für komplexe Planungs-,Verifikations- und Diagnoseaufgaben genutzt. Auf diesem aktuellenStand aufsetzend werden im Rahmen des Projekts die für umfangreichereEinsatzfelder nötigen Erweiterungen der sprachlichen Ausdruckskrafterarbeitet. Dazu gehören: volle Prädikatenlogik erster Stufe,nicht-monotone Verfahren, präferierte Modelle, supported Models,Answer Set Programming sowie Description-Logiken. Effiziente Verfahrenzu deren Verarbeitung werden als Kalküle theoretisch fundiert und inImplementierungen umgesetzt.Die Praxisadäquatheit des Systems wird mit einer Fallstudie aus demBereich des Dokumentenmanagement für E-Learning gezeigt. Lehrmaterial,Nutzerprofile und Aufgabenbeschreibungen werden dabei als ein Netzwerkvon Einheiten repräsentiert, die nach semantischen Kriterien verknüpftsind. Antworten auf Anfragen über dieses Netzwerk entsprechenModellen, die von dem modellbasierten Deduktionssystemberechnet werden.

Ziel des Projekts ist die Entwicklung eines Deduktionssystems zurprädikatenlogischen Modellberechnung，welches für den Einquiry inversatiedenen Anwendungsgebieten geeignet ist.Automatische Modellberechnung wird heute für komplexe Planungs-，Verifikations- und Diagnoseaufgaben genutzt. Auf diesem aktuellenStand aufsetzend韦尔登im Rahmen des Projekts die für umfangreichereEinsatzfelder nötigen Erweiterungen der sprachlichen Ausdruckskrafterarbeitet. Dazu gehören：第一步，非单调测试，简化模型，支持的模型，答案集编程，描述-逻辑。Effiziente Verfaetzu deren Verarbeitung韦尔登als Kalküle theoretisch fundiert und in Implementierungen umgesetzt.Die Praxisadäquatheit des Systems wird mit einer Fallstudie aus demBereich des Dokumentenmanagement für E-Learning gezeigt. Lehrmaterial，Nutzerprofile和Aufgabenbeschreibungen韦尔登dabei als ein Netzwerkvon Einheiten repräsentiert，die nach semantischen Kriterien verknüpftsind.在此基础上，我们建立了一个基于模型的分布式系统韦尔登模型。