Abstract: A computer generates a formal planning domain description. The computer receives a first text-based description of a domain in an AI environment. The domain includes an action and an associated attribute, and the description is written in natural language. The computer receives the first text-based description of said domain and extracts a first set of domain actions and associated action attributes. The computer receives audio-visual elements depicting the domain, generates a second text-based description, and extracts a second set of domain actions and associated action attributes. The computer constructs finite state machines corresponding to the extracted actions and attributes. The computer converts the FSMs into a symbolic model, written in a formal planning language, that describes the domain.

Abstract: A historical log of a plurality of a type of Internet-connected appliances is collected. a dynamic probabilistic graphical model of the time-lined interactions between subsystems and components of the appliances is generated. The probabilistic graphical model is trained by applying machine learning techniques and applying expert knowledge. A natural language processing (NLP) conversational user interface for diagnostic queries regarding operational errors is provided, and responsive to receive a diagnostic query in a conversational format from a user regarding a particular type, make, and model of an appliance of the plurality of the type of Internet-connected appliances, a diagnostic response is provided to the user interface using the natural language processing conversational format.

Abstract: A method for generating a summary text composition can include obtaining historical reading data of a user. The method can include generating, based on the historical reading data, a reading proficiency level of the user. The method can include selecting, based on the reading proficiency level, a summarization model from a set of summarization models. The method can include obtaining a target composition. The target composition can be selected from the group consisting of a literary work, a video recording, and an audio recording. The method can include generating, by the summarization model, the summary text composition. The summary text composition can correspond to the target composition and have a first reading level classification that matches the reading proficiency level. The method can include transmitting the summary text composition to a computing device.

Abstract: Techniques and systems for facilitating artificial intelligence for interactive preparation of electronic documents are provided. In one example, a system includes a mapping component and a document editing component. The mapping component maps data provided by a recording device into an editing action for an electronic document. The document editing component applies the editing action associated with the recording device to the electronic document to generate a modified version of the electronic document.

Abstract: A method incrementally solves a current journey planning request from a user. The solving step performs a current search for at least one journey plan that satisfies the request by accessing a database storing journey planning information derived from results to a plurality of previous requests. The solving step stores, in the database, information discovered during the current search for responding to a subsequent request. The information discovered during the current search for responding to the request includes a reusable portion of a search graph, pairs of a state and a lower bound on a best arrival time and pairs of a state and an exact value for the arrival time. The lower bound is employed to increase an accuracy of a pre-computer heuristic function which guides the search based on state dominance in search spaces in which heuristic values are back propagated and stored in the database.

Abstract: Techniques facilitating iterative widening search for designing chemical compounds are provided. A computer-implemented method can comprise receiving, by a system operatively coupled to a processor, an indication of a constrained structure portion of a chemical compound and a first unconstrained structure portion of the chemical compound. The method can also comprise determining, by the system, a second unconstrained structure portion for the chemical compound based on a determination that the second unconstrained structure portion satisfies a defined condition related to a difference between the first unconstrained structure portion and the second unconstrained structure portion.

Abstract: A method and system are provided. The method includes incrementally solving, by a processor-based journey plan incremental searcher, a current journey planning request from a user. The solving step includes performing a current search for at least one journey plan that satisfies the current journey planning request by accessing a database storing journey planning information derived from results to a plurality of previous journey planning requests. The solving step further includes storing, in the database, at least part of the information discovered during the current search for responding to a subsequent journey planning request. The solving step also includes providing the at least one journey plan to the user.

Abstract: Systems, computer-implemented methods, and computer program products to facilitate automated generation of a machine learning pipeline based on a pipeline grammar are provided. According to an embodiment, a system can comprise a memory that stores computer executable components and a processor that executes the computer executable components stored in the memory. The computer executable components can comprise a pipeline structure generator component that generates a machine learning pipeline structure based on a pipeline grammar. The computer executable components can further comprise a pipeline optimizer component that selects one or more machine learning modules that achieve a defined objective to instantiate a machine learning pipeline based on the machine learning pipeline structure.

Abstract: Embodiments for intelligent career planning actions in a computing environment by a processor. A career planning model may be created for a user according to a career goal, a user profile, and one or more alternative user profiles and historical data of alternative users having achieved the career goal. A career plan may be generated for the user according to the career planning model.

Abstract: Embodiments for intelligent application scenario testing and error detection by a processor. One or more modified application scenarios may be automatically generated from an initial application scenario having configuration data and a plurality of operations relating to an error. The one or more modified application scenarios are variations of the initial application. The one or more modified application scenarios may be executed to detect the existence or non-existence of the error in the one or more modified application scenarios.

