Voltairina comments on Test Driven Thinking - Less Wrong

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...