In this paper, the authors outline a formal system for reasoning about agents' knowledge in knowledge games-a special type of multi-agent system. Knowledge games are card games where the agents' actions involve an e...In this paper, the authors outline a formal system for reasoning about agents' knowledge in knowledge games-a special type of multi-agent system. Knowledge games are card games where the agents' actions involve an exchange of information with other agents in the game. The authors' system is modeled using Coq-a formal proof management system. To the best of the authors" knowledge, there are no papers in which knowledge games are considered using a Coq proof assistant. The authors use the dynamic logic of common knowledge, where they particularly focus on the epistemic consequences of epistemic actions carried out by agents. The authors observe the changes in the system that result from such actions. Those changes that can occur in such a system that are of interest to the authors take the form of agents' knowledge about the state of the system, knowledge about other agents' knowledge, higher-order agents' knowledge and so on, up to common knowledge. Besides an axiomatic ofepistemic logic, the authors use a known axiomatization of card games that is extended with some new axioms that are required for the authors' approach. Due to a deficit in implementations grounded in theory that enable players to compute their knowledge in any state of the game, the authors show how the authors' approach can be used for these purposes.展开更多
Agroecological practices are promoted as a more proactive approach than conventional agriculture to achieving a collective global response to climate change and variability while building robust and resilient agricult...Agroecological practices are promoted as a more proactive approach than conventional agriculture to achieving a collective global response to climate change and variability while building robust and resilient agricultural systems to meet food needs and protect the integrity of ecosystems.There is relatively limited evidence on the key traditional agroecological knowledge and practices adopted by smallholder farmers,the factors that influence smallholder farmers’decision to adopt these practices,and the opportunities it presents for building resilient agricultural systems.Using a multi-scale mixed method approach,we conducted key informant interviews(n=12),focus group discussions(n=5),and questionnaire surveys(N=220)to explore the traditional agroecological knowledge and practices,the influencing factors,and the opportunities smallholder farmers presented for achieving resilient agricultural systems.Our findings suggest that smallholder farmers employ a suite of traditional agroecological knowledge and practices to enhance food security,combat climate change,and build resilient agricultural systems.The most important traditional agroecological knowledge and practices in the study area comprise cultivating leguminous crops,mixed crop-livestock systems,and crop rotation,with Relative Importance Index(RII)values of 0.710,0.708,and 0.695,respectively.It is reported that the choice of these practices by smallholder farmers is influenced by their own farming experience,access to market,access to local resources,information,and expertise,and the perceived risk of climate change.Moreover,the results further show that improving household food security and nutrition,improving soil quality,control of pest and disease infestation,and support from NonGovernmental Organizations(NGOs)and local authorities are opportunities for smallholder farmers in adopting traditional agroecological knowledge and practices for achieving resilient agricultural systems.The findings call into question the need for stakeholders and policy-makers at all levels to develop capacity and increase the awareness of traditional agroecological knowledge and practices as mechanisms to ensure resilient agricultural systems for sustainable food security.展开更多
Many companies like credit card, insurance, bank, retail industry require direct marketing. Data mining can help those institutes to set marketing goal. Data mining techniques have good prospects in their target audie...Many companies like credit card, insurance, bank, retail industry require direct marketing. Data mining can help those institutes to set marketing goal. Data mining techniques have good prospects in their target audiences and improve the likelihood of response. In this work we have investigated two data mining techniques: the Naive Bayes and the C4.5 decision tree algorithms. The goal of this work is to predict whether a client will subscribe a term deposit. We also made comparative study of performance of those two algorithms. Publicly available UCI data is used to train and test the performance of the algorithms. Besides, we extract actionable knowledge from decision tree that focuses to take interesting and important decision in business area.展开更多
In this paper we investigate the effectiveness of ensemble-based learners for web robot session identification from web server logs. We also perform multi fold robot session labeling to improve the performance of lear...In this paper we investigate the effectiveness of ensemble-based learners for web robot session identification from web server logs. We also perform multi fold robot session labeling to improve the performance of learner. We conduct a comparative study for various ensemble methods (Bagging, Boosting, and Voting) with simple classifiers in perspective of classification. We also evaluate the effectiveness of these classifiers (both ensemble and simple) on five different data sets of varying session length. Presently the results of web server log analyzers are not very much reliable because the input log files are highly inflated by sessions of automated web traverse software’s, known as web robots. Presence of web robots access traffic entries in web server log repositories imposes a great challenge to extract any actionable and usable knowledge about browsing behavior of actual visitors. So web robots sessions need accurate and fast detection from web server log repositories to extract knowledge about genuine visitors and to produce correct results of log analyzers.展开更多
To alleviate the information overload in the product design process,this work proposes a multiaction-based method for constructing knowledge map. Since the relationships of knowledge are implicit in the collected user...To alleviate the information overload in the product design process,this work proposes a multiaction-based method for constructing knowledge map. Since the relationships of knowledge are implicit in the collected user activities,the method calculates the similarity according to the collected user activities.Three concepts,including knowledge,action and user,are explained first. Based on this,the similarity calculation method is illustrated in detail. The dependencies of actions and relations of the user are considered in the calculation method. Further,the approach of applying the constructed knowledge map to alleviate information overload is proposed. At last,the proposed method is validated by a knowledge search and result comparison experiment.展开更多
Francis Bacon’s famous quote“knowledge is power,”has long been misunderstood,for his real intention was precisely to make humankind aware of the limitations of knowledge.His concept of potestas(power)is not about c...Francis Bacon’s famous quote“knowledge is power,”has long been misunderstood,for his real intention was precisely to make humankind aware of the limitations of knowledge.His concept of potestas(power)is not about conquest,but about action,aiming to clarify the nature of knowledge,to get rid of the empty and shallow contemplation of antiquity,and thus to bring the spirit of the real world back to the earth,as Socrates did.Bacon emphasized the unity of knowledge and action while valuing action over knowledge.Nature in Bacon’s time was no longer sacred and was degraded to a poor substance that revealed its secrets after being tortured by scientific technology.As a result,natural teleology was completely abandoned.Bacon put man in increasing tension with nature,heralding Kant’s argument that human reason prescribed lawfulness to nature.But Bacon,after all,lived in an era not far from antiquity,so he agreed the limitations of knowledge and action and considered technology to be a labyrinth prone to divest one’s identity.Bacon thought that knowledge could be venom that made humankind swell,and the antidote was charity.Bacon’s quote is not so much an encouragement to take from nature as it is a way to learn from nature and to take a practical approach to happiness.展开更多
Action recognition and localization in untrimmed videos is important for many applications and have attracted a lot of attention. Since full supervision with frame-level annotation places an overwhelming burden on man...Action recognition and localization in untrimmed videos is important for many applications and have attracted a lot of attention. Since full supervision with frame-level annotation places an overwhelming burden on manual labeling effort, learning with weak video-level supervision becomes a potential solution. In this paper, we propose a novel weakly supervised framework to recognize actions and locate the corresponding frames in untrimmed videos simultaneously. Considering that there are abundant trimmed videos publicly available and well-segmented with semantic descriptions, the instructive knowledge learned on trimmed videos can be fully leveraged to analyze untrimmed videos. We present an effective knowledge transfer strategy based on inter-class semantic relevance. We also take advantage of the self-attention mechanism to obtain a compact video representation, such that the influence of background frames can be effectively eliminated. A learning architecture is designed with twin networks for trimmed and untrimmed videos, to facilitate transferable self-attentive representation learning. Extensive experiments are conducted on three untrimmed benchmark datasets (i.e., THUMOS14, ActivityNet1.3, and MEXaction2), and the experimental results clearly corroborate the efficacy of our method. It is especially encouraging to see that the proposed weakly supervised method even achieves comparable results to some fully supervised methods.展开更多
文摘In this paper, the authors outline a formal system for reasoning about agents' knowledge in knowledge games-a special type of multi-agent system. Knowledge games are card games where the agents' actions involve an exchange of information with other agents in the game. The authors' system is modeled using Coq-a formal proof management system. To the best of the authors" knowledge, there are no papers in which knowledge games are considered using a Coq proof assistant. The authors use the dynamic logic of common knowledge, where they particularly focus on the epistemic consequences of epistemic actions carried out by agents. The authors observe the changes in the system that result from such actions. Those changes that can occur in such a system that are of interest to the authors take the form of agents' knowledge about the state of the system, knowledge about other agents' knowledge, higher-order agents' knowledge and so on, up to common knowledge. Besides an axiomatic ofepistemic logic, the authors use a known axiomatization of card games that is extended with some new axioms that are required for the authors' approach. Due to a deficit in implementations grounded in theory that enable players to compute their knowledge in any state of the game, the authors show how the authors' approach can be used for these purposes.
文摘Agroecological practices are promoted as a more proactive approach than conventional agriculture to achieving a collective global response to climate change and variability while building robust and resilient agricultural systems to meet food needs and protect the integrity of ecosystems.There is relatively limited evidence on the key traditional agroecological knowledge and practices adopted by smallholder farmers,the factors that influence smallholder farmers’decision to adopt these practices,and the opportunities it presents for building resilient agricultural systems.Using a multi-scale mixed method approach,we conducted key informant interviews(n=12),focus group discussions(n=5),and questionnaire surveys(N=220)to explore the traditional agroecological knowledge and practices,the influencing factors,and the opportunities smallholder farmers presented for achieving resilient agricultural systems.Our findings suggest that smallholder farmers employ a suite of traditional agroecological knowledge and practices to enhance food security,combat climate change,and build resilient agricultural systems.The most important traditional agroecological knowledge and practices in the study area comprise cultivating leguminous crops,mixed crop-livestock systems,and crop rotation,with Relative Importance Index(RII)values of 0.710,0.708,and 0.695,respectively.It is reported that the choice of these practices by smallholder farmers is influenced by their own farming experience,access to market,access to local resources,information,and expertise,and the perceived risk of climate change.Moreover,the results further show that improving household food security and nutrition,improving soil quality,control of pest and disease infestation,and support from NonGovernmental Organizations(NGOs)and local authorities are opportunities for smallholder farmers in adopting traditional agroecological knowledge and practices for achieving resilient agricultural systems.The findings call into question the need for stakeholders and policy-makers at all levels to develop capacity and increase the awareness of traditional agroecological knowledge and practices as mechanisms to ensure resilient agricultural systems for sustainable food security.
文摘Many companies like credit card, insurance, bank, retail industry require direct marketing. Data mining can help those institutes to set marketing goal. Data mining techniques have good prospects in their target audiences and improve the likelihood of response. In this work we have investigated two data mining techniques: the Naive Bayes and the C4.5 decision tree algorithms. The goal of this work is to predict whether a client will subscribe a term deposit. We also made comparative study of performance of those two algorithms. Publicly available UCI data is used to train and test the performance of the algorithms. Besides, we extract actionable knowledge from decision tree that focuses to take interesting and important decision in business area.
文摘In this paper we investigate the effectiveness of ensemble-based learners for web robot session identification from web server logs. We also perform multi fold robot session labeling to improve the performance of learner. We conduct a comparative study for various ensemble methods (Bagging, Boosting, and Voting) with simple classifiers in perspective of classification. We also evaluate the effectiveness of these classifiers (both ensemble and simple) on five different data sets of varying session length. Presently the results of web server log analyzers are not very much reliable because the input log files are highly inflated by sessions of automated web traverse software’s, known as web robots. Presence of web robots access traffic entries in web server log repositories imposes a great challenge to extract any actionable and usable knowledge about browsing behavior of actual visitors. So web robots sessions need accurate and fast detection from web server log repositories to extract knowledge about genuine visitors and to produce correct results of log analyzers.
基金Supported by the National Natural Science Foundation of China(51375049)National Defense Basic Scientific Research(A222011A222013)
文摘To alleviate the information overload in the product design process,this work proposes a multiaction-based method for constructing knowledge map. Since the relationships of knowledge are implicit in the collected user activities,the method calculates the similarity according to the collected user activities.Three concepts,including knowledge,action and user,are explained first. Based on this,the similarity calculation method is illustrated in detail. The dependencies of actions and relations of the user are considered in the calculation method. Further,the approach of applying the constructed knowledge map to alleviate information overload is proposed. At last,the proposed method is validated by a knowledge search and result comparison experiment.
基金the phased achievement of a program supported by the National Social Science Fund of China called“Translation and Research of Bacon’s Collected Works”(18BZX093)。
文摘Francis Bacon’s famous quote“knowledge is power,”has long been misunderstood,for his real intention was precisely to make humankind aware of the limitations of knowledge.His concept of potestas(power)is not about conquest,but about action,aiming to clarify the nature of knowledge,to get rid of the empty and shallow contemplation of antiquity,and thus to bring the spirit of the real world back to the earth,as Socrates did.Bacon emphasized the unity of knowledge and action while valuing action over knowledge.Nature in Bacon’s time was no longer sacred and was degraded to a poor substance that revealed its secrets after being tortured by scientific technology.As a result,natural teleology was completely abandoned.Bacon put man in increasing tension with nature,heralding Kant’s argument that human reason prescribed lawfulness to nature.But Bacon,after all,lived in an era not far from antiquity,so he agreed the limitations of knowledge and action and considered technology to be a labyrinth prone to divest one’s identity.Bacon thought that knowledge could be venom that made humankind swell,and the antidote was charity.Bacon’s quote is not so much an encouragement to take from nature as it is a way to learn from nature and to take a practical approach to happiness.
基金supported by National Natural Science Foundation of China(Nos.61871378,U2003111,62122013 and U2001211).
文摘Action recognition and localization in untrimmed videos is important for many applications and have attracted a lot of attention. Since full supervision with frame-level annotation places an overwhelming burden on manual labeling effort, learning with weak video-level supervision becomes a potential solution. In this paper, we propose a novel weakly supervised framework to recognize actions and locate the corresponding frames in untrimmed videos simultaneously. Considering that there are abundant trimmed videos publicly available and well-segmented with semantic descriptions, the instructive knowledge learned on trimmed videos can be fully leveraged to analyze untrimmed videos. We present an effective knowledge transfer strategy based on inter-class semantic relevance. We also take advantage of the self-attention mechanism to obtain a compact video representation, such that the influence of background frames can be effectively eliminated. A learning architecture is designed with twin networks for trimmed and untrimmed videos, to facilitate transferable self-attentive representation learning. Extensive experiments are conducted on three untrimmed benchmark datasets (i.e., THUMOS14, ActivityNet1.3, and MEXaction2), and the experimental results clearly corroborate the efficacy of our method. It is especially encouraging to see that the proposed weakly supervised method even achieves comparable results to some fully supervised methods.