Abstract: A system, method and program product for implementing an artificially intelligent emergency response system to generate a plan for an emergency event in response to received event information from one or more input devices. A process includes: translating the received event information into a logically controlled natural language; selecting a meta-model that conforms to the emergency event; generating a hypergraph model from the meta-model, wherein the hypergraph model includes details from the received event information; generating a goal based on the received event information; generating and outputting a plan to an output device based on the hypergraph model, the goal, and semantic information.

Abstract: An artificial intelligence (AI) logic problem platform. A disclosed system includes a first AI module having: a problem generator for automatically generating unique reasoning problems; and a solution analyzer for automatically analyzing a logic solution submitted in response to an automatically generated reasoning problem; and a second AI module includes a user interface for allowing a user to create the logic solution and output a solution file.

Abstract: A system, method and program product for countering fraud using artificial intelligence. A system is disclosed that includes: a system for formalizing real world semantic information pertaining to a domain that includes rules and processes expressed as formulae, semantic models of known fraud schemes, and knowledge bases of domain participants represented using cognitive calculi; and a scheme generation system for generating a plurality of fraud schemes within the domain using the semantic information, wherein each fraud scheme: comprises a plan expressed using cognitive calculi; includes at least one domain participant; achieves an illicit result that breaks at least one rule of the domain; is provable to be outside the purview of relevant observers; and is not a known fraud scheme.

Abstract: An artificial intelligence (AI) logic problem platform. A disclosed system includes a first AI module having: a problem generator for automatically generating unique reasoning problems; and a solution analyzer for automatically analyzing a logic solution submitted in response to an automatically generated reasoning problem; and a second AI module includes a user interface for allowing a user to create the logic solution and output a solution file.

Abstract: A system, method and program product for countering fraud using artificial intelligence. A system is disclosed that includes: a system for formalizing real world semantic information pertaining to a domain that includes rules and processes expressed as formulae, semantic models of known fraud schemes, and knowledge bases of domain participants represented using cognitive calculi; and a scheme generation system for generating a plurality of fraud schemes within the domain using the semantic information, wherein each fraud scheme: comprises a plan expressed using cognitive calculi; includes at least one domain participant; achieves an illicit result that breaks at least one rule of the domain; is provable to be outside the purview of relevant observers; and is not a known fraud scheme.

Abstract: A system, method and program product for spear phishing. As system is disclosed having a system for automatically constructing a background story using computational logic that includes true declarative content associated with a target; a system for automatically constructing an expanded story using computational logic that includes deceptive declarative content; and a communication generator that generates a communication including the true declarative content, the deceptive declarative content, and an actionable element.