New Architectures, Algorithms And Designs That Lead To Implemented Machine Reasoning Over Knowledge In Epistemic And Deontic Formats, In The Service Of Advanced Wargaming

摘要

This effort investigated new architectures, algorithms, and designs to lead to: implemented machine reasoning over knowledge in expressive formats that include doxastic and deontic operators; understanding use of such implementations in a multi-agent setting; and implementation into other relevant DoD-related efforts. The RASCALS cognitive architecture has been developed further; new algorithms have been devised in mechanized epistemic and deontic logics; and the basic design for a logicist intelligent agent, callable from other systems, has been implemented.