BDI logic is widely used to describe agent based systems, since it can express a lot of different real world domains with three main operators: belief, desire and intention. There are lots of works where BDI logic is used as descriptive language, but authors do not talk about implementation issues [5,2,4,8,1]. There is even known general agent implementation scheme, which do not describe howto use formal logic for such scheme implementation [12]. The main aim of this paper is to show the bridge, which connects formal and practical parts of logic. We describe how sequent calculus can be used for implementing some parts of general scheme. In this paper, we show how flexible constraints can be implemented. Sequent calculus usage is illustrated with simple examples.
{"title":"Sekvencinio skaičiavimo panaudojimas BDI agentų realizavimui","authors":"Adomas Birstunas","doi":"10.15388/lmr.2006.30715","DOIUrl":"https://doi.org/10.15388/lmr.2006.30715","url":null,"abstract":"BDI logic is widely used to describe agent based systems, since it can express a lot of different real world domains with three main operators: belief, desire and intention. There are lots of works where BDI logic is used as descriptive language, but authors do not talk about implementation issues [5,2,4,8,1]. There is even known general agent implementation scheme, which do not describe howto use formal logic for such scheme implementation [12]. The main aim of this paper is to show the bridge, which connects formal and practical parts of logic. We describe how sequent calculus can be used for implementing some parts of general scheme. In this paper, we show how flexible constraints can be implemented. Sequent calculus usage is illustrated with simple examples.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136240086","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The national research of 2005 revealed that in the eighth form the achievements in algebra are lower than in other fields of mathematics. The results of the boys are statistically much lower compared to the girls (the author of the article is a member of the research group). The possibility of the eighth-formers (boys and girls) to solve problems in algebra are analyzed and compared in the article. The research included 2146 students. The students were given 16 problems to solve and the girls coped with them approximately 7–12 percent better than the boys. The girls compared with the boys, performed standard operations better, made less mistakes in combining them, and most often carried out them consecutively. The boys did not solve problems and exercises in mathematics especially if the tasks had operations with fractions. The tasks of concrete content containing small numbers were tried to be solved more by the boys. However, to solve them the boys most frequently choose an arithmetic way and wrote down only the answer. It is evident that the period of transition from concrete perception to the abstract one is at an average later for boys than girls. Boys accept loads of abstract notions in algebra more difficult. The authors of textbooks and teachers should pay attention to is phenomenon.
{"title":"The peculiarities of mathematic communication of the eight-formers","authors":"Viktorija Sičiūnienė","doi":"10.15388/lmr.2006.30626","DOIUrl":"https://doi.org/10.15388/lmr.2006.30626","url":null,"abstract":"The national research of 2005 revealed that in the eighth form the achievements in algebra are lower than in other fields of mathematics. The results of the boys are statistically much lower compared to the girls (the author of the article is a member of the research group). The possibility of the eighth-formers (boys and girls) to solve problems in algebra are analyzed and compared in the article. The research included 2146 students. The students were given 16 problems to solve and the girls coped with them approximately 7–12 percent better than the boys. The girls compared with the boys, performed standard operations better, made less mistakes in combining them, and most often carried out them consecutively. The boys did not solve problems and exercises in mathematics especially if the tasks had operations with fractions. The tasks of concrete content containing small numbers were tried to be solved more by the boys. However, to solve them the boys most frequently choose an arithmetic way and wrote down only the answer. It is evident that the period of transition from concrete perception to the abstract one is at an average later for boys than girls. Boys accept loads of abstract notions in algebra more difficult. The authors of textbooks and teachers should pay attention to is phenomenon.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136240095","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Povilas Tvarijonas, Gediminas Simonas Dosinas, Eligijus Sakalauskas
In this paper the discrete logarithm problem in matrix in finite fields is formulated, possible ways of solution are given.
本文给出了有限域上矩阵离散对数问题的公式，并给出了可能的求解方法。
{"title":"Discrete logarithm problem in matrix","authors":"Povilas Tvarijonas, Gediminas Simonas Dosinas, Eligijus Sakalauskas","doi":"10.15388/lmr.2006.30588","DOIUrl":"https://doi.org/10.15388/lmr.2006.30588","url":null,"abstract":"In this paper the discrete logarithm problem in matrix in finite fields is formulated, possible ways of solution are given.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136240337","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Osculating paraboloid of second order have been studied in classical differential geometry. In this article we generalize this concept to osculating paraboloids of higher order. This yields a visualization of the local properties of a given surface which depend on the derivatives of higher order.
{"title":"Osculating paraboloid","authors":"Kazimieras Navickis","doi":"10.15388/lmr.2006.30577","DOIUrl":"https://doi.org/10.15388/lmr.2006.30577","url":null,"abstract":"Osculating paraboloid of second order have been studied in classical differential geometry. In this article we generalize this concept to osculating paraboloids of higher order. This yields a visualization of the local properties of a given surface which depend on the derivatives of higher order.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136240499","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Multidimensional analogues of Cauchy–Riemann quations and of Riemann–Hilbert boundary value problem are studied. Their relation to the scalar boundary value problem is demonstrated.
研究了柯西-黎曼方程和黎曼-希尔伯特边值问题的多维类似问题。证明了它们与标量边值问题的关系。
{"title":"Rymano–Hilberto kraštinis uždavinys daugiamatėms elipsinėms sistemoms","authors":"Eugenijus Paliokas","doi":"10.15388/lmr.2006.30573","DOIUrl":"https://doi.org/10.15388/lmr.2006.30573","url":null,"abstract":"Multidimensional analogues of Cauchy–Riemann quations and of Riemann–Hilbert boundary value problem are studied. Their relation to the scalar boundary value problem is demonstrated.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136240515","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
This paper considered deterministic and stochastic delayed linear growth laws for the modeling of the process of growth. For the estimation of parameters the L1 distance procedure was proposed. As an illustrative experience was used a real data set from repeated measurements on permanent sample plots of pine stands in Lithuania.
{"title":"Parametrų įvertinimas L1 normos metodu stochastiniame tiesiniame su vėlinimu augimo modelyje","authors":"Petras Rupšys","doi":"10.15388/lmr.2006.30772","DOIUrl":"https://doi.org/10.15388/lmr.2006.30772","url":null,"abstract":"This paper considered deterministic and stochastic delayed linear growth laws for the modeling of the process of growth. For the estimation of parameters the L1 distance procedure was proposed. As an illustrative experience was used a real data set from repeated measurements on permanent sample plots of pine stands in Lithuania.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136238828","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this article the complete description of the decisions of a functional equation(1 + ¯ζeiθ z)pf (z) = f (ω(0))f (z)is given, where ω(z) = (eiθ z + ζ )/(1 + ¯ζeiθ z) – automorphism of a unit circle E and the decisions are searched among analytical in E functions. It is established, that research of a given functional equation is closely connected to property of stationary points of automorpism ω(z).
本文给出了泛函方程(1 +¯ζ eθ z)pf (z) = f (ω(0))f (z)的判定的完整描述，其中ω(z) = (eθ z + ζ)/(1 +¯ζ eθ z) -单位圆E的自同构，并在解析函数E中搜索判定。建立了给定泛函方程的研究与自同构的平稳点ω(z)的性质密切相关。
{"title":"Apie funkcionalinę lygtį susijusią su vienetinio skritulio automorfizmu","authors":"Eduardas Kirjackis","doi":"10.15388/lmr.2006.30568","DOIUrl":"https://doi.org/10.15388/lmr.2006.30568","url":null,"abstract":"In this article the complete description of the decisions of a functional equation(1 + ¯ζeiθ z)pf (z) = f (ω(0))f (z)is given, where ω(z) = (eiθ z + ζ )/(1 + ¯ζeiθ z) – automorphism of a unit circle E and the decisions are searched among analytical in E functions. It is established, that research of a given functional equation is closely connected to property of stationary points of automorpism ω(z).","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136239005","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Zacharij Niemcevski (1766–1820) was a professor of higher mathematics at the Vilnius university in the period from 1797 until 1820. He was a member correspondent of Societe Academique des sciences and Academie Imperial des Sciences de Turin. Niemcevski tought differential and integral calculus by the tracktate of S.F. Lacroix, analytic geomety – by J.B. Biot, and mechanics – by L.B. Francoeur. His investigations on the Lithuanian language was published in the tractate of K. Malte Brun.
{"title":"Zacharijus Niemčevskis – Vilniaus universtiteto aukštosios matematikos profesorius (1797–1820)","authors":"Evaldas Gečiauskas","doi":"10.15388/lmr.2006.30630","DOIUrl":"https://doi.org/10.15388/lmr.2006.30630","url":null,"abstract":"Zacharij Niemcevski (1766–1820) was a professor of higher mathematics at the Vilnius university in the period from 1797 until 1820. He was a member correspondent of Societe Academique des sciences and Academie Imperial des Sciences de Turin. Niemcevski tought differential and integral calculus by the tracktate of S.F. Lacroix, analytic geomety – by J.B. Biot, and mechanics – by L.B. Francoeur. His investigations on the Lithuanian language was published in the tractate of K. Malte Brun.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136240089","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The analysis of ACO algorithm for transmitters locating problem is presented in this paper.
分析了基于蚁群算法的发射机定位问题。
{"title":"Stočių išdėstymo algoritmo analizė","authors":"Saulius Lazaravičius, Narimantas Listopadskis","doi":"10.15388/lmr.2006.30759","DOIUrl":"https://doi.org/10.15388/lmr.2006.30759","url":null,"abstract":"The analysis of ACO algorithm for transmitters locating problem is presented in this paper.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136240090","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The article investigates typical educational research mistakes as well as objective and subjective grounds for them. It attempts to hypothetically define methodological procedures which would enable the mitigation of the consequences of mistakes and the achievement of methodologically mature results of educational experimentation. The research has been based on the analysis of experiments in Lithuanian dissertations on education.
{"title":"Eksperimentas edukologijoje: patirtis ir perspektyvos","authors":"Aušra Rutkienė","doi":"10.15388/lmr.2006.30624","DOIUrl":"https://doi.org/10.15388/lmr.2006.30624","url":null,"abstract":"The article investigates typical educational research mistakes as well as objective and subjective grounds for them. It attempts to hypothetically define methodological procedures which would enable the mitigation of the consequences of mistakes and the achievement of methodologically mature results of educational experimentation. The research has been based on the analysis of experiments in Lithuanian dissertations on education.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"286 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136240093","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：