Epistemic Planning for Management and Manufacturing.
Abstract
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 01, 1993
- Accession Number
- ADA280017
Entities
People
- Frank M. Brown