Logical Properties of Belief-Revision-Based Bargaining Solution ⋆ (2009)
Abstract. This paper explores logical properties of belief-revision-based bargaining solution. We first present a syntax-independent construction of bargaining solution based on prioritized belief...
Belief Change in Reasoning Agents (2008)
Fakultät Informatik, Dipl Inf, Yi Jin, Gutachter Prof, Michael Thielscher, ...
Doktor rerum naturalium (Dr. rer. nat.)
Chinese Natural Language Generation (ACNLG) (2008)
Tianfang Yao, Dongmo Zhang, Qian Wang
In this demonstration, we present a system for multilingual text generation in the weather forecast domain. Multilingual Weather Forecast Assistant (MLWFA) is the first practical
Frame problem in dynamic logic (2008)
ABSTRACT. This paper provides a formal analysis on the solutions of the frame problem by using dynamic logic. We encode Pednault’s syntax-based solution, Baker’s state-minimization policy, and...
1 On natural deduction system for nonmonotonic reasoning (2008)
Dongmo Zhang, Sai Kiran Lakkaraju, Dr Dongmo Zhang, Dongmo Zhang, Sai Kiran Lakkaraju
This paper is concerned with the problem of how to construct a natural deduction system for nonmonotonic reasoning. Three possible constructions are investigated, the ones which consists of (1) pure...
Interpolation Properties of Action Logic: (2008)
Dongmo Zhang, Norman Foo, Dongmo Zhang, Norman Foo
action This paper makes a contribution to the meta-theory of reasoning about action. We present two interpolation properties of action logic. We show that the frame axioms which are required for...
Logical Properties of Belief-Revision-Based Bargaining Solution (2008)
Abstract. This paper explores logical properties of belief-revision-based bargaining solution. We first present a syntax-independent construction of bargaining solution based on prioritized belief...
A XML-BASED BOOTSTRAPPING METHOD FOR PATTERN ACQUISITION (2008)
Xingjie Zeng, Fang Li, Dongmo Zhang, Athena I. Vakali
Abstract: Extensible Markup Language (XML) has been widely used as a middleware because of its flexibility. Fixed domain is one of the bottlenecks of Information Extraction (IE) technologies. In this...
Convergency of Learning Process (2008)
Dongmo Zhang And, Dongmo Zhang, Norman Foo
This paper presents a learning theoretic analysis on stability of learning in light of iterated belief revision. We view a learning process as a sequential belief change procedure. A learning policy...
Default Reasoning and Belief Revision: A Syntax-Independent Approach (Extended Abstract) (2007)
Extended Abstract, Dongmo Zhang, Zhaohui Zhu, Shifu Chen
) Dongmo Zhang 1;2 , Zhaohui Zhu 1 and Shifu Chen 2 1 Department of Computer Science and Engineering Nanjing University of Aeronautics and Astronautics, Nanjing, 210016, China 2 State Key Lab for...
Reasoning with Extra Frame Axioms and Qualification Axioms (Extended Abstract) (2007)
This paper introduces an inference mechanism for reasoning with frame axioms and qualication axioms which are not included in the action description based on the extended propositional dynamic logic,...
Dongmo Zhang, Norman Foo, New South Wales
This paper is twofold. First, we presentes an extended system EPDL of propositional dynamic logic by allowing a proposition as a modality in order to represent and specify indirect effects of actions...
System Demonstration Multilingual Weather Forecast Generation System (2007)
Tianfang Yao, Dongmo Zhang, Qian Wang
The MLWFA (Multilingual Weather Forecasts Assistant) system will be demonstrated. It is developed to generate the multilingual text of the weather forecasts automatically. The raw data from the...
Convergency of Learning Process (2007)
Abstract. This paper presents a learning theoretic analysis on stability of learning in light of iterated belief revision. We view a learning process as a sequential belief change procedure. A...
Encoding solutions of the frame problem in dynamic (2007)
Norman Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Bao Quoc Vo
logic
Default Reasoning and Belief Revision: A Syntax-Independent Approach (2007)
Dongmo Zhang, Zhaohui Zhu, Shifu Chen
As an important variant of Reiter's default logic, Poole (1988) developed a nonmonotonic reasoning framework in the classical rst-order language. Brewka and Nebel extended Poole's approach...
Encoding solutions of the frame problem in dynamic (2007)
Norman Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Bao Quoc Vo
logic
Consistency analysis for reasoning about actions (2007)
We present techniques for analyzing action descriptions in dynamic logic based frameworks. Three levels of consistency are introduced for the evaluation of action descriptions: uniform consistency,...
Postdiction problems in dynamic logic: Preliminary Report (2007)
fschopra; dongmog@cse:unsw:edu:au We present a framework for backward and forward temporal projection that combines dynamic logic and temporal logic. A propositional dynamic logic for reasoning about...
Lazy-formalization to the Frame Problem (2007)
This paper introduces an inference mechanism for reasoning with incomplete action descriptions by postponing the listing of frame axioms till they are needed. We show that the frame axioms which are...
State Minimization Re-visited (2007)
Norman Foo Abhaya, Norman Foo, Abhaya Nayak, Maurice Pagnucco, Dongmo Zhang
A well-known circumscription policy in situation calculus theories of actions is to minimize the Abnormality predicate by varying the Holds predicate. Unfortunately this admitted counter-intuitive...
Interpolation Properties of Action Logic: Lazy-formalization to the Frame Problem (2007)
This paper makes a contribution to the meta-theory of reasoning about action. We present two interpolation properties of action logic. We show that the frame axioms which are required for answering a...
The Logic of Bargaining (2007)
This paper reexamines the game-theoretic bargaining theory from logic and Artificial Intelligence perspectives. We present an axiomatic characterization of the logical solutions to bargaining...
Logical properties of belief-revision-based bargaining solution (2006)
This paper explores logical properties of belief-revision-based bargaining solution. We first present a syntax-independent construction of bargaining solution based on prioritized belief revision....
Logical properties of belief-revision-based bargaining solution (2006)
This paper explores logical properties of belief-revision-based bargaining solution. We first present a syntax-independent construction of bargaining solution based on prioritized belief revision....
Frame problem in dynamic logic (2005)
Zhang, Dongmo, Foo, N. Y. (Norman Y.)
This paper provides a formal analysis on the solutions of the frame problem by using dynamic logic. We encode Pednault's syntax-based solution, Baker's state-minimization policy, and Gelfond &...
Frame problem in dynamic logic (2005)
Zhang, Dongmo, Foo, N. Y. (Norman Y.)
This paper provides a formal analysis on the solutions of the frame problem by using dynamic logic. We encode Pednault's syntax-based solution, Baker's state-minimization policy, and Gelfond &...
A logical model of Nash bargaining solution (2005)
This paper presents a logical extension of Nash’s Cooperative Bargaining Theory. We introduce a concept of entrenchment measurement, which maps propositions to real numbers, as a vehicle to...
Negotiation mechanism for TAC SCM component market (2005)
This paper presents a new negotiation mechanism and a new supplier model for Trading Agent Competition Supply Chain Management (TAC SCM). Under the new negotiation mechanism, an agent is allowed to...
Strategic trading agents via market modelling (2004)
Zhang, Dongmo, Zhao, Kanghua, Liang, Chia-Ming, Huq, Gonelur Begum, Huang, Tze-Haw
This paper presents some key strategies applied in jackaroo agent. Most of the strategies are rooted in theoretical modelling and statistic analysis of TAC-03 SCM game. We model the product market...
Strategic trading agents via market modelling (2004)
Zhang, Dongmo, Zhao, Kanghua, Liang, Chia-Ming, Huq, Gonelur Begum, Huang, Tze-Haw
This paper presents some key strategies applied in jackaroo agent. Most of the strategies are rooted in theoretical modelling and statistic analysis of TAC-03 SCM game. We model the product market...
Negotiation as mutual belief revision (2004)
Dongmo Zhang, Norman Foo, Thomas Meyer, Rex Kwok
This paper presents an axiomatic approach to negotiation protocol analysis. We consider a negotiation procedure as multiple stages of mutual belief revision. A set of postulates in AGM-style of...
Properties of iterated multiple belief revision (2004)
Abstract. In this paper we investigate the properties of iterated multiple belief revision. We examine several typical assumptions for iterated revision operations with an ontology where an agent...
T.H.: Strategic trading agents via market modelling. SIGecom Exchange 4 (2004)
Dongmo Zhang, Kanghua Zhao, Chia-ming Liang, Gonelur Begum Huq
This paper presents some key strategies applied in jackaroo agent. Most of the strategies are rooted in theoretical modelling and statistic analysis of TAC-03 SCM game. We model the product market...
Properties of iterated multiple belief revision (2004)
In this paper we investigate the properties of iterated multiple belief revision. We examine several typical assumptions for iterated revision operations with an ontology where an agent assigns...
Negotiation as mutual belief revision (2004)
This paper presents an axiomatic approach to negotiation. We consider a negotiation procedure as multiple stages of mutual belief revision. A set of postulates in AGM-style of belief revision are...
Negotiation as mutual belief revision (2004)
Dongmo Zhang, Norman Foo, Thomas Meyer, Rex Kwok
This paper presents a logical framework for negotiation based on belief revision theory. We consider that a negotiation process is a course or multiple courses of mutual belief revision. A set of...
Logical foundations of negotiation : outcome, concession and adaptation (2004)
Meyer, Thomas, Foo, N. Y. (Norman Y.), Kwok, Rex, Zhang, Dongmo
This paper provides a logical framework for negotiation between agents that are assumed to be rational, cooperative and truthful. We present a characterisation of the permissible outcomes of a...
Strategic trading agents via market modelling (2004)
Zhang, Dongmo, Zhao, Kanghua, Liang, Chia-Ming, Huq, Golenur B., Huang, Tze-Haw
This paper presents some key strategies applied in jackaroo agent. Most of the strategies are rooted in theoretical modelling and statistic analysis of TAC-03 SCM game. We model the product market...
Negotiation as mutual belief revision (2004)
Zhang, Dongmo, Foo, N. Y. (Norman Y.), Meyer, Thomas, Kwok, Rex
This paper presents a logical framework for negotiation based on belief revision theory. We consider that a negotiation process is a course or multiple courses of mutual belief revision. A set of...
Logical foundations of negotiation : outcome, concession and adaptation (2004)
Meyer, Thomas, Foo, N. Y. (Norman Y.), Kwok, Rex, Zhang, Dongmo
This paper provides a logical framework for negotiation between agents that are assumed to be rational, cooperative and truthful. We present a characterisation of the permissible outcomes of a...
Axiomatic Analysis of Negotiation Protocols (2003)
Negotiation protocols are rules under which a negotiation proceeds. This paper introduces a logic approach to negotiation protocol analysis. We consider a negotiation procedure as multiple stages of...
Dealing with the ramification problem in the extended propositional dynamic logic (2002)
Foo, N. Y. (Norman Y.), Zhang, Dongmo
This paper presents a solution to the ramification problem in the presence of nondeterministic effect and nondeterministic choice of actions based on the extended propositional dynamic logic. We...
Consistency of action descriptions (2002)
Dongmo Zhang, Samir Chopra, Norman Foo
Abstract. As a contribution to the metatheory of reasoning about actions, we present some characteristics of the consistency of action theories. Three levels of consistency are investigated for the...
Consistency of action descriptions (2002)
As a contribution to the metatheory of reasoning about actions, we present techniques for analyzing the consistency of action descriptions. Three levels of consistency are introduced for the...
Convergency of Learning Process (2002)
Dongmo Zhang, Norman Foo, Dongmo Zhang, Norman Y. Foo
This paper presents a learning process analysis on stability of learning in light of iterated belief revision. We view a learning process as a sequential belief change procedure. A learning policy is...
Consistency of action descriptions (2002)
Norman Foo, Dongmo Zhang, Dongmo Zhang, Samir Chopra, Samir Chopra, Norman Y. Foo
As a contribution to the metatheory of reasoning about actions, we present some characteristics of the consistency of action theories. Three levels of consistency are investigated for the evaluation...
Dealing with the ramification problem in the extended propositional dynamic logic (2002)
Foo, N. Y. (Norman Y.), Zhang, Dongmo
This paper presents a solution to the ramification problem in the presence of nondeterministic effect and nondeterministic choice of actions based on the extended propositional dynamic logic. We...
Infinitary belief revision (2001)
This paper extends the AGM theory of belief revision to accommodate infinitary belief change.We generalize both axiomatization and modeling of the AGM theory. We show that most properties of the AGM...
Infinitary belief revision (2001)
Abstract This paper aims to extend the AGM theory of belief revision to accommodate infinitary belief change. We generalize the AGM theory both in axiomatization and modeling. We show that most...
EPDL: a logic for causal reasoning (2001)
This paper presents an extended system EPDL of propositional dynamic logic by allowing a proposition as a modality for representing and specifying direct and indirect effects of actions in a unified...
EPDL: a logic for causal reasoning (2001)
This paper presents an extended system EPDL of propositional dynamic logic by allowing a proposition as a modality for representing and specifying direct and indirect effects of actions in a unfied...
Encoding solutions of the frame problem in dynamic logic (2001)
Norman Foo, Dongmo Zhang, Samir Chopra, Bao Quoc Vo
We investigate the relationship amongst some solutions to the frame problem. We encode Pednault's syntax-based solution [23], Baker's state-minimization policy [1], and Gelfond &...
Infinitary belief revision (2001)
Zhang, Dongmo, Foo, N. Y. (Norman Y.)
This paper extends the AGM theory of belief revision to accommodate infinitary belief change.We generalize both axiomatization and modeling of the AGM theory. We show that most properties of the AGM...
Updating logic programs (1998)
Norman Foo, Thomas Meyer, Yan Zhang, Dongmo Zhang
Negotiation between two agents is modelled as a one-time encounter between two extended logic programs. Each offers an answer set. Their mutual deal can be regarded as a trade on their answer sets....
Nonmonotonic reasoning and multiple belief revision (1997)
The aim of the present paper is to reveal the interrelation between general patterns of nonmonotonic reasoning and multiple belief revision. For this purpose we define a nonmonotonic inference frame...
Nonmonotonic reasoning and multiple belief revision (1997)
Dongmo Zhang, Shifu Chen, Wujia Zhu, Hongbing Li
The aim of the present paper is to reveal the interrelation between general patterns of nonmonotonic reasoning and multiple belief revision. For this purpose we define a nonmono-tonic inference frame...
Representation theorems for multiple belief changes (1997)
Dongmo Zhang, Shifu Chen, Wujia Zhu, Zhaoqian Chen
This paper aims to develop further and systemize the theory of multiple belief change based on the previous work on the package contraction, developed by [Fuhrmann and Hansson 1994] and the general...
Representation theorems for multiple belief changes (1997)
This paper aims to develop further and systemize the theory of multiple belief change based on the previous work on the package contraction, developed by [Fuhrmann and Hansson 1994] and the general...
What Could a Natural Deductive System for Nonmonotonic Reasoning Look Like? (1993)
This paper is concerned with the problem of how to construct a natural deductive system for nonmonotonic reasoning. Three possible constructions are investigated, the ones which consists of (1) pure...
What Could a Natural Deductive System for Nonmonotonic Reasoning Look Like? (1993)
This paper is concerned with the problem of how to construct a natural deductive system for nonmonotonic reasoning. Three possible constructions are discussed, which consist of (1) pure nonmonotonic...
Dongmo Zhang, Norman Foo, New South Wales
This paper is twofold. First, we presentes an extended system EPDL of propositional dynamic logic by allowing a proposition as a modality in order to represent and specify indirect eects of actions...
Extended Propositional Dynamic Logic for Reasoning about Actions (Extended Abstract)
The aim of this paper is three fold. First, we extend classical propositional dynamic logic as little as possible so that the resultant system can express indirect e ects of actions while preserving...