Epistemic Planning for Management and Manufacturing.
Frank Malloy Brown · Defense Technical Information Center (DTIC) · 1993
This project developed multiple automated deduction systems based on a general knowledge-based reasoning technology which reduces the cost of decision making in large management and manufacturing systems. The project was carried out by first developing a general reasoning tool called Logistica which allows a user to easily implement sophisticated deductive reasoning systems and then by implementing specific rule systems in Logistica dealing with management and manufacturing problems. Logistica is a unique very-high-level reasoning tool based on pattern-directed invocation, multiple execution threads, and user- definable control structures. During the course of this project, Logistica was applied and used b two companies. First it was used Artificial intelligence, Logistica, Automated deduction, Z modal logic, Nonmonotonic reasoning, Frame problem, Planning.