Accession Number:

ADA280017

Title:

Epistemic Planning for Management and Manufacturing.

Descriptive Note:

Final rept. 5 Jun 91-5 Aug 93,

Corporate Author:

ARTIFICIAL INTELLIGENCE RESEARCH INC ORANGE TX

Personal Author(s):

• Brown, Frank M.

Report Date:

1993-11-01

Pagination or Media Count:

27.0

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.

Descriptors:

• *STRUCTURES
• *ARTIFICIAL INTELLIGENCE
• CONTROL
• INTELLIGENCE
• AUTOMATION
• MANUFACTURING
• COSTS
• FRAMES
• INDIRECT COSTS
• LOGIC
• PATTERNS
• PLANNING
• DECISION MAKING
• MANAGEMENT
• TOOLS
• REASONING

Subject Categories:

• Computer Programming and Software
• Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE