U.S.-Japan Cooperative Research: Applied Constraint Logic   Programming
{'Code': '01090000', 'Directorate': {'Abbreviation': 'O/D', 'LongName': 'Office Of The Director'}, 'Division': {'Abbreviation': 'OISE', 'LongName': 'Office Of Internatl Science &Engineering'}}
{'SignBlockName': 'Charles Wallace', 'PO_EMAI': None, 'PO_PHON': None}
This award will enable Prof. Ken McAloon and co-workers of Brooklyn             College, City University of New York, to collaborate with Prof. Fumio           Mizoguchi of the Science University of Tokyo, Japan, over a period of           two years. They will explore the development of a new field of logic            study, which they term "Applied Constraint Logic."  The application             of this type of logic to artificial intelligence, operations research,          and software engineering will be explored.                                                                                                                      The purpose of this research is to develop sequential and parallel              constraint solvers for constraint logic programming systems, and                ultimately to combine constraint logic concepts with those of                   artificial intelligence to produce a prototype decision support                 system for financial applications.  Constraint logic programming                combines rule-based systems with systems in which components of a               problem are stated as constraints, and the problem as a whole is                represented by linking the constraints together by means of rules.              In some applications constraint conditions represent problems more              naturally than absolute quantitative conditions, and for these                  problems constraint-based systems should be more efficient than                 standard programming languages.  In this project the Japanese group's           work on arithmetic constraint solvers, and on development of logic              programming systems, will be combined with the experience of the U.S.           group on the development of algorithms for generalized linear                   constraints and on software development in constraint languages.                This research could have great impact on our approach to programming            for artificial intelligence tasks.
[{'FirstName': 'Ken', 'LastName': 'McAloon', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Ken McAloon', 'EmailAddress': None, 'NSF_ID': '000172357', 'StartDate': '04/01/1989', 'EndDate': None, 'RoleCode': 'Principal Investigator'}, {'FirstName': 'Carol', 'LastName': 'Tretkoff', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Carol Tretkoff', 'EmailAddress': None, 'NSF_ID': '000239183', 'StartDate': '04/01/1989', 'EndDate': None, 'RoleCode': 'Co-Principal Investigator'}]
{'Name': 'CUNY Brooklyn College', 'CityName': 'BROOKLYN', 'ZipCode': '112102850', 'PhoneNumber': '7189515622', 'StreetAddress': '2900 BEDFORD AVE', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'New York', 'StateCode': 'NY', 'CONGRESSDISTRICT': '09', 'CONGRESS_DISTRICT_ORG': 'NY09', 'ORG_UEI_NUM': 'XNAKYW3FTSE1', 'ORG_LGL_BUS_NAME': 'RESEARCH FOUNDATION OF THE CITY UNIVERSITY OF NEW YORK', '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': '5921', 'Text': 'JAPAN'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8816418.xml'}