    |
| Marc M. Adkins |
Artificial Intelligence
Four years providing programming support to ongoing AI projects in various dialects of Lisp. Working knowledge of the field, though not a true expert.
Planning Research Corporation
As a member of a Research and Development organization Mr. Adkins was involved in a number of general support efforts and some direct contracts.
Support eforts included evaluation of hardware and software, high level analysis and design for various projects, programming, and marketing and proposal efforts.
Technical lead on a research contract applying artificial intelligence techniques to computer security models. The project developed a representation for computer security models that could automatically generate security-preserving rules in a logically proveable framework.
Led the definition of a common notation for security models, constructed the model translator for the common notation using a parser generator. The parser generator, written in Pascal at the College of William and Mary, ran under VAX/VMS. Parse tables were interpreted by a parsing kernel ported to InterLISP-D as part of the contract.
Contributed to the development of the Argus security model, created using the tools developed on the contract.
Skills
- InterLISP-D
- LOOPS
- MYSTRO
- Pascal
- VAX/VMS
- Xerox 1186 (Dove)
Constructed a testbed for the development of communicating, cooperating expert systems utilizing distributed blackboards.
Experts and data could be distributed across multiple systems. All blackboard and rule software was developed on top of a partitioned version of the Frame System developed previously.
Skills
- InterLISP-D
- Xerox 1186 (Dove)
PRC-sponsored upgrades to the Mobile Missile Prototype. Prototyped rule engine in Ada.
Skills
- Ada
- Symbolics 3670
- Vax/VMS
- Zetalisp
Worked on the Mobile Missile Prototype contract, developing software for the display, editing, and aggregation of fuzzy values and geographic data.
Developed the likelihood curve user interface for depicting substantive intelligence perceptions in the presence of uncertainty of variability.
Skills
- Symbolics 3670
- Zetalisp
Developed support tools for the Moving Target Analysis project.
Developed the Frame System, a knowledge-support tool based on the frame data structure. This structure provided a common representation for all software and data.
Skills
- InterLISP-D
- Xerox 1108 (Dandelion)
