ACTION + FRAME AXIOMS (OFTEN) = INVARIANTS (2007)
Recent work on the automatic generation of frame axioms from action specifications that have complete fluent change specifications is extended to extract action invariants. An action invariant...
Induction for Horn clauses from data received a major boost from the success of
Neural-Logic Belief Networks (NLBN) (2007)
Boon Toh Low, Low Norman, Norman Y. Foo
This technical report presents a hybrid symbolic-neural network for representing and reasoning about commonsense beliefs called a Neural-Logic Belief Network (NLBN). Concepts are represented by nodes...
Abduction Without Minimality (2007)
Abhaya Nayak And, Abhaya C. Nayak, Norman Y. Foo
. In most accounts of common-sense reasoning, only the most preferred among models supplied by the evidence are retained (and the rest eliminated) in order to enhance the inferential prowess. One...
Learning From Conditionals: Judy Benjamin's Other Problems (2007)
Abhaya Nayak, Maurice Pagnucco, Norman Y. Foo, Pavlos Peppas
. The Judy Benjamin problem, a problem in probability kinematics, deals with the updating of belief functions where the new evidence itself gives the new conditional probability of some sentence....
Convex Predicates and Induction (2007)
Gardenfors [3] proposed convexity as a non-logical criterion for predicates that are amenable to induction. Some well-known paradoxes appear to be resolvable using this criterion. In this paper we...
Representing Actions over Dynamic Domains (2007)
Yan Zhang And, Yan Zhang, Norman Y. Foo
Current action theories are usually based on static domains in the sense that objects in the domain are fixed and actions only change properties or relationships related to these objects, but cannot...
Solving the Qualification Problem (In the Presence of the Frame problem) (2007)
We present a uniform nonmonotonic solution for the problem of reasoning about action on the basis of argumentation-theoretic approach in a series of paper. This paper is the first one in which we...
Reasoning about action: An argumentation-theoretic approach (2005)
We present a uniform non-monotonic solution to the problems of reasoning about action on the basis of an argumentation-theoretic approach. Our theory is provably correct relative to a sensible...
Reasoning about action: An argumentation-theoretic approach (2005)
We present a uniform non-monotonic solution to the problems of reasoning about action on the basis of an argumentation-theoretic approach. Our theory is provably correct relative to a sensible...
Semantics for a theory of defeasible reasoning (2005)
Vo, Quoc Bao, Foo, Norman Y., Thurbon, Joe
In this paper, we establish a formal semantics for Pollock's [23] theory of defeasible reasoning. As a notion of argument or argumentation has never been formalised in this theory, it is important...
Reasoning about action: an argumentation-theoretic approach (2005)
We present a uniform non-monotonic solution to the problems of reasoning about action on the basis of an argumentation-theoretic approach. Our theory is provably correct relative to a sensible...
The core of scientific theories are laws. These laws often make use of theoretical terms, linguistic entities which do not directly refer to observables. There is therefore no direct way of...
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...
Updates with disjunctive information: From syntactical and semantical perspectives (2000)
The possible models approach (PMA) is a classical minimal change semantics for knowledge base updates, which provides an exclusive interpretation for disjunctive information in updateis. It has been...
Why Engineering Models Do Not Have A Frame Problem (2000)
The frame problem has occupied the attention of AI researchers in the logics of action in the last decade. To engineers who have had to cope with the modelling of dynamic systems, this sometimes...
Diagrammatic reasoning comprises phenomena that range from the so-called "free-rides " (e.g. almost immediate understanding of visually perceived relationships) to conventions about...
Norman Foo Knowledge, Norman Y. Foo, Maurice Pagnucco, Abhaya C. Nayak
Diagrammatic reasoning comprises phenomena that range from the so-called "free-rides" (e.g. almost immediate understanding of visually perceived relationships) to conventions about tokens....
Toward a Model Theory for Fuzzy Logic (1999)
1 Introduction Fuzzy logic has been around for nearly 40 years, has a large following, and a massive literature. A contemporary survey by Yen [Yen] is an exposition of the main trends and techniques....
Preferential Semantics for Causal Systems (1999)
Pavlos Peppas, Maurice Pagnucco, North Ryde, Norman Y. Foo, Abhaya Nayak
In the present work we examine the causal theory of actions put forward by McCain and Turner [McCain and Turner, 1995] for determining ramifications. Our principal aim is to provide a...
Preferential semantics for causal system (1999)
Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo
normanQcse.unsw.edu.au In the present work we examine the causal theory of actions put forward by McCain and Turner [Mc Cain and Turner, 1995] for determining ramifications. Our principal aim is to...
Reasoning Without Minimality (1998)
Various forms of non-monotonic reasoning thrive on minimal change in some form or other. In general, the principle of minimal change prescribes choosing the best from a given set of alternatives. A...
Reasoning Without Minimality (1998)
Introduction In various frameworks for commonsense reasoning such as belief revision [G ardenfors, 1988] and preferential semantics [Shoham, 1988] , appeal is made to the principle of minimal change...
Answer Sets for Prioritized Logic Programs (1997)
Conflict resolution is an important issue in knowledge representation and reasoning. A common idea of solving conflicts in reasoning is to add preferences in the underlying reasoning mechanism. This...
Answer Sets for Prioritized Logic Programs (1997)
Conflict resolution is an important issue in knowledge representation and reasoning. A common idea of solving conflicts in reasoning is to add preferences in the underlying reasoning mechanism. This...
Towards Generalized Rule-based Updates (1997)
Recent work on rule-based updates provided new frameworks for updates in more general knowledge domains [ Marek and Truszcz'nski, 1994; Baral, 1994; Przymusinski and Turner, 1995 ] . In this...
Towards Generalized Rule-based Updates (1997)
Recent work on rule-based updates provided new frameworks for updates in more general knowledge domains [Marek and Truszcznski, 1994; Baral, 1994; Przymusinski and Turner, 1995]. In this paper, we...
Towards Generalized Rule-based Updates (1997)
Recent work on rule-based updates provided new frameworks for updates in more general knowledge domains [Marek and Truszczriski, 1994; Baral, 1994; Przymusinski and Turner, 1995]. In this paper, we...
Updating Knowledge Bases with Disjunctive Information (1996)
It is well known that the minimal change principle was widely used in knowledge base updates. However, recent research has shown that the conventional minimal change methods, eg. the PMA [11], were...
Update with Disjunctive Information: From Syntactical and Semantical Perspectives (1996)
The possible models approach (PMA) is a classical minimal change semantics for knowledge base update, which provides an exclusive interpretation for disjunctive information in update. It has been...
Updating Knowledge Bases with Disjunctive Information (1996)
It is well known that the minimal change principle was widely used in knowledge base updates. However, recent research has shown that conventional minimal change methods, eg. the PMA (Winslett 1988),...
Deriving Invariants and Constraints from Action Theories (1996)
. Recent work on reasoning about action has shown that there exists an interesting connection between action specifications and state constraints --- it is possible to extract state constraints from...
Update with Disjunctive Information: From Syntactical and Semantical Perspectives (1996)
The possible models approach (PMA) is a classical minimal change semantics for knowledge base update, which provides an exclusive interpretation for disjunctive information in update. It has been...
Abductive reasoning, belief expansion and nonmonotonic consequence (1995)
Maurice Pagnucco, Abhaya C Nayak, Norman Y Foo
When dealing with a situation in which new information is to be incorporated into an epistemic state, most belief revision frameworks, including the AGM, incorporate solely this new information. A...
A Logical Foundation of Evidences (1995)
A logic system S describing a world W contains certain semantic information about W. The quantity of the information, and the information value of a formula ff relative to S are introduced in this...
Applying the Persistent Set Approach in Temporal Reasoning (1995)
this paper, we extend our previous work to deal with temporal reasoning. Different from those minimality-based approaches, we propose a persistence-based formalization of actions within the situation...
Abductive expansion: Abductive inference and the process of belief change (1994)
Maurice Pagnucco, Abhaya C. Nayak, Norman Y. Foo
Unlike the AGM framework of belief revision, where new information is added to the current belief state as it is (while attempting to preserve logical consistency), we model the following more...
Entrenchment kinematics 101 (1994)
Abhaya C. Nayak, Norman Y. Foo, Maurice Pagnucco, Abdul Sattar
The AGM framework of belief dynamics fails to account for iterated belief change. This paper extends the AGM framework in order to solve this problem. As in the AGM, an epistemic input is represented...
Convex Predicates and Induction (1994)
Gardenfors [GA90] proposed convexity as a non-logical criterion for predicates that are amenable to induction. Some well-known paradoxes appear to be resolvable using this criterion. In this paper we...
Updating Knowledge Bases Using A Persistent Set Approach (1994)
Propositional knowledge base updates have been widely studied recently. Katsuno and Mendelzon suggested eight postulates for characterizing the semantics of update where the principle of minimal...
Constraints And Updates (1994)
Certain kinds of constraints that are really definitions in disguise should be omitted in computing state updates. If they are included problems may arise in the updates by the admission of...
Abductive Expansion: Abductive Inference and the Process of Belief Change (1994)
Maurice Pagnucco, Abhaya C. Nayak, Norman Y. Foo
Unlike the AGM framework of belief revision, where new information is added to the current belief state as it is (while attempting to preserve logical consistency), we model the following more...
Persistence, Invariants, and Constraints (1994)
Recent work on reasoning about action has shown that there exist interesting connections among frame axioms, action invariants, state constraints and action specifications. In this paper, we address...
Possible Worlds Semantics For Events (1993)
Norman Foo And, Norman Y. Foo, Yan Zhang
Various theories of events or actions have been proposed to account for commonsence conclusions. The typical way in which this proceeds is for a scenario to be invented and a logic tried against it....
Possible Worlds Semantics For Events (1993)
Norman Y Foo, Norman Y. Foo, Yan Zhang, Yan Zhang
Various theories of events or actions have been proposed to account for commonsence conclusions. The typical way in which this proceeds is for a scenario to be invented and a logic tried against it....
Yan Zhang, Norman Y. Foo, Since Hanks, Mcdermott Revealed
the problem of temporal projection (e.g., the Yale shooting problem) and showed that classical nonmonotonic logics failed to solve it, many solutions have been proposed to the problem. However, as...