Commercial Intelligence Rotating Header Image

Posts Tagged ‘predicate calculus’

Is business logic too much for classical logic?

Business logic is not limited to mathematical logic, as in first-order predicate calculus. Business logic commonly requires “aggregation” over sets of things, like summing the value of claims against a property to subtract it from the value of that property in order to determine the equity of the owner of that property. The equity of [...]

Project Sherlock

Working as part of Vulcan’s Project Halo[1], Automata is applying a natural language understanding system that translates carefully formulated sentences into formal logic so as to answer questions that typically require deeper knowledge and inference than demonstrated by Watson. The objective over the next three quarters is to acquire enough knowledge from the 9th edition [...]

The $50 Business Rule

Work on acquiring knowledge about science has estimated the cost of encoding knowledge in question answering or problem solving systems at $10,000 per page of relevant textbooks. Regrettably, such estimates are also consistent with the commercial experience of many business rules adopters. The cost of capturing and automating hundreds or thousands of business rules is [...]