DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click HERE
to register or log in.
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.
APPROVED FOR PUBLIC RELEASE