> For the complete documentation index, see [llms.txt](https://yapay-zeka.gitbook.io/ilkturkyapayzekaveyapaysiniraglarisempozyumu/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://yapay-zeka.gitbook.io/ilkturkyapayzekaveyapaysiniraglarisempozyumu/akil-yueruetme-reasoning/qualitative-reasoning-experiments-with-the-mvl-theorem-proving-system.md).

# Qualitative Reasoning Experiments with the MVL Theorem Proving System

## Abstract

An experimental program, QREM, is implemented using the inference mechanism of the MVL Theorem Prover System of Ginsberg. QREM uses Forbus' Qualitative Process Theory for its description of physical situations and constructs the interpretations of measurements, In this paper, we mainly concentrate on the representation of process descriptions and basic deductions, and give some idea about what MVL can provide for writing qualitative physics programs.

## Özet

Deneysel bir program olan QREM, Ginsberg'in MVL Teorem Prover Sisteminin çıkarım mekanizması kullanılarak gerçekleştirildi. QREM, Forbus 'Niteliksel Proses Teorisini fiziksel durumların tanımlanması için kullanır ve ölçümlerin yorumlarını oluşturur. Bu makalede, temel olarak işlem tanımlarının ve temel indirimlerin gösterilmesine odaklanıyoruz ve MVL'nin nitel fiziği programlamak için neler sağlayabileceği hakkında bir fikir veriyoruz.

## Tam Metin <a href="#tam-metin" id="tam-metin"></a>

{% hint style="success" %}
**Bildirinin tamamını görüntülemek için aşağıdaki dosyayı indiriniz.**
{% endhint %}

{% file src="/files/-LhCXuMiaiOdlgFfuTZg" %}
39-46 Qualitative Reasoning Experiments with the MVL Theorem Proving System
{% endfile %}


---

# Agent Instructions
This documentation is published with GitBook. GitBook is the documentation platform designed so that both humans and AI agents can read, navigate, and reason over technical content effectively. Learn more at gitbook.com.

## Querying This Documentation
If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://yapay-zeka.gitbook.io/ilkturkyapayzekaveyapaysiniraglarisempozyumu/akil-yueruetme-reasoning/qualitative-reasoning-experiments-with-the-mvl-theorem-proving-system.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.