Tag: logic

Necessity and Sufficiency

Necessity - Sufficient Venn Diagram

Am I sufficient? Am I even necessary? If you’re plagued by these existential questions and have ended up here in your quest for an answer, then I’ve got some bad news for you. The answer to both is no. I keed. I keed. Actually, the bad news is that this post is about necessity and …

Continue reading

Binary Boolean Logic Functions

Boolean functions, sometimes also called switching functions, are functions that take as their input zero or more boolean values (1 or 0, true or false, etc.) and output a single boolean value. The number of inputs to the function is is called the arity of the function and is denoted as k. Every k-ary function …

Continue reading

How to Install SWI-Prolog on Ubuntu 16.10 Yakkety Yak

SWI-Prolog Logo

I know that this post will probably be of interest to about a dozen people worldwide, and even those few may be disappointed by it. Since the official SWI-Prolog packages aren’t often kept up to date and because compiling and installing SWI-Prolog from source should be both quick and straightforward, that is the recommended way …

Continue reading

Artificial Intelligence: A Modern Approach

Title: Artificial Intelligence: A Modern Approach Author: Stuart Jonathan Russell, Peter Norvig, Genre: Computers Publisher: Prentice Hall Release Date: 2010 Pages: 1132 Artificial intelligence: A Modern Approach, 3e,is ideal for one or two-semester, undergraduate or graduate-level courses in Artificial Intelligence. It is also a valuable resource for computer professionals, linguists, and cognitive scientists interested in …

Continue reading

Vex Robotics Design System Unboxing (2006)

Vex Retail Boxes

This post is a throwback to March, 2006 when I purchased the original Vex Robotics Design System v0.5. I had originally posted these pictures and their respective comments on Flickr. I had forgotten all about them when I happened to stumble upon them today. Although I think I was more surprised to find that Flickr …

Continue reading