Wissensrepräsentation 2/3 Harald Sack. Yovisto Academic Video Search. Grundlagen der Aussagenlogik / Prädikatenlogik Wissensrepräsentation Grundlagen Logik Beschreibungslogiken 3.2.1 3.2 Web Semantic Herleitung doppelte Vorlesungsinhalt Vereinung Trust Sprachen Prädikatenlogik Friedrich-Schiller-Universität Jena penguin herleitung belegung kommuntativität demorgan doppelte vereinung negation distributivität distributivitätsgesetz e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic wahrheitswert formel pradikatssymbol abbild semant modelltheoret aussagenlog interpretation grundlag logik beschreibungslog wissensreprasentation formel normalform eigenschaft resolutionsverfahr grundlag grundlag logik beschreibungslog wissensreprasentation e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic genau unerfullbar gilt klauselform skolemisiert pranexnormalform e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic klauselform normalform konjunktiv grundlag logik beschreibungslog wissensreprasentation e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic klauselform normalform konjunktiv grundlag logik beschreibungslog wissensreprasentation informat institut sack harald web semantic disjunktion konjunktion formel semant hilf lass allquantor klauselform normalform konjunktiv grundlag logik beschreibungslog wissensreprasentation e-mail ernst-abbe-platz jena fsu e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic disjunktion konjunktion formel semant hilf lass allquantor klauselform normalform konjunktiv grundlag logik beschreibungslog wissensreprasentation variabl genau argument ersetzt stellig allquantor variabl entsprech existenzquantor entfern allquantor existenzquantor entfern vorgehensweis normalform skolemnisiert funktionssymbol konstantensymbol neu grundlag logik beschreibungslog wissensreprasentation e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic symbol neu oldtvshow penguin entfern existenzquantor normalform skolemnisiert funktion skolemkonstant grundlag logik beschreibungslog wissensreprasentation variabl genau argument ersetzt stellig allquantor variabl entsprech existenzquantor entfern allquantor existenzquantor entfern vorgehensweis normalform skolemnisiert funktionssymbol konstantensymbol neu grundlag logik beschreibungslog wissensreprasentation e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic symbol neu oldtvshow penguin entfern existenzquantor normalform skolemnisiert funktion skolemkonstant grundlag logik beschreibungslog wissensreprasentation web semantic symbol neu oldtvshow penguin entfern existenzquantor normalform skolemnisiert funktion skolemkonstant grundlag logik beschreibungslog wissensreprasentation e-mail ernst-abbe-platz jena fsu informat institut sack harald e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic reihenfolg quantor einfach negationsnormalform pranexnormalform grundlag logik beschreibungslog wissensreprasentation e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic oldtvshow verschied bind quantor berein formel pranexnormalform grundlag logik beschreibungslog wissensreprasentation e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic beispiel negationsnormalform grundlag logik beschreibungslog wissensreprasentation e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic interpretation tautologi resultier skolemnormalform pranexnormalform negationsnormalform formel skolemnisier grundlag logik beschreibungslog wissensreprasentation anwend engineering ontology trust wissensreprasentation sprach einfuhr vorlesungsinhalt web semantic disjunktion konjunktion darstell cnf normalform konjunktiv existenzquantor eliminier skolemisiert quantor pranexnormalform steh negation negationsnormalform zwischenschritt formeln umwandl ziel normalform klauselform grundlag logik beschreibungslog wissensreprasentation wissensreprasentation schreib beispiel einfach einfach moglich sucht aquivalent logisch unend formel normalform reprasentant grundlag logik beschreibungslog e-mail ernst-abbe-platz jena fsu institut sack harald inferenzsystem swrl owl beschreibungslog eigenschaft resolution normalform semant modelltheoret fol pradikatenlog aussagenlog wiederhol logik informat philosophi ontologi vorles wissensreprasentation web semantic e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic beispiel logisch gesetz grundlag logik beschreibungslog wissensreprasentation semant heiss formeln schreib formel meng logisch begriff aquivalent logisch konsequenz logisch modell interpretation theori grundlag logik beschreibungslog wissensreprasentation grundbereich interpretation pinguin beispiel semant modelltheoret pradikatenlog grundlag logik beschreibungslog wissensreprasentation falsch wahr allgemeingult widerlegbar formel zeig funktionssymbol element meng e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic genau zahl natur grundbereich modell addition beispiel semant modelltheoret pradikatenlog grundlag logik beschreibungslog wissensreprasentation behandl entsprech falsch wahr argument element term relation relationssymbol funktion funktionssymbol element konstantensymbol grundbereich festleg semant modelltheoret pradikatenlog struktur grundlag logik beschreibungslog wissensreprasentation unerfullbar widerlegbar erfullbar tautologi allgemeingult begriff zentral formel interpretation nenn schreib semant modelltheoret aussagenlog modell grundlag logik beschreibungslog wissensreprasentation e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic disjunktion konjunktion formel semant hilf lass allquantor klauselform normalform konjunktiv grundlag logik beschreibungslog wissensreprasentation e-mail ernst-abbe-platz jena fsu institut sack harald inferenzsystem swrl owl beschreibungslog eigenschaft resolution normalform semant modelltheoret fol pradikatenlog aussagenlog wiederhol logik informat philosophi ontologi vorles wissensreprasentation web semantic jena fsu informat institut sack harald web semantic pinguin beispiel fol semant intendiert grundlag logik beschreibungslog wissensreprasentation e-mail ernst-abbe-platz e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic klar semant intendiert verwandtschaft beispiel fol grundlag logik beschreibungslog wissensreprasentation e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic element schreib restlist kopf list leer informell list list beispiel fol semant intendiert grundlag logik beschreibungslog wissensreprasentation e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic summ ein zahl natur addition beispiel fol semant intendiert grundlag logik beschreibungslog wissensreprasentation quantifizi klamm zweifelsfall quantor junktor term argument relationssymbol funktionssymbol variabl form richtig syntax fol formeln atom term grundlag logik beschreibungslog wissensreprasentation quantor nam bedeut intuitiv fol logic ord first stuf erst pradikatenlog grundlag logik beschreibungslog wissensreprasentation beispiel aussagenlog grundlag logik beschreibungslog wissensreprasentation zusammengesetzt aussag einfach modellier grun sonn regnet nass strass negation konjunktion disjunktion implikation genau prazedenz klamm zweifelsfall formeln form richtig variabl junktor nam bedeut intuitiv aussagenlog grundlag logik beschreibungslog wissensreprasentation prozedural ausfuhr programm verhalt formal intendiert syntax fakultat berechn end els then begin function programmiersprach beispiel semant grundlag logik beschreibungslog wissensreprasentation direkt steh negation mehrfach fall implikation ergebnis gezog folgend verwend negationszeich negationsnormalform grundlag logik beschreibungslog wissensreprasentation atom welt real zuweis euro kontostand meldung geb guthab negativ display then abgeleitet atomar komplex gebildet zeichenfolg zulass regeln definiert bedeut zeich semant syntax grundlag logik beschreibungslog wissensreprasentation verlag akadem spektrum informat schoning wiederhol selbststand vorausgesetzt verstandnis solid dml info grundstudiumsvorles wiederhol informell knapp grundlag logik beschreibungslog wissensreprasentation proof framework logic sparql encryption signatur trust rul owl ontologi rdfschema rdf namespac xsd xml unicod uri beschreibungslog architectur wissensreprasentation web semantic e-mail ernst-abbe-platz jena fsu institut sack harald inferenzsystem swrl owl beschreibungslog eigenschaft resolution normalform semant modelltheoret fol pradikatenlog aussagenlog wiederhol logik informat philosophi ontologi vorles wissensreprasentation web semantic