• Articles • Previous Articles     Next Articles

Default Reasoning and Belief Revision: A Syntax-Independent Approach

ZHANG Dongmo; ZHU Zhaonui; CHEN Shifu;   

  1. Department of Computer Science and Engineering Nanjing University of Aeronautics and Astronautics; Naming 210016; P.R. China State Key Lab for Novel Software Technology; Naming University; Nanjing 210093; P.R. Chin;
  • Online:2000-09-10 Published:2000-09-10

As an important variant of Relier's default logic, Poole (1988) developed a nonmonotonic reasoning framework in the classical first-order language. Brewka and Nebel extended Poole's approach in order to enable a representation of priorities between defaults. In this paper a general framework for default reasoning is presented, which can be viewed as a generalization of the three approaches above. It is proved that the syntax-independent default reasoning in this framework is identical to the general belie…

Key words: ad hoc network; multipoint relay broadcasting; realistic physical layer; sensor network;



[1] Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 1980, 13: 81-132.

[2] Gerhard Brewka. Preferred subtheories: An extended logical framework for default reasoning. In Proceedings of the 11th International Joint Conference on Artificial Intelligence, IJCAI-89, Sridharan N S (ed.), Morgan Kaufmann, 1989, pp.1034-1048. ……….
[1] Sven Pullwitt, Robert Hartung, Ulf Kulau, Lars Wolf. Towards Accurate Bit Error Simulation in Wireless Sensor Networks Including Environmental Influences [J]. Journal of Computer Science and Technology, 2020, 35(4): 809-824.
[2] Xing-Gang Fan, Zhi-Cong Che, Feng-Dan Hu, Tao Liu, Jin-Shan Xu, Xiao-Long Zhou. Deploy Efficiency Driven k-Barrier Construction Scheme Based on Target Circle in Directional Sensor Network [J]. Journal of Computer Science and Technology, 2020, 35(3): 647-664.
[3] Yu-Qi Li, Li-Quan Xiao, Jing-Hua Feng, Bin Xu, Jian Zhang. AquaSee: Predict Load and Cooling System Faults of Supercomputers Using Chilled Water Data [J]. Journal of Computer Science and Technology, 2020, 35(1): 221-230.
[4] Shou-Wan Gao, Peng-Peng Chen, Xu Yang, Qiang Niu. Multi-Sensor Estimation for Unreliable Wireless Networks with Contention-Based Protocols [J]. Journal of Computer Science and Technology, 2018, 33(5): 1072-1085.
[5] Yawar Abbas Bangash, Ling-Fang Zeng, Dan Feng. MimiBS:Mimicking Base-Station to Provide Location Privacy Protection in Wireless Sensor Networks [J]. , 2017, 32(5): 991-1007.
[6] Hai-Ming Chen, Li Cui, Gang Zhou. A Light-Weight Opportunistic Forwarding Protocol with Optimized Preamble Length for Low-Duty-Cycle Wireless Sensor Networks [J]. , 2017, 32(1): 168-180.
[7] Seyed Mehdi Tabatabaei, Vesal Hakami, Mehdi Dehghan. Cognitive Power Management in Wireless Sensor Networks [J]. , 2015, 30(6): 1306-1317.
[8] Rui Li, Ke-Bin Liu, Xiangyang Li, Yuan He, Wei Xi, Zhi Wang, Ji-Zhong Zhao, Meng Wan. Assessing Diagnosis Approaches for Wireless Sensor Networks: Concepts and Analysis [J]. , 2014, 29(5): 887-900.
[9] Xiao-Long Zheng and Meng Wan. A Survey on Data Dissemination in Wireless Sensor Networks [J]. , 2014, 29(3): 470-486.
[10] Hai-Long Shi, Dong Li, Jie-Fan Qiu, Chen-Da Hou, Li Cui. A Task Execution Framework for Cloud-Assisted Sensor Networks [J]. , 2014, 29(2): 216-226.
[11] Zheng Gong, Pieter Hartel, Svetla Nikova, Shao-Hua Tang, and Bo Zhu. TuLP:A Family of Lightweight Message Authentication Codes for Body Sensor Networks [J]. , 2014, 29(1): 53-68.
[12] Jin-Tao Meng, Jian-Rui Yuan, Sheng-Zhong Feng, and Yan-Jie Wei. An Energy Efficient Clustering Scheme for Data Aggregation in Wireless Sensor Networks [J]. , 2013, 28(3): 564-573.
[13] Cheng-Wen Xing, Hai-Chuan Ding, Guang-Hua Yang, Shao-Dan Ma, and Ze-Song Fei. Outage Analysis of Opportunistic Cooperative Ad Hoc Networks with Randomly Located Nodes [J]. , 2013, 28(3): 403-411.
[14] Mo Chen, (陈默), Student Member, CCF, ACM Ge Yu, (于戈), Senior Member, CCF, Member, ACM, IEEE, Yu Gu (谷峪), Member, CCF, ACM. An Efficient Method for Cleaning Dirty-Events over Uncertain Data in WSNs [J]. , 2011, 26(6): 942-953.
[15] Bo Yu (于博) and Jian-Zhong Li (李建中), Member, CCF. Minimum-Time Aggregation Scheduling in Duty-Cycled Wireless Sensor Networks [J]. , 2011, 26(6): 962-970.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!

ISSN 1000-9000(Print)

         1860-4749(Online)
CN 11-2296/TP

Home
Editorial Board
Author Guidelines
Subscription
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
Tel.:86-10-62610746
E-mail: jcst@ict.ac.cn
 
  Copyright ©2015 JCST, All Rights Reserved