SATAC knowledge representation and automated reasoning with JC3IEDM – Task 7—automated reasoning capabilities and limitations of P-JC3IEDM

PDF

Authors
  1. Demers, H.
  2. Duquet, J.-R.
Corporate Authors
Defence R&D Canada - Valcartier, Valcartier QUE (CAN);Lockheed Martin Canada Inc, Montreal Que (CAN)
Abstract
The purpose of this report is to describe the modifications required to P-JC3IEDM to support inferences of operational relevance. The starting point for these modifications is the recommendations that were made in task 4. These recommendations form the basis of changes presented in this document. The changes are implemented in reduced P-JC3IEDM, and analysed in terms of consistency, satisfiability and reasoning.

Il y a un résumé en français ici.

Report Number
DRDC-VALCARTIER-CR-2008-261 — Contractor Report
Date of publication
01 Sep 2008
Number of Pages
40
DSTKIM No
CA031673
CANDIS No
530640
Format(s):
CD ROM

Permanent link

Document 1 of 1

Date modified: