Show simple item record

dc.contributor.advisorAkman, Varol
dc.contributor.authorŞencan, Mine Ülkü
dc.date.accessioned2016-01-08T20:10:26Z
dc.date.available2016-01-08T20:10:26Z
dc.date.issued1993
dc.identifier.urihttp://hdl.handle.net/11693/17455
dc.descriptionAnkara : Department of Computer Engineering and Information Science and Institute of Engineering and Science, Bilkent Univ., 1993.en_US
dc.descriptionThesis (Master's) -- Bilkent University, 1993.en_US
dc.descriptionIncludes bibliographical references leaves 60-63en_US
dc.description.abstractAn 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.extentix, 63 leavesen_US
dc.language.isoEnglishen_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectMultivalued Logics (MVL)en_US
dc.subjectQualitative Process Theory (QPT)en_US
dc.subjectQualitative Physicsen_US
dc.subjectEnvisioningen_US
dc.subjectCornmonsense Reasoningen_US
dc.subject.lccQ335.5 .S46 1993en_US
dc.subject.lcshArtificial intelligence.en_US
dc.subject.lcshReasoning.en_US
dc.subject.lcshPhysics.en_US
dc.titleUtilization of the MVL system in qualitative reasoning about the physical worlden_US
dc.typeThesisen_US
dc.departmentDepartment of Computer Engineeringen_US
dc.publisherBilkent Universityen_US
dc.description.degreeM.S.en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record