| dc.contributor.advisor | Akman, Varol | |
| dc.contributor.author | Şencan, Mine Ülkü | |
| dc.date.accessioned | 2016-01-08T20:10:26Z | |
| dc.date.available | 2016-01-08T20:10:26Z | |
| dc.date.issued | 1993 | |
| dc.identifier.uri | http://hdl.handle.net/11693/17455 | |
| dc.description | Ankara : Department of Computer Engineering and Information Science and Institute of Engineering and Science, Bilkent Univ., 1993. | en_US |
| dc.description | Thesis (Master's) -- Bilkent University, 1993. | en_US |
| dc.description | Includes bibliographical references leaves 60-63 | en_US |
| dc.description.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. | en_US |
| dc.description.statementofresponsibility | Şencan, Mine Ülkü | en_US |
| dc.format.extent | ix, 63 leaves | en_US |
| dc.language.iso | English | en_US |
| dc.rights | info:eu-repo/semantics/openAccess | en_US |
| dc.subject | Multivalued Logics (MVL) | en_US |
| dc.subject | Qualitative Process Theory (QPT) | en_US |
| dc.subject | Qualitative Physics | en_US |
| dc.subject | Envisioning | en_US |
| dc.subject | Cornmonsense Reasoning | en_US |
| dc.subject.lcc | Q335.5 .S46 1993 | en_US |
| dc.subject.lcsh | Artificial intelligence. | en_US |
| dc.subject.lcsh | Reasoning. | en_US |
| dc.subject.lcsh | Physics. | en_US |
| dc.title | Utilization of the MVL system in qualitative reasoning about the physical world | en_US |
| dc.type | Thesis | en_US |
| dc.department | Department of Computer Engineering | en_US |
| dc.publisher | Bilkent University | en_US |
| dc.description.degree | M.S. | en_US |
