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

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 2006
Accession Number
ADA456936

Entities

People

  • Konstantine Arkoudas
  • Selmer Bringsjord
  • Yingrui Yang

Organizations

  • Rensselaer Polytechnic Institute

Tags

Communities of Interest

  • Autonomy
  • Biomedical

DTIC Thesaurus Topics

  • Air Force Research Laboratories
  • Algorithms
  • Application Software
  • Artificial Intelligence
  • Cognition
  • Cognitive Science
  • Computer Programming
  • Computer Science
  • Computers
  • Health Services
  • Information Systems
  • Intelligent Agents
  • Intelligent Systems
  • Natural Languages
  • Programming Languages
  • Psychology
  • Surgery

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Computer Science.