{"id":13924,"date":"2014-12-16T08:46:00","date_gmt":"2014-12-16T07:46:00","guid":{"rendered":"https:\/\/rafen.app\/uncategorized\/systems-based-on-knowledge\/"},"modified":"2023-03-14T13:11:36","modified_gmt":"2023-03-14T12:11:36","slug":"systems-based-on-knowledge","status":"publish","type":"post","link":"https:\/\/raf.edu.rs\/en\/subjects\/systems-based-on-knowledge\/","title":{"rendered":"Knowledge-Based Systems"},"content":{"rendered":"<p><span>The formal language of propositional logic. Semantic rules. Calculating the truth-value of propositional formulas. The truth table. Semantic tree. The theory of evidence. Clauses and normal forms. The algorithm of Davis and Putnam. The principle of resolution. Non- clausal resolution. The theorem on compactness. First-order logic. Language. Prenex normal forms. Skolemov forms. Clausal form. Herbrand&#8217;s theorem. Resolution in first order logic. Deletion of strategies. Methods of matrix proof. Axiomatic systems. Clarity and completeness of propositional logic. Natural deduction. Predicate calculus. Evidence, models, algorithms and computability. Knowledge representation. The logical representation. Production systems. Representation of networks. Frames. Conceptual graphs. Object data model and database system. Deductive bases. The semantics of deductive databases. The definitive base. Negation. Trivalent logic. Nonmonotonic reasoning. Standard logic. Model inference that can be revised. McDermott nonmonotonic logic. Auto epistemology logic. Concluding under conditions of uncertainty. Probability theory. Network of beliefs. The theory of Dempster and Shaffer. Probabilistic logics. Modal logics. Propositional modal logic. Valuation and tautology. The theory of proof. Multimodal languages. Methods of evidence in modal logic. Proof by resolution. Translation in clausal forms. Methods of proof using a chart. The temporal logic. Requirements of temporal logic. The temporal logic in time of branching. Limited and unlimited time. Linear time. Gusto time. The temporal logic based on dense time. The temporal modal first-order logic. Meta-systems. Meta-programming. Representation of types. Meta-logical predicates. Meta-interpreter.<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The formal language of propositional logic. Semantic rules. Calculating the truth-value of propositional formulas. The truth table. Semantic tree. The theory of evidence. Clauses and normal forms. The algorithm of Davis and Putnam. The principle &#8230; <a title=\"Knowledge-Based Systems\" class=\"read-more\" href=\"https:\/\/raf.edu.rs\/en\/subjects\/systems-based-on-knowledge\/\" aria-label=\"More on Knowledge-Based Systems\">Read more<\/a><\/p>\n <a href=\"https:\/\/raf.edu.rs\/en\/subjects\/systems-based-on-knowledge\/\" class=\"more-link\" title=\"Read more\">Read more<\/a>","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[199],"tags":[],"class_list":["post-13924","post","type-post","status-publish","format-standard","hentry","category-subjects"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.7 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Knowledge-Based Systems - School of Computing<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/raf.edu.rs\/en\/subjects\/systems-based-on-knowledge\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Knowledge-Based Systems - School of Computing\" \/>\n<meta property=\"og:description\" content=\"The formal language of propositional logic. Semantic rules. Calculating the truth-value of propositional formulas. The truth table. Semantic tree. The theory of evidence. Clauses and normal forms. The algorithm of Davis and Putnam. The principle ... Read more\" \/>\n<meta property=\"og:url\" content=\"https:\/\/raf.edu.rs\/en\/subjects\/systems-based-on-knowledge\/\" \/>\n<meta property=\"og:site_name\" content=\"School of Computing\" \/>\n<meta property=\"article:published_time\" content=\"2014-12-16T07:46:00+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2023-03-14T12:11:36+00:00\" \/>\n<meta name=\"author\" content=\"RAF Admin\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"RAF Admin\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/subjects\\\/systems-based-on-knowledge\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/subjects\\\/systems-based-on-knowledge\\\/\"},\"author\":{\"name\":\"RAF Admin\",\"@id\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/#\\\/schema\\\/person\\\/4e2166c781f2802c67414a1578c66a43\"},\"headline\":\"Knowledge-Based Systems\",\"datePublished\":\"2014-12-16T07:46:00+00:00\",\"dateModified\":\"2023-03-14T12:11:36+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/subjects\\\/systems-based-on-knowledge\\\/\"},\"wordCount\":229,\"publisher\":{\"@id\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/#organization\"},\"articleSection\":[\"Subjects\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/subjects\\\/systems-based-on-knowledge\\\/\",\"url\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/subjects\\\/systems-based-on-knowledge\\\/\",\"name\":\"Knowledge-Based Systems - School of Computing\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/#website\"},\"datePublished\":\"2014-12-16T07:46:00+00:00\",\"dateModified\":\"2023-03-14T12:11:36+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/subjects\\\/systems-based-on-knowledge\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/raf.edu.rs\\\/en\\\/subjects\\\/systems-based-on-knowledge\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/subjects\\\/systems-based-on-knowledge\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Homepage\",\"item\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Subjects\",\"item\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/subjects\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Knowledge-Based Systems\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/\",\"name\":\"School of Computing\",\"description\":\"\",\"publisher\":{\"@id\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/#organization\",\"name\":\"School of Computing\",\"url\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/wp-content\\\/uploads\\\/2023\\\/02\\\/cropped-raf-engleski.png\",\"contentUrl\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/wp-content\\\/uploads\\\/2023\\\/02\\\/cropped-raf-engleski.png\",\"width\":400,\"height\":66,\"caption\":\"School of Computing\"},\"image\":{\"@id\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/#\\\/schema\\\/person\\\/4e2166c781f2802c67414a1578c66a43\",\"name\":\"RAF Admin\",\"sameAs\":[\"https:\\\/\\\/raf.app\"],\"url\":\"https:\\\/\\\/raf.edu.rs\\\/en\\\/author\\\/rafadmin\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Knowledge-Based Systems - School of Computing","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/raf.edu.rs\/en\/subjects\/systems-based-on-knowledge\/","og_locale":"en_US","og_type":"article","og_title":"Knowledge-Based Systems - School of Computing","og_description":"The formal language of propositional logic. Semantic rules. Calculating the truth-value of propositional formulas. The truth table. Semantic tree. The theory of evidence. Clauses and normal forms. The algorithm of Davis and Putnam. The principle ... Read more","og_url":"https:\/\/raf.edu.rs\/en\/subjects\/systems-based-on-knowledge\/","og_site_name":"School of Computing","article_published_time":"2014-12-16T07:46:00+00:00","article_modified_time":"2023-03-14T12:11:36+00:00","author":"RAF Admin","twitter_card":"summary_large_image","twitter_misc":{"Written by":"RAF Admin","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/raf.edu.rs\/en\/subjects\/systems-based-on-knowledge\/#article","isPartOf":{"@id":"https:\/\/raf.edu.rs\/en\/subjects\/systems-based-on-knowledge\/"},"author":{"name":"RAF Admin","@id":"https:\/\/raf.edu.rs\/en\/#\/schema\/person\/4e2166c781f2802c67414a1578c66a43"},"headline":"Knowledge-Based Systems","datePublished":"2014-12-16T07:46:00+00:00","dateModified":"2023-03-14T12:11:36+00:00","mainEntityOfPage":{"@id":"https:\/\/raf.edu.rs\/en\/subjects\/systems-based-on-knowledge\/"},"wordCount":229,"publisher":{"@id":"https:\/\/raf.edu.rs\/en\/#organization"},"articleSection":["Subjects"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/raf.edu.rs\/en\/subjects\/systems-based-on-knowledge\/","url":"https:\/\/raf.edu.rs\/en\/subjects\/systems-based-on-knowledge\/","name":"Knowledge-Based Systems - School of Computing","isPartOf":{"@id":"https:\/\/raf.edu.rs\/en\/#website"},"datePublished":"2014-12-16T07:46:00+00:00","dateModified":"2023-03-14T12:11:36+00:00","breadcrumb":{"@id":"https:\/\/raf.edu.rs\/en\/subjects\/systems-based-on-knowledge\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/raf.edu.rs\/en\/subjects\/systems-based-on-knowledge\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/raf.edu.rs\/en\/subjects\/systems-based-on-knowledge\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Homepage","item":"https:\/\/raf.edu.rs\/en\/"},{"@type":"ListItem","position":2,"name":"Subjects","item":"https:\/\/raf.edu.rs\/en\/subjects\/"},{"@type":"ListItem","position":3,"name":"Knowledge-Based Systems"}]},{"@type":"WebSite","@id":"https:\/\/raf.edu.rs\/en\/#website","url":"https:\/\/raf.edu.rs\/en\/","name":"School of Computing","description":"","publisher":{"@id":"https:\/\/raf.edu.rs\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/raf.edu.rs\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/raf.edu.rs\/en\/#organization","name":"School of Computing","url":"https:\/\/raf.edu.rs\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/raf.edu.rs\/en\/#\/schema\/logo\/image\/","url":"https:\/\/raf.edu.rs\/en\/wp-content\/uploads\/2023\/02\/cropped-raf-engleski.png","contentUrl":"https:\/\/raf.edu.rs\/en\/wp-content\/uploads\/2023\/02\/cropped-raf-engleski.png","width":400,"height":66,"caption":"School of Computing"},"image":{"@id":"https:\/\/raf.edu.rs\/en\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/raf.edu.rs\/en\/#\/schema\/person\/4e2166c781f2802c67414a1578c66a43","name":"RAF Admin","sameAs":["https:\/\/raf.app"],"url":"https:\/\/raf.edu.rs\/en\/author\/rafadmin\/"}]}},"_links":{"self":[{"href":"https:\/\/raf.edu.rs\/en\/wp-json\/wp\/v2\/posts\/13924","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/raf.edu.rs\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/raf.edu.rs\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/raf.edu.rs\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/raf.edu.rs\/en\/wp-json\/wp\/v2\/comments?post=13924"}],"version-history":[{"count":1,"href":"https:\/\/raf.edu.rs\/en\/wp-json\/wp\/v2\/posts\/13924\/revisions"}],"predecessor-version":[{"id":16057,"href":"https:\/\/raf.edu.rs\/en\/wp-json\/wp\/v2\/posts\/13924\/revisions\/16057"}],"wp:attachment":[{"href":"https:\/\/raf.edu.rs\/en\/wp-json\/wp\/v2\/media?parent=13924"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/raf.edu.rs\/en\/wp-json\/wp\/v2\/categories?post=13924"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/raf.edu.rs\/en\/wp-json\/wp\/v2\/tags?post=13924"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}