{"type":"ScholarlyArticle","title":"A Note on Deduction Rules with Negative Premises","authors":[{"name":"Ivan Kramosil","slug":"ivan-kramosil","given":"Ivan","family":"Kramosil","affiliation":"Institute of Information Theory and Automation Czechoslovak Academy of Sciences Prague , Czechoslovakia"}],"abstract":"The so called frame Axioms problem or frame problem is well-known to anybody who is interested in automatic problem solving.Some information concerning this problem can be found in (1) or (2).In (2) the author proposes to eliminate the frame axioms in such e way th a t they are replaced by e new deduction rule denoted as UNL ESS-operator.In fact,this operator is a rule enabling to derive that something concerning the environment is valid at the present situation supposinit was valid in a past situation and 1t is not provable that a change concerning the validity of this statement has occured.For our reasons oply the formally logical aspect of this solution is interesting as it leads immediately to a new and very interesting modification of the notion of formalized theory.","doi":null,"url":"https://ijcai.org/proceedings/1975/9","pdf":"https://ijcai.org/proceedings/1975/0009.pdf","markdown":"https://ijcai.org/proceedings/1975/9.md","bibtex":"https://ijcai.org/proceedings/1975/bibtex/9","volume":{"slug":"1975","title":"Proceedings of the Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1975","url":"https://ijcai.org/proceedings/1975/","year":1975,"location":"Tbilisi, Georgia, USSR","dates":"","editors":"Patrick Winston and Carl Hewitt","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Mathematical and Theoretical Aspects of A.I","track":"Mathematical and Theoretical Aspects of A.I","number":9,"pages":{"first":53,"last":55},"keywords":[],"videos":[],"references":[{"position":1,"raw":"P.J.Hayes: Frame problem and rela~ ted problems in artificial intelli- gence. In: Artificial and Human Thinking (e <' itors A.Littlehorn and D.Jones),Elsevier 1973, pp.45- 59.","title":"Frame problem and rela~ ted problems in artificial intelligence","authors":"P J Hayes","year":"1973","venue":"Artificial and Human Thinking","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"E.Sandewall: An approach to the frame problem and its implementa- tion. In: Machine Intelligence 7 (editors B.Meltzer and D.Michie), Edinburgh University Press, 1972, pp. 195 -204.","title":"An approach to the frame problem and its implementation","authors":"E Sandewall","year":"1972","venue":"Machine Intelligence","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"M.D8vis: Computability and unsolva- bility. M e Graw-Hill Book Comp., New York -Toronto -London, 1958.","title":"D8vis: Computability and unsolvability","authors":"M","year":"1958","venue":"M e Graw-Hill Book Comp","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}