Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence最新文献_第6页

Ultrafast Euclidean Shortest Path Computation Using Hub Labeling 基于轮毂标记的超快速欧氏最短路径计算

Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence Pub Date : 2023-06-26 DOI: 10.1609/aaai.v37i10.26463

Jinchun Du, Bojie Shen, M. A. Cheema

引用次数: 2

Structurally Restricted Fragments of Numeric Planning - a Complexity Analysis 数字规划的结构限制片段-复杂性分析

Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence Pub Date : 2023-06-26 DOI: 10.1609/aaai.v37i10.26428

Alexander Shleyfman, Daniel Gnad, P. Jonsson

{"title":"Structurally Restricted Fragments of Numeric Planning - a Complexity Analysis","authors":"Alexander Shleyfman, Daniel Gnad, P. Jonsson","doi":"10.1609/aaai.v37i10.26428","DOIUrl":"https://doi.org/10.1609/aaai.v37i10.26428","url":null,"abstract":"Numeric planning is known to be undecidable even under severe restrictions. Prior work has investigated the decidability boundaries by restricting the expressiveness of the planning formalism in terms of the numeric functions allowed in conditions and effects. We study a well-known restricted form of Hoffmann's simple numeric planning, which is undecidable. We analyze the complexity by imposing restrictions on the causal structure, exploiting a novel method for bounding variable domain sizes. First, we show that plan existence for tasks where all numeric variables are root nodes in the causal graph is in PSPACE.\u0000Second, we show that for tasks with only numeric leaf variables the problem is decidable, and that it is in PSPACE if the propositional state space has a fixed size. Our work lays a strong foundation for future investigations of structurally more complex tasks. From a practical perspective, our method allows to employ heuristics and methods that are geared towards finite variable domains (such as pattern database heuristics or decoupled search) to solve non-trivial families of numeric planning problems.","PeriodicalId":74506,"journal":{"name":"Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence","volume":"163 1","pages":"12112-12119"},"PeriodicalIF":0.0,"publicationDate":"2023-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76634971","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}

引用次数: 0

Self-Supervised Logic Induction for Explainable Fuzzy Temporal Commonsense Reasoning 可解释模糊时间常识推理的自监督逻辑归纳

Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence Pub Date : 2023-06-26 DOI: 10.1609/aaai.v37i11.26481

Bibo Cai, Xiao Ding, Zhouhao Sun, Bing Qin, Ting Liu, Baojun Wang, Lifeng Shang

{"title":"Self-Supervised Logic Induction for Explainable Fuzzy Temporal Commonsense Reasoning","authors":"Bibo Cai, Xiao Ding, Zhouhao Sun, Bing Qin, Ting Liu, Baojun Wang, Lifeng Shang","doi":"10.1609/aaai.v37i11.26481","DOIUrl":"https://doi.org/10.1609/aaai.v37i11.26481","url":null,"abstract":"Understanding temporal commonsense concepts, such as times of occurrence and durations is crucial for event-centric language understanding. Reasoning about such temporal concepts in a complex context requires reasoning over both the stated context and the world knowledge that underlines it. A recent study shows massive pre-trained LM still struggle with such temporal reasoning under complex contexts (e.g., dialog) because they only implicitly encode the relevant contexts and fail to explicitly uncover the underlying logical compositions for complex inference, thus may not be robust enough. In this work, we propose to augment LMs with the temporal logic induction ability, which frames the temporal reasoning by defining three modular components: temporal dependency inducer and temporal concept defuzzifier and logic validator. The former two components disentangle the explicit/implicit dependency between temporal concepts across context (before, after, ...) and the specific meaning of fuzzy temporal concepts, respectively, while the validator combines the intermediate reasoning clues for robust contextual reasoning about the temporal concepts. Extensive experimental results on TIMEDIAL, a challenging dataset for temporal reasoning over dialog, show that our method, Logic Induction Enhanced Contextualized TEmporal Reasoning (LECTER), can yield great improvements over the traditional language model for temporal reasoning.","PeriodicalId":74506,"journal":{"name":"Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence","volume":"1 1","pages":"12580-12588"},"PeriodicalIF":0.0,"publicationDate":"2023-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77174303","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}

引用次数: 2

A Fair Incentive Scheme for Community Health Workers 社区卫生工作者公平奖励计划

Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence Pub Date : 2023-06-26 DOI: 10.1609/aaai.v37i12.26653

Avinandan Bose, Tracey Li, Arunesh Sinha, Tien Mai

{"title":"A Fair Incentive Scheme for Community Health Workers","authors":"Avinandan Bose, Tracey Li, Arunesh Sinha, Tien Mai","doi":"10.1609/aaai.v37i12.26653","DOIUrl":"https://doi.org/10.1609/aaai.v37i12.26653","url":null,"abstract":"Community health workers (CHWs) play a crucial role in\u0000the last mile delivery of essential health services to underserved\u0000populations in low-income countries. Many nongovernmental\u0000organizations (NGOs) provide training and\u0000support to enable CHWs to deliver health services to their\u0000communities, with no charge to the recipients of the services.\u0000This includes monetary compensation for the work that\u0000CHWs perform, which is broken down into a series of well defined\u0000tasks. In this work, we partner with a NGO D-Tree\u0000International to design a fair monetary compensation scheme\u0000for tasks performed by CHWs in the semi-autonomous region\u0000of Zanzibar in Tanzania, Africa. In consultation with\u0000stakeholders, we interpret fairness as the equal opportunity\u0000to earn, which means that each CHW has the opportunity to\u0000earn roughly the same total payment over a given T month\u0000period, if the CHW reacts to the incentive scheme almost rationally.\u0000We model this problem as a reward design problem\u0000for a Markov Decision Process (MDP) formulation for the\u0000CHWs’ earning. There is a need for the mechanism to be\u0000simple so that it is understood by the CHWs, thus, we explore\u0000linear and piecewise linear rewards in the CHWs’ measured\u0000units of work. We solve this design problem via a novel\u0000policy-reward gradient result. Our experiments using two real\u0000world parameters from the ground provide evidence of reasonable\u0000incentive output by our scheme.","PeriodicalId":74506,"journal":{"name":"Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence","volume":"46 1","pages":"14127-14135"},"PeriodicalIF":0.0,"publicationDate":"2023-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77176073","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}

引用次数: 0

Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification 高效神经网络验证的迭代增强半定松弛

Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence Pub Date : 2023-06-26 DOI: 10.1609/aaai.v37i12.26744

Jianglin Lan, Yang Zheng, A. Lomuscio

引用次数: 0

Exploring Hypergraph of Earnings Call for Risk Prediction (Student Abstract) 探讨盈余呼叫超图的风险预测(学生摘要)

Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence Pub Date : 2023-06-26 DOI: 10.1609/aaai.v37i13.26973

Yi He, Wenxin Tai, Fan Zhou, Yi Yang

引用次数: 0

Hierarchical ConViT with Attention-Based Relational Reasoner for Visual Analogical Reasoning 基于注意的关系推理的层次卷积视觉类比推理

Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence Pub Date : 2023-06-26 DOI: 10.1609/aaai.v37i1.25072

Wentao He, Jialu Zhang, Jianfeng Ren, Ruibin Bai, Xudong Jiang

{"title":"Hierarchical ConViT with Attention-Based Relational Reasoner for Visual Analogical Reasoning","authors":"Wentao He, Jialu Zhang, Jianfeng Ren, Ruibin Bai, Xudong Jiang","doi":"10.1609/aaai.v37i1.25072","DOIUrl":"https://doi.org/10.1609/aaai.v37i1.25072","url":null,"abstract":"Raven’s Progressive Matrices (RPMs) have been widely used to evaluate the visual reasoning ability of humans. To tackle the challenges of visual perception and logic reasoning on RPMs, we propose a Hierarchical ConViT with Attention-based Relational Reasoner (HCV-ARR). Traditional solution methods often apply relatively shallow convolution networks to visually perceive shape patterns in RPM images, which may not fully model the long-range dependencies of complex pattern combinations in RPMs. The proposed ConViT consists of a convolutional block to capture the low-level attributes of visual patterns, and a transformer block to capture the high-level image semantics such as pattern formations. Furthermore, the proposed hierarchical ConViT captures visual features from multiple receptive fields, where the shallow layers focus on the image fine details while the deeper layers focus on the image semantics. To better model the underlying reasoning rules embedded in RPM images, an Attention-based Relational Reasoner (ARR) is proposed to establish the underlying relations among images. The proposed ARR well exploits the hidden relations among question images through the developed element-wise attentive reasoner. Experimental results on three RPM datasets demonstrate that the proposed HCV-ARR achieves a significant performance gain compared with the state-of-the-art models. The source code is available at: https://github.com/wentaoheunnc/HCV-ARR.","PeriodicalId":74506,"journal":{"name":"Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence","volume":"15 1","pages":"22-30"},"PeriodicalIF":0.0,"publicationDate":"2023-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82427960","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}

引用次数: 7

Securing Lifelines: Safe Delivery of Critical Services in Areas with Volatile Security Situation via a Stackelberg Game Approach 确保生命线:通过Stackelberg博弈方法在安全形势不稳定的地区安全提供关键服务

Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence Pub Date : 2023-06-26 DOI: 10.1609/aaai.v37i5.25720

Tien Mai, Arunesh Sinha

引用次数: 0

Solving Math Word Problems concerning Systems of Equations with GPT-3 用GPT-3求解方程组数学应用题

Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence Pub Date : 2023-06-26 DOI: 10.1609/aaai.v37i13.26896

M. Zong, Bhaskar Krishnamachari

{"title":"Solving Math Word Problems concerning Systems of Equations with GPT-3","authors":"M. Zong, Bhaskar Krishnamachari","doi":"10.1609/aaai.v37i13.26896","DOIUrl":"https://doi.org/10.1609/aaai.v37i13.26896","url":null,"abstract":"Researchers have been interested in developing AI tools to help students learn various mathematical subjects. One challenging set of tasks for school students is learning to solve math word problems. We explore how recent advances in natural language processing, specifically the rise of powerful transformer based models, can be applied to help math learners with such problems. Concretely, we evaluate the use of GPT-3, a 1.75B parameter transformer model recently released by OpenAI, for three related challenges pertaining to math word problems corresponding to systems of two linear equations. The three challenges are classifying word problems, extracting equations from word problems, and generating word problems. For the first challenge, we define a set of problem classes and find that GPT-3 has generally very high accuracy in classifying word problems (80%-100%), for all but one of these classes. For the second challenge, we find the accuracy for extracting equations improves with number of examples provided to the model, ranging from an accuracy of 31% for zero-shot learning to about 69% using 3-shot learning, which is further improved to a high value of 80% with fine-tuning. For the third challenge, we find that GPT-3 is able to generate problems with accuracy ranging from 33% to 93%, depending on the problem type.","PeriodicalId":74506,"journal":{"name":"Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence","volume":"2 1","pages":"15972-15979"},"PeriodicalIF":0.0,"publicationDate":"2023-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78654967","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}

引用次数: 17

Separate but Equal: Equality in Belief Propagation for Single Cycle Graphs 分离但相等:单循环图的信念传播中的相等性

Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence Pub Date : 2023-06-26 DOI: 10.1609/aaai.v37i4.25506

Erel Cohen, Omer Lev, R. Zivan

引用次数: 2