Abstract: A system and method for reaction rules database correction. The method includes receiving a user-input correction to a first reaction rule in a reaction rules database, and locating a second reaction rule in the reaction rules database that is similar to the first reaction rule. The method also includes calculating a correctness score for the second reaction rule, and determining that the correctness score for the second reaction rule is below a threshold correctness score. Additionally, the method includes presenting, in response to the determining that the correctness score for the second reaction rule is below the threshold correctness score, the second reaction rule to a user, receiving a user-input correction to the second reaction rule, and updating the reaction rules database to include the user-input correction to the second reaction rule.

Abstract: An aspect of providing job assignment optimization includes creating a feature vector from features extracted from a new job request. Each of the features is associated with a constraint on minimum requirements with respect to a level of experience of a potential candidate. An aspect further includes creating a feature vector for each employee that includes skills attributed to the employee and instances that each of the skills have been completed, searching feature vectors generated from the employee database for the minimum requirements indicated in the new job request feature vector, searching the feature vectors of the database for the minimum requirements indicated by constraints associated with the new job request, modeling aggregate utility of past experience of employees as a weighted sum of applied utility functions, and generating a score indicating a difference between a potential post assignment and a pre-assignment utility. An aspect also includes outputting qualified candidates.

Abstract: Embodiments for recommending meals by a processor. A collaboration of data capturing a plurality of factors of a group user profile for each user in a group of users may be received for aiding in recommending one or more meals. The one or more meals may be recommended for the group of users according to the group user profile such that the recommending balances a satisfaction level for the one or more meals for the group of users.

Abstract: A metal titanium production apparatus includes: a reductor that subjects titanium tetrachloride to a reduction process in presence of bismuth and magnesium to obtain a liquid alloy containing titanium and the bismuth; a segregator that subjects the liquid alloy to a segregation process to obtain a precipitate; and a distillator that subjects the precipitate to a distillation process to obtain metal titanium, and the distillator sets an atmosphere so as to preferentially vaporize the bismuth attached to the precipitate and then sets the atmosphere so as to vaporize the bismuth forming the precipitate.

Abstract: Embodiments for using an intelligent transaction optimization assistant by a processor. One or more actions to enhance a transaction experience of one or more users may be provided according to one or more selected constraints learned via a machine learning operation from previous transaction experiences, user behavior relating to the one or more previous transaction experiences, transaction experiences shared amongst entities associated with a social network, or a combination thereof.

Abstract: Embodiments for optimizing seating space in a group seating arrangement by a processor. One or more seating preferences and constraints from a user may be received. An optimized seating arrangement in the group seating arrangement, having one or more adjustable seats, may be determined according to the one or more seating preferences and constraints. A user is enabled to select the optimized seating arrangement via a graphical user interface (GUI) such that the one or more adjustable seats in the group seating arrangement are dynamically adjusted according to the optimized seating arrangement and user selection.

Abstract: Systems, computer-implemented methods and/or computer program products that facilitate answering questions that involve mathematical computations are provided. In one embodiment, a computer-implemented method comprises: transforming, by a system operatively coupled to a processor, a natural language query into a first logical representation and extrinsic knowledge into a second logical representation relevant to the natural language query; merging, by the system, the first logical representation and the second logical representation into a third logical representation; and generating, by the system, answers for the natural language query based on processing of the third logical representation.

Abstract: Embodiments of the present invention provide methods, computer program products, and systems to receive information pertaining to one or more tasks. Embodiments of the present invention can be used to predict a communication time at which a user is available is based, at least in part, on position movements of the user, sentiment of the user, and urgency of a task in the one or more tasks. Embodiments of the present invention can be used to, in response to confirming user availability, select a task from the one or more tasks and initiating a communication event for the task at the predicted communication time.

Abstract: Embodiments describe an approach for coordinating the travel of multiple vehicles traveling to a target destination, the embodiments describe generating a travel group, receiving travel group parameters from travel group members, synced GPS applications, and a weather application, generating a course of travel for the travel group members to reach a destination, and tracking each travel group member according to locations identified by the synced GPS applications. Additionally, embodiments describe determining that a subgroup of the travel group is no longer traveling within a pre-determined range of other travel group members; calculating an optimized course of travel for the subgroup to reunite with the other travel group members, adjusting the course of travel to include the optimized course of action for the subgroup, and causing each GPS application to direct the subgroup to travel according to the optimized course of travel.

Abstract: Systems, computer-implemented methods and/or computer program products that facilitate answering questions that involve mathematical computations are provided. In one embodiment, a computer-implemented method comprises: transforming, by a system operatively coupled to a processor, a natural language query into a first logical representation and extrinsic knowledge into a second logical representation relevant to the natural language query; merging, by the system, the first logical representation and the second logical representation into a third logical representation; and generating, by the system, answers for the natural language query based on processing of the third logical representation.