top of page
Search

Humans' View of Semantics

(23rd-July-2020) • The description of semantics does not tell us why semantics is interesting or how it can be used as a basis to build...

Semantics of the Propositional Calculus

(22nd-July-2020) • Semantics specifies how to put symbols of the language into correspondence with the world. Semantics can be used to...

Syntax of Propositional Calculus

(20th-July-2020) • A proposition is a sentence, written in a language, that has a truth value (i.e., it is true or false) in a world. A...

Propositions and Inference

(19th-July-2020) • A simple form of a knowledge base that is told facts about what is true in the world. An agent can use such a...

Review of Ontology and quiz

(18th-July-2020) • Individual-property-value triples form a flexible, universal representation for relations. • Ontologies are required...

The Semantic Web

(17th-July-2020) • The semantic web is a way to allow machine-interpretable knowledge to be distributed on the World Wide Web. Instead of...

Delaying Goals

(16th-July-2020) • One of the most useful abilities of a meta-interpreter is to delay goals. Some goals, rather than being proved, can be...

Meta-interpreter to Build Proof Trees

(15th-July-2020) • To implement the how command of Section 5.3.3.1, the interpreter maintains a representation of the proof tree for a...

Expanding the Base Language

(14th-July-2020) • The base language can be changed by modifying the meta-interpreter. Adding clauses is used to increase what can be...

A Vanilla Meta-interpreter

(13th-July-2020) • Today’s topics presents a very simple vanilla meta-interpreter for the definite clause language written in the...

Base Languages and Metalanguages

(12th-July-2020) • We require a representation of the base-level expressions that can be manipulated by the interpreter to produce...

More General Questions

(11th-July-2020) • Yes-or-no questions and functional relations do not cover all of the cases of a query. The general form of a query...

Functional Relations

(10th-July-2020) • One case in which the system may know the answer to an askable goal, even though it has not been directly answered by...

OWL Top-Level Ontologies

(9th-July-2020) • At the top is entity. OWL calls the top of the hierarchy thing. Essentially, everything is an entity. • Entities are...

Top-Level Ontologies

(8th-July-2020) • For example, Figure 13.16 defines a domain ontology designed to be used by people who want to write a knowledge base...

A domain ontology

(07th-July-2020) • A domain ontology is an ontology about a particular domain of interest. Most existing ontologies are in a narrow...

Aristotelian Definitions

(5th-July-2020) • Categorizing objects, the basis for modern ontologies, has a long history. Aristotle(350 B.C.) suggested the definition...

RDF/ OWL/ Conceptualization

(4th-Julu-2020) • RDF (the Resource Description Framework) is a language built on XML, providing individual-property-value triples. •...

bottom of page