位置：立项数据库 > 立项详情页
非规范知识处理的基本理论和核心技术
  • 项目名称：非规范知识处理的基本理论和核心技术
  • 项目类别：重大项目
  • 批准号：60496320
  • 申请代码：F020512
  • 项目来源：国家自然科学基金
  • 研究期限：2004-11-30-2008-10-31
  • 项目负责人：陆汝钤
  • 负责人职称：研究员
  • 依托单位：中国科学院数学与系统科学研究院
  • 批准年度：2004
中文摘要：

以因特网及其它相关领域中的知识处理为主要背景，研究非规范知识处理的基本理论问题和核心技术问题，并应用于实际问题的解决。主要内容包括（1）在非规范知识处理的数学理论、逻辑理论和认知理论的某些重要方面取得实际性进展。（2）研究和开发一套以非规范知识处理为中心的新技术。（3）利用上述理论和技术，开展示范应用。

中文主题词： 实验性语义网
英文摘要：

Semantic Web

英文主题词： Semantic Web
结论摘要：

本项目以因特网、生物信息、金融信息、自然语言处理、需求工程、量子信息等领域为背景，深入研究了不确定性、不完备性、不协调性等多种非规范知识的数学基础、逻辑基础和认知基础。开发了多个非规范信息处理实验平台，开展了一系列实际应用研究。在进程代数及其互模拟、基于SAT的计算复杂性研究、非经典逻辑的证明论和模型论、空间知识的定性表示和推理、金融和一般经济领域的智能算法、非规范数据的数据挖掘和机器学习、复杂系统的结构和动力学行为、第二代浏览器和语义网、领域相关的非规范知识处理，以及非规范知识资源库建设等方面做出了深入而系统的成果。发表论著654篇，其中专著10本、国际期刊论文146篇、国内一级学报论文79篇、国际会议论文268篇、国内核心期刊论文129篇、专著章节7篇、国内会议论文15篇。研究开发了含300万条知识的海量知识库CNKI；网上概念获取系统WR及含278万个概念和400万个概念联系的概念库XHS；网上知识获取和编辑系统Dolphin及含78万篇计算机科学文献的知识库；法律和经济学实验性语义网及含10万条URI的知识库。已受理专利申请13项、申请中专利7项、在广东省转让和推广专利一项。

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 8
  • 342
  • 0
  • 0
  • 24
