New Architectures, Algorithms And Designs That Lead To Implemented Machine Reasoning Over Knowledge In Epistemic And Deontic Formats, In The Service Of Advanced Wargaming
Selmer Bringsjord, Konstantine Arkoudas, Yingrui Yang · 2006
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.