You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

Voltairina comments on Test Driven Thinking - Less Wrong Discussion

3 Post author: adamzerner 24 July 2015 06:38PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (26)

You are viewing a single comment's thread.

Comment author: Voltairina 26 July 2015 05:18:05AM 0 points [-]

That seems like a job for an expert system - using formal reasoning from premises (as long as you can translate them comfortably into symbols), identifying whether a new fact contradicts any old fact...