期刊论文
使用SAT求解器产生所有极小冲突部件集
混合语义约简和选择估值优化SPARQL
电子细胞Analog-Cell的并发机制
一种基于图形处理器的频繁模式挖掘算法
一种基于图形处理器的压缩单纯形方法
基于延迟部分推理的快速前向规划系统
对等网信任管理模型及安全凭证回收方法的研究
基于语义的主题爬行策略
会议论文
Greedy online frequency allocation in cellular networks
Forward looking Nash equilibrium for keyword auction
Towards Semantic Web Services Discovery with QoS Support using Specific Ontologies
Efficient Evaluation XPath Full-Text Query with Distance Predicates
Representation and Reasoning on RBAC: A Description Logic Approach
An Ant Colony Optimization Algorithm for Learning Classification Rules
Semi-automatic Hardware Design using Ontologies
Towards A Trust Model with Uncertainty for E-Commerce Systems
Social Trust Based Service Trust Model
Computing Degree of Association Based on Different Semantic Relationships
Inconsistency-based Strategy for clarifying vague software requirements
Sequential voting rules and multiple elections paradoxes.
Autonomous Intelligent Systems: Multi-Agents and Data Mining
NIIA: Nonparametric Iterative Imputation Algorithm
Cost-sensitive Semi-supervised Classification using CS-EM
Answer Set Programming with Functions
A Study on Semantic Web Construction Platform
Adopting Ontologies and Rules in Web Searching Services
A perspective on global social e-mail networks
Mechanism Approach That Unifies AI Research
Spatial Reasoning Based Spatial Data Mining for Precision Agriculture
Partitions of spatial data relationships
A New Method for Linear III-posed problems: Iteration Method by Rectifying Eigen value
Association rule mining based on concept lattice
Deciding weak bisimilarity of normed context-free processes using tableau.
Greedy online frequency allocation in cellular networks
Forward looking Nash equilibrium for keyword auction
A Lattice Metric For Evaluating Ontology Hierarchies
A Preliminary Study on the Semantic Strength of Chinese Radicals
Efficient Evaluation XPath Full-Text Query with Distance Predicates
Classifying Class and Finding Community in UML Metamodel Network
Inplementing Higher-order control in Java.
Use of rectangle algebra in cardinal direction
Paraconsistent Resolution for Four-valued Description Logics
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
Agent Oriented Probabilistic Logic Programming with Fuzzy Constraints
Algorithm Studies of Rlues Generation in CORS Methodology
More on weak bisimilarity of normed basic parallel processes.
MULTI- GRANULARITIES APPROXIMATE METHOD FOR OBTAINING QUALITATIVE SPATIAL RELATIONS
OWL2Jess: A Transformational Implementation of the OWL Semantics
Guido Governatori and Vineet Padmanabhan, Observation-based model for BDI-agents
An Extension to OWL with General Rules, In: Rules and Rule Markup Languages for the Semantic Web
Nonmetric Multicommodity Facility Location and k-Median problem with service installation costs
Detecting of Requirements Inconsistency: An Ontology-Based Approach
Model-based Diagnosis of Discrete Event Systems with An Incomplete System Model
Agent multi-issue negotiation with cases
Ontology Learning using WordNet Lexicon
Computing Loops With at Most One External Support Rule
Four-Valued Semantics for Default Logic, Advances in Artificial Intelligence
Mechanized proofs for the Parameter Abstraction and Guard Strengthening Principle in Parameterized V
Ontology Hierarchies Matching by Lattices Alignment
Web Service Retrieval: An Approach based on Context Ontology
Variable Neighborhood Search with Permutation for QAP
An Ant Colony Optimization Algorithm for Learning Classification Rules
A theory of forgetting in logic programming
Complex Networks and Network Intelligence
Iterated Revision in Default Reasoning
A Posterior-Based Method for Markov Logic Networks Parameters Learning
Inconsistency-based Strategy for clarifying vague software requirements
Towards Semantic Web Services Discovery with QoS Support using Specific Ontologies
The Algorithm Research for “On the fly” Model Checking Temporal Logics of Knowledge in Multi-Agent S
Towards Effective Document Clustering: A Constrained K-means Based Approach
Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach
Si-SEEKER: Ontology-based semantic search over databases
NUITS: A Novel User Interface for Efficient Keyword Search over Databases
An Association Matrix Structure For Mining Key Event Sequences Over Sliding Windows
Web Service Retrieval based on Environment Ontology
Some Cognitive Aspects of a Turing Test for Children
A Coherent and Paraconsistent Variant of the Default Logic, the 8th International Symposium on Logic
Algorithms for Paraconsistent Reasoning with OWL
Requirement Driven Agent Collaboration based on Automated Mechanism Design
A Strategy for Attributes Selection in Cost-Sensitive Decision Trees Induction
Deciding Bisimilarity of Full BPA Processes Locally.
FECT: A Modeling Framework for Automatically Composing Web Services
Ontology-Based Inconsistency Management of Software Requirements Specifications
Mechanism Approach to A Unified Theory of Artificial Intelligence
A Decremental Algorithm for Mining Dynamic Databases
A Constraints-based Semantic Mapping Method from Natural Language Questions to OWL
An Ontology Search Engine Based on Semantic Analysis
Adopting Ontologies and Rules in Web Searching Services
Requirement Driven Agent Collaboration based on Functional Ontology and AMD
Observation-Based Logic of Knowledge, Belief, Desire and Intention
Program Verification by Using DISCOVERER.
Extending the Strand Space Method to Verify Kerberos V.
Towards Effective Document Clustering: A Constrained K-means Based Approach
Decidability of weak bisimilarity for a subset of BPA.
A Hybrid Approach for Learning Markov Equivalence Classes of Bayesian Network
Process Mining: Extending “α-Algorithm” to Mine Duplicate Tasks in Process Logs
Data preprocessing of spatial data mining
A perspective of spatial data mining
Agent Oriented Probabilistic Logic Programming with Fuzzy Constraints
Some Cognitive Aspects of a Turing Test for Children
Social Trust Based Service Trust Model
Towards Automatic Problem Decomposition: An Ontology-based Approach
FECT: A Modeling Framework for Automatically Composing Web Services
The Algorithm Research for “On the fly” Model Checking Temporal Logics of Knowledge in Multi-Agent S
On Constructing Environment Ontology for Semantic Web Services
LinkNet: A New Approach for Searching in a Large Peer-to-peer System
Combining Multiple Email Filters Based on Multivariate Statistical Analysis
A Decremental Algorithm for Mining Dynamic Databases
From Answer Set Logic Programming to Circumscription via Logic of GK
Algorithms for Paraconsistent Reasoning with OWL
Study on Performance Improving for Resource Management of Computational Grid Based upon AT
Ontology Construction for Semantic Web: A Role-based Collaborative Development Method
A New Taxonomy of Coordination Models Based on Interaction Types
A Survey of Multi-agent Coordination.
In-Depth Data Mining and Its Application in Stock Market
Is Frequency Enough for Decision Makers to Make Decisions
Ontology-Based Inconsistency Management of Software Requirements Specifications
A Constraints-based Semantic Mapping Method from Natural Language Questions to OWL
Inplementing Higher-order control in Java.
A Study on Semantic Web Construction Platform
Sequential voting rules and multiple elections paradoxes.
Measuring Inconsistency in Requirements specifications
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving
An Ant Colony Optimization Algorithm for Solving the Multidimensional Knapsack Problems
ALCuP: An Integration of Description Logic and General Rules
Trust Analysis of Web Services based on a Trust Ontology
FECT: A Framework for Automatical Composition of Web Services
Computing Degree of Association Based on Different Semantic Relationships
An OWL-Based Approach for RBAC with Negative Authorization
OWL2Jess: A Transformational Implementation of the OWL Semantics
Guido Governatori and Vineet Padmanabhan, Observation-based model for BDI-agents
Complex Networks and Network Intelligence
Holon Based Self-Organization Evolution in MAS
Reasoning About Knowledge by SAT Solving
A Framework for Reusing and Composing Software Components on Web
Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach
Finding Top-k Min-Cost Connected Trees in Databases
A Posterior-Based Method for Markov Logic Networks Parameters Learning
An Implementation of the Distributed Problem Solving on the Web
On applying inductive logic programming to the web
ITREKS:Keyword Search over Relational Database by Indexing Tuple Relationship
More on weak bisimilarity of normed basic parallel processes.
Structuralism? Functionalism? Behaviorism? Or Mechanism? - - Looking Backward and Forward for Bett
On Constructing Environment Ontology for Semantic Web Services
A New Method for Classifying Customer Purchasing Power
Detecting of Requirements Inconsistency: An Ontology-Based Approach
Mechanism Approach to A Unified Theory of Artificial Intelligence
Nonmetric Multicommodity Facility Location and k-Median problem with service installation costs
A perspective of spatial data mining
A New Method for Linear III-posed problems: Iteration Method by Rectifying Eigen value
Requirement Driven Agent Collaboration based on Functional Ontology and AMD
A Coherent and Paraconsistent Variant of the Default Logic, the 8th International Symposium on Logic
ECPIA: An Email-Centric Personal Intelligent Assistant
Distributed Reasoning Based on Problem Solver Markup Language (PSML) – A Demonstration through Exten
统计关系学习综述
人工智能研究的新方向——网络化智能
Inferring with Inconsistent OWL DL Ontology: a Multi-valued Approach
Clustering OWL Documents Based on Semantic Analysis
A Cognitive Approach to AI
Complex Networks and Network Intelligence
Agent-based Intelligent Network Security Management
Intangible Payoff and Credit of Agent Long-term Coalitio
一种基于Agent的元搜索引擎模型IMSA
Deciding weak bisimilarity of normed context-free processes using tableau.
PreCN: Preprocessing Candidate Networks for Efficient Keyword Search over Databases
LinkNet: A New Approach for Searching in a Large Peer-to-peer System
A New Taxonomy of Coordination Models Based on Interaction Types
ECPIA: An Email-Centric Personal Intelligent Assistant
An Ontology Search Engine Based on Semantic Analysis
An Approach for Specifying Capability of Web Services based on Environment Ontology
Multi Agent Negotiation Optimization Based on Accelerating Chaos Search Method
Ontology Construction for Semantic Web: A Role-based Collaborative Development Method
A Survey of Multi-agent Coordination.
Detecting Collusion Attacks in Security Protocols
Is Frequency Enough for Decision Makers to Make Decisions
Towards Automatic Problem Decomposition: An Ontology-based Approach
Learning Ontology From Relational Database
Decidability of weak bisimilarity for a subset of BPA.
Cooperative Ontology Development Environment CODE and A Demo Semantic Web on Economics
An Improved Bayesian Networks Learning Algorithm Based on Independence Test and MDL Scoring
Clustering OWL Documents Based on Semantic Analysis
Forward Looking Nash Equilibrium for Keyword Auction
Inferring with Inconsistent OWL DL Ontology: a Multi-valued Approach
Efficiently Discovering Frequent Itemsets by Sampling
Clouding Algorithm: A Novel Multi-Population Evolution Model and Its Applying to Global Numerical Op
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving
An Ant Colony Optimization Algorithm for Solving the Multidimensional Knapsack Problems
In-Depth Data Mining and Its Application in Stock Market
A Cognitive Approach to AI
Developing intelligent applications in social e-mail networks, Rough Sets and Current Trends in Comp
Expansive bisimulation for context-free processes.
Combining Multiple Email Filters Based on Multivariate Statistical Analysis
Agent-Based Plot Planning for Automatic Generation of Computer Animation.
An Implementation of the Distributed Problem Solving on the Web
A Design of Product Configuration Manager Based on Weight Constraint Parameter Value in Manufacture
Clustering-based Missing Value Imputation for Data Preprocessing
Structuralism? Functionalism? Behaviorism? Or Mechanism? - - Looking Backward and Forward for Bett
QuickCN: A Combined Approach for Efficient Keyword Search over Databases
Sampling Ensembles for Frequent Patterns
Representation and Reasoning on RBAC: A Description Logic Approach
Study on Efficiency and Effectiveness of KSORD
TreeCluster: Clustering Results of Keyword Search over Databases
Web Service Composition: An Approach Using Effect-based Reasoning
Context Ontology-based Capability Specification for Web Service Discovery
Building Bilingual Ontology from WordNet and Chinese Classified Thesaurus
Computing Semantic Similarities based on Machine-Readable Dictionaries
An Ontology of Problem Frames for Guiding Problem Frame Specification
XSDL: Making XML Semantics Explicit
Variable Neighborhood Search with Permutation for QAP
A computationally grounded model of BDI-agents
Detecting Collusion Attacks in Security Protocols
ITREKS:Keyword Search over Relational Database by Indexing Tuple Relationship
Process Mining: Extending “α-Algorithm” to Mine Duplicate Tasks in Process Logs
A Design of Product Configuration Manager Based on Weight Constraint Parameter Value in Manufacture
Clustering-based Missing Value Imputation for Data Preprocessing
Permutation Distance: Properties and Algorithms
Web Service Composition: An Approach Using Effect-based Reasoning
Web Service Retrieval based on Environment Ontology
QuickCN: A Combined Approach for Efficient Keyword Search over Databases
Exploiting Connection Relation to Compress Data Graph
TreeCluster: Clustering Results of Keyword Search over Databases
Developing intelligent applications in social e-mail networks, Rough Sets and Current Trends in Comp
Context Ontology-based Capability Specification for Web Service Discovery
Computing Semantic Similarities based on Machine-Readable Dictionaries
基于MBR的拓扑、方位、尺寸结合的定性空间推理
Requirement Driven Agent Collaboration based on Automated Mechanism Design
Model Checking Temporal Logics of Knowledge and Its Application in Security Verification
Program Verification by Using DISCOVERER.
Mechanized proofs for the Parameter Abstraction and Guard Strengthening Principle in Parameterized V
Deciding Bisimilarity of Full BPA Processes Locally.
Gene Expression Data Clustering Based on Local Similarity Combination
A new Method to Mine Gene Regulation Relationship Information
A Hybrid Approach for Learning Markov Equivalence Classes of Bayesian Network
Use of rectangle algebra in cardinal direction
NUITS: A Novel User Interface for Efficient Keyword Search over Databases
A New Method for Classifying Customer Purchasing Power
Traversing the Maching Graph
XSDL: Making XML Semantics Explicit
Permutation Distance: Properties and Algorithms
Permutation Distance in VNS for QAP
he Regulation of Gene Expression in E-Cell
Model Composition in Multi-dimensional Data Spaces
Traversing the Maching Graph
On applying inductive logic programming to the web
Finding Top-k Min-Cost Connected Trees in Databases
General Public Key m-out-of-n Oblivious Transfer.
Quantum m-out-of-n Oblivious Transfer.
Approximate Top-k Structural Similar Search over XML Documents
Research of Controlling Method of the Lock Granularities in Distributed Transactions
Reasoning About Knowledge by SAT Solving
ALCuP: An Integration of Description Logic and General Rules
Trust Analysis of Web Services based on a Trust Ontology
FECT: A Framework for Automatical Composition of Web Services
From Answer Set Logic Programming to Circumscription via Logic of GK
Measuring Semantic Association in Domain Ontology
Knowledge Theory and Artificial Intelligence
Measuring Inconsistency in Requirements specifications
An Ontology of Problem Frames for Guiding Problem Frame Specification
A Framework for Reusing and Composing Software Components on Web
Holon Based Self-Organization Evolution in MAS
Study on Performance Improving for Resource Management of Computational Grid Based upon AT
ACG-Based Performance Improving for Resource Management of Computational Grid
Resource Matching Based on Ontology and Mobile Agent in Grid Environments
Information-Knowledge-Intelligence Transformations: The Kernel Mechanism of Intelligence Formation
Missing or absent? A Question in Cost-sensitive Decision Tree
A Semi-automatic Ontology Acquisition Method for the Semantic Web
An Approach for Specifying Capability of Web Services based on Environment Ontology
A Measurement-driven Process Model for Managing Inconsistent Software Requirements
The Interpreted System Model of Knowledge, Belief, Desire and Intention
Kernel-Based Multi-imputation for Missing Data
A WSMO-based Semantic Web Services Discovery Framework in Heterogeneous Ontologies Environment
An OWL-Based Approach for RBAC with Negative Authorization
Web Service Retrieval: An Approach based on Context Ontology
A new Method to Mine Gene Regulation Relationship Information
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
Distributed Reasoning Based on Problem Solver Markup Language (PSML) – A Demonstration through Exten
Model Checking Temporal Logics of Knowledge and Its Application in Security Verification
Exploiting Connection Relation to Compress Data Graph
General Public Key m-out-of-n Oblivious Transfer.
A Measurement-driven Process Model for Managing Inconsistent Software Requirements
二次学习
The Interpreted System Model of Knowledge, Belief, Desire and Intention
Permutation Distance in VNS for QAP
Model Composition in Multi-dimensional Data Spaces
Agent组织研究进展
从“信息-知识-智能生态链”看信息科学
Reasoning Based on the Distributed β-PSML
Reasoning Based on the Distributed β-PSML
Quantum m-out-of-n Oblivious Transfer.
Approximate Top-k Structural Similar Search over XML Documents
Missing or absent? A Question in Cost-sensitive Decision Tree
A computationally grounded model of BDI-agents
An Extension to OWL with General Rules, In: Rules and Rule Markup Languages for the Semantic Web
Iterated Revision in Default Reasoning
Research of Controlling Method of the Lock Granularities in Distributed Transactions
Resource Matching Based on Ontology and Mobile Agent in Grid Environments
语义web建设平台的研究和实现
Forward Looking Nash Equilibrium for Keyword Auction
Multi Agent Negotiation Optimization Based on Accelerating Chaos Search Method
ACG-Based Performance Improving for Resource Management of Computational Grid
Mechanism Approach That Unifies AI Research
Information-Knowledge-Intelligence Transformations: The Kernel Mechanism of Intelligence Formation
Study on Efficiency and Effectiveness of KSORD
Autonomous Intelligent Systems: Multi-Agents and Data Mining
Kernel-Based Multi-imputation for Missing Data
Ontology Learning using WordNet Lexicon
A Strategy for Attributes Selection in Cost-Sensitive Decision Trees Induction
面向语义Web的本体库管理系统研究
Efficiently Discovering Frequent Itemsets by Sampling
he Regulation of Gene Expression in E-Cell
Observation-Based Logic of Knowledge, Belief, Desire and Intention
A Preliminary Study on the Semantic Strength of Chinese Radicals
Building Bilingual Ontology from WordNet and Chinese Classified Thesaurus
Ontology Hierarchies Matching by Lattices Alignment
A theory of forgetting in logic programming
Si-SEEKER: Ontology-based semantic search over databases
Agent-Based Plot Planning for Automatic Generation of Computer Animation.
Measuring Semantic Association in Domain Ontology
NIIA: Nonparametric Iterative Imputation Algorithm
A Lattice Metric For Evaluating Ontology Hierarchies
Four-Valued Semantics for Default Logic, Advances in Artificial Intelligence
Extending the Strand Space Method to Verify Kerberos V.
Expansive bisimulation for context-free processes.
PreCN: Preprocessing Candidate Networks for Efficient Keyword Search over Databases
A Semi-automatic Ontology Acquisition Method for the Semantic Web
A WSMO-based Semantic Web Services Discovery Framework in Heterogeneous Ontologies Environment
An Improved Bayesian Networks Learning Algorithm Based on Independence Test and MDL Scoring
An Association Matrix Structure For Mining Key Event Sequences Over Sliding Windows
Algorithm Studies of Rlues Generation in CORS Methodology
Paraconsistent Resolution for Four-valued Description Logics
Gene Expression Data Clustering Based on Local Similarity Combination
Sampling Ensembles for Frequent Patterns
Learning Ontology From Relational Database
Semi-automatic Hardware Design using Ontologies
MULTI- GRANULARITIES APPROXIMATE METHOD FOR OBTAINING QUALITATIVE SPATIAL RELATIONS
Model-based Diagnosis of Discrete Event Systems with An Incomplete System Model
Towards A Trust Model with Uncertainty for E-Commerce Systems
Agent multi-issue negotiation with cases
Association rule mining based on concept lattice
Classifying Class and Finding Community in UML Metamodel Network
Clouding Algorithm: A Novel Multi-Population Evolution Model and Its Applying to Global Numerical Op
Cost-sensitive Semi-supervised Classification using CS-EM
Answer Set Programming with Functions
Computing Loops With at Most One External Support Rule
A perspective on global social e-mail networks
Knowledge Theory and Artificial Intelligence
Spatial Reasoning Based Spatial Data Mining for Precision Agriculture
Cooperative Ontology Development Environment CODE and A Demo Semantic Web on Economics
Data preprocessing of spatial data mining
Partitions of spatial data relationships
著作
人工智能：由分立走向和谐
机制主义方法与人工智能统一理论
机器知行学：信息-知识-智能转换与统一理论
需求工程：原理、技术和方法
数字资源整合：理论、方法与工具
基于标记准经典逻辑的需求测试方法
空间数据挖掘理论与应用
基于Agent的计算
人工智能：由分立走向和谐
管理不一致的软件需求：研究进展和展望
机制主义方法与人工智能统一理论
基于标记准经典逻辑的需求测试方法
基于Agent的计算
需求工程：原理、技术和方法
数字资源整合：理论、方法与工具
知识科学中的基本问题研究-面向Agent的软件工程研究进展
知识科学中的一些基本问题研究
不确定性人工智能
管理不一致的软件需求：研究进展和展望
机器知行学：信息-知识-智能转换与统一理论
知识科学中的基本问题研究-面向Agent的软件工程研究进展
知识科学中的一些基本问题研究
不确定性人工智能
空间数据挖掘理论与应用
陆汝钤的项目
常识性知识的实用研究
期刊论文 3
非浸入式机器虚拟研究及应用
期刊论文 2
不一致软件需求的建模和管理
（1）软件工程与应用国际会议；（2）信息与知识共享国际会议