Applications
As only verbs can not make a language, computational verbs must be used together with computational nouns in engineering applications. The known industrial and commercial applications of computational verbs are listed as follows.• Physical Linguistic Vision Technologies: Digital image processing embedded with computational cognition.
• Computational Verb Controllers: Controlling with dynamic experiences.
• Background and shadow removal.
Theories
The early work of computational verb theory can be found in the following book
• 1-56072-971-6:: T. Yang, Advances in Computational Verb Systems, Huntington, NY: Nova Science Publishers, Inc., May 2001.
The primary structure of physical linguistics can be found in the following books
• 0-9721212-1-8:: T. Yang, Computational Verb Theory: From Engineering, Dynamic Systems to Physical Linguistics. Oct. 02, Amazon $77.99 (Library of Congress Online Catalog. CALL NUMBER: P281 .Y365 2002 CALL NUMBER: P281 .Y365 2002 FT MEADE).
• 0-9721212-2-6:: T. Yang, Fuzzy Dynamic Systems and Computational Verbs Represented by Fuzzy Mathematics, Sept. 03, Amazon $57.99 (Library of Congress Online Catalog. CALL NUMBER: P281 .Y366 2003).
The latest results of computational verb theory and physical linguistics can be found in the following book
• 0-9721212-3-4:: T. Yang, Physical Linguistics:measurable linguistics and duality between universe and cognition, Dec. 04, Amazon $77.99 (Library of Congress Online Catalog. CALL NUMBER: P138 .Y36 2004).
The First Textbook to Include Computational Verb Controllers
INTRODUCTION TO FUZZY
SYSTEMS,
Guanrong Chen(CITY UNIVERSITY OF HONG KONG, KOWLOON) and
Trung Tat Pham
(DICENTRAL CORPORATION, HOUSTON, TEXAS, USA), ISBN:1-58488-531-9.
Chapter 7: Computational Verb Fuzzy Controllers
• Computational Verbs and Verb Numbers
• Verb Rules and Verb Inference
• Computational Verb-Based Fuzzy PID Controllers
See details in the flyer.
Preview this book.
College Courses with Computational Verbs
• Dr. G. Chen, EE 64152 - Introduction to Fuzzy Informatics and Intelligent Systems [link] [cached]
• Dr. Mahir Sabra, EELE 6306: Intelligent Control [link] [cached]
• Professor Tao Yang, Computational Methodologies in Intelligent Systems, Department of Electronic Engineering, Xiamen University.
•
•
A Brief History of Computational Verb Theory
• The beginning of computational verb was at the end of 1997 when Tao Yang,
then a visiting scholar in the Department of Electrical Engineering and Computer
Sciences, University of California at Berkeley, published two department technical
reports addressing how to use dynamic theory to model verbs in natural languages.
The scanning images of these two technical reports are shown as follow.
• In 2000, the first book on the topic of “Computing with Words” dedicated a long chapter to computational verbs.
• In 2001, the first book on computational verbs,
“Advances in Computational Verb Systems”, published.
• In 2002, Computational Verb Theory was established in the book entitled “Computational Verb Theory” and the concept of physical linguistics was mentioned the first time.
• In 2004, the theory of physical linguistics was established and the concept of the Unicogse was initiated in the book entitled “Physical Linguistics: Measurable Linguistics and Duality Between Universe and Cognition”.
• In 2004, the first commercial products using computational verb theory was a webcam card counter.
• In 2005, a CCTV flame detector used computational verb theory to make very robust camera fire detection.
• In 2005, a visual automatic driver qualify test system used computational verb theory to make very accurate tracking of vehicles.
• In 2006, Computational verb fuzzy controllers were addressed in the following textbook as a full chapter.
• In 2006, a pornographic image/video filtering software used physical linguistics to model pornographic features in images.
• In 2006, a cognitive image search engine used physical linguistics to understand the images and make the index of massive image database based on image features possible.
• In 2006, Computational verbs are used to program a cognitive stock market chart technical analysis softwear. .
• In 2006, the webcam card counting system was implemented in
an embedded system that uses computational verb theory to enhance the accuracy and
robustness of card counting.
• In 2007, Beijing D.S.Y Technology Co., Ltd developed a CCTV based system for ITS by using computational verb image processing.
• In 2007, the first textbook of physical linguistics entitled: "The Mathematical Principles of Natural Languages: The First Course in Physical Linguistics", was published. Happy 10th birthday!
• In 2007-2008, the first generation of CCTV camera flame detector passed Chinese regulations from Chinese authorities.
• During 2007-2008, the first generation of Chinese young students in Xiamen University had been systematically trained by Professor Tao Yang using the textbook "The Mathematical Principles of Natural Languages".
• In 2008, computational verb theory was applied to control an auto-focusing microscope in IC industry by a third party [download Chinese PDF file].
• During 2008-2009, the second generation of Chinese young students in Xiamen University had been systematically trained by Professor Tao Yang using the textbook "The Mathematical Principles of Natural Languages". We grow fast! (June 5, 2009. Haiyuen 302) [click here to see projects]
• More to come, be prepared...
• Someone used computational verb logic to register a domain name.
| List of Papers and Publications of Computational Verb Theory from Researchers outside YangSky |
|---|
| Jian Zhang and Minrui Fei, Determination of Verb Similarity in Computational Verb Theory, International Journal of Computational Cognition, vol.3, no.3, September 2005, pages 75-78. |
| 朱晟;王中杰;刘勇;夏宝亮, 一种计算动词PID控制器设计的改进, 《系统仿真技术》, 2006年01期. (cached) (pdf) |
| Wanmi Chen and Yanqin Wei and Minrui Fei and Huosheng Hu, "Applications of computational verbs to image processing of RoboCup small-size robots, in Intelligent Control and Automation, Lecture Notes in Control and Information Sciences, vol. 344/2006, pp.494-499, Berlin / Heidelberg, Springer, 2006. Abstract: Computational verbs have been applied to digital image processing recently in which the grey values of an image are treated as a dynamic evolving process in space [5]. The paper is to apply such a theory in the RoboCup domain. First, the computational verbs for our small-size soccer robots are developed based on the theory. Then, the modelling and matching are investigated and analyzed to obtain verb similarity. The developed system reduces the computation cost by using row-wise and column-wise compositions of spatial verbs, and makes the vision system have high accuracy and high process speed. |
| 2007西门子杯全国大学生过程控制技能挑战赛12号参赛方案(cached)(pdf) |
| 全程动态视觉交通信息采集分析系统(cached) |
| Yi Guo, A Study of Adverbs as Modifiers of Computational Verbs, International Journal of Computational Cognition, vol.6, no.1, March 2008, pages 31-35. |
| 李静, 计算动词PID控制器在直线电机控制中的应用研究(Research and Application of Computational Verb PID Controller of Linear Motor), 昆明理工大学, 中国优秀硕士学位论文全文数据库, CNKI:CDMD:2.2008.112334 [abstract] [pdf] |
| 于秋水, 安志勇, 王文晶, 李晓静, 刘劲, 张明达, "基于计算动词理论的足球机器人色标设计", 中国仪器仪表学会第九届青年学术会议, 2007年. Abstract: 机器人足球比赛的关键环节是视觉系统,而比赛过程中有关环境的所有信息都是通过视觉系统对色标的识别来获取的,因此足球机器人的色标设计在机器人足球比赛过程中至关重要。计算动词理论是人工智能领域的一项新兴理论,它不仅弥补了静态图像处理过程中的不足,还减轻了图像处理的计算负担。根据计算动词理论处理图像的特点设计一种抗干扰性较强的色标设计方案,利用计算动词理论对该色标设计方案进行识别,能够提高系统辨识精度,简化算法以提高识别速度,满足比赛的实时性。实验表明,该设计方案提高了视觉系统的稳定性和准确性,减少了赛前的准备时间,在比赛中获得了较好的效果,具有良好的应用前景。 |
| 于秋水, 足球机器人视觉信息处理, 2005. Master Thesis [pdf] |
| 中国科学院沈阳自动化研究所[cached Oct. 01, 2009] |
| 朱磊, "机器人三维足球仿真比赛中多智能体及建模方法的研究(Research of MAS and Modeling Methods in RoboCup3D Simulation)", 上海大学．机电工程与自动化学院．控制理论与控制工程．
Master Thesis [cached Oct. 01, 2009] Abstract: RoboCup（Robot World Cup）即机器人世界杯足球锦标赛，是一种典型的多智能体系统。它融合了多个领域的技术，已经成为研究多智能系统的一个标准实验平台。在实际比赛中，需要结合多种技术：如Agent的设计理论、多Agent协作、策略获取、实时推理等。通过具有普遍意义的试验平台，可以深入研究和评价多智能体系统中的各种理论和算法，并将结果推广到众多领域。 本文的主要研究工作和特色是围绕RoboCup3D多智能体体系结构及其核心模块建模展开，内容如下： 1）研究RoboCup3D仿真平台的内部模型和运行机制。以RoboCup3D仿真环境为基础，以智能模型作为智能体系统的软件开发模型，运用模块化设计思想，建立了RoboCup3D仿真智能体体系结构。 2）针对RoboCup3D仿真环境建立世界模型。首先研究了基于卡尔曼滤波的智能体自定位系统，以此为基础建立了智能体的运动子模型、球的运动子模型和智能体的踢球子模型。同时提出了智能体世界模型预测算法。 3）采用数值计算方法建立RoboCup3D仿真队伍的直接射门模型。提出用A*搜索算法建立射门路径寻优，针对A*搜索进行效率优化，减少入队出队的内存分配操作。另外用一数组来记录节点位置，并据此来还原数据，能达到快速建立射门路径的目的。 4）针对不同水平的球队，研究了对手建模。提出了基于计算动词理论的RoboCup3D仿真足球机器人对手建模方法。通过动词理论中模糊扩展的方法建立了计算动词控制器，得出对手控球能力的强弱程度模型，从而实现了在线实时对对手进行能力评估。在以上研究的基础上，本文用面向对象的方法设计了一支仿真球队，并在全国RoboCup比赛中得到验证。 The Robot World Cup ( RoboCup ) is a typical MAS ( Multi-agent System ) in which multi-field technology has been involved and RoboCup has been a standard test platform to study MAS. Many theories are necessary to build a RoboCup team, including agent designing theory, multi-agent cooperation, strategy obtaining, real-time reasoning and so on. Based on this general test platform, various theories of MAS can be researched and applied to many fields. The main research and feature of this paper are as follows. 1) The internal model and function mechanism of RoboCup3D simulation server has been studied in this paper. On the basis of knowledge of RoboCup3D simulation environment, we establish RoboCup3D multi-agent system by using agent model as the software-developing model and adopting modularized designing ideas. 2) The world model is established in RoboCup3D environment. The agent self location system based on Kalman filtering is researched first and it is the basis of studying the movement submodel of agent, the movement submodel of ball, and the kick submodel of agent. The forecasting arithmetic of world model has been presented. 3) Using numerical calculation method for direct-shoot model and putting forward A* search arithmetic to search shooting path while establishing the shoot model of RoboCup3D simulated team. To improve the efficiency of A* search in shoot model, we reduce the manipulation for memory allocation when entering or exiting queue, and use an array to record the node which can be used to rebuild the path. 4) Opponent modeling is studied to adopt rivals at different levels. Based on Computational Verb Theory, an opponent modeling method for RoboCup has been presented. Fuzzy generalization is used to design the computational verb controller, by which the model of extent of opponent’s controlling ability can be obtained to estimate opponent on-line. Based on the above research, a RoboCup3D simulation team is designed with OOP method and this team has been validated in the competition of China RoboCup . |