Utilization of the MVL system in qualitative reasoning about the physical world

Date
1993
Instructor
Source Title
Print ISSN
Electronic ISSN
Publisher
Bilkent University
Volume
Issue
Pages
Language
English
Type
Thesis
Journal Title
Journal ISSN
Volume Title
Abstract

An experimental progra.m, QRM, has been implemented using the inference mechanism of the Multivalued Logics (MVL) Theorem Proving System of Matthew Ginsberg. QRM has suitable facilities to reason about dynamical systems in qualitative terms. It uses Kenneth Forbus’s Qualitative Process Theory (QPT) to describe a physical system and constructs the envisionment tree for a given initial situation. In this thesis, we concentrate on knowledge representation issues, and basic qualitative reasoning tasks based on QPT. We offer some insights about what MVL can provide for writing Qualitative Physics programs.

Course
Other identifiers
Book Title
Keywords
Multivalued Logics (MVL), Qualitative Process Theory (QPT), Qualitative Physics, Envisioning, Cornmonsense Reasoning
Citation
Published Version (Please cite this version)