位置：成果数据库 > 期刊 > 期刊详情页
智能目的地选择服务系统的设计与实现
  • ISSN号：1000-7180
  • 期刊名称：《微电子学与计算机》
  • 时间：0
  • 分类：TP18[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构：[1]西北工业大学电子信息学院,西安710072, [2]西北工业大学计算机学院,西安710072, [3]西安工程大学理学院,西安710048
  • 相关基金：国家自然科学基金资助项目（60273087,60575034）;陕西省教育厅专项科研计划资助项目（2010JK567）;西北工业大学基础研究基金资助项目（W018101）
作者： 伍淳华[1], 王枞[1], 左申正[1]
关键词： 泛逻辑, 谓词演算形式系统, 泛与运算, universal logic, predicate calculus formal system, universal AND operator
中文摘要：

对基于零级泛与运算的一阶谓词演算形式系统进行公理化。通过引入全称量词和存在量词，建立与命题形式系统观ULh∈（0.1）相对应的一阶谓词形式系统 ULh∈（0.1）,证明了其可靠性定理和演绎定理。从而得到所给形式系统中的定理均为重言式，保证了推理的有效性。

英文摘要：

The main aim of this paper is the axiomatization for O-order predicate calculus formal system based on O-level uni- versal and operator. By introducing the universal quantifier and existential quantifier, built up the predicate calculus formal de- ductive systemULh∈（0.1） based on O-level universal AND operator according to propositional calculus formal deductive system ULh∈（0.1） of universal logic, moreover,proved the soundness and deduction theorems of system ULh∈（0.1）So the theorems of given system are tautologies and the validity of reasoning are ensured.

同期刊论文项目
非规范知识交叉领域研究
期刊论文 134 会议论文 68 著作 2
信息-知识-智能转换理论智能生成机制的原理与算法
期刊论文 17
同项目期刊论文
Missing is Useful": Missing Values in Cost-sensitive Decision Trees
Computation of Arbitrage in Frictional Bond Markets
Optimal Dynamic Portfolio Selection with Earnings-at-Risk
Compensatory ability to null mutation in metabolic networks
An Effective GML Documents Compressor
Random Sierpinski network with scale-free small world and modular structure
Rigorous solution of average distance for Sierpinski network
A Characterization Theorem for Injective Model Classes Axiomatized by General Rules
Similarity between preferential models
Some Representation Theorems for recovering contraction relations
A Simplicial Approach for Discrete Fixed Point Theorems
Computation of Arbitrage in a Financial Market with Various Types of Frictions
An ontology-theme-based method of acquiring knowledge from Chinese natural language documents
A Survey on Description Logic
Prediction of protein-protein interactions from primary sequences
一个基于智能的MAS模型及其方法论
SET证书申请协议在SPV下的自动化验证及改进
多主体系统时态认知规范的"On the fly"模型检测算法研究
有界模型检测同步多智能体系统的时态认知逻辑
有缺指派下的信念修正逻辑
Analog-Cell：一种新的电子细胞图形模型
LIGHT: A Query-Efficient yet Low-Maintenance Indexing Scheme over DHTs
Effects of accelerating growth on the evolution of weighted complex networks
“理解”论：信息内容认知机理的假说
机制主义方法与人工智能统一理论
基于分形技术的数据流突变检测算法
Semantic interpretation of Compositional Logic in Instantiation Space
Mining Multiple Data Sources: Local Pattern Analysis
Detecting Differences between Contrast Groups
Missing Data Analysis: A Kernel-Based Multi-imputation Approach
Cognitive Approach to Artificial Intelligence
Forward Looking Nash Equilibrium for Keyword Auction
Knowledge structure approach to verification of authentication protocols
To build a Blocklist Based on the Cost of Spam
Detecting Inconsistency in Biological Molecular Databases using Ontology
Domain-Driven Data Mining, a Practical Methodology
基于约束的自然语言问题到OWL的语义映射方法研究
Two Representation Theorems for Nonmonotonic Inference Relations
A modal characterization of Lambda-bisimilarity
An algebraic Characterization of equivalent preferential models
符号化模型检测CTL*
论“信息-知识-智能转换规律”
Evolving pseudofractal networks
From regular to growing small-world networks
Computing the Minimum-Support for Mining Frequent Patterns
Identifying Follow Correlation Itemset-Pairs
Estimating Confidence Intervals for Structural Differences between Contrast Groups with Missing Data
Mining Class-bridge Rules Based on Rough Sets
Strategies for Complex Data Cube Queries
Rule-based Dependency Models for Security Protocol Analysis
POP Algorithm: Kernel-Based Imputation to Treat Missing Values in Knowledge Discovery from Databases
Empirical Likelihood Confidence Intervals for Differences between Two Datasets with Missing Data
Activity Mining: from Activities to Actions
Structuralism? Functionalism? Behaviorism? Or Mechanism? - - Looking Backward and Forward for Bett
An Investigation on The Theory of Information-Knowledge-Intelligence Transforms
SAT问题中局部搜索法的改进
Verification of Authentication Protocols for Epistemic Goals via SAT Compilation
Primitive Recursiveness of Real Numbers under Different Representations
Observation-Based Logic of Knowledge, Belief, Desire and Intention.
Primitive recursive real numbers.
Customer Retention: Identifying Actionable Information from Web-Logs
Generalized Dimension-Reduction Framework for Recent-Biased Time Series Analysis
EDUA: An Efficient Algorithm for Dynamic Database Mining
A Behavioural Pseudometric based on lambda—Bisimilarity
On Default Correlation and Pricing of Collateralized Debt Obligation by Copula Functions
Genetic-algorithm-based Strategy for Identifying Association Rules without Specifying Actual Minimum
Self-similarity, small-world, scale-free scaling, disassortativity, and robustness in hierarchical l
A geometric growth model interpolating between regular and small-world networks
Advanced Intelligence and Mechanism Approach
Adaptive indexing for content-based search in P2P systems
Identifying quality knowledge from different data sources
Model Checking Temporal Logics of Knowledge Via OBDDs
知识的内涵与度量
人工智能理论：从分立到统一的奥秘
人工智能：由分立走向和谐
An efficient peer-to-peer indexing tree structure for multidimensional data
Association-Based Segmentation for Chinese-Crossed Query Expansion
On Data Structures for Association Rule Discovery
Tracking clusters in evolving data streams over sliding windows
多智能体系统时态认知规范高效符号模型检测的算法研究
Recursive weighted treelike networks
一种支持多维数据范围查询的对等计算索引框架
Characterize branching distance in terms of ()-bisimilarity
非结构化对等计算系统中多维范围搜索
信息转换原理：信息、知识、智能的一体化理论
一种多特征方查询的有效算法
一种有效的信息检索模型
完全加权关联规则挖掘及其在查询扩展中的应用
多数据库中例外模式挖掘方法研究
关系数据库中基于区域聚类的多区域查询优化
复杂网络研究进展：模型与应用
使用SVMs进行汉语浅层分析
注意-情绪协调的个性化信息推荐模型
目的地选择服务系统中的智能逻辑推理
语言认知与主题内容识别
移动个性化信息服务中的用户兴趣模型
鲁棒局部保持投影的表情识别
基于全信息自然语言理解的语音识别后文本处理
基于实例的机器辅助写作翻译系统
信任感知的组合服务动态选择方法
基于高维空间的在线高效子空间Skyline算法——CSky
用CLP技术解决动画自动生成中的布局规划问题
谱聚类算法对输入数据顺序的敏感性
短信过滤系统设计分析
数据流中概念漂移检测的集成分类器设计
实例化空间：一种新的安全协议验证逻辑的语义模型
多主体系统时态认知规范的“On the Fly”模型检测算法研究
有界模型检测同步多智体系统的时态认知逻辑
基于图形处理器的数据流快速聚类
基于滑动窗口的进化数据流聚类
“理解”论：信息内容认知机理的假说
论“信息-知识-智能转换规律”
人工智能理论：从分立到统一的奥秘
使用SVMs进行汉语浅层分析
注意-情绪协调的个性化信息推荐模型
语言认知与主题内容识别
移动个性化信息服务中的用户兴趣模型
基于全信息自然语言理解的语音识别后文本处理
基于实例的机器辅助写作翻译系统
短信过滤系统设计分析
基于零级泛与运算的谓词形式系统及其完备性
领域语义语法的统计生成
语义网络结构下的词义消歧
谓词形式系统 ULh^-∈[0.75,1]及其完备性
机制主义：人工智能的统一理论
基于全信息理论的农业信息检索系统(英文)
期刊信息
  • 《微电子学与计算机》
  • 中国科技核心期刊
  • 主管单位:中国航天科技集团公司
  • 主办单位:中国航天科技集团公司第九研究院第七七一研究所
  • 主编：李新龙
  • 地址：西安市雁塔区太白南路198号
  • 邮编：710065
  • 邮箱：mc771@163.com
  • 电话：029-82262687
  • 国际标准刊号：ISSN：1000-7180
  • 国内统一刊号：ISSN：61-1123/TN
  • 邮发代号:52-16
  • 获奖情况:
  • 航天优秀期刊,陕西省优秀期刊一等奖
  • 国内外数据库收录:
  • 荷兰文摘与引文数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:17909