Help

# Axiom

warning: Creating default object from empty value in /var/www/vhosts/sayforward.com/subdomains/recorder/httpdocs/modules/taxonomy/taxonomy.pages.inc on line 33.

## Question: Agents with Propositional Logic + Discovery

Original author:
(author unknown)

Progressing through AIMA I've just been exposed to agents using propositional logic. I've noticed that worlds and states are framed in such a way as to require a set of axioms to be given first, and then inference can take place.

Is it possible to have a naive agent which forms hypothesis based on percepts that were not hard-coded as axioms? Does anyone know of any work involving this question?

submitted by tonicinhibition

## Great Moments in Pedantry: Analyzing blackboards from school-themed porn

There is now an entire blog dedicated to looking at what is written on the blackboard in the background of naughty schoolgirl porn films, and evaluating it for accuracy and grade level of information. God, I love the Internet.

Here's what Blackboards in Porn had to say about the photo above.

AFTER SCHOOL:

- math

1 + 1 = 2

1*

Mathematics - university/nursery school level.

This is clearly an extremely advanced level mathematical course, focusing on the Peano axioms for the natural numbers which formalised mathematics in the late 19th century. This course would culminate with Gödel's second incompleteness theorem which shows that the consitency of the Peano axioms cannot be formalised within Peano arithmetic itself.

Alternatively, it could be that the pupil, even at her advanced age, hasn't grasped that 1 + 1 = 2, and that all the after school one-to-one lessons in the world aren't going to work. Indeed, she probably won't even understand what 'one-to-one' means.

8/10 - loses two marks for 'math'.

Disclaimer: The blog is safe for work, in so much as there is no nudity. However, it is somewhat astounding how easy it is to look at a photo of a room full of fully clothed people and know, immediately, that said photo is a still from a porn. Make of that what you will.

Via Wired. Thanks to Joel!