Projects
Studies in Formal Logics, Uncertainty, and the Foundations of Artificial Intelligence
I have a long-standing interest in the study of intelligence and the development of mathematical models of natural human cognitive processes. This has led to a theory of “qualified syllogisms'”, which can be applied to some well-known problems in the field of nonmonotonic reasoning. That work includes a new kind of logical formalism, dubbed “Dynamic Reasoning Systems”, which explicitly portrays reasoning as an activity that takes place in time. Another work has built on these ideas to create a Layman's Probability Theory for reasoning with linguistic likelihood (involving terms such as “likely,” “very likely,” “somewhat likely,” “unlikely,” etc.). More recently I have applied these same methodologies to develop a model for agent-oriented epistemic reasoning, i.e., deductions involving dispositions of knowledge and belief and employed my notion of dynamic reasoning to formulate a process of belief revision. Most recently I have been aiming this theory toward applications to mission planning for autonomous underwater vehicles.
Network Security, Intrusion Detection Systems, Unmanned Aerial Vehicles
In recent years I have developed a new interest in
Information Security. During May 2001
through April 2006 I was part of an
eleven-investigator research project to study problems of critical
infrastructure protection for the US Army. This work was done in collaboration
with Sara Stoecklin, also at FSU, to develop a
case-based reasoning (CBR) system for network intrusion detection. We employed
two research assistants. The primary results were (1) an adaptive case-based
reasoning framework employing reflective software architecture, and (2)
application of this framework to build a multi-sensor intrusion detection
system. The latter became the topic of
one student’s doctoral dissertation.
During 2019 through 2022 I served as co-PI on a project funded by the US
Navy to develop secure communications for unmanned aerial vehicles.
Autonomous Naval Vehicles
During 2018 through 2022, I have been working with
my doctoral student, Mohamad Imran Chowdhury, on path planning for autonomous
surface and underwater naval vehicles.
This involves programming a vehicle to transit an operational
environment that is populated with both fixed and moving obstacles. In addition, I have an interest in the
broader problem of mission planning for such vehicles. The core problem is how to program a vehicle
to respond appropriately in the face of unexpected conditions or events. This
entail devising a way to automatically generate mission plans. This is an open question that comprises the
primary focus of my current research.
While the present concern is with naval vehicles, the same issues arise
with driverless trucks and cars.
Selected Publications
· Chowdhury, M.I., and D.G. Schwartz, USV obstacle avoidance using a novel local path planner and a novel global path planner with r-PRM, ISR Europe 2022: 54th International Symposium on Robotics, VDE, Munich, Germany, June 21-24, 2022, pp. 341-348.
· Chowdhury, M.I., and D.G. Schwartz, Recursion-based probabilistic roadmap for robot path planning, ISR Europe 2022: 54th International Symposium on Robotics, VDE, Munich, Germany, June 21-24, 2022, pp. 226-232.
·
Chowdhury, M.I., and D.G. Schwartz, The
PRM-A* path planning algorithm for UUVs: an application to Navy mission
planning, Oceans 2020, Biloxi, Mississippi, October 19-22, 2020, 9
pages.
·
Chowdhury, M.I., and D.G. Schwartz, UUV on-board
path replanning using PRM-A*, Oceans 2020, Biloxi, Mississippi, October
19-22, 2020, 8 pages.
· Schwartz, D.G., A theory of event possibility with application to vehicle waypoint navigation, 36th North American Fuzzy Information Processing Society Annual Conference; proceedings published as Fuzzy Logic in Intelligent System Design: Theory and Applications, Advances in Intelligent Systems and Computing 648, Springer, 2017, pp. 329-334.
·
Schwartz, D. G, On the possibility of an
event, Proceedings of the 18th International Conference on
Artificial Intelligence (ICAI'16), July 25-28, 2016, Las Vegas, USA (held
as part of WorldComp'16), pp. 47-51.
·
Schwartz, D. G., Dynamic reasoning
systems, ACM Transactions on Computational Logic, 16, 4 (2015) Article 32, 69 pages including
appendix.
· Schwartz, D. G., Qualified syllogisms with fuzzy predicates, International Journal of Intelligent Systems, 29, 10 (2014) 926-945.
· Schwartz, D.G., Agent-oriented epistemic reasoning: subjective conditions of knowledge and belief, Artificial Intelligence, 148, 1-2 (2003) 177-195.
· Schwartz, D.G., Layman's probability theory: a calculus for reasoning with linguistic likelihood, Information Sciences, 126, 1-4 (2000) 71-82.
· Schwartz, D.G., Time, nonmonotonicity, qualified syllogisms, and the frame problem, Journal of Intelligent Systems, 8, 3-4 (1998) 315-355.
· Schwartz, D.G., Dynamic reasoning with qualified syllogisms, Artificial Intelligence, 93, 1-2 (1997) 103--167.
· Schwartz, D.G., Klir, G.J., Lewis, H., and Ezawa, Y., Applications of fuzzy sets and approximate reasoning, Proceedings of the IEEE, 82, 4 (1994) 482-498.
· Schwartz, D.G. and Klir, G.J., Fuzzy logic flowers in Japan, IEEE Spectrum, 29, 7 (1992) 32--35.
· Schwartz, D.G., Fuzzy inference in a formal theory of semantic equivalence, Fuzzy Sets and Systems, 31 (1989) 205-216.
· Schwartz, D.G., A free-variable theory of primitive recursive arithmetic, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 33 (1987) 147-157.
· Schwartz, D.G., On the equivalence between logic-free and logic-bearing systems of primitive recursive arithmetic, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 33 (1987) 245-253.
· Schwartz, D.G., Semantic completeness of free-variable theories, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 33 (1987) 441-452.
· Schwartz, D.G., Isomorphisms of G. Spencer-Brown's Laws of Form and F. Varela's Calculus for Self-Reference, International Journal of General Systems, 6 (1981) 239-255.