Filtern
Erscheinungsjahr
Dokumenttyp
- Diplomarbeit (20)
- Studienarbeit (15)
- Bachelorarbeit (12)
- Dissertation (6)
- Masterarbeit (6)
- Ausgabe (Heft) zu einer Zeitschrift (2)
- Bericht (1)
Sprache
- Deutsch (62) (entfernen)
Volltext vorhanden
- ja (62) (entfernen)
Schlagworte
- Routing (4)
- VNUML (4)
- Netzwerk (3)
- Netzwerksimulation (3)
- RIP-MTI (3)
- XTPeer (3)
- Konvergenz (2)
- Network (2)
- RIP (2)
- Rechnernetz (2)
- Administration (1)
- Aussagenlogik (1)
- Authentisierung (1)
- Automatisches Beweisverfahren (1)
- Backtrack (1)
- Betriebssystem (1)
- C-Socketbibliothek (1)
- CMS (1)
- CSCA (1)
- CTI (1)
- CTI -Problem (1)
- Cheops (1)
- Cicero (1)
- Circumscription (1)
- Cisco Catalyst 3500XL (1)
- Computational logic (1)
- Computer Supported Cooperative Work (1)
- Controlling (1)
- Counting-to-Infinity (1)
- DHCPv6 (1)
- DNNF (1)
- DPLL (1)
- Datenschutz (1)
- DiaLex (1)
- Dialekt (1)
- Distanz-Vektor (1)
- Dokumentation (1)
- Drahtloses Sensorsystem (1)
- E-KRHyper (1)
- Echtzeit-Interaktion (1)
- Echtzeitsysteme (1)
- Entscheidungsprozess (1)
- Fahrerassistenzsysteme (1)
- Fließgewässer (1)
- Flowing Inland Waters (1)
- GPS (1)
- GReTL (1)
- HNF-Algorithmus (1)
- Hermite-Normalform (1)
- Heuristiken (1)
- IPv6 (1)
- Information (1)
- Information Retrieval (1)
- Information Visualization (1)
- Informationsverlinkung (1)
- Informationsvisualisierung (1)
- InstaHub (1)
- Interactive Visualizations (1)
- Interaktive Visualisierungen (1)
- Interior Gateway Protokoll (1)
- JGraLab (1)
- Klausellogik (1)
- Knowledge Compilation (1)
- Linking of Information (1)
- Linux (1)
- Lookup-Algorithmen (1)
- Mail-Filter (1)
- Mehrprozessorsystem (1)
- Meteor (1)
- Metriken (1)
- Mikrocontroller (1)
- Mobiltelefon (1)
- Modelltransformation (1)
- Monitoring (1)
- Multi-Agenten-Simulation (1)
- Nagios (1)
- Network Monitoring (1)
- Network Simulation (1)
- Netzwerk Protokollen (1)
- Netzwerkchip (1)
- Netzwerkmanagment (1)
- Netzwerküberwachung (1)
- Nutzerzufriedenheit (1)
- OpenWrt (1)
- Orientierungsstufe (1)
- PDA (1)
- Personal Key Infrastruktur (1)
- Projekt iCity (1)
- Propositional Logic (1)
- Protocol (1)
- Prototyp (1)
- Prototype (1)
- Prädikatenlogik (1)
- RIP-MTI Algorithmus (1)
- RMTI (1)
- Rechnernetze (1)
- Relationale Datenbank (1)
- Requirement-Engineering (1)
- Router (1)
- Routing Information Protocol (1)
- Routing information protocol (1)
- Routing- und Forwarding Tabellen (1)
- Routing-Loop (1)
- SAC (1)
- SNMP (1)
- STP (1)
- Schleifenerkennung (1)
- Semantic Web (1)
- Semantisches Wiki (1)
- Serdar Ayalp (1)
- Soziale Netzwerke (1)
- Spam-Mail (1)
- Spannender Baum (1)
- Spanning Tree (1)
- Statistische Analyse (1)
- Suat Algin (1)
- TGraph (1)
- Tableau <Logik> (1)
- Technology Acceptance Model (1)
- Temperaturmessung (1)
- Transaction concept (1)
- Transaktion (1)
- Transaktionskonzept (1)
- UML (1)
- Ultraschall (1)
- VDE (1)
- VDE-Switch (1)
- VLAN (1)
- VTP (1)
- Verortung (1)
- Virtual Square (1)
- Virtual network user mode Linux (1)
- Virtualisation (1)
- Virtualisierung (1)
- Visualisierung (1)
- Wasseroberfläche (1)
- Water Surface Temperature (1)
- Wiki (1)
- Wireless Sensor Networks (1)
- Wireshark (1)
- Wissenskompilation (1)
- World Wide Web (1)
- XML-Dokument (1)
- Zertifikat (1)
- Zirkumskription (1)
- andLinux (1)
- andLinux. (1)
- convergence analysis (1)
- e-service quality (1)
- ediv (1)
- multiprocessing (1)
- parallel computing (1)
- real-time computing (1)
- rip (1)
- rmti (1)
- virtual network user mode linux (1)
- vnuml (1)
- xtpeer (1)
Institut
- Institut für Informatik (62) (entfernen)
Partielle Wissenskompilation
(2006)
Viele Probleme in der Aussagenlogik sind nur sehr aufwändig lösbar. Ist beispielsweise eine Wissensbasis gegeben, an die wir Anfragen stellen, wollen, so kann dies mitunter sehr mühsam sein. Um trotzdem effizient Anfragen beantworten zu können, hat sich die Vorgehensweise der Wissenskompilation entwickelt. Dabei wird die Lösung der Aufgabe in eine Offline- und eine Online-Phase aufgeteilt. In der Offline-Phase wird die Wissensbasis präkompiliert. Dabei wird sie in eine bestimmte Form umgewandelt, auf der sich die erwarteten Anfragen effizient beantworten lassen. Diese Transformation der Wissensbasis ist meist sehr aufwändig, muss jedoch nur einmalig durchgeführt werden. In der darauffolgenden Online-Phase können nun effizient Anfragen beantwortet werden. In dieser Diplomarbeit wird eine spezielle Normalform, die sich als Zielsprache der Präkompilation anbietet, untersucht. Außerdem wird die Präkompilation so in einzelne Schritte unterteilt, dass möglicherweise bereits nach einigen Teilschritten Anfragen beantwortet werden können.