While several FA/C systems have been implemented, there has been little formal analysis of the quality of the solutions that can be produced using the approach or of the conditions that are necessary for the approach to be effective. In this line of research we have been working to formally analyze the FA/C model in the context of distributed sensor interpretation (SI). There are two basic directions in which we are proceeding: 1.) characterizing the quality of solutions that can be produced by FA/C systems and 2.) understanding the domain characteristics necessary for the FA/C approach to be effective.
"Nearly Monotonic Problems: A Key to Effective FA/C Distributed Sensor Interpretation?" N. Carver, V. Lesser, and R. Whitehair, Proceedings of AAAI-96, August 1996 (Copyright AAAI).
"Evidence Reliability in Nonmonotonic Domains and Nearly Monotonic Problems," N. Carver, Proceedings of the Midwest Artificial Intelligence and Cognitive Science Society Conference, April 1996.
"A Formal Analysis of Solution Quality in FA/C Distributed Sensor Interpretation Systems," N. Carver and V. Lesser, Technical Report 95-05, Computer Science Department, Southern Illinois University, July 1995.
"Examining Some Assumptions of the FA/C Distributed Problem-Solving Paradigm," N. Carver, Proceedings of the Midwest Artificial Intelligence and Cognitive Science Society Conference, April, 1995.
"A First Step Toward the Formal Analysis of Solution Quality in Distributed Interpretation Systems," N. Carver and V. Lesser, Proceedings of the 13th International Workshop on Distributed Artificial Intelligence, July, 1994 (also available as Technical Report 94-37, Department of Computer Science, University of Massachusetts).
Norman Carver's home page.