Epistemic Planning for Management and Manufacturing.
Final rept. 5 Jun 91-5 Aug 93,
ARTIFICIAL INTELLIGENCE RESEARCH INC ORANGE TX
Pagination or Media Count:
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.
- Computer Programming and Software