Parallel Logic Inference Via Clause Migration               (Computer and Information Science)
{'Code': '05020000', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'IIS', 'LongName': 'Div Of Information & Intelligent Systems'}}
{'SignBlockName': 'MICHELE R. JOHNSON', 'PO_EMAI': None, 'PO_PHON': None}
This research, funded as an Engineering Research Initiation             Award, develops methods of logic inference for parallel                         computers. The proposed scheme is based on maintaining logical                  data in related clusters. Reasoning (resolutions) on these                      clusters can be performed concurrently on multiple processors.                  This approach will utilize existing multicomputers; no                          special-purpose architecture is assumed. Optimal methods of of                  partitioning clause sets and managing clause migrations will be                 studied analytically and experimentally.                                                Knowledge based systems cannot effectively use logical                  inference unless reasoning can be carried out at high speed. The                importance of this research is that parallel processing offers                  one promising route to the necessary speedup; logical clustering                is a method to "divide and conquer" a logical inference problem,                spreading the computation effectively among many separate                       processors.
{'FirstName': 'Jie-Yong', 'LastName': 'Juang', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Jie-Yong Juang', 'EmailAddress': None, 'NSF_ID': '000405496', 'StartDate': '09/15/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Northwestern University', 'CityName': 'EVANSTON', 'ZipCode': '602080001', 'PhoneNumber': '3125037955', 'StreetAddress': '633 CLARK ST', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Illinois', 'StateCode': 'IL', 'CONGRESSDISTRICT': '09', 'CONGRESS_DISTRICT_ORG': 'IL09', 'ORG_UEI_NUM': 'EXZVPWZBLUE8', 'ORG_LGL_BUS_NAME': 'NORTHWESTERN UNIVERSITY', 'ORG_PRNT_UEI_NUM': None}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '6856', 'Text': 'ARTIFICIAL INTELL & COGNIT SCI'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8709072.xml'}