基于直觉线性逻辑的Internet查询语言

5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007) Pub Date : 2007-08-20 DOI:10.1109/SERA.2007.50

Keehang Kwon, Jaewoo Kim, Jang-Wu Jo

{"title":"基于直觉线性逻辑的Internet查询语言","authors":"Keehang Kwon, Jaewoo Kim, Jang-Wu Jo","doi":"10.1109/SERA.2007.50","DOIUrl":null,"url":null,"abstract":"We propose an Internet query language based on intuitionistic linear logic. This language extends regular expressions with linear implications and additive (classical) conjunctions. To be precise, it allows goals of the form D -o G and G1&G2 where D is a text and G is a goal. The first goal is intended to be solved by adding D to the current text and then solving G. This goal is flexible in controlling the current text dynamically. The second goal is intended to be solved by solving both G1 and G2 from the current text. This goal is particularly useful for internet search.","PeriodicalId":181543,"journal":{"name":"5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007)","volume":"56 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"An Internet Query Language based on Intuitionistic Linear Logic\",\"authors\":\"Keehang Kwon, Jaewoo Kim, Jang-Wu Jo\",\"doi\":\"10.1109/SERA.2007.50\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We propose an Internet query language based on intuitionistic linear logic. This language extends regular expressions with linear implications and additive (classical) conjunctions. To be precise, it allows goals of the form D -o G and G1&G2 where D is a text and G is a goal. The first goal is intended to be solved by adding D to the current text and then solving G. This goal is flexible in controlling the current text dynamically. The second goal is intended to be solved by solving both G1 and G2 from the current text. This goal is particularly useful for internet search.\",\"PeriodicalId\":181543,\"journal\":{\"name\":\"5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007)\",\"volume\":\"56 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-08-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SERA.2007.50\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SERA.2007.50","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

提出了一种基于直觉线性逻辑的互联网查询语言。这种语言用线性暗示和加性(经典)连词扩展正则表达式。准确地说，它允许D -o G和G1&G2形式的目标，其中D是文本，G是目标。第一个目标是通过将D添加到当前文本中，然后求解g来解决。这个目标在动态控制当前文本方面是灵活的。第二个目标打算通过从当前文本中求解G1和G2来解决。这个目标对互联网搜索特别有用。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

An Internet Query Language based on Intuitionistic Linear Logic

We propose an Internet query language based on intuitionistic linear logic. This language extends regular expressions with linear implications and additive (classical) conjunctions. To be precise, it allows goals of the form D -o G and G1&G2 where D is a text and G is a goal. The first goal is intended to be solved by adding D to the current text and then solving G. This goal is flexible in controlling the current text dynamically. The second goal is intended to be solved by solving both G1 and G2 from the current text. This goal is particularly useful for internet search.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007)

自引率

0.00%

发文量