A Model-Theoretic Approach to the Verification of Situated Reasoning Systems.

Anand S. Rao Michael P. Georgeff

Published in: IJCAI (1993)

Keyphrases

reasoning systems
computational model
high level
prior knowledge
theoretical framework
mathematical model
experimental data
model based diagnosis
genetic algorithm
artificial intelligence
knowledge base
expert systems
probabilistic model
model checking
conceptual model
diagnostic reasoning