Parallel logic programming and parallel systems software and hardware. Progress report (Final), 1 April 1988-31 March 1989

Technical Report · Sat Jul 29 00:00:00 EDT 1989

OSTI ID:7251899

Minker, J

This progress report summarizes work performed under AFOSR-88-0152 on parallel logic programming, problem solving, and deductive data bases. A parallel problem-solving system, PRISM (Parallel Inference System), that was implemented on McMOB was ported to the BBN Butterfly machine. Two versions of PRISM were developed and are operational on the Butterfly: a message-passing ring-structure system and a shared-memory system. Experimental testing of PRISM on McMOB continued, while experiments were also conducted on the Butterfly systems. Three enhancements were made and completed during the grant period. These are: a capability to handle negated queries and a capability to assert and retract statements. In addition to the above, work continued in the area of informative answers to queries in deductive data bases. A thesis was completed on the subject. An interpreter was developed and is running, that can take restricted natural language as input and can respond with a cooperative natural language output. In the area of parallel software development, the following were accomplished. Theoretical work on slicing/splicing was completed. Tools were provided for software development using artificial-intelligence techniques. AI software for massively parallel architectures was started.

• Research Organization: Maryland Univ., College Park, MD (USA). Dept. of Computer Science
• OSTI ID: 7251899
• Report Number(s): AD-A-214635/5/XAB
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
COMPUTER ARCHITECTURE
PARALLEL PROCESSING
ARTIFICIAL INTELLIGENCE
COMPUTER CODES
DATA BASE MANAGEMENT
NATURAL LANGUAGE
PROGRAMMING
PROGRESS REPORT
DOCUMENT TYPES
MANAGEMENT
PROGRAMMING LANGUAGES
990200* - Mathematics & Computers