Click here to learn more about author Adam Pease. In Part 1 I discussed the difference between procedural and declarative languages, and mentioned the confusion that can come from thinking that Turing equivalence applies to declarative languages. Now I’ll discuss some different logical languages. This is just an informal introduction. For the formal logician who is […]
The Knowledge Representation Corner: Procedural vs. Declarative
Click to learn more about author Adam Pease. Programmers that are new to ontology may be prone to think that any tool or language can be used to represent terms, definitions, and facts about the world. After all, as programmers, we’re used to solving problems in code and know that whether we use Perl, C++, Java, […]
Names, Naming, and Ontology
Click here to learn more about author Adam Pease. Last month I looked at representing some simple statements with binary relations. This month, let’s look at what is possibly an even more fundamental issue, that of naming. It comes up often in knowledge representation and people can have very strong opinions about the “right” name […]